| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| cosoco-sat 1.12 | ? (TO) | 2520.01 | 2519.71 |
| Name | SuperSolutions/SuperSolutions-Taillard-os10/ SuperTaillard-os-10-11.xml |
| MD5SUM | 282e51d8db2be6465471e4014b41d3d5 |
| Bench Category | CSP (decision problem) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | 122.536 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 200 |
| Number of constraints | 2800 |
| Number of domains | 65 |
| Minimum domain size | 580 |
| Maximum domain size | 675 |
| Distribution of domain sizes | [{"size":580,"count":6},{"size":581,"count":6},{"size":582,"count":4},{"size":583,"count":2},{"size":584,"count":4},{"size":585,"count":2},{"size":586,"count":2},{"size":587,"count":2},{"size":588,"count":2},{"size":590,"count":2},{"size":591,"count":8},{"size":592,"count":2},{"size":593,"count":2},{"size":594,"count":6},{"size":595,"count":2},{"size":597,"count":2},{"size":604,"count":2},{"size":605,"count":4},{"size":606,"count":2},{"size":607,"count":2},{"size":608,"count":4},{"size":609,"count":2},{"size":610,"count":8},{"size":611,"count":2},{"size":612,"count":2},"...",{"size":635,"count":2}, {"size":636,"count":2}, {"size":637,"count":2}, {"size":638,"count":2}, {"size":639,"count":6}, {"size":640,"count":4}, {"size":643,"count":4}, {"size":644,"count":2}, {"size":646,"count":4}, {"size":648,"count":6}, {"size":649,"count":2}, {"size":651,"count":2}, {"size":652,"count":2}, {"size":653,"count":2}, {"size":655,"count":2}, {"size":657,"count":2}, {"size":659,"count":4}, {"size":660,"count":2}, {"size":661,"count":2}, {"size":665,"count":6}, {"size":666,"count":2}, {"size":669,"count":2}, {"size":671,"count":4}, {"size":674,"count":2}, {"size":675,"count":2}] |
| Minimum variable degree | 19 |
| Maximum variable degree | 37 |
| Distribution of variable degrees | [{"degree":19,"count":100},{"degree":37,"count":100}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 2 |
| Distribution of constraint arities | [{"arity":2,"count":2800}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 2800 |
| Distribution of constraint types | [{"type":"intension","count":2800}] |
| Optimization problem | NO |
| Type of objective |
2.99/3.08 c intension x0 != x1 using generic constraint 2.99/3.08 c intension x2 != x3 using generic constraint 2.99/3.08 c intension x4 != x5 using generic constraint 2.99/3.08 c intension x6 != x7 using generic constraint 2.99/3.09 c intension x8 != x9 using generic constraint 2.99/3.09 c intension x10 != x11 using generic constraint 2.99/3.09 c intension x12 != x13 using generic constraint 2.99/3.09 c intension x14 != x15 using generic constraint 2.99/3.09 c intension x16 != x17 using generic constraint 2.99/3.09 c intension x18 != x19 using generic constraint 2.99/3.09 c intension x20 != x21 using generic constraint 2.99/3.09 c intension x22 != x23 using generic constraint 2.99/3.09 c intension x24 != x25 using generic constraint 2.99/3.09 c intension x26 != x27 using generic constraint 2.99/3.09 c intension x28 != x29 using generic constraint 2.99/3.09 c intension x30 != x31 using generic constraint 2.99/3.10 c intension x32 != x33 using generic constraint 2.99/3.10 c intension x34 != x35 using generic constraint 2.99/3.10 c intension x36 != x37 using generic constraint 2.99/3.10 c intension x38 != x39 using generic constraint 2.99/3.10 c intension x40 != x41 using generic constraint 2.99/3.10 c intension x42 != x43 using generic constraint 2.99/3.10 c intension x44 != x45 using generic constraint 2.99/3.10 c intension x46 != x47 using generic constraint 2.99/3.10 c intension x48 != x49 using generic constraint 2.99/3.10 c intension x50 != x51 using generic constraint 2.99/3.10 c intension x52 != x53 using generic constraint 3.09/3.11 c intension x54 != x55 using generic constraint 3.09/3.11 c intension x56 != x57 using generic constraint 3.09/3.11 c intension x58 != x59 using generic constraint 3.09/3.11 c intension x60 != x61 using generic constraint 3.09/3.11 c intension x62 != x63 using generic constraint 3.09/3.11 c intension x64 != x65 using generic constraint 3.09/3.11 c intension x66 != x67 using generic constraint 3.09/3.11 c intension x68 != x69 using generic constraint 3.09/3.11 c intension x70 != x71 using generic constraint 3.09/3.11 c intension x72 != x73 using generic constraint 3.09/3.11 c intension x74 != x75 using generic constraint 3.09/3.12 c intension x76 != x77 using generic constraint 3.09/3.12 c intension x78 != x79 using generic constraint 3.09/3.12 c intension x80 != x81 using generic constraint 3.09/3.12 c intension x82 != x83 using generic constraint 3.09/3.12 c intension x84 != x85 using generic constraint 3.09/3.12 c intension x86 != x87 using generic constraint 3.09/3.12 c intension x88 != x89 using generic constraint 3.09/3.12 c intension x90 != x91 using generic constraint 3.09/3.12 c intension x92 != x93 using generic constraint 3.09/3.12 c intension x94 != x95 using generic constraint 3.09/3.12 c intension x96 != x97 using generic constraint 3.09/3.12 c intension x98 != x99 using generic constraint 3.09/3.13 c intension x100 != x101 using generic constraint 3.09/3.13 c intension x102 != x103 using generic constraint 3.09/3.13 c intension x104 != x105 using generic constraint 3.09/3.13 c intension x106 != x107 using generic constraint 3.09/3.13 c intension x108 != x109 using generic constraint 3.09/3.13 c intension x110 != x111 using generic constraint 3.09/3.13 c intension x112 != x113 using generic constraint 3.09/3.13 c intension x114 != x115 using generic constraint 3.09/3.13 c intension x116 != x117 using generic constraint 3.09/3.13 c intension x118 != x119 using generic constraint 3.09/3.13 c intension x120 != x121 using generic constraint 3.09/3.14 c intension x122 != x123 using generic constraint 3.09/3.14 c intension x124 != x125 using generic constraint 3.09/3.14 c intension x126 != x127 using generic constraint 3.09/3.14 c intension x128 != x129 using generic constraint 3.09/3.14 c intension x130 != x131 using generic constraint 3.09/3.14 c intension x132 != x133 using generic constraint 3.09/3.14 c intension x134 != x135 using generic constraint 3.09/3.14 c intension x136 != x137 using generic constraint 3.09/3.14 c intension x138 != x139 using generic constraint 3.09/3.14 c intension x140 != x141 using generic constraint 3.09/3.14 c intension x142 != x143 using generic constraint 3.09/3.14 c intension x144 != x145 using generic constraint 3.09/3.15 c intension x146 != x147 using generic constraint 3.09/3.15 c intension x148 != x149 using generic constraint 3.09/3.15 c intension x150 != x151 using generic constraint 3.09/3.15 c intension x152 != x153 using generic constraint 3.09/3.15 c intension x154 != x155 using generic constraint 3.09/3.15 c intension x156 != x157 using generic constraint 3.09/3.15 c intension x158 != x159 using generic constraint 3.09/3.15 c intension x160 != x161 using generic constraint 3.09/3.15 c intension x162 != x163 using generic constraint 3.09/3.15 c intension x164 != x165 using generic constraint 3.09/3.15 c intension x166 != x167 using generic constraint 3.09/3.16 c intension x168 != x169 using generic constraint 3.09/3.16 c intension x170 != x171 using generic constraint 3.09/3.16 c intension x172 != x173 using generic constraint 3.09/3.16 c intension x174 != x175 using generic constraint 3.09/3.16 c intension x176 != x177 using generic constraint 3.09/3.16 c intension x178 != x179 using generic constraint 3.09/3.16 c intension x180 != x181 using generic constraint 3.09/3.16 c intension x182 != x183 using generic constraint 3.09/3.16 c intension x184 != x185 using generic constraint 3.09/3.16 c intension x186 != x187 using generic constraint 3.09/3.16 c intension x188 != x189 using generic constraint 3.09/3.16 c intension x190 != x191 using generic constraint 3.09/3.17 c intension x192 != x193 using generic constraint 3.09/3.17 c intension x194 != x195 using generic constraint 3.09/3.17 c intension x196 != x197 using generic constraint 3.09/3.17 c intension x198 != x199 using generic constraint 5.79/5.86 c SAT : Variables: 124434 -- Clauses: 38722874 5.79/5.86 c root propagations : 0 5.79/5.86 c restarts enabled, print stats at every restarts 5.79/5.86 c 5.79/5.86 c 5.79/5.86 c 5.79/5.86 c This is cosoco 1.12 -- 5.79/5.86 c 5.79/5.86 c command line: cosoco -lc -model -restarts -sat HOME/instance-4266459-1502591054.xml 5.79/5.86 c ========================================[ Problem Statistics ]=========================================== 5.79/5.86 c | 5.79/5.86 c | Parse time : 5.41 s 5.79/5.86 c | 5.79/5.86 c | Variables: 200 5.79/5.86 c | Domain Sizes: 580..675 5.79/5.86 c | 5.79/5.86 c | Constraints: 2800 5.79/5.86 c | Arity: 2..2 -- Binary: 2800 5.79/5.86 c | 5.79/5.86 c | Types: 5.79/5.86 c | (X != Y): 100 5.79/5.86 c | Intension: 2700 5.79/5.86 c | 5.79/5.86 c ========================================================================================================= 5.79/5.86 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 5.89/5.96 c 10 35 19109 83406 0 9 24 25 22 6.00/6.05 c 20 72 38610 162324 0 18 26 27 23 6.10/6.18 c 30 130 66524 253900 0 28 49 49 44 6.19/6.27 c 40 169 85452 329900 0 38 30 30 27 6.29/6.35 c 50 204 100273 420944 0 48 26 26 23 6.39/6.43 c 60 241 116155 499150 0 58 28 28 25 6.49/6.54 c 70 295 139247 588373 0 68 25 44 28 6.59/6.64 c 80 342 160901 675906 0 78 38 38 34 6.69/6.72 c 90 368 177069 755042 0 83 16 16 14 6.79/6.81 c 100 402 197744 835083 0 87 22 22 20 6.89/6.90 c 101 438 217633 896676 0 88 36 36 18 7.00/7.04 c 110 467 234945 1035517 0 97 21 21 18 7.10/7.16 c 120 496 250727 1156678 0 107 20 20 18 7.19/7.25 c 130 526 266650 1222756 0 110 12 20 17 7.29/7.32 c 140 548 280009 1279654 0 113 11 11 10 7.29/7.37 c 150 568 289069 1340483 0 123 11 11 10 7.39/7.41 c 160 586 295571 1394692 0 133 9 9 8 7.39/7.44 c 170 604 301891 1431496 0 143 9 9 8 7.39/7.49 c 180 622 310279 1485357 0 153 9 9 8 7.49/7.53 c 190 640 316879 1537899 0 163 9 9 8 7.59/7.60 c 200 661 329394 1600054 0 167 9 9 8 7.59/7.64 c 210 679 335734 1639954 0 177 9 9 8 7.59/7.65 c 211 687 340733 1663957 0 178 8 8 4 7.69/7.70 c 220 704 348078 1718439 0 187 9 9 8 7.69/7.75 c 230 722 356632 1783349 0 197 9 9 8 7.69/7.79 c 240 740 363164 1836304 0 207 9 9 8 7.89/7.95 c 250 800 393045 1941932 0 217 9 51 42 7.89/8.00 c 260 819 400201 2004245 0 227 10 10 9 8.00/8.04 c 270 837 406541 2044855 0 237 9 9 8 8.10/8.11 c 280 857 419587 2104817 0 240 9 9 8 8.10/8.15 c 290 875 426469 2144013 0 250 9 9 8 8.10/8.18 c 300 892 432253 2201367 0 260 8 8 7 8.20/8.22 c 310 910 440038 2261566 0 270 9 9 8 8.20/8.27 c 320 928 446602 2314099 0 280 9 9 8 8.30/8.32 c 330 946 454480 2366980 0 290 9 9 8 8.30/8.35 c 332 956 461338 2395785 0 292 9 9 6 8.30/8.38 c 340 972 467655 2446772 0 300 9 9 8 8.40/8.45 c 350 992 478983 2508344 0 307 8 9 7 8.49/8.56 c 360 1035 500135 2599646 0 317 10 34 27 8.59/8.68 c 370 1076 521263 2683285 0 327 11 32 25 8.69/8.72 c 380 1095 528306 2723896 0 337 10 10 9 8.69/8.76 c 390 1113 534936 2784037 0 347 9 9 8 8.79/8.81 c 400 1131 542627 2844541 0 357 9 9 8 8.79/8.87 c 410 1151 553532 2910631 0 364 8 9 7 8.89/8.91 c 420 1169 560245 2981001 0 374 9 9 8 8.89/8.96 c 430 1187 567365 3038758 0 384 9 9 8 9.00/9.05 c 440 1220 586548 3100561 0 394 10 24 20 9.10/9.14 c 450 1253 604984 3163615 0 404 10 24 20 9.19/9.20 c 460 1285 619141 3234004 0 414 10 23 19 9.19/9.26 c 465 1311 632856 3299132 0 419 10 22 16 9.19/9.29 c 470 1325 639469 3338837 0 424 8 9 7 9.29/9.34 c 480 1343 647121 3393867 0 434 9 9 8 9.29/9.38 c 490 1361 653621 3450600 0 444 9 9 8 9.39/9.45 c 500 1381 665479 3528273 0 451 8 9 7 9.49/9.50 c 510 1399 672465 3591031 0 461 9 9 8 9.49/9.58 c 520 1433 688443 3662985 0 471 9 25 21 9.59/9.64 c 530 1465 702911 3744831 0 481 10 23 19 9.69/9.70 c 540 1482 709560 3818656 0 491 8 8 7 9.69/9.76 c 550 1515 724532 3884150 0 501 10 24 20 9.79/9.83 c 560 1546 738079 3950813 0 511 11 22 19 9.79/9.89 c 570 1576 751136 4028628 0 521 11 21 18 9.89/9.98 c 580 1609 770518 4104492 0 525 11 22 19 10.00/10.07 c 590 1642 787581 4174556 0 528 9 24 20 10.10/10.11 c 600 1660 794313 4216255 0 538 9 9 8 10.10/10.18 c 610 1680 805786 4278803 0 545 8 9 7 10.19/10.20 c 611 1689 811515 4303354 0 546 9 9 4 10.19/10.23 c 620 1706 817722 4340156 0 555 9 9 8 10.19/10.28 c 630 1724 825465 4400467 0 565 9 9 8 10.29/10.34 c 640 1746 836657 4454902 0 568 9 10 8 10.39/10.44 c 650 1781 856999 4525532 0 572 9 24 20 10.39/10.48 c 660 1800 864235 4583632 0 582 10 10 9 10.49/10.53 c 670 1820 871609 4651544 0 584 10 10 9 10.49/10.58 c 680 1838 878699 4716744 0 594 9 9 8 10.59/10.61 c 690 1856 884969 4754469 0 604 9 9 8 10.59/10.66 c 700 1874 892408 4809426 0 614 9 9 8 10.69/10.73 c 710 1906 907661 4888748 0 624 9 23 19 10.69/10.77 c 720 1925 914802 4947555 0 634 10 10 9 10.79/10.82 c 730 1943 921697 5018440 0 644 9 9 8 10.89/10.91 c 740 1975 937747 5112784 0 652 9 22 16 10.89/10.99 c 750 1996 950541 5179281 0 655 10 10 9 11.00/11.03 c 760 2014 957054 5239209 0 665 9 9 8 11.00/11.09 c 770 2034 967852 5302299 0 672 8 9 7 11.10/11.15 c 771 2056 982336 5350152 0 673 22 22 11 11.20/11.24 c 780 2087 997418 5443343 0 682 8 23 19 11.30/11.33 c 790 2119 1011201 5534025 0 692 11 23 19 11.30/11.37 c 800 2138 1018367 5573596 0 702 10 10 9 11.40/11.42 c 810 2156 1026438 5628857 0 712 9 9 8 11.40/11.49 c 820 2189 1042259 5692820 0 722 9 24 20 11.49/11.56 c 830 2219 1056506 5769477 0 732 10 21 18 11.59/11.60 c 840 2236 1062762 5829852 0 742 8 8 7 11.59/11.67 c 850 2258 1073954 5884319 0 745 9 10 8 11.69/11.73 c 860 2289 1088307 5962260 0 755 9 22 18 11.69/11.79 c 870 2308 1095807 6041049 0 765 10 10 9 11.79/11.83 c 880 2326 1102381 6094488 0 775 9 9 8 11.89/11.90 c 890 2357 1116623 6175330 0 785 9 22 18 11.89/11.94 c 900 2376 1123645 6231300 0 795 10 10 9 12.00/12.01 c 910 2407 1137736 6310590 0 805 9 22 18 12.00/12.05 c 920 2426 1144654 6365951 0 815 10 10 9 12.10/12.14 c 930 2459 1163249 6454329 0 822 21 22 19 12.19/12.20 c 940 2480 1174065 6512962 0 827 10 11 9 12.19/12.29 c 947 2509 1193063 6577792 0 830 22 22 19 12.29/12.33 c 950 2521 1200123 6618546 0 833 8 9 6 12.29/12.36 c 960 2539 1206443 6657858 0 843 9 9 8 12.39/12.41 c 970 2557 1212984 6724071 0 853 9 9 8 12.39/12.47 c 980 2577 1223801 6783098 0 860 8 9 7 12.49/12.51 c 990 2595 1230331 6840441 0 870 9 9 8 12.49/12.56 c 1000 2613 1237974 6899888 0 880 9 9 8 12.59/12.65 c 1010 2644 1253471 6996598 0 890 22 22 20 12.59/12.69 c 1020 2662 1260218 7058513 0 900 9 9 8 12.69/12.75 c 1030 2682 1271528 7125186 0 907 8 9 7 12.79/12.82 c 1040 2712 1284962 7201893 0 917 9 21 18 12.79/12.87 c 1050 2731 1292262 7279125 0 927 10 10 9 12.89/12.92 c 1060 2749 1299128 7352607 0 937 9 9 8 13.00/13.02 c 1070 2782 1319872 7425680 0 942 9 23 19 13.10/13.11 c 1080 2814 1336987 7489372 0 952 10 23 19 13.19/13.21 c 1090 2847 1355789 7558686 0 957 11 23 19 13.19/13.25 c 1100 2866 1362836 7618666 0 967 10 10 9 13.29/13.30 c 1110 2884 1369620 7687282 0 977 9 9 8 13.29/13.36 c 1120 2904 1381550 7750374 0 980 9 9 8 13.39/13.40 c 1130 2922 1387910 7788940 0 990 9 9 8 13.39/13.45 c 1140 2941 1395882 7847906 0 1000 8 10 8 13.39/13.47 c 1141 2950 1401611 7872472 0 1001 9 9 4 13.49/13.51 c 1150 2967 1408281 7910552 0 1010 9 9 8 13.49/13.55 c 1160 2985 1415181 7970944 0 1020 9 9 8 13.59/13.60 c 1170 3003 1422892 8030600 0 1030 9 9 8 13.59/13.69 c 1180 3034 1437221 8114909 0 1040 9 22 18 13.69/13.74 c 1190 3053 1444586 8190613 0 1050 10 10 9 13.79/13.80 c 1200 3075 1455596 8249884 0 1058 8 10 8 13.79/13.85 c 1210 3093 1462157 8309049 0 1068 9 9 8 13.79/13.88 c 1220 3111 1468517 8350135 0 1078 9 9 8 13.89/13.96 c 1230 3133 1481882 8409645 0 1082 8 10 8 13.89/14.00 c 1240 3151 1489299 8464815 0 1092 9 9 8 14.00/14.08 c 1250 3182 1504554 8541836 0 1102 22 22 20 14.10/14.15 c 1260 3213 1517467 8619324 0 1112 10 22 18 14.10/14.20 c 1270 3232 1524494 8660455 0 1122 10 10 9 14.19/14.24 c 1280 3250 1531713 8722101 0 1132 9 9 8 14.19/14.28 c 1290 3270 1539090 8789693 0 1134 10 10 9 14.29/14.32 c 1300 3288 1545450 8829029 0 1144 9 9 8 14.29/14.37 c 1310 3307 1553497 8883841 0 1154 10 10 9 14.39/14.42 c 1320 3325 1561352 8944018 0 1164 9 9 8 14.39/14.49 c 1330 3358 1577276 9017685 0 1174 9 24 20 14.49/14.57 c 1340 3390 1591766 9099596 0 1184 10 23 19 14.59/14.62 c 1350 3408 1598774 9161117 0 1194 9 9 8 14.59/14.65 c 1352 3419 1606477 9192907 0 1196 10 10 6 14.69/14.74 c 1360 3449 1623674 9258491 0 1204 9 23 18 14.69/14.78 c 1370 3468 1630886 9318753 0 1214 10 10 9 14.79/14.84 c 1380 3488 1640953 9380505 0 1221 8 9 7 14.79/14.89 c 1390 3507 1648794 9434790 0 1231 10 10 9 14.89/14.92 c 1400 3525 1655314 9491617 0 1241 9 9 8 14.89/14.98 c 1410 3545 1666364 9552662 0 1248 8 9 7 15.00/15.02 c 1420 3563 1672965 9591196 0 1258 9 9 8 15.00/15.08 c 1430 3581 1680841 9653082 0 1268 9 9 8 15.10/15.16 c 1440 3613 1697683 9732748 0 1278 23 23 20 15.19/15.20 c 1450 3632 1704859 9792471 0 1288 10 10 9 15.19/15.23 c 1460 3650 1711525 9832889 0 1298 9 9 8 15.29/15.31 c 1470 3670 1722949 9898674 0 1302 9 9 8 15.29/15.35 c 1480 3688 1729479 9955580 0 1312 9 9 8 15.39/15.40 c 1490 3706 1737470 10029176 0 1322 9 9 8 15.39/15.48 c 1500 3738 1753226 10099641 0 1332 9 23 19 15.49/15.54 c 1510 3755 1762991 10158698 0 1342 8 8 7 15.59/15.63 c 1520 3787 1779779 10242312 0 1352 9 23 18 15.59/15.67 c 1530 3806 1786838 10283035 0 1362 10 10 9 15.69/15.71 c 1540 3824 1793378 10340042 0 1372 9 9 8 15.69/15.76 c 1550 3844 1803829 10409395 0 1379 8 9 7 15.79/15.80 c 1560 3862 1810359 10466610 0 1389 9 9 8 15.79/15.84 c 1570 3880 1816672 10524331 0 1399 9 9 8 15.79/15.88 c 1580 3898 1824380 10575571 0 1409 9 9 8 15.89/15.94 c 1585 3925 1838316 10635662 0 1414 10 23 17 15.89/15.98 c 1590 3939 1845383 10677839 0 1419 10 10 8 16.00/16.02 c 1600 3957 1851984 10739129 0 1429 9 9 8 16.00/16.06 c 1610 3975 1858344 10779451 0 1439 9 9 8 16.10/16.13 c 1620 3998 1870405 10827980 0 1441 10 10 9 16.19/16.24 c 1630 4029 1886313 10939563 0 1451 22 22 20 16.19/16.28 c 1640 4048 1893459 11001508 0 1461 10 10 9 16.29/16.32 c 1650 4066 1900416 11044452 0 1471 9 9 8 16.29/16.37 c 1660 4084 1907462 11110837 0 1481 9 9 8 16.39/16.46 c 1670 4117 1925129 11195043 0 1490 22 23 20 16.50/16.50 c 1680 4135 1931990 11255325 0 1500 9 9 8 16.50/16.56 c 1690 4155 1945223 11318959 0 1503 9 9 8 16.60/16.66 c 1700 4188 1964676 11388339 0 1507 10 23 19 16.70/16.73 c 1710 4220 1978742 11468177 0 1517 10 23 19 16.70/16.79 c 1720 4239 1986262 11546496 0 1527 10 10 9 16.80/16.83 c 1730 4259 1993457 11610019 0 1529 10 10 9 16.90/16.92 c 1740 4290 2008882 11701375 0 1539 22 22 20 16.90/16.99 c 1750 4322 2024846 11770288 0 1549 23 23 20 17.01/17.04 c 1760 4339 2031419 11835680 0 1559 8 8 7 17.01/17.07 c 1770 4357 2037689 11873872 0 1569 9 9 8 17.11/17.11 c 1780 4375 2044290 11934823 0 1579 9 9 8 17.11/17.15 c 1790 4393 2050820 11992080 0 1589 9 9 8 17.20/17.20 c 1800 4411 2057555 12060180 0 1599 9 9 8 17.20/17.27 c 1810 4442 2071308 12132933 0 1609 10 22 18 17.30/17.36 c 1820 4474 2088318 12199811 0 1612 11 23 19 17.40/17.40 c 1830 4492 2095043 12260878 0 1622 9 9 8 17.40/17.44 c 1840 4510 2101457 12316624 0 1632 9 9 8 17.40/17.47 c 1841 4519 2108052 12343757 0 1633 9 9 4 17.50/17.56 c 1850 4551 2126643 12413777 0 1639 9 23 19 17.60/17.61 c 1860 4568 2132730 12466229 0 1649 8 8 7 17.60/17.67 c 1870 4588 2143951 12536790 0 1656 8 9 7 17.70/17.71 c 1880 4606 2150311 12577868 0 1666 9 9 8 17.70/17.78 c 1890 4628 2163548 12637721 0 1670 8 10 8 17.80/17.82 c 1900 4646 2170401 12676731 0 1680 9 9 8 17.80/17.87 c 1910 4664 2176892 12746933 0 1690 9 9 8 17.90/17.90 c 1920 4682 2183422 12803814 0 1700 9 9 8 17.90/17.94 c 1930 4700 2189972 12861068 0 1710 9 9 8 17.90/17.98 c 1940 4718 2197596 12917254 0 1720 9 9 8 18.01/18.09 c 1950 4751 2216919 12990527 0 1722 23 23 20 18.11/18.17 c 1960 4781 2231700 13079656 0 1732 21 21 19 18.20/18.24 c 1970 4813 2246967 13149939 0 1742 10 23 19 18.30/18.32 c 1980 4834 2256067 13223101 0 1749 8 9 8 18.30/18.36 c 1990 4852 2262407 13263497 0 1759 9 9 8 18.40/18.43 c 2000 4872 2275397 13330770 0 1763 9 9 8 18.50/18.50 c 2010 4903 2290196 13401264 0 1773 9 22 18 18.60/18.60 c 2020 4936 2310402 13473336 0 1778 10 23 19 18.60/18.68 c 2030 4968 2325265 13550497 0 1788 10 23 19 18.70/18.72 c 2040 4987 2332168 13609992 0 1798 10 10 9 18.70/18.75 c 2050 5005 2338698 13663315 0 1808 9 9 8 18.80/18.83 c 2060 5035 2353570 13740702 0 1818 21 21 19 18.90/18.91 c 2070 5067 2369613 13808512 0 1828 23 23 20 18.90/18.96 c 2080 5085 2376123 13868325 0 1838 9 9 8 18.90/18.99 c 2090 5103 2382483 13908101 0 1848 9 9 8 19.00/19.03 c 2100 5121 2389325 13967888 0 1858 9 9 8 19.00/19.10 c 2110 5141 2401204 14030873 0 1861 9 9 8 19.10/19.16 c 2120 5172 2416362 14105898 0 1871 22 22 20 19.19/19.24 c 2122 5196 2431752 14159621 0 1873 22 23 15 19.29/19.31 c 2130 5226 2448448 14226576 0 1881 22 23 20 19.29/19.37 c 2140 5245 2455802 14288516 0 1891 10 10 9 19.39/19.41 c 2150 5263 2462122 14327855 0 1901 9 9 8 19.39/19.46 c 2160 5281 2469179 14393866 0 1911 9 9 8 19.49/19.54 c 2170 5313 2484238 14472949 0 1921 9 23 19 19.59/19.63 c 2180 5344 2498658 14568769 0 1931 9 22 18 19.69/19.71 c 2190 5374 2512849 14664927 0 1941 9 21 18 19.69/19.80 c 2200 5404 2527109 14763968 0 1951 21 21 19 19.79/19.89 c 2210 5434 2541797 14859790 0 1961 21 21 19 19.89/19.99 c 2220 5466 2560330 14932513 0 1965 10 22 18 20.00/20.03 c 2230 5485 2567683 14990477 0 1975 10 10 9 20.00/20.07 c 2240 5503 2574023 15030779 0 1985 9 9 8 20.10/20.14 c 2250 5525 2587260 15090635 0 1989 8 10 8 20.10/20.19 c 2260 5543 2594697 15145251 0 1999 9 9 8 20.19/20.28 c 2270 5573 2609497 15236472 0 2009 21 21 19 20.29/20.37 c 2280 5604 2626443 15317028 0 2019 22 22 20 20.39/20.46 c 2290 5635 2643197 15392885 0 2029 22 22 20 20.49/20.51 c 2300 5654 2650592 15459008 0 2039 10 10 9 20.59/20.61 c 2310 5687 2667464 15534001 0 2042 22 23 20 20.59/20.69 c 2320 5721 2685630 15618804 0 2049 22 23 20 20.69/20.78 c 2330 5752 2702576 15699410 0 2059 22 22 20 20.79/20.88 c 2340 5783 2718658 15786902 0 2069 22 22 20 20.89/20.97 c 2350 5814 2734811 15867916 0 2079 22 22 20 21.00/21.08 c 2360 5847 2752986 15944741 0 2084 22 23 20 21.10/21.15 c 2370 5879 2767456 16017066 0 2094 23 23 20 21.19/21.25 c 2380 5910 2784980 16092697 0 2104 22 22 20 21.29/21.30 c 2390 5928 2791966 16130846 0 2114 9 9 8 21.29/21.37 c 2400 5959 2807133 16208207 0 2124 22 22 20 21.39/21.42 c 2410 5978 2814337 16270430 0 2134 10 10 9 21.39/21.45 c 2420 5996 2820877 16323718 0 2144 9 9 8 21.49/21.53 c 2430 6029 2837071 16407338 0 2147 23 23 20 21.49/21.55 c 2431 6039 2843206 16434284 0 2148 10 10 5 21.49/21.59 c 2440 6056 2849744 16475093 0 2157 9 9 8 21.59/21.64 c 2450 6074 2856365 16536336 0 2167 9 9 8 21.59/21.68 c 2460 6092 2862865 16593622 0 2177 9 9 8 21.69/21.73 c 2470 6110 2869451 16673042 0 2187 9 9 8 21.79/21.80 c 2480 6141 2884718 16748994 0 2197 22 22 20 21.79/21.87 c 2490 6173 2899378 16830903 0 2207 10 23 19 21.89/21.92 c 2500 6191 2906286 16891537 0 2217 9 9 8 21.89/21.95 c 2510 6209 2912626 16932208 0 2227 9 9 8 21.89/22.00 c 2520 6227 2920630 16993834 0 2237 9 9 8 22.00/22.06 c 2530 6247 2931515 17063479 0 2244 8 9 7 22.00/22.10 c 2540 6265 2938116 17102238 0 2254 9 9 8 22.10/22.15 c 2550 6283 2945191 17164988 0 2264 9 9 8 22.19/22.22 c 2560 6314 2960295 17241779 0 2274 22 22 20 22.19/22.26 c 2570 6332 2967203 17302487 0 2284 9 9 8 22.29/22.30 c 2580 6350 2973543 17343191 0 2294 9 9 8 22.29/22.37 c 2590 6373 2985858 17394040 0 2296 10 10 9 22.39/22.44 c 2600 6404 3000886 17460277 0 2306 22 22 20 22.39/22.48 c 2610 6423 3008338 17520657 0 2316 10 10 9 22.49/22.53 c 2620 6441 3016123 17581022 0 2326 9 9 8 22.59/22.62 c 2630 6472 3030954 17659954 0 2336 10 22 18 22.59/22.67 c 2640 6491 3038286 17720473 0 2346 10 10 9 22.69/22.70 c 2650 6509 3044606 17759369 0 2356 9 9 8 22.69/22.75 c 2660 6527 3051207 17820617 0 2366 9 9 8 22.69/22.79 c 2670 6545 3057881 17864275 0 2376 9 9 8 22.79/22.85 c 2680 6565 3069207 17939265 0 2383 8 9 7 22.79/22.88 c 2690 6583 3075467 17976864 0 2393 9 9 8 22.89/22.93 c 2700 6602 3083310 18035508 0 2403 8 10 8 23.00/23.01 c 2710 6634 3099781 18116939 0 2413 9 23 19 23.00/23.05 c 2720 6652 3106661 18179797 0 2423 9 9 8 23.10/23.12 c 2730 6674 3120399 18241759 0 2426 9 10 8 23.10/23.19 c 2740 6706 3136038 18311076 0 2436 9 23 19 23.19/23.24 c 2750 6723 3142611 18376044 0 2446 8 8 7 23.19/23.27 c 2760 6741 3148951 18416357 0 2456 9 9 8 23.29/23.32 c 2770 6759 3155572 18477601 0 2466 9 9 8 23.29/23.35 c 2771 6768 3161298 18502654 0 2467 9 9 4 23.29/23.38 c 2780 6785 3167712 18556310 0 2476 9 9 8 23.39/23.42 c 2790 6803 3174232 18613244 0 2486 9 9 8 23.39/23.45 c 2800 6821 3180772 18670562 0 2496 9 9 8 23.39/23.49 c 2810 6839 3187123 18732128 0 2506 9 9 8 23.49/23.59 c 2820 6872 3207807 18806885 0 2509 22 23 20 23.59/23.63 c 2830 6890 3214529 18849086 0 2519 9 9 8 23.59/23.69 c 2840 6908 3221607 18912253 0 2529 9 9 8 23.79/23.80 c 2850 6942 3243680 18992943 0 2535 9 22 18 23.79/23.85 c 2860 6959 3251541 19056980 0 2545 8 8 7 23.89/23.92 c 2870 6990 3267142 19124722 0 2555 22 22 20 23.89/23.96 c 2880 7008 3273362 19167189 0 2565 9 9 8 24.00/24.04 c 2890 7028 3287067 19228271 0 2569 9 9 8 24.10/24.11 c 2900 7059 3303181 19298288 0 2579 9 22 18 24.10/24.18 c 2910 7091 3318533 19378722 0 2589 23 23 20 24.19/24.23 c 2920 7109 3325541 19440011 0 2599 9 9 8 24.19/24.27 c 2930 7127 3331881 19480525 0 2609 9 9 8 24.29/24.31 c 2940 7145 3338442 19539576 0 2619 9 9 8 24.29/24.34 c 2950 7163 3344992 19596820 0 2629 9 9 8 24.29/24.38 c 2960 7181 3351532 19653744 0 2639 9 9 8 24.39/24.44 c 2970 7201 3364194 19712398 0 2642 9 9 8 24.49/24.52 c 2980 7233 3380182 19785477 0 2652 10 23 19 24.49/24.57 c 2990 7252 3387476 19864926 0 2662 10 10 9 24.59/24.63 c 3000 7270 3394062 19944800 0 2672 9 9 8 24.69/24.71 c 3010 7302 3411003 20013163 0 2682 9 23 19 24.69/24.78 c 3020 7323 3420211 20083255 0 2689 8 9 8 24.79/24.82 c 3030 7341 3426675 20144192 0 2699 9 9 8 24.79/24.85 c 3040 7359 3432945 20182438 0 2709 9 9 8 24.89/24.90 c 3050 7377 3439546 20243391 0 2719 9 9 8 24.89/24.96 c 3060 7397 3451476 20306665 0 2722 9 9 8 25.00/25.06 c 3070 7427 3465503 20401120 0 2732 9 21 18 25.10/25.13 c 3080 7458 3478925 20470801 0 2742 22 22 20 25.19/25.20 c 3090 7490 3493138 20548120 0 2752 10 23 19 25.19/25.27 c 3100 7521 3506542 20617702 0 2762 22 22 20 25.29/25.35 c 3110 7553 3522492 20692866 0 2772 23 23 20 25.39/25.42 c 3120 7584 3535896 20762422 0 2782 22 22 20 25.39/25.49 c 3130 7616 3550142 20838842 0 2792 23 23 20 25.49/25.56 c 3140 7647 3563591 20912981 0 2802 22 22 20 25.49/25.59 c 3142 7657 3569596 20949743 0 2804 8 9 5 25.59/25.63 c 3150 7673 3575995 21007053 0 2812 9 9 8 25.69/25.71 c 3160 7705 3590699 21085303 0 2822 9 23 19 25.69/25.76 c 3170 7723 3597803 21163853 0 2832 9 9 8 25.69/25.79 c 3180 7741 3604073 21202098 0 2842 9 9 8 25.79/25.84 c 3190 7759 3610674 21263019 0 2852 9 9 8 25.89/25.90 c 3200 7779 3622553 21325984 0 2855 9 9 8 25.89/25.98 c 3210 7810 3636472 21405924 0 2865 9 22 18 26.00/26.03 c 3220 7829 3644321 21475816 0 2875 10 10 9 26.00/26.08 c 3230 7848 3651702 21531375 0 2885 8 10 8 26.10/26.16 c 3240 7880 3667907 21606265 0 2895 9 23 19 26.19/26.21 c 3250 7898 3675121 21685210 0 2905 9 9 8 26.19/26.26 c 3260 7916 3681748 21756908 0 2915 9 9 8 26.29/26.34 c 3270 7947 3696327 21848473 0 2925 9 22 18 26.29/26.38 c 3280 7965 3703197 21909180 0 2935 9 9 8 26.39/26.44 c 3290 7983 3709907 21977774 0 2945 9 9 8 26.49/26.51 c 3300 8014 3724499 22053837 0 2955 9 22 18 26.49/26.56 c 3310 8034 3733771 22113241 0 2965 11 11 10 26.59/26.65 c 3320 8064 3753535 22184870 0 2975 21 21 19 26.59/26.69 c 3330 8083 3761104 22246693 0 2985 10 10 9 26.69/26.73 c 3340 8101 3767657 22287286 0 2995 9 9 8 26.69/26.77 c 3350 8119 3774247 22346007 0 3005 9 9 8 26.79/26.80 c 3360 8137 3780757 22399572 0 3015 9 9 8 26.79/26.87 c 3370 8170 3795594 22471911 0 3025 10 24 20 26.89/26.98 c 3380 8202 3815772 22548567 0 3030 22 22 20 27.00/27.03 c 3390 8220 3822764 22585617 0 3040 9 9 8 27.10/27.12 c 3400 8251 3837446 22680927 0 3050 9 22 18 27.10/27.16 c 3410 8269 3844286 22746095 0 3060 9 9 8 27.19/27.20 c 3420 8287 3850626 22786787 0 3070 9 9 8 27.19/27.27 c 3430 8310 3863100 22838820 0 3072 10 10 9 27.29/27.34 c 3440 8342 3878884 22916805 0 3082 23 23 20 27.29/27.38 c 3450 8360 3885773 22980019 0 3092 9 9 8 27.39/27.42 c 3460 8378 3892273 23037143 0 3102 9 9 8 27.39/27.46 c 3470 8397 3899281 23103865 0 3103 10 10 9 27.49/27.51 c 3480 8415 3905902 23165501 0 3113 9 9 8 27.49/27.55 c 3490 8433 3912242 23206159 0 3123 9 9 8 27.59/27.60 c 3500 8451 3919288 23272559 0 3133 9 9 8 27.59/27.67 c 3510 8483 3934645 23352894 0 3143 9 23 19 27.69/27.72 c 3520 8501 3941428 23416183 0 3153 9 9 8 27.69/27.78 c 3530 8521 3952232 23473797 0 3160 8 9 7 27.79/27.83 c 3540 8540 3960640 23528513 0 3170 10 10 9 27.89/27.90 c 3550 8572 3976500 23592672 0 3180 9 23 19 27.89/27.93 c 3551 8580 3981731 23618864 0 3181 8 8 4 27.89/27.99 c 3560 8599 3992377 23675149 0 3187 8 9 7 28.00/28.03 c 3570 8617 3999268 23736324 0 3197 9 9 8 28.00/28.07 c 3580 8635 4006684 23791662 0 3207 9 9 8 28.10/28.15 c 3590 8666 4022032 23884294 0 3217 22 22 20 28.19/28.20 c 3600 8684 4028921 23947857 0 3227 9 9 8 28.19/28.25 c 3610 8704 4039372 24017206 0 3234 8 9 7 28.29/28.30 c 3620 8723 4046380 24083925 0 3235 10 10 9 28.29/28.34 c 3630 8741 4052961 24143866 0 3245 9 9 8 28.29/28.37 c 3640 8759 4059281 24183238 0 3255 9 9 8 28.39/28.43 c 3650 8777 4066327 24249642 0 3265 9 9 8 28.49/28.50 c 3660 8808 4080990 24321321 0 3275 9 22 18 28.49/28.54 c 3670 8826 4087737 24382488 0 3285 9 9 8 28.49/28.58 c 3680 8844 4094077 24422726 0 3295 9 9 8 28.59/28.66 c 3690 8864 4105594 24489217 0 3299 9 9 8 28.69/28.77 c 3700 8895 4120867 24586743 0 3309 9 22 18 28.79/28.87 c 3710 8928 4139576 24659457 0 3313 10 23 19 28.89/28.94 c 3720 8960 4154595 24736501 0 3323 10 23 19 28.89/29.00 c 3730 8980 4163781 24792844 0 3333 11 11 10 29.00/29.09 c 3740 9011 4178335 24890397 0 3343 9 22 18 29.10/29.13 c 3750 9030 4185904 24950709 0 3353 10 10 9 29.10/29.17 c 3760 9048 4192722 24994080 0 3363 9 9 8 29.19/29.21 c 3770 9066 4199543 25053945 0 3373 9 9 8 29.19/29.27 c 3780 9086 4210610 25122987 0 3380 8 9 7 29.29/29.31 c 3790 9106 4217987 25191013 0 3384 10 10 9 29.29/29.39 c 3800 9138 4235551 25269616 0 3394 23 23 20 29.39/29.44 c 3810 9156 4242402 25332957 0 3404 9 9 8 29.39/29.47 c 3820 9174 4248922 25389856 0 3414 9 9 8 29.49/29.52 c 3830 9192 4255875 25460949 0 3424 9 9 8 29.59/29.62 c 3840 9225 4273475 25534937 0 3430 9 23 19 29.59/29.67 c 3850 9245 4280982 25605612 0 3440 11 11 10 29.70/29.71 c 3860 9263 4288917 25661368 0 3450 9 9 8 29.79/29.80 c 3870 9294 4303700 25754290 0 3460 9 22 18 29.79/29.90 c 3880 9325 4318111 25848329 0 3470 9 22 18 29.89/29.99 c 3890 9356 4333115 25942685 0 3480 9 22 18 30.00/30.06 c 3900 9388 4347907 26025739 0 3490 10 23 19 30.10/30.15 c 3910 9419 4362387 26122338 0 3500 22 22 20 30.19/30.24 c 3920 9450 4377081 26219872 0 3510 22 22 20 30.29/30.32 c 3930 9481 4391561 26317003 0 3520 22 22 20 30.39/30.41 c 3940 9512 4406031 26416573 0 3530 22 22 20 30.39/30.49 c 3950 9543 4420511 26516826 0 3540 22 22 20 30.59/30.60 c 3960 9574 4435721 26614109 0 3550 22 22 20 30.59/30.67 c 3970 9606 4450539 26695860 0 3560 23 23 20 30.69/30.76 c 3980 9637 4465053 26787769 0 3570 22 22 20 30.79/30.84 c 3990 9668 4479533 26886237 0 3580 22 22 20 30.89/30.92 c 4000 9699 4494003 26984264 0 3590 22 22 20 30.89/30.98 c 4001 9722 4508106 27034622 0 3591 23 23 11 31.00/31.05 c 4010 9753 4522506 27112182 0 3600 9 23 19 31.00/31.09 c 4020 9771 4529367 27172478 0 3610 9 9 8 31.10/31.14 c 4030 9789 4535873 27247144 0 3620 9 9 8 31.10/31.19 c 4040 9818 4548431 27322671 0 3630 10 20 17 31.19/31.28 c 4050 9849 4562531 27417149 0 3640 9 22 18 31.29/31.36 c 4060 9880 4576640 27514515 0 3650 9 22 18 31.39/31.46 c 4070 9911 4591233 27610899 0 3660 22 22 20 31.49/31.53 c 4080 9943 4605682 27693143 0 3670 10 23 19 31.49/31.58 c 4090 9962 4613115 27771632 0 3680 10 10 9 31.59/31.64 c 4100 9991 4625691 27839684 0 3690 10 20 17 31.69/31.72 c 4110 10023 4639891 27921916 0 3700 10 23 19 31.79/31.80 c 4120 10054 4654135 28012595 0 3710 10 22 18 31.79/31.87 c 4130 10085 4667501 28089787 0 3720 22 22 20 31.89/31.96 c 4140 10116 4681574 28189348 0 3730 10 22 18 32.00/32.05 c 4150 10147 4695317 28283034 0 3740 11 22 19 32.10/32.11 c 4160 10178 4710695 28348530 0 3750 11 22 19 32.10/32.19 c 4170 10210 4727411 28430803 0 3755 11 22 19 32.19/32.25 c 4180 10241 4740609 28508451 0 3765 22 22 20 32.29/32.32 c 4190 10272 4754292 28598815 0 3775 22 22 20 32.39/32.41 c 4200 10303 4770754 28678244 0 3785 22 22 20 32.39/32.45 c 4210 10324 4778693 28748587 0 3790 11 11 10 32.49/32.53 c 4220 10356 4793806 28823869 0 3800 9 23 19 32.49/32.58 c 4230 10375 4802198 28883381 0 3810 10 10 9 32.59/32.64 c 4240 10405 4815582 28949102 0 3820 9 21 18 32.69/32.71 c 4250 10436 4829486 29026338 0 3830 10 22 18 32.69/32.75 c 4260 10456 4837456 29081443 0 3840 11 11 10 32.79/32.83 c 4270 10488 4852266 29157543 0 3850 9 23 19 32.89/32.93 c 4280 10521 4870974 29229551 0 3854 10 23 19 32.89/33.00 c 4290 10553 4885705 29306808 0 3864 10 23 19 33.00/33.05 c 4300 10571 4892661 29367446 0 3874 9 9 8 33.00/33.09 c 4310 10590 4900192 29427463 0 3884 8 10 8 33.10/33.17 c 4320 10622 4916159 29506128 0 3894 9 23 19 33.19/33.26 c 4330 10653 4930361 29595613 0 3904 10 22 18 33.29/33.34 c 4340 10685 4945264 29663315 0 3914 10 23 19 33.39/33.41 c 4350 10704 4956108 29731243 0 3916 8 9 7 33.39/33.49 c 4360 10736 4970859 29806126 0 3926 9 23 19 33.49/33.54 c 4370 10754 4979944 29862605 0 3936 9 9 8 33.59/33.60 c 4380 10786 4994559 29932331 0 3946 23 23 20 33.59/33.66 c 4390 10804 5001484 30010991 0 3956 9 9 8 33.69/33.71 c 4400 10822 5008427 30082024 0 3966 9 9 8 33.69/33.79 c 4410 10853 5024105 30149649 0 3976 9 22 18 33.79/33.89 c 4420 10886 5042961 30226908 0 3983 10 23 15 33.89/33.97 c 4430 10919 5058684 30299601 0 3988 10 23 19 34.00/34.02 c 4440 10937 5065370 30375972 0 3998 9 9 8 34.00/34.07 c 4450 10955 5072039 30443009 0 4008 9 9 8 34.10/34.15 c 4460 10986 5086798 30526963 0 4018 9 22 18 34.19/34.20 c 4470 11006 5096117 30580362 0 4027 9 10 8 34.19/34.25 c 4480 11024 5102978 30635690 0 4037 9 9 8 34.29/34.31 c 4490 11054 5116607 30711743 0 4047 9 21 18 34.29/34.37 c 4493 11078 5129535 30766216 0 4050 10 22 13 34.39/34.44 c 4500 11106 5142921 30843311 0 4057 10 22 17 34.49/34.53 c 4510 11137 5156737 30941482 0 4067 22 22 20 34.59/34.61 c 4520 11168 5170526 31039660 0 4077 22 22 20 34.59/34.69 c 4530 11199 5184305 31137757 0 4087 22 22 20 34.69/34.76 c 4540 11230 5198057 31232606 0 4097 22 22 20 34.79/34.86 c 4550 11261 5212576 31329693 0 4107 22 22 20 34.89/34.93 c 4560 11292 5225527 31397734 0 4117 9 22 18 34.89/35.00 c 4570 11323 5239164 31477917 0 4127 9 22 18 35.00/35.06 c 4580 11354 5252475 31546942 0 4137 22 22 20 35.10/35.13 c 4590 11385 5265611 31627324 0 4147 22 22 20 35.19/35.23 c 4600 11417 5285327 31694390 0 4152 22 22 20 35.29/35.30 c 4610 11448 5298463 31774860 0 4162 22 22 20 35.29/35.39 c 4620 11479 5312252 31872181 0 4172 22 22 20 35.39/35.47 c 4630 11510 5326256 31963332 0 4182 22 22 20 35.49/35.55 c 4640 11541 5339368 32042026 0 4192 22 22 20 35.59/35.64 c 4650 11572 5353147 32132358 0 4202 22 22 20 35.69/35.71 c 4660 11603 5366219 32207188 0 4212 22 22 20 35.69/35.77 c 4670 11634 5380137 32272917 0 4222 22 22 20 35.79/35.83 c 4680 11651 5389576 32330450 0 4232 8 8 7 35.79/35.89 c 4690 11681 5403269 32408658 0 4242 21 21 19 35.89/35.99 c 4700 11712 5417048 32507039 0 4252 22 22 20 36.00/36.07 c 4710 11744 5436902 32574701 0 4257 22 22 20 36.10/36.14 c 4720 11775 5450575 32657121 0 4267 9 22 18 36.19/36.21 c 4730 11806 5465726 32723345 0 4277 22 22 20 36.29/36.31 c 4740 11839 5484435 32795778 0 4281 10 23 19 36.29/36.38 c 4750 11871 5499526 32877275 0 4291 10 23 19 36.39/36.47 c 4760 11902 5513305 32974567 0 4301 22 22 20 36.49/36.55 c 4770 11934 5531453 33041376 0 4306 22 22 20 36.59/36.62 c 4780 11965 5545584 33118892 0 4316 9 22 18 36.69/36.70 c 4790 11996 5559399 33213208 0 4326 10 22 18 36.79/36.80 c 4800 12030 5579853 33297787 0 4330 22 22 20 36.79/36.88 c 4810 12061 5593726 33394483 0 4340 22 22 20 36.89/36.94 c 4820 12092 5607723 33461483 0 4350 22 22 20 36.89/37.00 c 4830 12111 5617758 33524435 0 4360 8 9 8 37.00/37.09 c 4840 12142 5635699 33594962 0 4364 21 21 19 37.10/37.16 c 4850 12173 5649764 33671234 0 4374 10 22 18 37.19/37.21 c 4860 12191 5656696 33749569 0 4384 9 9 8 37.19/37.27 c 4870 12211 5667182 33808412 0 4391 8 9 7 37.30/37.32 c 4880 12229 5674073 33869603 0 4401 9 9 8 37.30/37.37 c 4890 12249 5684524 33938940 0 4408 8 9 7 37.40/37.42 c 4900 12267 5691419 34009863 0 4418 9 9 8 37.40/37.49 c 4910 12297 5704985 34085246 0 4428 9 21 18 37.50/37.54 c 4920 12317 5714394 34144234 0 4438 11 11 10 37.60/37.64 c 4930 12349 5732696 34217106 0 4441 9 22 18 37.70/37.73 c 4940 12380 5747366 34308646 0 4451 10 22 18 37.80/37.81 c 4950 12411 5761734 34377636 0 4461 10 22 18 37.90/37.90 c 4960 12443 5778858 34450202 0 4466 10 22 18 37.90/37.96 c 4970 12474 5792657 34525247 0 4476 10 22 18 38.01/38.05 c 4980 12505 5807361 34616453 0 4486 10 22 18 38.11/38.13 c 4990 12537 5823606 34690103 0 4496 10 23 19 38.20/38.28 c 5035 12591 5836384 34930317 0 4541 10 10 9 39.40/39.41 c 5631 13206 5901359 36859504 0 4569 9 10 9 41.19/41.26 c 6286 13908 6054914 39167959 0 4721 9 10 9 43.19/43.21 c 7006 14674 6249084 41577661 0 4754 8 9 8 45.00/45.06 c 7798 15539 6482734 43791463 0 4932 8 22 20 46.59/46.70 c 8669 16447 6625818 46458605 0 5053 9 22 21 49.00/49.08 c 9627 17427 6755736 50630552 0 5129 8 9 7 51.69/51.75 c 10680 18553 7036354 54380157 0 5341 7 8 7 54.89/54.95 c 11838 19759 7347455 58709940 0 5383 9 9 8 57.10/57.18 c 13111 21088 7551595 62598369 0 5415 8 22 19 60.59/60.68 c 14511 22546 7875024 67701978 0 5429 9 10 9 64.69/64.70 c 16051 24228 8246860 72887106 0 5474 8 10 8 67.49/67.50 c 17745 25967 8432702 78291204 0 5519 8 10 9 72.10/72.14 c 19608 27901 8743416 86083078 0 5604 8 10 8 77.00/77.02 c 21657 30106 9237746 91801908 0 5702 8 10 9 82.49/82.58 c 23910 32435 9576470 101226663 0 5764 8 10 8 89.69/89.74 c 26388 35078 10341531 109588112 0 5835 8 10 8 95.69/95.77 c 29113 37970 10971243 118053460 0 5873 8 23 21 102.49/102.59 c 32110 41079 11559476 128964890 0 5912 9 10 9 108.69/108.72 c 35406 44528 12039839 141165935 0 5968 9 23 21 117.59/117.68 c 39031 48293 12641111 156595419 0 6182 7 8 7 126.00/126.08 c 43018 52604 13574717 164806119 0 6233 19 24 22 132.10/132.17 c 47403 57177 14083861 177043807 0 6383 20 21 20 140.00/140.09 c 52226 62239 15014489 190257616 0 6586 8 9 8 150.80/150.83 c 57531 67872 16545381 203915804 0 6603 8 9 8 163.50/163.51 c 63366 74207 18298202 220337121 0 6792 8 11 9 171.20/171.29 c 69784 80888 18978452 238254003 0 6954 7 8 7 185.70/185.72 c 76843 88366 20605933 261680483 0 7172 7 9 8 197.01/197.03 c 84607 96467 21783312 281253531 0 7198 7 8 7 213.90/213.97 c 93147 105486 23576285 309416209 0 7444 7 9 8 228.50/228.53 c 102541 115337 25196914 332653628 0 7721 7 8 7 250.51/250.56 c 112874 126506 28157581 359764746 0 7819 7 9 8 271.81/271.83 c 124240 138634 30789528 389898698 0 7932 8 11 9 297.21/297.24 c 136742 151909 33668685 429112741 0 7970 8 10 9 316.51/316.54 c 150494 166151 35529311 468663704 0 7999 7 9 8 343.52/343.57 c 165621 182148 39032523 507366589 0 8293 7 11 9 378.42/378.40 c 182260 200054 43009863 556781315 0 8427 7 10 8 410.82/410.89 c 200562 219391 47073545 605808377 0 8465 7 8 7 448.83/448.82 c 220694 240795 51741425 653876837 0 8533 8 11 9 480.43/480.43 c 242839 263815 54767628 715871708 0 8677 7 9 7 527.74/527.75 c 267198 289322 59611130 786796707 0 8819 7 10 8 575.84/575.86 c 293992 317504 64454833 866382332 0 8988 7 11 9 616.55/616.57 c 323465 347994 68709571 938549072 0 9094 6 11 7 686.95/686.93 c 355885 382589 77503917 1026278376 0 9176 7 11 9 751.66/751.64 c 391547 420345 85783630 1120143875 0 9214 7 8 7 832.28/832.28 c 430775 461717 94107783 1245602529 0 9457 7 10 8 891.78/891.73 c 473925 506534 100024987 1355336699 0 9491 7 8 7 985.59/985.59 c 521390 557350 112997780 1470266312 0 9543 7 11 9 1101.91/1101.89 c 573601 613203 124404228 1631732349 0 9642 7 11 9 1200.13/1200.09 c 631033 674067 135616149 1770384515 0 9994 7 11 8 1315.04/1314.92 c 694208 741849 150489559 1949277472 0 10185 6 10 8 1422.55/1422.47 c 763700 814097 160551476 2156214680 0 10512 6 8 7 1579.77/1579.63 c 840141 895420 178718208 2390386987 0 10533 7 11 8 1752.90/1752.70 c 924226 984910 198503495 2641438691 0 10601 7 11 8 1911.12/1911.00 c 1016719 1081529 214314207 2933711315 0 10761 7 9 8 2091.25/2091.06 c 1118461 1189279 235508186 3225189089 0 10879 6 9 7 2332.98/2332.71 c 1230377 1309253 264276821 3561173829 0 11133 7 9 8 2470.69/2470.43 c 1353484 1436294 276576179 3842997921 0 11263 7 8 7 2520.00/2519.70 2520.00/2519.70 c *** INTERRUPTED *** 2520.00/2519.70 c restarts : 575 2520.00/2519.70 c conflicts : 1375575 (546 /sec) 2520.00/2519.70 c decisions : 1459661 (579 /sec) 2520.00/2519.70 c propagations : 3903990257 (1549568 /sec) 2520.00/2519.70 c root propagations : 0 2520.00/2519.70 c filter calls : 282736090 (112223 /sec) 2520.00/2519.70 c useless filter calls : 233457243 (82 %) 2520.00/2519.70 c 2520.00/2519.70 c clauses : 38734137 2520.00/2519.70 c SAT propagations : 99 2520.00/2519.70 c SAT conflicts : 0 (0 learnts) 2520.00/2519.70 c Memory used : 1974.00 MB 2520.00/2519.70 c CPU time : 2519.41 s 2520.00/2519.70 2520.00/2519.70 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 (14150 MiB free)
memory of node 1: 16384 MiB (12345 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4266459-1502591054/watcher-4266459-1502591054 -o /tmp/evaluation-result-4266459-1502591054/solver-4266459-1502591054 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node114-1502567254-24357 --watchdog 2580 cosoco -lc -model -restarts -sat HOME/instance-4266459-1502591054.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=27596, runsolver pid=27593
Current StackSize limit: 8192 KiB
[startup+0.100104 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 27597
/proc/meminfo: memFree=27128152/32770624 swapFree=67108860/67108860
[pid=27596] ppid=27593 vsize=28900 memory=4932 CPUtime=0.1 cores=0,2,4,6
/proc/27596/stat : 27596 (cosoco) R 27593 27596 24273 0 -1 4202496 1438 0 0 0 10 0 0 0 20 0 1 0 92193302 29593600 1233 33554432000 4194304 5972588 140734915888512 140734915885160 140632221098215 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8070896 8075904 37457920 140734915892410 140734915892510 140734915892510 140734915895246 0
/proc/27596/statm: 7225 1233 736 435 0 588 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 28900 KiB
Current children cumulated memory: 4932 KiB
[startup+0.209578 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 27597
/proc/meminfo: memFree=27126308/32770624 swapFree=67108860/67108860
[pid=27596] ppid=27593 vsize=31052 memory=7252 CPUtime=0.21 cores=0,2,4,6
/proc/27596/stat : 27596 (cosoco) R 27593 27596 24273 0 -1 4202496 2019 0 0 0 21 0 0 0 20 0 1 0 92193302 31797248 1813 33554432000 4194304 5972588 140734915888512 140734915885160 140632227093389 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8070896 8075904 37457920 140734915892410 140734915892510 140734915892510 140734915895246 0
/proc/27596/statm: 7763 1813 780 435 0 1126 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 31052 KiB
Current children cumulated memory: 7252 KiB
[startup+0.308922 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 27597
/proc/meminfo: memFree=27124076/32770624 swapFree=67108860/67108860
[pid=27596] ppid=27593 vsize=33132 memory=9376 CPUtime=0.31 cores=0,2,4,6
/proc/27596/stat : 27596 (cosoco) R 27593 27596 24273 0 -1 4202496 2545 0 0 0 31 0 0 0 20 0 1 0 92193302 33927168 2344 33554432000 4194304 5972588 140734915888512 140734915885160 140632217619429 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8070896 8075904 37457920 140734915892410 140734915892510 140734915892510 140734915895246 0
/proc/27596/statm: 8283 2344 780 435 0 1646 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 33132 KiB
Current children cumulated memory: 9376 KiB
[startup+0.700239 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 27597
/proc/meminfo: memFree=27120108/32770624 swapFree=67108860/67108860
[pid=27596] ppid=27593 vsize=40980 memory=17184 CPUtime=0.69 cores=0,2,4,6
/proc/27596/stat : 27596 (cosoco) R 27593 27596 24273 0 -1 4202496 4520 0 0 0 69 0 0 0 20 0 1 0 92193302 41963520 4296 33554432000 4194304 5972588 140734915888512 140734915882072 140632226964710 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8070896 8075904 37457920 140734915892410 140734915892510 140734915892510 140734915895246 0
/proc/27596/statm: 10245 4296 780 435 0 3608 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 40980 KiB
Current children cumulated memory: 17184 KiB
[startup+1.50024 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 27597
/proc/meminfo: memFree=27109468/32770624 swapFree=67108860/67108860
[pid=27596] ppid=27593 vsize=57660 memory=33900 CPUtime=1.49 cores=0,2,4,6
/proc/27596/stat : 27596 (cosoco) R 27593 27596 24273 0 -1 4202496 8677 0 0 0 148 1 0 0 20 0 1 0 92193302 59043840 8475 33554432000 4194304 5972588 140734915888512 140734915882072 140632217617036 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8070896 8075904 37457920 140734915892410 140734915892510 140734915892510 140734915895246 0
/proc/27596/statm: 14415 8475 780 435 0 7778 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 57660 KiB
Current children cumulated memory: 33900 KiB
[startup+3.10939 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 27597
/proc/meminfo: memFree=27068268/32770624 swapFree=67108860/67108860
[pid=27596] ppid=27593 vsize=90764 memory=67148 CPUtime=3.09 cores=0,2,4,6
/proc/27596/stat : 27596 (cosoco) R 27593 27596 24273 0 -1 4202496 17422 0 0 0 307 2 0 0 20 0 1 0 92193302 92942336 16787 33554432000 4194304 5972588 140734915888512 140734915882072 140632218057824 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 8070896 8075904 37457920 140734915892410 140734915892510 140734915892510 140734915895246 0
/proc/27596/statm: 22691 16787 780 435 0 16054 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 90764 KiB
Current children cumulated memory: 67148 KiB
[startup+6.30042 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 27605
/proc/meminfo: memFree=25526944/32770624 swapFree=67108860/67108860
[pid=27596] ppid=27593 vsize=1998800 memory=1610936 CPUtime=6.29 cores=0,2,4,6
/proc/27596/stat : 27596 (cosoco) R 27593 27596 24273 0 -1 4202496 237043 0 0 0 584 45 0 0 20 0 1 0 92193302 2046771200 402734 33554432000 4194304 5972588 140734915888512 140734915885304 4965339 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 37457920 140734915892410 140734915892510 140734915892510 140734915895246 0
/proc/27596/statm: 499700 402734 831 435 0 493063 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 1998800 KiB
Current children cumulated memory: 1610936 KiB
[startup+12.7004 s]
/proc/loadavg: 1.93 2.00 2.04 3/188 27605
/proc/meminfo: memFree=25501028/32770624 swapFree=67108860/67108860
[pid=27596] ppid=27593 vsize=2016224 memory=1628388 CPUtime=12.69 cores=0,2,4,6
/proc/27596/stat : 27596 (cosoco) R 27593 27596 24273 0 -1 4202496 251675 0 0 0 1222 47 0 0 20 0 1 0 92193302 2064613376 407097 33554432000 4194304 5972588 140734915888512 140734915885816 5053024 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 37457920 140734915892410 140734915892510 140734915892510 140734915895246 0
/proc/27596/statm: 504056 407097 831 435 0 497419 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2016224 KiB
Current children cumulated memory: 1628388 KiB
[startup+25.5005 s]
/proc/loadavg: 1.94 2.00 2.04 3/188 27605
/proc/meminfo: memFree=25499488/32770624 swapFree=67108860/67108860
[pid=27596] ppid=27593 vsize=2017808 memory=1630044 CPUtime=25.49 cores=0,2,4,6
/proc/27596/stat : 27596 (cosoco) R 27593 27596 24273 0 -1 4202496 266559 0 0 0 2501 48 0 0 20 0 1 0 92193302 2066235392 407511 33554432000 4194304 5972588 140734915888512 140734915885816 5070704 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 37457920 140734915892410 140734915892510 140734915892510 140734915895246 0
/proc/27596/statm: 504452 407511 831 435 0 497815 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 2017808 KiB
Current children cumulated memory: 1630044 KiB
[startup+51.1094 s]
/proc/loadavg: 1.96 2.00 2.04 3/188 27605
/proc/meminfo: memFree=25497852/32770624 swapFree=67108860/67108860
[pid=27596] ppid=27593 vsize=2018864 memory=1631052 CPUtime=51.1 cores=0,2,4,6
/proc/27596/stat : 27596 (cosoco) R 27593 27596 24273 0 -1 4202496 281842 0 0 0 5060 50 0 0 20 0 1 0 92193302 2067316736 407763 33554432000 4194304 5972588 140734915888512 140734915885544 5071411 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 37457920 140734915892410 140734915892510 140734915892510 140734915895246 0
/proc/27596/statm: 504716 407763 831 435 0 498079 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 2018864 KiB
Current children cumulated memory: 1631052 KiB
[startup+102.3 s]
/proc/loadavg: 1.98 2.00 2.04 3/188 27606
/proc/meminfo: memFree=25497136/32770624 swapFree=67108860/67108860
[pid=27596] ppid=27593 vsize=2019260 memory=1631444 CPUtime=102.29 cores=0,2,4,6
/proc/27596/stat : 27596 (cosoco) R 27593 27596 24273 0 -1 4202496 301898 0 0 0 10178 51 0 0 20 0 1 0 92193302 2067722240 407861 33554432000 4194304 5972588 140734915888512 140734915885816 5099648 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 37457920 140734915892410 140734915892510 140734915892510 140734915895246 0
/proc/27596/statm: 504815 407861 831 435 0 498178 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 2019260 KiB
Current children cumulated memory: 1631444 KiB
[startup+162.3 s]
/proc/loadavg: 1.99 2.00 2.04 3/188 27607
/proc/meminfo: memFree=25496424/32770624 swapFree=67108860/67108860
[pid=27596] ppid=27593 vsize=2020316 memory=1632476 CPUtime=162.3 cores=0,2,4,6
/proc/27596/stat : 27596 (cosoco) R 27593 27596 24273 0 -1 4202496 318024 0 0 0 16178 52 0 0 20 0 1 0 92193302 2068803584 408119 33554432000 4194304 5972588 140734915888512 140734915885544 4965365 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 37457920 140734915892410 140734915892510 140734915892510 140734915895246 0
/proc/27596/statm: 505079 408119 831 435 0 498442 0
Current children cumulated CPU time: 162.3 s
Current children cumulated vsize: 2020316 KiB
Current children cumulated memory: 1632476 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/188 27608
/proc/meminfo: memFree=25496256/32770624 swapFree=67108860/67108860
[pid=27596] ppid=27593 vsize=2020448 memory=1632588 CPUtime=222.3 cores=0,2,4,6
/proc/27596/stat : 27596 (cosoco) R 27593 27596 24273 0 -1 4202496 328763 0 0 0 22178 52 0 0 20 0 1 0 92193302 2068938752 408147 33554432000 4194304 5972588 140734915888512 140734915885816 4968734 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 37457920 140734915892410 140734915892510 140734915892510 140734915895246 0
/proc/27596/statm: 505112 408147 831 435 0 498475 0
Current children cumulated CPU time: 222.3 s
Current children cumulated vsize: 2020448 KiB
Current children cumulated memory: 1632588 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/188 27609
/proc/meminfo: memFree=25495968/32770624 swapFree=67108860/67108860
[pid=27596] ppid=27593 vsize=2020580 memory=1632708 CPUtime=282.31 cores=0,2,4,6
/proc/27596/stat : 27596 (cosoco) R 27593 27596 24273 0 -1 4202496 341873 0 0 0 28178 53 0 0 20 0 1 0 92193302 2069073920 408177 33554432000 4194304 5972588 140734915888512 140734915885336 5053056 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 37457920 140734915892410 140734915892510 140734915892510 140734915895246 0
/proc/27596/statm: 505145 408177 831 435 0 498508 0
Current children cumulated CPU time: 282.31 s
Current children cumulated vsize: 2020580 KiB
Current children cumulated memory: 1632708 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 27610
/proc/meminfo: memFree=25495852/32770624 swapFree=67108860/67108860
[pid=27596] ppid=27593 vsize=2020580 memory=1632756 CPUtime=342.32 cores=0,2,4,6
/proc/27596/stat : 27596 (cosoco) R 27593 27596 24273 0 -1 4202496 351605 0 0 0 34178 54 0 0 20 0 1 0 92193302 2069073920 408189 33554432000 4194304 5972588 140734915888512 140734915885816 4965342 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 37457920 140734915892410 140734915892510 140734915892510 140734915895246 0
/proc/27596/statm: 505145 408189 831 435 0 498508 0
Current children cumulated CPU time: 342.32 s
Current children cumulated vsize: 2020580 KiB
Current children cumulated memory: 1632756 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 27611
/proc/meminfo: memFree=25495800/32770624 swapFree=67108860/67108860
[pid=27596] ppid=27593 vsize=2020712 memory=1632844 CPUtime=402.32 cores=0,2,4,6
/proc/27596/stat : 27596 (cosoco) R 27593 27596 24273 0 -1 4202496 363746 0 0 0 40178 54 0 0 20 0 1 0 92193302 2069209088 408211 33554432000 4194304 5972588 140734915888512 140734915885544 5070704 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 37457920 140734915892410 140734915892510 140734915892510 140734915895246 0
/proc/27596/statm: 505178 408211 831 435 0 498541 0
Current children cumulated CPU time: 402.32 s
Current children cumulated vsize: 2020712 KiB
Current children cumulated memory: 1632844 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 27612
/proc/meminfo: memFree=25495460/32770624 swapFree=67108860/67108860
[pid=27596] ppid=27593 vsize=2020712 memory=1632896 CPUtime=462.33 cores=0,2,4,6
/proc/27596/stat : 27596 (cosoco) R 27593 27596 24273 0 -1 4202496 375897 0 0 0 46178 55 0 0 20 0 1 0 92193302 2069209088 408224 33554432000 4194304 5972588 140734915888512 140734915885816 4909660 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 37457920 140734915892410 140734915892510 140734915892510 140734915895246 0
/proc/27596/statm: 505178 408224 831 435 0 498541 0
Current children cumulated CPU time: 462.33 s
Current children cumulated vsize: 2020712 KiB
Current children cumulated memory: 1632896 KiB
################
# More data... #
################
/proc/27596/statm: 505343 408449 831 435 0 498706 0
Current children cumulated CPU time: 1782.5 s
Current children cumulated vsize: 2021372 KiB
Current children cumulated memory: 1633796 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 27721
/proc/meminfo: memFree=24100084/32770624 swapFree=67108860/67108860
[pid=27596] ppid=27593 vsize=2021372 memory=1633796 CPUtime=1842.51 cores=0,2,4,6
/proc/27596/stat : 27596 (cosoco) R 27593 27596 24273 0 -1 4202496 435909 0 0 0 184192 59 0 0 20 0 1 0 92193302 2069884928 408449 33554432000 4194304 5972588 140734915888512 140734915885816 4968704 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 37457920 140734915892410 140734915892510 140734915892510 140734915895246 0
/proc/27596/statm: 505343 408449 831 435 0 498706 0
Current children cumulated CPU time: 1842.51 s
Current children cumulated vsize: 2021372 KiB
Current children cumulated memory: 1633796 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 27722
/proc/meminfo: memFree=24100524/32770624 swapFree=67108860/67108860
[pid=27596] ppid=27593 vsize=2021372 memory=1633800 CPUtime=1902.51 cores=0,2,4,6
/proc/27596/stat : 27596 (cosoco) R 27593 27596 24273 0 -1 4202496 436850 0 0 0 190192 59 0 0 20 0 1 0 92193302 2069884928 408450 33554432000 4194304 5972588 140734915888512 140734915885816 5071411 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 37457920 140734915892410 140734915892510 140734915892510 140734915895246 0
/proc/27596/statm: 505343 408450 831 435 0 498706 0
Current children cumulated CPU time: 1902.51 s
Current children cumulated vsize: 2021372 KiB
Current children cumulated memory: 1633800 KiB
[startup+1962.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/188 27723
/proc/meminfo: memFree=24100552/32770624 swapFree=67108860/67108860
[pid=27596] ppid=27593 vsize=2021372 memory=1633812 CPUtime=1962.52 cores=0,2,4,6
/proc/27596/stat : 27596 (cosoco) R 27593 27596 24273 0 -1 4202496 438442 0 0 0 196193 59 0 0 20 0 1 0 92193302 2069884928 408453 33554432000 4194304 5972588 140734915888512 140734915885816 4965365 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 37457920 140734915892410 140734915892510 140734915892510 140734915895246 0
/proc/27596/statm: 505343 408453 831 435 0 498706 0
Current children cumulated CPU time: 1962.52 s
Current children cumulated vsize: 2021372 KiB
Current children cumulated memory: 1633812 KiB
[startup+2022.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/188 27724
/proc/meminfo: memFree=24100324/32770624 swapFree=67108860/67108860
[pid=27596] ppid=27593 vsize=2021372 memory=1633816 CPUtime=2022.53 cores=0,2,4,6
/proc/27596/stat : 27596 (cosoco) R 27593 27596 24273 0 -1 4202496 439696 0 0 0 202194 59 0 0 20 0 1 0 92193302 2069884928 408454 33554432000 4194304 5972588 140734915888512 140734915885816 5240352 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 37457920 140734915892410 140734915892510 140734915892510 140734915895246 0
/proc/27596/statm: 505343 408454 831 435 0 498706 0
Current children cumulated CPU time: 2022.53 s
Current children cumulated vsize: 2021372 KiB
Current children cumulated memory: 1633816 KiB
[startup+2082.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/188 27725
/proc/meminfo: memFree=24100232/32770624 swapFree=67108860/67108860
[pid=27596] ppid=27593 vsize=2021372 memory=1633820 CPUtime=2082.53 cores=0,2,4,6
/proc/27596/stat : 27596 (cosoco) R 27593 27596 24273 0 -1 4202496 440472 0 0 0 208194 59 0 0 20 0 1 0 92193302 2069884928 408455 33554432000 4194304 5972588 140734915888512 140734915885816 5071413 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 37457920 140734915892410 140734915892510 140734915892510 140734915895246 0
/proc/27596/statm: 505343 408455 831 435 0 498706 0
Current children cumulated CPU time: 2082.53 s
Current children cumulated vsize: 2021372 KiB
Current children cumulated memory: 1633820 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 27726
/proc/meminfo: memFree=24100744/32770624 swapFree=67108860/67108860
[pid=27596] ppid=27593 vsize=2021372 memory=1633828 CPUtime=2142.55 cores=0,2,4,6
/proc/27596/stat : 27596 (cosoco) R 27593 27596 24273 0 -1 4202496 442006 0 0 0 214195 60 0 0 20 0 1 0 92193302 2069884928 408457 33554432000 4194304 5972588 140734915888512 140734915885816 4965342 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 37457920 140734915892410 140734915892510 140734915892510 140734915895246 0
/proc/27596/statm: 505343 408457 831 435 0 498706 0
Current children cumulated CPU time: 2142.55 s
Current children cumulated vsize: 2021372 KiB
Current children cumulated memory: 1633828 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 27727
/proc/meminfo: memFree=24101132/32770624 swapFree=67108860/67108860
[pid=27596] ppid=27593 vsize=2021372 memory=1633828 CPUtime=2202.56 cores=0,2,4,6
/proc/27596/stat : 27596 (cosoco) R 27593 27596 24273 0 -1 4202496 442821 0 0 0 220196 60 0 0 20 0 1 0 92193302 2069884928 408457 33554432000 4194304 5972588 140734915888512 140734915885816 4965848 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 37457920 140734915892410 140734915892510 140734915892510 140734915895246 0
/proc/27596/statm: 505343 408457 831 435 0 498706 0
Current children cumulated CPU time: 2202.56 s
Current children cumulated vsize: 2021372 KiB
Current children cumulated memory: 1633828 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 27728
/proc/meminfo: memFree=24100772/32770624 swapFree=67108860/67108860
[pid=27596] ppid=27593 vsize=2021372 memory=1633828 CPUtime=2262.57 cores=0,2,4,6
/proc/27596/stat : 27596 (cosoco) R 27593 27596 24273 0 -1 4202496 443484 0 0 0 226197 60 0 0 20 0 1 0 92193302 2069884928 408457 33554432000 4194304 5972588 140734915888512 140734915885816 4965848 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 37457920 140734915892410 140734915892510 140734915892510 140734915895246 0
/proc/27596/statm: 505343 408457 831 435 0 498706 0
Current children cumulated CPU time: 2262.57 s
Current children cumulated vsize: 2021372 KiB
Current children cumulated memory: 1633828 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 27729
/proc/meminfo: memFree=24100636/32770624 swapFree=67108860/67108860
[pid=27596] ppid=27593 vsize=2021372 memory=1633828 CPUtime=2322.57 cores=0,2,4,6
/proc/27596/stat : 27596 (cosoco) R 27593 27596 24273 0 -1 4202496 444398 0 0 0 232197 60 0 0 20 0 1 0 92193302 2069884928 408457 33554432000 4194304 5972588 140734915888512 140734915885816 5099648 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 37457920 140734915892410 140734915892510 140734915892510 140734915895246 0
/proc/27596/statm: 505343 408457 831 435 0 498706 0
Current children cumulated CPU time: 2322.57 s
Current children cumulated vsize: 2021372 KiB
Current children cumulated memory: 1633828 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 27730
/proc/meminfo: memFree=24100740/32770624 swapFree=67108860/67108860
[pid=27596] ppid=27593 vsize=2021372 memory=1633832 CPUtime=2382.58 cores=0,2,4,6
/proc/27596/stat : 27596 (cosoco) R 27593 27596 24273 0 -1 4202496 446015 0 0 0 238198 60 0 0 20 0 1 0 92193302 2069884928 408458 33554432000 4194304 5972588 140734915888512 140734915885816 4909635 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 37457920 140734915892410 140734915892510 140734915892510 140734915895246 0
/proc/27596/statm: 505343 408458 831 435 0 498706 0
Current children cumulated CPU time: 2382.58 s
Current children cumulated vsize: 2021372 KiB
Current children cumulated memory: 1633832 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 27739
/proc/meminfo: memFree=24100104/32770624 swapFree=67108860/67108860
[pid=27596] ppid=27593 vsize=2021372 memory=1633832 CPUtime=2442.59 cores=0,2,4,6
/proc/27596/stat : 27596 (cosoco) R 27593 27596 24273 0 -1 4202496 447085 0 0 0 244199 60 0 0 20 0 1 0 92193302 2069884928 408458 33554432000 4194304 5972588 140734915888512 140734915885816 5053069 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 37457920 140734915892410 140734915892510 140734915892510 140734915895246 0
/proc/27596/statm: 505343 408458 831 435 0 498706 0
Current children cumulated CPU time: 2442.59 s
Current children cumulated vsize: 2021372 KiB
Current children cumulated memory: 1633832 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 27740
/proc/meminfo: memFree=24100564/32770624 swapFree=67108860/67108860
[pid=27596] ppid=27593 vsize=2021372 memory=1633852 CPUtime=2502.6 cores=0,2,4,6
/proc/27596/stat : 27596 (cosoco) R 27593 27596 24273 0 -1 4202496 448787 0 0 0 250200 60 0 0 20 0 1 0 92193302 2069884928 408463 33554432000 4194304 5972588 140734915888512 140734915885816 5071376 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 37457920 140734915892410 140734915892510 140734915892510 140734915895246 0
/proc/27596/statm: 505343 408463 831 435 0 498706 0
Current children cumulated CPU time: 2502.6 s
Current children cumulated vsize: 2021372 KiB
Current children cumulated memory: 1633852 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2519.7 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 27741
/proc/meminfo: memFree=24100276/32770624 swapFree=67108860/67108860
[pid=27596] ppid=27593 vsize=2021372 memory=1633852 CPUtime=2520 cores=0,2,4,6
/proc/27596/stat : 27596 (cosoco) R 27593 27596 24273 0 -1 4202496 448947 0 0 0 251940 60 0 0 20 0 1 0 92193302 2069884928 408463 33554432000 4194304 5972588 140734915888512 140734915885816 4965342 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 37457920 140734915892410 140734915892510 140734915892510 140734915895246 0
/proc/27596/statm: 505343 408463 831 435 0 498706 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 2021372 KiB
Current children cumulated memory: 1633852 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2519.71 s]
# the end of solver process 27596 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.41 s, system=0.608077 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2519.7 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 27741
/proc/meminfo: memFree=24100276/32770624 swapFree=67108860/67108860
[pid=27596] ppid=27593 vsize=2021372 memory=1633852 CPUtime=2520 cores=0,2,4,6
/proc/27596/stat : 27596 (cosoco) R 27593 27596 24273 0 -1 4202496 448947 0 0 0 251940 60 0 0 20 0 1 0 92193302 2069884928 408463 33554432000 4194304 5972588 140734915888512 140734915885816 4965342 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8070896 8075904 37457920 140734915892410 140734915892510 140734915892510 140734915895246 0
/proc/27596/statm: 505343 408463 831 435 0 498706 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 2021372 KiB
Current children cumulated memory: 1633852 KiB
Child status: 1
Real time (s): 2519.71
CPU time (s): 2520.01
CPU user time (s): 2519.41
CPU system time (s): 0.608077
CPU usage (%): 100.012
Max. virtual memory (cumulated for all children) (KiB): 2021372
Max. memory (cumulated for all children) (KiB): 1633852
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.41
system time used= 0.608077
maximum resident set size= 1633924
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 448994
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= 39
involuntary context switches= 965
# summary of solver processes directly reported to runsolver:
# pid: 27596
# total CPU time (s): 2520.01
# total CPU user time (s): 2519.41
# total CPU system time (s): 0.608077
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.18543 second user time and 17.3481 second system time
The end
Begin job on node114 at 2017-08-13 04:09:56 IDJOB=4266459 IDBENCH=138457 IDSOLVER=2655 FILE ID=node114/4266459-1502591054 RUNJOBID= node114-1502567254-24357 PBS_JOBID= 20628281 Free space on /tmp= 61696 MiB SOLVER NAME= cosoco-sat 1.12 BENCH NAME= XCSP17/SuperSolutions/SuperSolutions-Taillard-os10/SuperTaillard-os-10-11.xml COMMAND LINE= cosoco -lc -model -restarts -sat BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4266459-1502591054/watcher-4266459-1502591054 -o /tmp/evaluation-result-4266459-1502591054/solver-4266459-1502591054 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node114-1502567254-24357 --watchdog 2580 cosoco -lc -model -restarts -sat HOME/instance-4266459-1502591054.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 282e51d8db2be6465471e4014b41d3d5 RANDOM SEED=309449384 node114.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 : 5332.98 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 : 5332.98 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 : 5332.98 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 : 5332.98 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: 27131724 kB MemAvailable: 31980048 kB Buffers: 131388 kB Cached: 5008180 kB SwapCached: 0 kB Active: 386064 kB Inactive: 4820592 kB Active(anon): 70060 kB Inactive(anon): 25036 kB Active(file): 316004 kB Inactive(file): 4795556 kB Unevictable: 6520 kB Mlocked: 6520 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 2568 kB Writeback: 0 kB AnonPages: 74372 kB Mapped: 44836 kB Shmem: 25224 kB Slab: 130376 kB SReclaimable: 105196 kB SUnreclaim: 25180 kB KernelStack: 3312 kB PageTables: 5192 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 363888 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 14336 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 109952 kB DirectMap2M: 33435648 kB Free space on /tmp at the end= 61696 MiB End job on node114 at 2017-08-13 04:51:56