| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| R1: cosoco-sat 1.1 | ? (TO) | 2400.11 | 2400.21 |
| Name | Ortholatin/Ortholatin-m1-s1/ Ortholatin-018.xml |
| MD5SUM | bf2163a04ce45209eed2b79696dcc2b5 |
| 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 | 972 |
| Number of constraints | 329 |
| Number of domains | 2 |
| Minimum domain size | 18 |
| Maximum domain size | 324 |
| Distribution of domain sizes | [{"size":18,"count":648},{"size":324,"count":324}] |
| Minimum variable degree | 2 |
| Maximum variable degree | 3 |
| Distribution of variable degrees | [{"degree":2,"count":936},{"degree":3,"count":36}] |
| Minimum constraint arity | 3 |
| Maximum constraint arity | 324 |
| Distribution of constraint arities | [{"arity":3,"count":324},{"arity":18,"count":2},{"arity":324,"count":3}] |
| Number of extensional constraints | 324 |
| Number of intensional constraints | 0 |
| Distribution of constraint types | [{"type":"extension","count":324},{"type":"allDifferent","count":3},{"type":"instantiation","count":2}] |
| Optimization problem | NO |
| Type of objective |
1.19/1.25 c SAT : Variables: 116640 -- Clauses: 17053740 1.19/1.26 c root propagations : 8030 1.19/1.26 c restarts enabled, print stats at every restarts 1.19/1.26 c 1.19/1.26 c 1.19/1.26 c 1.19/1.26 c This is cosoco 1.0 -- 1.19/1.26 c 1.19/1.26 c ========================================[ Problem Statistics ]=========================================== 1.19/1.26 c | 1.19/1.26 c | Parse time : 1.05 s 1.19/1.26 c | 1.19/1.26 c | Variables: 972 1.19/1.26 c | Domain Sizes: 18..324 1.19/1.26 c | 1.19/1.26 c | Constraints: 433 1.19/1.26 c | Arity: 1..324 -- Unary: 36 -- Ternary: 324 1.19/1.26 c | 1.19/1.26 c | Types: 1.19/1.26 c | All Different: 73 1.19/1.26 c | Extension: 324 (nb tuples: 324..324) -- (shared: 323) 1.19/1.26 c | Unary: 36 1.19/1.26 c | 1.19/1.26 c ========================================================================================================= 1.19/1.26 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 1.19/1.28 c 10 168 2958 25151 428 10 153 159 142 1.28/1.31 c 20 539 8048 63284 428 14 199 337 214 1.28/1.35 c 30 783 12855 90769 428 17 205 210 189 1.28/1.38 c 40 1026 17259 115464 428 21 205 214 190 1.38/1.41 c 50 1264 21788 139545 428 28 208 217 193 1.38/1.44 c 60 1458 25913 158881 428 33 163 168 150 1.38/1.47 c 70 1696 29674 181044 428 41 172 220 189 1.38/1.49 c 80 1918 33659 203157 428 46 172 193 162 1.48/1.51 c 90 2137 37119 223852 428 51 178 190 164 1.48/1.53 c 100 2336 40204 239790 428 61 190 190 172 1.48/1.55 c 101 2487 42834 251288 428 62 151 151 75 1.48/1.58 c 110 2693 46672 269157 428 69 178 187 165 1.58/1.60 c 120 2921 50403 291661 428 74 196 200 180 1.58/1.62 c 130 3136 53922 312108 428 78 179 184 165 1.58/1.63 c 140 3242 55643 317794 428 88 97 97 88 1.58/1.65 c 150 3348 57360 323199 428 98 97 97 88 1.58/1.66 c 160 3460 59142 328945 428 108 103 103 93 1.58/1.67 c 170 3575 60974 335019 428 118 106 106 96 1.58/1.68 c 180 3696 62886 341947 428 128 112 112 101 1.58/1.69 c 190 3817 64827 348671 428 138 112 112 101 1.68/1.71 c 200 3944 66828 356241 428 148 118 118 107 1.68/1.72 c 210 4074 68880 364108 428 158 121 121 110 1.68/1.73 c 211 4198 70877 372231 428 159 124 124 62 1.68/1.75 c 220 4333 72985 380696 428 168 127 127 114 1.68/1.76 c 230 4472 75093 389470 428 178 130 130 118 1.68/1.78 c 240 4614 77189 398503 428 188 133 133 120 1.68/1.79 c 250 4768 79422 408467 428 198 145 145 131 1.78/1.80 c 260 4925 81699 418761 428 208 148 148 134 1.78/1.83 c 270 5159 85638 440275 428 217 210 220 197 1.78/1.86 c 280 5397 89610 460690 428 227 220 229 207 1.78/1.89 c 290 5634 94030 481976 428 236 218 223 201 1.88/1.92 c 300 5871 97773 502508 428 246 219 226 204 1.88/1.94 c 310 6109 101189 522459 428 256 220 229 207 1.88/1.96 c 320 6320 104669 539339 428 266 202 202 183 1.88/1.99 c 330 6564 108724 560205 428 276 223 235 212 1.98/2.01 c 332 6782 112706 579656 428 277 1 217 72 1.98/2.04 c 340 7033 116891 602006 428 285 244 244 216 1.98/2.07 c 350 7291 121253 626074 428 294 231 241 216 1.98/2.09 c 360 7490 124641 641687 428 304 190 190 172 2.08/2.12 c 370 7745 128446 663640 428 314 190 244 216 2.08/2.15 c 380 8009 132573 687515 428 323 238 247 221 2.08/2.17 c 390 8250 136100 707483 428 333 199 229 205 2.08/2.20 c 400 8512 140259 730134 428 343 253 253 230 2.19/2.23 c 410 8780 144875 753669 428 353 259 259 235 2.19/2.25 c 420 9012 148371 772843 428 363 223 223 202 2.19/2.28 c 430 9304 153123 801740 428 365 260 265 238 2.19/2.30 c 440 9521 156338 819126 428 375 208 208 189 2.29/2.33 c 450 9798 161462 844273 428 384 250 262 235 2.29/2.36 c 460 10040 165415 867595 428 386 214 219 197 2.29/2.38 c 465 10270 169378 887041 428 391 226 226 188 2.39/2.41 c 470 10500 173945 907031 428 396 226 226 188 2.39/2.44 c 480 10738 177959 927364 428 406 229 229 208 2.39/2.46 c 490 10978 182147 950981 428 413 201 216 192 2.39/2.49 c 500 11219 186742 971737 428 423 232 232 210 2.49/2.51 c 510 11430 189712 988294 428 433 202 202 183 2.49/2.54 c 520 11677 193598 1008920 428 443 238 238 216 2.49/2.57 c 530 11933 198553 1030706 428 453 247 247 224 2.59/2.60 c 540 12204 203477 1054460 428 463 262 262 238 2.59/2.63 c 550 12469 207828 1077687 428 473 253 256 232 2.59/2.66 c 560 12743 212149 1102582 428 482 251 262 235 2.59/2.69 c 570 13031 217095 1129047 428 492 255 277 249 2.69/2.72 c 580 13317 221405 1154765 428 502 265 277 248 2.69/2.76 c 590 13616 226603 1185244 428 506 271 276 248 2.69/2.79 c 600 13874 231289 1211346 428 510 229 231 209 2.79/2.81 c 610 14136 235584 1234762 428 520 253 253 230 2.79/2.84 c 611 14353 239034 1253685 428 521 217 217 108 2.79/2.86 c 620 14584 242519 1272726 428 530 223 223 200 2.79/2.88 c 630 14864 246412 1299934 428 532 246 250 225 2.89/2.91 c 640 15123 250475 1322454 428 542 250 250 227 2.89/2.94 c 650 15397 255269 1346887 428 552 265 265 240 2.89/2.98 c 660 15680 260152 1374178 428 557 241 262 227 2.99/3.00 c 670 15921 263854 1395383 428 566 1 232 189 2.99/3.03 c 680 16186 268026 1418451 428 576 256 256 232 2.99/3.06 c 690 16469 272895 1443915 428 586 173 274 239 3.09/3.10 c 700 16749 277628 1469271 428 596 271 271 246 3.09/3.13 c 710 17040 282926 1496501 428 604 178 271 222 3.09/3.16 c 720 17332 287326 1522913 428 614 283 283 257 3.09/3.19 c 730 17630 291659 1550673 428 624 240 283 249 3.19/3.22 c 740 17928 296643 1580761 428 625 272 279 250 3.19/3.25 c 750 18237 300833 1611465 428 628 181 265 232 3.19/3.28 c 760 18535 305363 1638428 428 638 289 289 262 3.29/3.31 c 770 18835 309733 1665844 428 648 247 289 257 3.29/3.34 c 771 19124 314248 1692803 428 649 289 289 144 3.29/3.38 c 780 19427 319057 1720101 428 658 182 295 254 3.39/3.41 c 790 19752 324631 1752519 428 663 287 304 266 3.39/3.44 c 800 20021 329291 1779719 428 667 190 239 196 3.39/3.47 c 810 20303 333530 1807651 428 671 198 259 222 3.48/3.50 c 820 20571 337969 1831481 428 681 259 259 235 3.48/3.52 c 830 20767 341072 1846966 428 691 187 187 170 3.48/3.56 c 840 21069 346839 1875324 428 701 275 292 262 3.58/3.60 c 850 21383 353178 1907422 428 708 277 289 257 3.58/3.64 c 860 21674 359121 1936697 428 713 201 265 222 3.58/3.67 c 870 21915 363109 1957824 428 723 210 226 202 3.58/3.69 c 880 22153 366593 1977819 428 733 229 229 208 3.68/3.72 c 890 22340 369837 1991949 428 743 178 178 161 3.68/3.75 c 900 22639 374980 2020218 428 751 247 280 238 3.68/3.78 c 910 22928 379779 2047835 428 758 247 268 230 3.79/3.80 c 920 23073 382115 2057612 428 768 136 136 123 3.79/3.83 c 930 23293 386170 2076439 428 778 211 211 191 3.79/3.86 c 940 23589 391356 2105089 428 785 265 277 247 3.79/3.89 c 947 23867 396834 2132269 428 790 265 268 232 3.89/3.92 c 950 24145 401428 2158270 428 792 184 271 160 3.89/3.96 c 960 24436 406392 2185324 428 801 193 277 236 3.99/4.00 c 970 24744 412007 2216745 428 807 280 284 256 3.99/4.04 c 980 25053 417361 2245720 428 816 187 295 248 3.99/4.07 c 990 25368 422326 2278174 428 821 238 286 237 3.99/4.08 c 1000 25462 423505 2282694 428 831 82 85 77 3.99/4.09 c 1010 25556 424595 2286485 428 841 85 85 77 4.09/4.10 c 1020 25656 425862 2290987 428 851 91 91 82 4.09/4.11 c 1030 25786 427858 2298648 428 861 121 121 110 4.09/4.14 c 1040 26031 431521 2321604 428 865 222 228 203 4.09/4.15 c 1050 26209 434353 2334637 428 875 169 169 153 4.09/4.17 c 1060 26351 436369 2343354 428 885 133 133 120 4.09/4.19 c 1070 26601 440227 2365079 428 894 166 235 195 4.19/4.22 c 1080 26862 444604 2388987 428 897 238 241 217 4.19/4.25 c 1090 27111 448598 2411654 428 905 194 232 197 4.19/4.28 c 1100 27404 453212 2438996 428 915 234 280 246 4.29/4.31 c 1110 27675 457956 2463116 428 925 262 262 238 4.29/4.34 c 1120 27938 462463 2486824 428 935 240 250 225 4.29/4.35 c 1130 28064 464692 2497034 428 945 117 117 106 4.29/4.38 c 1140 28356 469133 2523100 428 955 283 283 257 4.40/4.41 c 1141 28597 472914 2544563 428 956 241 241 120 4.40/4.44 c 1150 28873 477793 2569690 428 965 262 268 240 4.40/4.46 c 1160 29029 480569 2583534 428 975 147 147 133 4.40/4.49 c 1170 29332 485593 2611643 428 985 183 292 254 4.50/4.53 c 1180 29663 490598 2644805 428 989 183 289 252 4.50/4.55 c 1190 29803 493018 2657586 428 999 131 131 119 4.50/4.57 c 1200 29971 495945 2672419 428 1009 159 159 144 4.50/4.59 c 1210 30203 500097 2692225 428 1019 220 223 202 4.59/4.63 c 1220 30512 505201 2720142 428 1029 207 298 262 4.59/4.66 c 1230 30810 510199 2747789 428 1038 163 283 225 4.69/4.70 c 1240 31127 515232 2778342 428 1046 167 301 245 4.69/4.73 c 1250 31446 520362 2809597 428 1054 210 298 259 4.69/4.77 c 1260 31707 525136 2835565 428 1064 219 250 224 4.79/4.80 c 1270 31926 529426 2858480 428 1069 168 196 163 4.79/4.82 c 1280 32086 532325 2872529 428 1079 151 151 137 4.79/4.84 c 1290 32300 536088 2893061 428 1089 174 203 178 4.79/4.88 c 1300 32584 540891 2922906 428 1098 224 265 232 4.89/4.91 c 1310 32869 546005 2953011 428 1107 230 265 234 4.89/4.94 c 1320 33129 550654 2978329 428 1117 251 251 228 4.89/4.98 c 1330 33423 555731 3009676 428 1127 264 279 249 4.99/5.01 c 1340 33693 560446 3036330 428 1137 261 261 237 4.99/5.05 c 1350 33984 565602 3066537 428 1146 251 275 245 4.99/5.08 c 1352 34234 569910 3091821 428 1148 249 249 166 5.09/5.10 c 1360 34415 573454 3108804 428 1156 174 174 154 5.09/5.12 c 1370 34633 576684 3129329 428 1166 209 209 190 5.09/5.15 c 1380 34911 581543 3159296 428 1171 237 262 228 5.09/5.19 c 1390 35170 586396 3184771 428 1181 250 250 227 5.19/5.22 c 1400 35468 592147 3215235 428 1191 270 287 259 5.19/5.26 c 1410 35768 597765 3246040 428 1201 275 290 261 5.29/5.30 c 1420 36071 603102 3277794 428 1207 271 283 251 5.29/5.33 c 1430 36336 608088 3304005 428 1217 256 256 232 5.29/5.37 c 1440 36645 613097 3337641 428 1220 271 275 248 5.39/5.40 c 1450 36941 618528 3367667 428 1230 227 287 255 5.39/5.44 c 1460 37244 624370 3398145 428 1240 294 294 267 5.39/5.47 c 1470 37513 628695 3425307 428 1249 1 260 212 5.50/5.51 c 1480 37804 634259 3455879 428 1257 237 272 234 5.50/5.54 c 1490 38084 639330 3485713 428 1261 257 259 234 5.50/5.56 c 1500 38252 642504 3503313 428 1262 140 146 130 5.50/5.60 c 1510 38548 647921 3533281 428 1272 287 287 260 5.60/5.63 c 1520 38832 653287 3562010 428 1282 275 275 250 5.60/5.67 c 1530 39136 658691 3592883 428 1292 293 295 267 5.69/5.70 c 1540 39417 663385 3621003 428 1302 272 272 247 5.69/5.75 c 1550 39735 669420 3657040 428 1306 209 298 215 5.69/5.79 c 1560 40045 674928 3689689 428 1313 241 284 243 5.79/5.82 c 1570 40315 679305 3718857 428 1315 175 245 166 5.79/5.85 c 1580 40619 683942 3749638 428 1324 278 290 261 5.79/5.88 c 1585 40886 688947 3777027 428 1328 241 257 208 5.89/5.92 c 1590 41171 694370 3805909 428 1333 281 281 234 5.89/5.95 c 1600 41442 698947 3833500 428 1338 248 252 226 5.89/5.96 c 1610 41570 701351 3843654 428 1348 119 119 108 5.89/5.98 c 1620 41686 703213 3852033 428 1358 107 107 97 5.89/5.99 c 1630 41814 705345 3861711 428 1368 119 119 108 5.99/6.02 c 1640 42089 710277 3888749 428 1378 266 266 241 5.99/6.04 c 1650 42214 712639 3898688 428 1388 116 116 105 5.99/6.07 c 1660 42519 718018 3929361 428 1398 296 296 269 6.09/6.11 c 1670 42836 723563 3961724 428 1407 275 303 270 6.09/6.13 c 1680 42973 726085 3973243 428 1417 128 128 116 6.09/6.17 c 1690 43278 731386 4003484 428 1427 296 296 269 6.19/6.20 c 1700 43581 736774 4036009 428 1432 212 284 249 6.19/6.23 c 1710 43870 741516 4067267 428 1435 146 253 149 6.19/6.26 c 1720 44122 746045 4092150 428 1445 198 242 216 6.29/6.30 c 1730 44403 751387 4119713 428 1455 147 272 235 6.29/6.33 c 1740 44639 755695 4142316 428 1465 227 227 206 6.29/6.37 c 1750 44949 761326 4173053 428 1475 156 299 257 6.29/6.39 c 1760 45101 764320 4185988 428 1485 143 143 130 6.39/6.42 c 1770 45405 769692 4217270 428 1495 226 290 252 6.39/6.46 c 1780 45731 775026 4252050 428 1504 281 309 270 6.39/6.49 c 1790 45932 778649 4270474 428 1514 192 192 174 6.49/6.52 c 1800 46221 783638 4300181 428 1524 255 270 242 6.49/6.55 c 1810 46446 787808 4322016 428 1534 216 216 196 6.49/6.59 c 1820 46725 792917 4349566 428 1544 270 270 245 6.59/6.62 c 1830 46993 797687 4376135 428 1554 240 258 232 6.59/6.65 c 1840 47290 802805 4407169 428 1563 262 276 247 6.59/6.69 c 1841 47584 808328 4438554 428 1564 294 294 147 6.69/6.73 c 1850 47895 813244 4470723 428 1573 231 303 265 6.69/6.76 c 1860 48177 818103 4498950 428 1583 273 273 248 6.79/6.80 c 1870 48462 824095 4529059 428 1591 260 267 240 6.79/6.84 c 1880 48791 829637 4565103 428 1600 243 308 260 6.79/6.88 c 1890 49109 835170 4597419 428 1610 306 309 280 6.88/6.92 c 1900 49428 840622 4630142 428 1620 228 306 270 6.88/6.96 c 1910 49751 846183 4666641 428 1623 252 285 247 6.88/6.98 c 1920 49928 849126 4682588 428 1633 168 168 152 6.98/7.02 c 1930 50243 855198 4715373 428 1643 293 306 277 6.98/7.05 c 1940 50447 858771 4734452 428 1653 195 195 177 6.98/7.09 c 1950 50779 864525 4769269 428 1661 253 309 250 7.08/7.11 c 1960 50977 868017 4787469 428 1671 189 189 171 7.08/7.15 c 1970 51294 873674 4822871 428 1675 251 289 258 7.08/7.18 c 1980 51597 878977 4853594 428 1684 138 285 233 7.18/7.22 c 1990 51900 884672 4887466 428 1689 233 286 250 7.18/7.25 c 2000 52188 889265 4918098 428 1693 159 266 221 7.28/7.30 c 2010 52495 895403 4951682 428 1701 235 285 228 7.28/7.33 c 2020 52770 899809 4978706 428 1711 121 266 227 7.28/7.35 c 2030 52964 903374 4996254 428 1721 185 185 168 7.28/7.39 c 2040 53244 908189 5023962 428 1730 242 266 233 7.38/7.42 c 2050 53565 913933 5059618 428 1733 287 293 263 7.38/7.46 c 2060 53886 918758 5092743 428 1742 179 302 245 7.38/7.49 c 2070 54173 923489 5121086 428 1752 278 278 252 7.48/7.53 c 2080 54492 928544 5153312 428 1761 164 305 251 7.48/7.56 c 2090 54731 932406 5177841 428 1764 155 203 178 7.48/7.57 c 2100 54910 935088 5193769 428 1774 170 170 154 7.58/7.61 c 2110 55238 940841 5227612 428 1784 146 311 251 7.58/7.66 c 2120 55551 946859 5260989 428 1793 146 293 218 7.58/7.67 c 2122 55692 949230 5273591 428 1795 140 140 93 7.58/7.70 c 2130 55873 952554 5290414 428 1803 174 174 154 7.69/7.73 c 2140 56185 958124 5322288 428 1813 267 300 267 7.69/7.77 c 2150 56479 963730 5351457 428 1823 285 285 259 7.79/7.81 c 2160 56790 968899 5383019 428 1833 194 300 263 7.79/7.85 c 2170 57111 975236 5417824 428 1840 150 303 226 7.79/7.89 c 2180 57409 981028 5448816 428 1849 162 282 224 7.89/7.93 c 2190 57735 986750 5481579 428 1859 317 317 288 7.89/7.97 c 2200 58047 992621 5512906 428 1869 303 303 275 7.99/8.00 c 2210 58254 996119 5532764 428 1879 192 198 179 7.99/8.04 c 2220 58553 1001507 5563396 428 1889 272 285 256 7.99/8.07 c 2230 58839 1006946 5595501 428 1891 261 264 238 8.09/8.11 c 2240 59163 1012942 5628516 428 1901 315 315 286 8.09/8.14 c 2250 59461 1017695 5661341 428 1906 241 272 243 8.09/8.18 c 2260 59701 1023423 5690069 428 1909 156 196 172 8.19/8.22 c 2270 60004 1028612 5722772 428 1912 204 270 200 8.19/8.26 c 2280 60313 1034131 5754483 428 1922 288 297 269 8.19/8.29 c 2290 60610 1039252 5784289 428 1932 216 288 252 8.29/8.33 c 2300 60919 1045011 5817660 428 1937 216 288 231 8.29/8.35 c 2310 61060 1047265 5829104 428 1947 132 132 120 8.29/8.38 c 2320 61379 1052975 5864445 428 1953 231 285 238 8.39/8.40 c 2330 61561 1056350 5880986 428 1963 173 173 157 8.39/8.44 c 2340 61843 1060874 5908051 428 1973 273 273 248 8.39/8.45 c 2350 61969 1063241 5917981 428 1983 117 117 106 8.39/8.47 c 2360 62094 1065631 5928270 428 1993 116 116 105 8.49/8.50 c 2370 62378 1070515 5956778 428 2002 238 270 236 8.49/8.54 c 2380 62688 1076369 5990118 428 2005 258 295 262 8.49/8.56 c 2390 62880 1079552 6007788 428 2015 183 183 166 8.49/8.60 c 2400 63158 1084619 6035573 428 2024 246 264 236 8.59/8.62 c 2410 63326 1087767 6050367 428 2034 159 159 144 8.59/8.66 c 2420 63645 1094399 6087423 428 2038 292 294 266 8.59/8.69 c 2430 63870 1098524 6108580 428 2048 216 216 196 8.69/8.70 c 2431 63981 1100946 6118199 428 2049 111 111 55 8.69/8.74 c 2440 64241 1106098 6143681 428 2058 240 252 225 8.69/8.77 c 2450 64475 1110359 6165825 428 2068 225 225 204 8.80/8.80 c 2460 64796 1116239 6199291 428 2075 270 303 259 8.80/8.83 c 2470 64963 1119276 6214665 428 2085 158 158 143 8.80/8.84 c 2480 65086 1121668 6224453 428 2095 114 114 103 8.80/8.87 c 2490 65343 1126176 6249606 428 2102 210 241 209 8.90/8.91 c 2500 65638 1131470 6278267 428 2112 286 286 260 8.90/8.94 c 2510 65879 1135533 6300878 428 2122 232 232 210 8.90/8.96 c 2520 66144 1139873 6326115 428 2132 256 256 232 8.99/9.00 c 2530 66431 1144852 6355514 428 2141 253 274 245 8.99/9.04 c 2540 66760 1150829 6389999 428 2150 292 313 277 8.99/9.08 c 2550 67079 1156742 6426375 428 2153 268 297 263 9.09/9.12 c 2560 67406 1163191 6461369 428 2160 234 310 254 9.09/9.16 c 2570 67729 1168804 6494257 428 2170 308 313 280 9.19/9.21 c 2580 68063 1175439 6527865 428 2180 266 324 289 9.19/9.23 c 2590 68195 1178311 6539856 428 2189 1 123 100 9.19/9.26 c 2600 68487 1182775 6568019 428 2199 283 283 257 9.29/9.30 c 2610 68821 1188761 6602475 428 2209 222 319 274 9.29/9.33 c 2620 69113 1194100 6635303 428 2215 250 270 241 9.29/9.37 c 2630 69409 1199406 6666005 428 2225 227 285 253 9.39/9.41 c 2640 69735 1205374 6700584 428 2233 279 309 272 9.39/9.45 c 2650 70041 1211066 6732782 428 2240 267 291 249 9.39/9.47 c 2660 70194 1213910 6746422 428 2250 144 144 130 9.49/9.51 c 2670 70525 1220123 6783282 428 2256 247 315 250 9.49/9.53 c 2680 70649 1222449 6793026 428 2266 115 115 104 9.49/9.54 c 2690 70773 1224276 6802232 428 2276 115 115 104 9.49/9.58 c 2700 71055 1229433 6834703 428 2279 248 255 228 9.59/9.62 c 2710 71386 1235303 6870720 428 2288 281 312 275 9.59/9.66 c 2720 71659 1240801 6900970 428 2294 256 257 233 9.59/9.68 c 2730 71837 1243795 6916538 428 2304 169 169 153 9.69/9.71 c 2740 72099 1248954 6944954 428 2306 245 248 224 9.69/9.74 c 2750 72341 1253352 6969407 428 2316 197 231 206 9.69/9.77 c 2760 72659 1258877 7005263 428 2320 291 294 265 9.79/9.81 c 2770 72923 1263662 7032210 428 2330 213 255 228 9.79/9.83 c 2771 73160 1267930 7056079 428 2331 237 237 118 9.79/9.87 c 2780 73451 1273314 7086376 428 2338 204 279 206 9.79/9.88 c 2790 73596 1275416 7097944 428 2348 136 136 123 9.90/9.92 c 2800 73915 1281518 7131440 428 2356 285 306 272 9.90/9.96 c 2810 74200 1286424 7159975 428 2366 276 276 250 9.90/9.99 c 2820 74486 1291448 7188648 428 2376 227 276 246 10.00/10.03 c 2830 74789 1297129 7222349 428 2381 274 279 251 10.00/10.07 c 2840 75111 1302811 7256421 428 2389 282 309 273 10.09/10.10 c 2850 75420 1308300 7291349 428 2391 285 286 259 10.09/10.12 c 2860 75555 1310755 7302743 428 2401 126 126 114 10.09/10.16 c 2870 75864 1316770 7338539 428 2405 282 285 257 10.19/10.20 c 2880 76147 1322360 7368459 428 2415 251 270 242 10.19/10.23 c 2890 76423 1327635 7396206 428 2425 267 267 242 10.19/10.26 c 2900 76689 1331908 7422293 428 2435 246 255 231 10.19/10.29 c 2910 76965 1336955 7449293 428 2445 267 267 242 10.29/10.33 c 2920 77274 1342201 7480752 428 2455 297 300 272 10.29/10.34 c 2930 77385 1344038 7489022 428 2465 102 102 92 10.29/10.38 c 2940 77696 1349645 7523225 428 2471 261 294 257 10.39/10.42 c 2950 78005 1355234 7555710 428 2477 258 285 246 10.39/10.46 c 2960 78337 1361431 7592102 428 2483 243 312 248 10.49/10.50 c 2970 78607 1366222 7618517 428 2493 261 261 237 10.49/10.51 c 2980 78727 1368435 7628020 428 2503 111 111 100 10.49/10.55 c 2990 79031 1373928 7659334 428 2513 233 291 258 10.49/10.59 c 3000 79331 1379951 7689428 428 2523 288 291 262 10.59/10.63 c 3010 79652 1385947 7722013 428 2533 312 312 283 10.59/10.67 c 3020 79958 1391814 7754168 428 2541 276 288 256 10.59/10.68 c 3030 80076 1393799 7763059 428 2551 109 109 99 10.69/10.72 c 3040 80402 1399583 7797632 428 2561 240 315 278 10.69/10.77 c 3050 80735 1406559 7835398 428 2566 288 312 280 10.69/10.78 c 3060 80856 1408591 7844788 428 2576 112 112 101 10.79/10.82 c 3070 81156 1413455 7875595 428 2586 291 291 264 10.79/10.86 c 3080 81478 1420075 7910258 428 2596 251 309 265 10.89/10.90 c 3090 81754 1424980 7938679 428 2605 132 261 179 10.89/10.92 c 3100 81910 1427982 7952339 428 2615 147 147 133 10.89/10.95 c 3110 82215 1433416 7985761 428 2620 243 284 236 10.89/10.98 c 3120 82434 1438126 8009445 428 2624 198 200 181 10.99/11.01 c 3130 82689 1442831 8034862 428 2634 243 246 223 10.99/11.05 c 3140 82935 1447339 8058885 428 2644 225 237 213 10.99/11.09 c 3142 83244 1453185 8091569 428 2646 282 308 196 11.09/11.10 c 3150 83411 1455882 8106291 428 2654 160 160 142 11.09/11.13 c 3160 83665 1460458 8133709 428 2656 131 228 129 11.09/11.17 c 3170 83923 1465246 8159038 428 2666 249 249 226 11.19/11.21 c 3180 84230 1470991 8190759 428 2674 261 291 246 11.19/11.25 c 3190 84553 1476949 8223971 428 2684 273 312 279 11.19/11.29 c 3200 84890 1483631 8260782 428 2691 224 318 254 11.29/11.33 c 3210 85218 1489584 8297706 428 2693 298 306 274 11.29/11.37 c 3220 85525 1495723 8332909 428 2694 282 284 257 11.29/11.39 c 3230 85625 1497299 8339560 428 2704 91 91 82 11.29/11.39 c 3240 85683 1498080 8341620 428 2714 49 49 44 11.38/11.43 c 3250 85980 1503601 8371830 428 2724 288 288 261 11.38/11.44 c 3260 86091 1505643 8380280 428 2734 102 102 92 11.38/11.48 c 3270 86384 1511230 8413227 428 2740 204 272 198 11.48/11.50 c 3280 86486 1513117 8420742 428 2750 93 93 84 11.48/11.51 c 3290 86585 1514637 8427612 428 2760 90 90 81 11.48/11.54 c 3300 86888 1520408 8458692 428 2770 258 291 261 11.48/11.58 c 3310 87140 1525068 8483491 428 2780 243 243 220 11.58/11.62 c 3320 87449 1531118 8515061 428 2790 300 300 272 11.58/11.65 c 3330 87736 1536472 8546326 428 2795 216 267 206 11.58/11.70 c 3340 88061 1542890 8581537 428 2804 238 306 258 11.68/11.74 c 3350 88388 1549415 8617750 428 2811 263 306 256 11.68/11.75 c 3360 88460 1550699 8621636 428 2821 63 63 57 11.68/11.76 c 3370 88532 1551685 8625231 428 2831 63 63 57 11.78/11.80 c 3380 88836 1558005 8658714 428 2838 257 290 259 11.78/11.84 c 3390 89158 1564787 8692682 428 2847 291 309 274 11.78/11.87 c 3400 89415 1569577 8718995 428 2857 236 246 222 11.88/11.92 c 3410 89730 1575994 8753506 428 2864 231 297 219 11.88/11.94 c 3420 89858 1578664 8764497 428 2874 119 119 108 11.88/11.97 c 3430 90167 1584040 8798869 428 2878 225 293 259 11.98/12.01 c 3440 90412 1589039 8826597 428 2884 201 228 185 11.98/12.04 c 3450 90637 1593266 8848447 428 2894 204 216 195 11.98/12.07 c 3460 90868 1597868 8870994 428 2904 216 222 201 11.98/12.08 c 3470 90981 1599961 8879738 428 2914 104 104 94 11.98/12.10 c 3480 91110 1601907 8889474 428 2924 120 120 109 12.09/12.11 c 3490 91244 1604302 8900377 428 2934 125 125 113 12.09/12.14 c 3500 91482 1609114 8926340 428 2936 126 207 125 12.09/12.16 c 3510 91586 1611356 8934194 428 2946 95 95 86 12.09/12.20 c 3520 91862 1616689 8961501 428 2956 267 267 242 12.19/12.23 c 3530 92090 1621217 8983630 428 2966 219 219 199 12.19/12.26 c 3540 92367 1626213 9012226 428 2975 213 265 229 12.19/12.30 c 3550 92659 1631458 9044141 428 2981 223 264 215 12.28/12.32 c 3551 92893 1636027 9068284 428 2982 234 234 117 12.28/12.36 c 3560 93198 1641607 9101169 428 2990 214 286 235 12.39/12.40 c 3570 93464 1646738 9127997 428 2999 223 250 222 12.39/12.43 c 3580 93739 1651744 9155990 428 3008 229 262 231 12.39/12.46 c 3590 93995 1656443 9181115 428 3018 247 247 224 12.49/12.50 c 3600 94271 1661849 9210940 428 3023 235 256 217 12.49/12.54 c 3610 94574 1667382 9242577 428 3031 250 277 238 12.49/12.58 c 3620 94866 1673042 9271741 428 3041 283 283 257 12.59/12.61 c 3630 95159 1677971 9301359 428 3051 264 280 253 12.59/12.65 c 3640 95428 1684187 9330253 428 3058 235 250 218 12.59/12.69 c 3650 95690 1689796 9357988 428 3065 232 244 216 12.69/12.72 c 3660 95907 1694078 9378729 428 3075 208 208 189 12.69/12.75 c 3670 96151 1698636 9402703 428 3085 217 235 212 12.69/12.79 c 3680 96438 1704864 9433634 428 3092 256 268 236 12.79/12.83 c 3690 96716 1710515 9462166 428 3101 255 262 237 12.79/12.86 c 3700 96966 1714828 9486766 428 3111 241 241 219 12.79/12.87 c 3710 97073 1716478 9494032 428 3121 98 98 89 12.79/12.89 c 3720 97219 1718734 9505422 428 3131 137 137 124 12.89/12.92 c 3730 97484 1723635 9531678 428 3141 256 256 232 12.89/12.95 c 3740 97738 1728254 9557279 428 3150 214 241 214 12.89/12.99 c 3750 98039 1733410 9587566 428 3160 289 292 264 12.99/13.03 c 3760 98334 1738536 9617422 428 3170 283 286 259 12.99/13.07 c 3770 98676 1745086 9655392 428 3177 198 316 228 13.09/13.11 c 3780 98966 1750808 9688291 428 3178 268 273 246 13.09/13.14 c 3790 99246 1756258 9720117 428 3182 190 254 207 13.09/13.17 c 3800 99496 1760737 9744121 428 3192 212 241 216 13.20/13.21 c 3810 99789 1766736 9776168 428 3195 239 279 248 13.20/13.25 c 3820 100091 1772586 9809103 428 3205 258 289 257 13.20/13.27 c 3830 100192 1774678 9816567 428 3215 92 92 83 13.20/13.30 c 3840 100466 1779424 9843810 428 3225 229 265 237 13.30/13.34 c 3850 100755 1784127 9873025 428 3235 254 280 251 13.30/13.36 c 3860 100915 1787056 9887189 428 3245 151 151 137 13.30/13.37 c 3870 101055 1789272 9898157 428 3255 131 131 119 13.39/13.41 c 3880 101347 1794783 9930328 428 3261 241 277 235 13.39/13.45 c 3890 101620 1799776 9958500 428 3267 185 258 226 13.39/13.48 c 3900 101901 1804678 9989578 428 3270 256 259 233 13.39/13.49 c 3910 101990 1806290 9995799 428 3280 80 80 72 13.49/13.50 c 3920 102076 1807852 10001357 428 3290 77 77 70 13.49/13.54 c 3930 102354 1813676 10033487 428 3295 183 255 224 13.49/13.57 c 3940 102635 1819016 10064843 428 3301 193 261 188 13.49/13.59 c 3950 102787 1821175 10077031 428 3311 143 143 130 13.59/13.62 c 3960 103046 1825790 10102854 428 3321 247 250 227 13.59/13.63 c 3970 103168 1827730 10111825 428 3331 113 113 102 13.59/13.67 c 3980 103510 1833161 10149330 428 3339 210 310 225 13.69/13.71 c 3990 103814 1838571 10182199 428 3346 208 282 248 13.69/13.72 c 4000 103918 1840178 10189158 428 3356 95 95 86 13.69/13.74 c 4001 104127 1843562 10209454 428 3357 209 209 104 13.69/13.78 c 4010 104423 1849474 10242605 428 3360 147 273 207 13.79/13.81 c 4020 104700 1854185 10270740 428 3370 193 265 214 13.79/13.84 c 4030 104962 1858969 10296290 428 3380 253 253 230 13.79/13.88 c 4040 105224 1863836 10322537 428 3390 194 250 222 13.89/13.91 c 4050 105480 1868499 10350284 428 3395 199 237 188 13.89/13.92 c 4060 105601 1870388 10359845 428 3405 112 112 101 13.89/13.94 c 4070 105734 1872811 10370647 428 3415 124 124 112 13.89/13.97 c 4080 105960 1877186 10391889 428 3425 217 217 197 13.89/13.99 c 4090 106189 1881449 10414257 428 3435 214 220 199 13.99/14.03 c 4100 106448 1886656 10440197 428 3445 250 250 227 13.99/14.06 c 4110 106720 1891834 10469752 428 3451 244 253 224 13.99/14.09 c 4120 106985 1896223 10495998 428 3461 253 256 232 14.09/14.13 c 4130 107223 1900813 10519371 428 3471 226 229 207 14.09/14.16 c 4140 107517 1906150 10549417 428 3481 267 283 255 14.09/14.19 c 4150 107761 1911056 10573188 428 3491 235 235 213 14.19/14.22 c 4160 108005 1915267 10597011 428 3501 235 235 213 14.19/14.26 c 4170 108271 1920440 10625374 428 3504 244 246 222 14.19/14.29 c 4180 108571 1925731 10656337 428 3514 243 289 257 14.29/14.33 c 4190 108883 1931131 10689802 428 3523 247 294 258 14.29/14.35 c 4200 109041 1933482 10703380 428 3532 139 143 129 14.29/14.36 c 4210 109145 1934811 10710019 428 3542 95 95 86 14.29/14.39 c 4220 109410 1939736 10736788 428 3552 256 256 232 14.39/14.43 c 4230 109742 1945476 10771853 428 3561 218 317 262 14.39/14.46 c 4240 110047 1950691 10806054 428 3564 228 281 247 14.49/14.51 c 4250 110368 1957219 10841000 428 3573 214 302 255 14.49/14.55 c 4260 110678 1962565 10874902 428 3577 242 292 255 14.49/14.59 c 4270 111015 1968554 10912059 428 3583 219 320 257 14.59/14.62 c 4280 111332 1974042 10946748 428 3585 293 299 268 14.59/14.64 c 4290 111410 1975511 10951631 428 3595 69 69 62 14.59/14.65 c 4300 111533 1977124 10960178 428 3605 114 114 103 14.59/14.66 c 4310 111658 1979120 10969633 428 3615 116 116 105 14.69/14.70 c 4320 111962 1984874 11003737 428 3620 282 286 258 14.69/14.71 c 4330 112043 1986381 11008918 428 3630 72 72 65 14.69/14.75 c 4340 112348 1991929 11041582 428 3637 251 292 260 14.69/14.78 c 4350 112645 1997402 11073670 428 3642 206 266 194 14.69/14.80 c 4360 112726 1998811 11078224 428 3652 72 72 65 14.79/14.80 c 4370 112819 2000156 11083782 428 3662 84 84 76 14.79/14.82 c 4380 112947 2002174 11093516 428 3672 119 119 108 14.79/14.85 c 4390 113258 2008143 11128749 428 3677 232 286 254 14.79/14.87 c 4400 113401 2010653 11140555 428 3687 134 134 121 14.89/14.90 c 4410 113601 2014563 11158797 428 3697 191 191 173 14.89/14.92 c 4420 113816 2018629 11179497 428 3706 126 200 162 14.89/14.95 c 4430 114025 2022632 11199001 428 3716 200 200 181 14.89/14.98 c 4440 114285 2026942 11224739 428 3726 215 251 224 14.99/15.01 c 4450 114543 2031679 11251258 428 3734 221 245 211 14.99/15.05 c 4460 114815 2036651 11280536 428 3743 126 257 198 14.99/15.08 c 4470 115036 2041062 11301395 428 3753 212 212 192 15.09/15.11 c 4480 115291 2045736 11327368 428 3761 185 242 194 15.09/15.14 c 4490 115559 2050509 11354560 428 3771 202 257 228 15.09/15.16 c 4493 115751 2053867 11373539 428 3772 188 190 141 15.09/15.19 c 4500 115997 2058115 11399043 428 3779 190 236 194 15.19/15.22 c 4510 116235 2062857 11423470 428 3788 129 221 174 15.19/15.23 c 4520 116323 2064386 11429221 428 3798 79 79 71 15.19/15.26 c 4530 116592 2069323 11456058 428 3808 230 260 233 15.29/15.30 c 4540 116865 2074923 11484258 428 3816 224 260 220 15.29/15.34 c 4550 117144 2080464 11513453 428 3824 230 266 225 15.29/15.38 c 4560 117425 2085779 11541593 428 3834 231 272 243 15.39/15.41 c 4570 117708 2091017 11570368 428 3844 229 272 242 15.39/15.45 c 4580 118036 2096341 11605664 428 3849 302 311 276 15.39/15.48 c 4590 118310 2101207 11633281 428 3859 223 263 235 15.49/15.52 c 4600 118585 2106253 11660487 428 3869 266 266 241 15.49/15.55 c 4610 118830 2110713 11684307 428 3879 236 236 214 15.49/15.58 c 4620 119125 2116474 11715811 428 3888 135 278 211 15.59/15.62 c 4630 119442 2121980 11747759 428 3898 237 308 273 15.59/15.66 c 4640 119740 2127611 11777793 428 3908 250 287 257 15.69/15.70 c 4650 120030 2132661 11806771 428 3918 281 281 255 15.69/15.72 c 4660 120230 2136364 11826463 428 3922 183 185 167 15.69/15.75 c 4670 120503 2141213 11854312 428 3929 180 260 207 15.69/15.79 c 4680 120830 2146876 11888004 428 3938 242 314 272 15.79/15.83 c 4690 121151 2152863 11921383 428 3946 236 308 260 15.79/15.86 c 4700 121412 2157642 11947701 428 3949 239 245 218 15.79/15.88 c 4710 121599 2161049 11964811 428 3959 178 178 161 15.89/15.92 c 4720 121918 2166697 11999731 428 3964 221 298 234 15.89/15.94 c 4730 122029 2169063 12008334 428 3974 102 102 92 15.89/15.97 c 4740 122349 2174809 12043582 428 3979 221 297 234 15.99/16.01 c 4750 122648 2179647 12073534 428 3989 290 290 263 15.99/16.05 c 4760 122969 2185357 12106272 428 3999 179 308 255 15.99/16.07 c 4770 123197 2189460 12129638 428 4002 201 209 185 16.09/16.10 c 4780 123402 2193065 12151741 428 4005 176 181 162 16.09/16.14 c 4790 123684 2198565 12181964 428 4012 197 263 193 16.09/16.17 c 4800 123937 2203223 12208640 428 4018 229 232 209 16.09/16.19 c 4810 124098 2205961 12223229 428 4028 135 148 132 16.19/16.22 c 4820 124368 2210975 12250757 428 4037 221 257 220 16.19/16.26 c 4830 124678 2216485 12283285 428 4042 216 295 260 16.19/16.29 c 4840 124926 2220768 12308024 428 4049 177 221 182 16.29/16.30 c 4850 124999 2221744 12312263 428 4059 58 64 57 16.29/16.31 c 4860 125108 2223146 12319477 428 4069 100 100 90 16.29/16.34 c 4870 125353 2227676 12343486 428 4079 230 236 214 16.29/16.37 c 4880 125616 2232158 12368971 428 4089 254 254 230 16.29/16.38 c 4890 125725 2233520 12376188 428 4099 100 100 90 16.38/16.42 c 4900 126032 2239445 12407411 428 4109 266 298 244 16.38/16.44 c 4910 126238 2242850 12427729 428 4119 156 193 168 16.38/16.47 c 4920 126510 2248279 12454842 428 4129 263 263 239 16.49/16.51 c 4930 126806 2253488 12484627 428 4139 284 287 260 16.49/16.54 c 4940 127105 2258890 12514451 428 4149 290 290 263 16.49/16.58 c 4950 127410 2264283 12548095 428 4153 275 280 252 16.59/16.62 c 4960 127726 2269918 12582561 428 4158 186 295 218 16.59/16.66 c 4970 128024 2275594 12612706 428 4168 207 287 253 16.59/16.69 c 4980 128330 2280828 12645432 428 4171 288 291 263 16.68/16.72 c 4990 128624 2285895 12678497 428 4173 260 265 239 16.68/16.75 c 5035 128865 2289735 12698440 428 4217 174 185 180 16.78/16.88 c 5631 129834 2299239 12747881 428 4804 205 349 319 16.98/17.02 c 6286 130880 2310254 12796811 428 5455 92 377 273 17.18/17.20 c 7006 132157 2326711 12899697 428 5886 304 395 357 17.28/17.38 c 7798 133521 2340154 12985646 428 6596 183 429 354 17.48/17.58 c 8669 134912 2352952 13053884 428 7457 257 498 437 17.70/17.79 c 9627 136483 2366904 13145337 428 8371 1 532 476 18.29/18.30 c 10680 139800 2428979 13671429 428 8397 365 460 423 18.39/18.43 c 11838 141109 2436340 13686533 428 9555 88 152 125 18.59/18.65 c 13111 142733 2447750 13737097 428 10828 148 352 264 18.89/18.94 c 14511 144846 2466285 13857176 428 12058 301 532 437 19.28/19.39 c 16051 148278 2512963 14266131 428 12280 201 578 542 19.68/19.78 c 17745 151252 2542276 14505035 428 13110 171 608 501 20.18/20.22 c 19608 154486 2582164 14765225 428 13279 146 365 356 20.58/20.64 c 21657 158078 2611076 15048771 428 14149 113 514 388 21.00/21.07 c 23910 162540 2652861 15432123 428 14210 146 303 289 21.39/21.43 c 26388 165527 2672549 15498353 428 16324 101 459 240 21.89/21.99 c 29113 169723 2711985 15819200 428 18012 135 604 476 22.89/22.92 c 32110 177789 2806829 16831942 428 18155 158 585 544 23.48/23.54 c 35406 182803 2853124 17172078 428 19207 138 528 422 24.48/24.52 c 39031 192387 2954693 18361198 428 19777 164 354 341 25.18/25.25 c 43018 199139 3014297 18921937 428 20945 134 454 402 25.99/26.01 c 47403 206378 3075243 19306118 428 22958 162 484 396 26.99/27.05 c 52226 214300 3165561 20068499 428 23429 126 461 348 27.99/28.01 c 57531 222384 3251016 20555823 428 23860 190 358 345 29.09/29.10 c 63366 231795 3339408 21303310 428 24960 190 575 372 30.09/30.18 c 69784 242272 3427445 22080224 428 25097 199 370 355 31.59/31.67 c 76843 253090 3565667 22910125 428 25360 241 360 334 32.99/33.02 c 84607 265879 3680710 24008757 428 25994 147 401 385 34.78/34.86 c 93147 279593 3843212 25182600 428 28093 195 609 524 36.58/36.69 c 102541 295198 4010828 26534638 428 28715 172 363 311 38.59/38.61 c 112874 313903 4174141 28294068 428 30824 164 543 391 40.69/40.72 c 124240 331686 4387537 29670394 428 31463 145 378 327 43.09/43.12 c 136742 351691 4626189 31273896 428 32049 214 375 359 44.99/45.10 c 150494 374561 4821572 32942128 428 32697 221 359 309 47.09/47.18 c 165621 394822 4983616 34045589 428 33985 126 570 454 49.98/50.07 c 182260 424549 5244754 36502733 428 35122 153 583 496 52.38/52.41 c 200562 448087 5413678 37383050 428 35916 145 469 453 55.88/55.96 c 220694 488030 5708504 41122335 428 36410 151 498 417 59.88/59.91 c 242839 522471 6068434 43768390 428 37008 176 441 408 64.78/64.83 c 267198 564431 6520142 47254793 428 37555 182 468 450 68.58/68.66 c 293992 602712 6853077 49753425 428 38381 175 396 379 73.28/73.30 c 323465 644095 7221700 52121764 428 40752 141 571 386 78.38/78.46 c 355885 698087 7690489 57364201 428 42011 140 491 469 83.59/83.66 c 391547 752308 8127474 60843757 428 44013 133 609 490 89.68/89.74 c 430775 815554 8686263 65182710 428 45498 126 444 357 100.08/100.13 c 473925 904569 9784925 72835436 428 46467 148 422 350 107.37/107.43 c 521390 968791 10413074 76350313 428 47097 137 415 383 113.98/114.04 c 573601 1043313 10918794 80498861 428 47673 206 357 336 124.58/124.62 c 631033 1136007 11927819 89002767 428 49456 159 655 558 134.68/134.72 c 694208 1234859 12865844 96811146 428 50105 187 527 470 144.98/145.03 c 763700 1348523 13847078 105926189 428 51140 203 392 375 159.08/159.13 c 840141 1494575 15095620 119633149 428 52441 146 571 506 169.87/169.97 c 924226 1612154 16051177 126927859 428 54080 148 418 402 184.07/184.11 c 1016719 1754296 17203228 136372201 428 56743 156 562 539 198.57/198.68 c 1118461 1905704 18412670 146578476 428 60049 180 653 417 218.47/218.54 c 1230377 2082456 20192731 156721921 428 62471 190 505 484 252.97/253.06 c 1353484 2393381 23724481 198931977 428 64763 158 568 532 274.76/274.80 c 1488901 2589279 25543746 212210926 428 68223 189 704 498 297.66/297.76 c 1637859 2799689 27447805 226623999 428 70821 161 652 551 319.47/319.54 c 1801712 3037089 29092847 240323817 428 72218 212 427 410 348.06/348.17 c 1981950 3359926 31769255 266330711 428 74647 137 609 485 377.65/377.79 c 2180211 3673558 34436230 290092912 428 76820 126 499 476 420.35/420.49 c 2398298 4102881 38446983 328140295 428 78719 1 604 554 462.75/462.89 c 2638193 4463897 42709515 356015175 428 80333 155 445 428 517.65/517.74 c 2902077 5020767 48342640 412089744 428 83344 194 604 552 587.55/587.63 c 3192349 5630990 55720846 486127246 428 85750 164 738 642 638.44/638.54 c 3511648 6099139 60623107 511618422 428 87892 170 399 387 717.25/717.33 c 3862876 6819119 67529512 586876006 428 90880 166 741 614 800.34/800.49 c 4249226 7534498 76222026 657342732 428 93633 141 604 541 907.83/907.95 c 4674211 8594648 86538341 786538764 428 97571 151 620 555 1010.62/1010.72 c 5141694 9430149 96932969 879971209 428 100865 149 614 577 1145.42/1145.53 c 5655925 10615313 110126857 1026237806 428 103093 184 694 617 1244.51/1244.64 c 6221579 11728270 119036355 1124249390 428 105393 115 561 495 1399.81/1399.97 c 6843798 13106138 134839166 1300538898 428 107841 103 687 621 1490.11/1490.25 c 7528238 14126681 142284084 1353967265 428 110551 97 439 423 1621.41/1621.58 c 8281122 15433384 154069470 1450377833 428 113146 94 531 490 1848.60/1848.72 c 9109294 17486971 175953416 1785450230 428 116264 1 614 569 2062.09/2062.27 c 10020283 19488374 196486004 2032465533 428 120814 48 706 613 2349.88/2350.08 c 11022370 21922044 225477311 2330052162 428 125716 49 675 613
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-4242025-1500653718/watcher-4242025-1500653718 -o /tmp/evaluation-result-4242025-1500653718/solver-4242025-1500653718 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node107-1500648178-9865 --watchdog 2560 HOME/cosoco -lc -model -restarts -sat HOME/instance-4242025-1500653718.xml pid=11154 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.00 2.10 2.43 3/242 11157 /proc/meminfo: memFree=32128988/32770624 swapFree=6096/18176 [pid=11157] ppid=11154 vsize=28704 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/11157/stat : 11157 (cosoco) R 11154 11157 9833 0 -1 4202496 1388 0 0 0 0 0 0 0 20 0 1 0 641413 29392896 1169 33554432000 4194304 5970956 140720935286464 140720935283064 140138016156645 0 0 4096 0 0 0 0 17 11 0 0 0 0 0 8070896 8075904 29663232 140720935294140 140720935294275 140720935294275 140720935296974 0 /proc/11157/statm: 7176 1169 715 434 0 540 0 [startup+0.100153 s] /proc/loadavg: 2.00 2.10 2.43 3/242 11157 /proc/meminfo: memFree=32128988/32770624 swapFree=6096/18176 [pid=11157] ppid=11154 vsize=59952 CPUtime=0.09 cores=1,3,5,7,9,11,13,15 /proc/11157/stat : 11157 (cosoco) R 11154 11157 9833 0 -1 4202496 7814 0 0 0 8 1 0 0 20 0 1 0 641413 61390848 8640 33554432000 4194304 5970956 140720935286464 140720935283288 140138016156645 0 0 4096 8404994 0 0 0 17 11 0 0 0 0 0 8070896 8075904 29663232 140720935294140 140720935294275 140720935294275 140720935296974 0 /proc/11157/statm: 15021 8640 760 434 0 8385 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 59952 [startup+0.200422 s] /proc/loadavg: 2.00 2.10 2.43 3/242 11157 /proc/meminfo: memFree=32128988/32770624 swapFree=6096/18176 [pid=11157] ppid=11154 vsize=110792 CPUtime=0.19 cores=1,3,5,7,9,11,13,15 /proc/11157/stat : 11157 (cosoco) R 11154 11157 9833 0 -1 4202496 16600 0 0 0 17 2 0 0 20 0 1 0 641413 113451008 21039 33554432000 4194304 5970956 140720935286464 140720935283288 5279833 0 0 4096 8404994 0 0 0 17 11 0 0 0 0 0 8070896 8075904 29663232 140720935294140 140720935294275 140720935294275 140720935296974 0 /proc/11157/statm: 27698 21039 760 434 0 21062 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 110792 [startup+0.300354 s] /proc/loadavg: 2.00 2.10 2.43 3/242 11157 /proc/meminfo: memFree=32128988/32770624 swapFree=6096/18176 [pid=11157] ppid=11154 vsize=202208 CPUtime=0.29 cores=1,3,5,7,9,11,13,15 /proc/11157/stat : 11157 (cosoco) R 11154 11157 9833 0 -1 4202496 26305 0 0 0 25 4 0 0 20 0 1 0 641413 207060992 35312 33554432000 4194304 5970956 140720935286464 140720935283288 5279679 0 0 4096 8404994 0 0 0 17 11 0 0 0 0 0 8070896 8075904 29663232 140720935294140 140720935294275 140720935294275 140720935296974 0 /proc/11157/statm: 50552 35312 760 434 0 43916 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 202208 [startup+0.700295 s] /proc/loadavg: 2.00 2.10 2.43 3/242 11157 /proc/meminfo: memFree=32128988/32770624 swapFree=6096/18176 [pid=11157] ppid=11154 vsize=482112 CPUtime=0.69 cores=1,3,5,7,9,11,13,15 /proc/11157/stat : 11157 (cosoco) R 11154 11157 9833 0 -1 4202496 59244 0 0 0 59 10 0 0 20 0 1 0 641413 493682688 94791 33554432000 4194304 5970956 140720935286464 140720935283288 140138016156645 0 0 4096 8404994 0 0 0 17 11 0 0 0 0 0 8070896 8075904 29663232 140720935294140 140720935294275 140720935294275 140720935296974 0 /proc/11157/statm: 120528 94791 760 434 0 113892 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 482112 [startup+1.50029 s] /proc/loadavg: 2.00 2.10 2.43 3/243 11158 /proc/meminfo: memFree=31513556/32770624 swapFree=6096/18152 [pid=11157] ppid=11154 vsize=838248 CPUtime=1.48 cores=1,3,5,7,9,11,13,15 /proc/11157/stat : 11157 (cosoco) R 11154 11157 9833 0 -1 4202496 104231 0 0 0 129 19 0 0 20 0 1 0 641413 858365952 177655 33554432000 4194304 5970956 140720935286464 140720935283800 4934366 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 29663232 140720935294140 140720935294275 140720935294275 140720935296974 0 /proc/11157/statm: 209562 177655 783 434 0 202926 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 838248 [startup+3.10028 s] /proc/loadavg: 2.00 2.09 2.43 3/243 11158 /proc/meminfo: memFree=31419484/32770624 swapFree=6096/18216 [pid=11157] ppid=11154 vsize=839192 CPUtime=3.09 cores=1,3,5,7,9,11,13,15 /proc/11157/stat : 11157 (cosoco) R 11154 11157 9833 0 -1 4202496 109848 0 0 0 289 20 0 0 20 0 1 0 641413 859332608 177890 33554432000 4194304 5970956 140720935286464 140720935283800 140138016156236 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 29663232 140720935294140 140720935294275 140720935294275 140720935296974 0 /proc/11157/statm: 209798 177890 783 434 0 203162 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 839192 [startup+6.30029 s] /proc/loadavg: 2.00 2.09 2.43 3/243 11158 /proc/meminfo: memFree=31416928/32770624 swapFree=6096/18228 [pid=11157] ppid=11154 vsize=839192 CPUtime=6.29 cores=1,3,5,7,9,11,13,15 /proc/11157/stat : 11157 (cosoco) R 11154 11157 9833 0 -1 4202496 124271 0 0 0 608 21 0 0 20 0 1 0 641413 859332608 178439 33554432000 4194304 5970956 140720935286464 140720935283800 5322992 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 29663232 140720935294140 140720935294275 140720935294275 140720935296974 0 /proc/11157/statm: 209798 178439 783 434 0 203162 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 839192 [startup+12.7003 s] /proc/loadavg: 2.00 2.09 2.43 3/243 11158 /proc/meminfo: memFree=31416432/32770624 swapFree=6096/18236 [pid=11157] ppid=11154 vsize=839464 CPUtime=12.69 cores=1,3,5,7,9,11,13,15 /proc/11157/stat : 11157 (cosoco) R 11154 11157 9833 0 -1 4202496 142152 0 0 0 1246 23 0 0 20 0 1 0 641413 859611136 178494 33554432000 4194304 5970956 140720935286464 140720935283800 4977769 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 29663232 140720935294140 140720935294275 140720935294275 140720935296974 0 /proc/11157/statm: 209866 178494 783 434 0 203230 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 839464 [startup+25.5003 s] /proc/loadavg: 2.00 2.09 2.42 3/243 11158 /proc/meminfo: memFree=31393844/32770624 swapFree=6096/18252 [pid=11157] ppid=11154 vsize=842116 CPUtime=25.48 cores=1,3,5,7,9,11,13,15 /proc/11157/stat : 11157 (cosoco) R 11154 11157 9833 0 -1 4202496 178937 0 0 0 2523 25 0 0 20 0 1 0 641413 862326784 184279 33554432000 4194304 5970956 140720935286464 140720935283800 5243443 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 29663232 140720935294140 140720935294275 140720935294275 140720935296974 0 /proc/11157/statm: 210529 184279 783 434 0 203893 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 842116 [startup+51.1003 s] /proc/loadavg: 2.00 2.08 2.41 3/243 11158 /proc/meminfo: memFree=31373664/32770624 swapFree=6096/18284 [pid=11157] ppid=11154 vsize=842804 CPUtime=51.08 cores=1,3,5,7,9,11,13,15 /proc/11157/stat : 11157 (cosoco) R 11154 11157 9833 0 -1 4202496 215395 0 0 0 5081 27 0 0 20 0 1 0 641413 863031296 189027 33554432000 4194304 5970956 140720935286464 140720935283800 4976581 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 29663232 140720935294140 140720935294275 140720935294275 140720935296974 0 /proc/11157/statm: 210701 189027 783 434 0 204065 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 842804 [startup+102.3 s] /proc/loadavg: 2.00 2.07 2.39 3/243 11159 /proc/meminfo: memFree=31359300/32770624 swapFree=6096/18360 [pid=11157] ppid=11154 vsize=843100 CPUtime=102.28 cores=1,3,5,7,9,11,13,15 /proc/11157/stat : 11157 (cosoco) R 11154 11157 9833 0 -1 4202496 241606 0 0 0 10200 28 0 0 20 0 1 0 641413 863334400 192701 33554432000 4194304 5970956 140720935286464 140720935283800 4971363 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 29663232 140720935294140 140720935294275 140720935294275 140720935296974 0 /proc/11157/statm: 210775 192701 783 434 0 204139 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 843100 [startup+162.3 s] /proc/loadavg: 2.00 2.06 2.37 3/243 11160 /proc/meminfo: memFree=31351388/32770624 swapFree=6096/18428 [pid=11157] ppid=11154 vsize=843428 CPUtime=162.27 cores=1,3,5,7,9,11,13,15 /proc/11157/stat : 11157 (cosoco) R 11154 11157 9833 0 -1 4202496 268034 0 0 0 16197 30 0 0 20 0 1 0 641413 863670272 194809 33554432000 4194304 5970956 140720935286464 140720935283800 4976743 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 29663232 140720935294140 140720935294275 140720935294275 140720935296974 0 /proc/11157/statm: 210857 194809 783 434 0 204221 0 Current children cumulated CPU time (s) 162.27 Current children cumulated vsize (KiB) 843428 [startup+222.308 s] /proc/loadavg: 2.07 2.06 2.35 3/243 11161 /proc/meminfo: memFree=31340892/32770624 swapFree=6096/18480 [pid=11157] ppid=11154 vsize=843852 CPUtime=222.28 cores=1,3,5,7,9,11,13,15 /proc/11157/stat : 11157 (cosoco) R 11154 11157 9833 0 -1 4202496 285536 0 0 0 22197 31 0 0 20 0 1 0 641413 864104448 197605 33554432000 4194304 5970956 140720935286464 140720935283800 4974808 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 29663232 140720935294140 140720935294275 140720935294275 140720935296974 0 /proc/11157/statm: 210963 197605 783 434 0 204327 0 Current children cumulated CPU time (s) 222.28 Current children cumulated vsize (KiB) 843852 [startup+282.3 s] /proc/loadavg: 2.03 2.05 2.32 3/243 11162 /proc/meminfo: memFree=31330508/32770624 swapFree=6096/18540 [pid=11157] ppid=11154 vsize=1059072 CPUtime=282.26 cores=1,3,5,7,9,11,13,15 /proc/11157/stat : 11157 (cosoco) R 11154 11157 9833 0 -1 4202496 306390 0 0 0 28194 32 0 0 20 0 1 0 641413 1084489728 200058 33554432000 4194304 5970956 140720935286464 140720935283800 4977752 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 29663232 140720935294140 140720935294275 140720935294275 140720935296974 0 /proc/11157/statm: 264768 200058 783 434 0 258132 0 Current children cumulated CPU time (s) 282.26 Current children cumulated vsize (KiB) 1059072 [startup+342.3 s] /proc/loadavg: 2.01 2.04 2.31 3/243 11170 /proc/meminfo: memFree=31325932/32770624 swapFree=6096/18576 [pid=11157] ppid=11154 vsize=1059204 CPUtime=342.26 cores=1,3,5,7,9,11,13,15 /proc/11157/stat : 11157 (cosoco) R 11154 11157 9833 0 -1 4202496 321371 0 0 0 34193 33 0 0 20 0 1 0 641413 1084624896 201116 33554432000 4194304 5970956 140720935286464 140720935283800 5327380 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 29663232 140720935294140 140720935294275 140720935294275 140720935296974 0 /proc/11157/statm: 264801 201116 783 434 0 258165 0 Current children cumulated CPU time (s) 342.26 Current children cumulated vsize (KiB) 1059204 [startup+402.3 s] /proc/loadavg: 2.00 2.04 2.29 3/243 11171 /proc/meminfo: memFree=31319032/32770624 swapFree=6096/18628 [pid=11157] ppid=11154 vsize=1059340 CPUtime=402.26 cores=1,3,5,7,9,11,13,15 /proc/11157/stat : 11157 (cosoco) R 11154 11157 9833 0 -1 4202496 338312 0 0 0 40192 34 0 0 20 0 1 0 641413 1084764160 202694 33554432000 4194304 5970956 140720935286464 140720935283800 5239965 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 29663232 140720935294140 140720935294275 140720935294275 140720935296974 0 /proc/11157/statm: 264835 202694 783 434 0 258199 0 Current children cumulated CPU time (s) 402.26 Current children cumulated vsize (KiB) 1059340 [startup+462.3 s] /proc/loadavg: 2.00 2.03 2.27 3/243 11172 /proc/meminfo: memFree=31316848/32770624 swapFree=6096/18676 [pid=11157] ppid=11154 vsize=1059504 CPUtime=462.25 cores=1,3,5,7,9,11,13,15 /proc/11157/stat : 11157 (cosoco) R 11154 11157 9833 0 -1 4202496 342284 0 0 0 46191 34 0 0 20 0 1 0 641413 1084932096 203223 33554432000 4194304 5970956 140720935286464 140720935283320 4976878 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 29663232 140720935294140 140720935294275 140720935294275 140720935296974 0 /proc/11157/statm: 264876 203223 783 434 0 258240 0 Current children cumulated CPU time (s) 462.25 Current children cumulated vsize (KiB) 1059504 [startup+522.3 s] /proc/loadavg: 2.00 2.02 2.25 3/243 11173 /proc/meminfo: memFree=31310592/32770624 swapFree=6096/18712 [pid=11157] ppid=11154 vsize=1059660 CPUtime=522.25 cores=1,3,5,7,9,11,13,15 /proc/11157/stat : 11157 (cosoco) R 11154 11157 9833 0 -1 4202496 345913 0 0 0 52191 34 0 0 20 0 1 0 641413 1085091840 204789 33554432000 4194304 5970956 140720935286464 140720935283320 4974138 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 29663232 140720935294140 140720935294275 140720935294275 140720935296974 0 /proc/11157/statm: 264915 204789 783 434 0 258279 0 Current children cumulated CPU time (s) 522.25 Current children cumulated vsize (KiB) 1059660 [startup+582.3 s] /proc/loadavg: 2.00 2.02 2.23 3/243 11174 /proc/meminfo: memFree=31310436/32770624 swapFree=6096/18768 [pid=11157] ppid=11154 vsize=1059792 CPUtime=582.25 cores=1,3,5,7,9,11,13,15 /proc/11157/stat : 11157 (cosoco) R 11154 11157 9833 0 -1 4202496 347684 0 0 0 58191 34 0 0 20 0 1 0 641413 1085227008 204833 33554432000 4194304 5970956 140720935286464 140720935283384 4934357 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 29663232 140720935294140 140720935294275 140720935294275 140720935296974 0 /proc/11157/statm: 264948 204833 783 434 0 258312 0 Current children cumulated CPU time (s) 582.25 Current children cumulated vsize (KiB) 1059792 ################ # More data... # ################ [startup+1482.3 s] /proc/loadavg: 2.00 2.01 2.11 3/243 11264 /proc/meminfo: memFree=27077140/32770624 swapFree=5948/19440 [pid=11157] ppid=11154 vsize=1060708 CPUtime=1482.21 cores=1,3,5,7,9,11,13,15 /proc/11157/stat : 11157 (cosoco) R 11154 11157 9833 0 -1 4202496 376356 0 0 0 148185 36 0 0 20 0 1 0 641413 1086164992 211254 33554432000 4194304 5970956 140720935286464 140720935283320 4930560 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 29663232 140720935294140 140720935294275 140720935294275 140720935296974 0 /proc/11157/statm: 265177 211254 783 434 0 258541 0 Current children cumulated CPU time (s) 1482.21 Current children cumulated vsize (KiB) 1060708 [startup+1542.31 s] /proc/loadavg: 2.00 2.01 2.10 3/244 11273 /proc/meminfo: memFree=26914656/32770624 swapFree=5948/19544 [pid=11157] ppid=11154 vsize=1060708 CPUtime=1542.21 cores=1,3,5,7,9,11,13,15 /proc/11157/stat : 11157 (cosoco) R 11154 11157 9833 0 -1 4202496 378759 0 0 0 154185 36 0 0 20 0 1 0 641413 1086164992 211768 33554432000 4194304 5970956 140720935286464 140720935283800 4933087 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 29663232 140720935294140 140720935294275 140720935294275 140720935296974 0 /proc/11157/statm: 265177 211768 783 434 0 258541 0 Current children cumulated CPU time (s) 1542.21 Current children cumulated vsize (KiB) 1060708 [startup+1602.3 s] /proc/loadavg: 2.04 2.03 2.10 3/244 11274 /proc/meminfo: memFree=26914000/32770624 swapFree=5948/19632 [pid=11157] ppid=11154 vsize=1060708 CPUtime=1602.2 cores=1,3,5,7,9,11,13,15 /proc/11157/stat : 11157 (cosoco) R 11154 11157 9833 0 -1 4202496 379493 0 0 0 160184 36 0 0 20 0 1 0 641413 1086164992 211768 33554432000 4194304 5970956 140720935286464 140720935283800 4970597 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 29663232 140720935294140 140720935294275 140720935294275 140720935296974 0 /proc/11157/statm: 265177 211768 783 434 0 258541 0 Current children cumulated CPU time (s) 1602.2 Current children cumulated vsize (KiB) 1060708 [startup+1662.3 s] /proc/loadavg: 2.01 2.02 2.09 3/244 11275 /proc/meminfo: memFree=26912332/32770624 swapFree=5948/19704 [pid=11157] ppid=11154 vsize=1060896 CPUtime=1662.2 cores=1,3,5,7,9,11,13,15 /proc/11157/stat : 11157 (cosoco) R 11154 11157 9833 0 -1 4202496 381768 0 0 0 166184 36 0 0 20 0 1 0 641413 1086357504 212317 33554432000 4194304 5970956 140720935286464 140720935283320 4934299 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 29663232 140720935294140 140720935294275 140720935294275 140720935296974 0 /proc/11157/statm: 265224 212317 783 434 0 258588 0 Current children cumulated CPU time (s) 1662.2 Current children cumulated vsize (KiB) 1060896 [startup+1722.3 s] /proc/loadavg: 2.00 2.01 2.09 3/244 11276 /proc/meminfo: memFree=26912712/32770624 swapFree=5948/19748 [pid=11157] ppid=11154 vsize=1060896 CPUtime=1722.21 cores=1,3,5,7,9,11,13,15 /proc/11157/stat : 11157 (cosoco) R 11154 11157 9833 0 -1 4202496 382823 0 0 0 172184 37 0 0 20 0 1 0 641413 1086357504 212317 33554432000 4194304 5970956 140720935286464 140720935283320 4974629 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 29663232 140720935294140 140720935294275 140720935294275 140720935296974 0 /proc/11157/statm: 265224 212317 783 434 0 258588 0 Current children cumulated CPU time (s) 1722.21 Current children cumulated vsize (KiB) 1060896 [startup+1782.3 s] /proc/loadavg: 2.00 2.01 2.08 3/244 11277 /proc/meminfo: memFree=26912212/32770624 swapFree=5948/19816 [pid=11157] ppid=11154 vsize=1060896 CPUtime=1782.21 cores=1,3,5,7,9,11,13,15 /proc/11157/stat : 11157 (cosoco) R 11154 11157 9833 0 -1 4202496 383828 0 0 0 178184 37 0 0 20 0 1 0 641413 1086357504 212317 33554432000 4194304 5970956 140720935286464 140720935283320 4974138 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 29663232 140720935294140 140720935294275 140720935294275 140720935296974 0 /proc/11157/statm: 265224 212317 783 434 0 258588 0 Current children cumulated CPU time (s) 1782.21 Current children cumulated vsize (KiB) 1060896 [startup+1842.3 s] /proc/loadavg: 2.04 2.03 2.08 3/243 11278 /proc/meminfo: memFree=26912220/32770624 swapFree=5948/19868 [pid=11157] ppid=11154 vsize=1060896 CPUtime=1842.2 cores=1,3,5,7,9,11,13,15 /proc/11157/stat : 11157 (cosoco) R 11154 11157 9833 0 -1 4202496 384995 0 0 0 184183 37 0 0 20 0 1 0 641413 1086357504 212317 33554432000 4194304 5970956 140720935286464 140720935283320 4974720 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 29663232 140720935294140 140720935294275 140720935294275 140720935296974 0 /proc/11157/statm: 265224 212317 783 434 0 258588 0 Current children cumulated CPU time (s) 1842.2 Current children cumulated vsize (KiB) 1060896 [startup+1902.3 s] /proc/loadavg: 2.01 2.02 2.08 3/243 11279 /proc/meminfo: memFree=26910448/32770624 swapFree=5948/19932 [pid=11157] ppid=11154 vsize=1060896 CPUtime=1902.2 cores=1,3,5,7,9,11,13,15 /proc/11157/stat : 11157 (cosoco) R 11154 11157 9833 0 -1 4202496 387421 0 0 0 190183 37 0 0 20 0 1 0 641413 1086357504 212841 33554432000 4194304 5970956 140720935286464 140720935283800 4977807 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 29663232 140720935294140 140720935294275 140720935294275 140720935296974 0 /proc/11157/statm: 265224 212841 783 434 0 258588 0 Current children cumulated CPU time (s) 1902.2 Current children cumulated vsize (KiB) 1060896 [startup+1962.3 s] /proc/loadavg: 2.00 2.01 2.07 3/243 11280 /proc/meminfo: memFree=26910448/32770624 swapFree=5948/19968 [pid=11157] ppid=11154 vsize=1060896 CPUtime=1962.2 cores=1,3,5,7,9,11,13,15 /proc/11157/stat : 11157 (cosoco) R 11154 11157 9833 0 -1 4202496 388591 0 0 0 196183 37 0 0 20 0 1 0 641413 1086357504 212841 33554432000 4194304 5970956 140720935286464 140720935283800 4970597 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 29663232 140720935294140 140720935294275 140720935294275 140720935296974 0 /proc/11157/statm: 265224 212841 783 434 0 258588 0 Current children cumulated CPU time (s) 1962.2 Current children cumulated vsize (KiB) 1060896 [startup+2022.3 s] /proc/loadavg: 2.04 2.03 2.07 3/243 11281 /proc/meminfo: memFree=26910572/32770624 swapFree=5948/20012 [pid=11157] ppid=11154 vsize=1060896 CPUtime=2022.2 cores=1,3,5,7,9,11,13,15 /proc/11157/stat : 11157 (cosoco) R 11154 11157 9833 0 -1 4202496 389719 0 0 0 202183 37 0 0 20 0 1 0 641413 1086357504 212841 33554432000 4194304 5970956 140720935286464 140720935283800 4974128 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 29663232 140720935294140 140720935294275 140720935294275 140720935296974 0 /proc/11157/statm: 265224 212841 783 434 0 258588 0 Current children cumulated CPU time (s) 2022.2 Current children cumulated vsize (KiB) 1060896 [startup+2082.3 s] /proc/loadavg: 2.05 2.04 2.07 3/243 11282 /proc/meminfo: memFree=26902732/32770624 swapFree=5948/20068 [pid=11157] ppid=11154 vsize=1061032 CPUtime=2082.2 cores=1,3,5,7,9,11,13,15 /proc/11157/stat : 11157 (cosoco) R 11154 11157 9833 0 -1 4202496 392080 0 0 0 208183 37 0 0 20 0 1 0 641413 1086496768 213885 33554432000 4194304 5970956 140720935286464 140720935283320 4934575 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 29663232 140720935294140 140720935294275 140720935294275 140720935296974 0 /proc/11157/statm: 265258 213885 783 434 0 258622 0 Current children cumulated CPU time (s) 2082.2 Current children cumulated vsize (KiB) 1061032 [startup+2142.3 s] /proc/loadavg: 2.16 2.08 2.08 3/243 11290 /proc/meminfo: memFree=26902440/32770624 swapFree=5948/20100 [pid=11157] ppid=11154 vsize=1061032 CPUtime=2142.19 cores=1,3,5,7,9,11,13,15 /proc/11157/stat : 11157 (cosoco) R 11154 11157 9833 0 -1 4202496 393368 0 0 0 214182 37 0 0 20 0 1 0 641413 1086496768 213891 33554432000 4194304 5970956 140720935286464 140720935283320 4976755 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 29663232 140720935294140 140720935294275 140720935294275 140720935296974 0 /proc/11157/statm: 265258 213891 783 434 0 258622 0 Current children cumulated CPU time (s) 2142.19 Current children cumulated vsize (KiB) 1061032 [startup+2202.31 s] /proc/loadavg: 2.13 2.08 2.08 3/243 11291 /proc/meminfo: memFree=26902188/32770624 swapFree=5948/20140 [pid=11157] ppid=11154 vsize=1061032 CPUtime=2202.2 cores=1,3,5,7,9,11,13,15 /proc/11157/stat : 11157 (cosoco) R 11154 11157 9833 0 -1 4202496 394619 0 0 0 220183 37 0 0 20 0 1 0 641413 1086496768 213891 33554432000 4194304 5970956 140720935286464 140720935283320 4974474 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 29663232 140720935294140 140720935294275 140720935294275 140720935296974 0 /proc/11157/statm: 265258 213891 783 434 0 258622 0 Current children cumulated CPU time (s) 2202.2 Current children cumulated vsize (KiB) 1061032 [startup+2262.3 s] /proc/loadavg: 2.05 2.06 2.07 3/243 11292 /proc/meminfo: memFree=26901928/32770624 swapFree=5948/20188 [pid=11157] ppid=11154 vsize=1061032 CPUtime=2262.19 cores=1,3,5,7,9,11,13,15 /proc/11157/stat : 11157 (cosoco) R 11154 11157 9833 0 -1 4202496 396020 0 0 0 226182 37 0 0 20 0 1 0 641413 1086496768 213891 33554432000 4194304 5970956 140720935286464 140720935283320 4974138 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 29663232 140720935294140 140720935294275 140720935294275 140720935296974 0 /proc/11157/statm: 265258 213891 783 434 0 258622 0 Current children cumulated CPU time (s) 2262.19 Current children cumulated vsize (KiB) 1061032 [startup+2322.3 s] /proc/loadavg: 2.02 2.05 2.07 3/243 11293 /proc/meminfo: memFree=26902352/32770624 swapFree=5948/20220 [pid=11157] ppid=11154 vsize=1061032 CPUtime=2322.18 cores=1,3,5,7,9,11,13,15 /proc/11157/stat : 11157 (cosoco) R 11154 11157 9833 0 -1 4202496 397336 0 0 0 232181 37 0 0 20 0 1 0 641413 1086496768 213891 33554432000 4194304 5970956 140720935286464 140720935283320 5098896 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 29663232 140720935294140 140720935294275 140720935294275 140720935296974 0 /proc/11157/statm: 265258 213891 783 434 0 258622 0 Current children cumulated CPU time (s) 2322.18 Current children cumulated vsize (KiB) 1061032 [startup+2382.3 s] /proc/loadavg: 2.01 2.04 2.06 3/243 11294 /proc/meminfo: memFree=26898780/32770624 swapFree=5948/20268 [pid=11157] ppid=11154 vsize=1061324 CPUtime=2382.19 cores=1,3,5,7,9,11,13,15 /proc/11157/stat : 11157 (cosoco) R 11154 11157 9833 0 -1 4202496 399567 0 0 0 238181 38 0 0 20 0 1 0 641413 1086795776 214976 33554432000 4194304 5970956 140720935286464 140720935283320 4934318 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 29663232 140720935294140 140720935294275 140720935294275 140720935296974 0 /proc/11157/statm: 265331 214976 783 434 0 258695 0 Current children cumulated CPU time (s) 2382.19 Current children cumulated vsize (KiB) 1061324 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2400.2 s] /proc/loadavg: 2.07 2.06 2.07 3/243 11295 /proc/meminfo: memFree=26898624/32770624 swapFree=5948/20280 [pid=11157] ppid=11154 vsize=1061324 CPUtime=2400.1 cores=1,3,5,7,9,11,13,15 /proc/11157/stat : 11157 (cosoco) R 11154 11157 9833 0 -1 4202496 400266 0 0 0 239972 38 0 0 20 0 1 0 641413 1086795776 214976 33554432000 4194304 5970956 140720935286464 140720935283320 4976713 0 0 4096 8405026 0 0 0 17 11 0 0 0 0 0 8070896 8075904 29663232 140720935294140 140720935294275 140720935294275 140720935296974 0 /proc/11157/statm: 265331 214976 783 434 0 258695 0 Current children cumulated CPU time (s) 2400.1 Current children cumulated vsize (KiB) 1061324 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 11157 sig 9 ??? kill -11157 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.11 CPU user time (s): 2399.72 CPU system time (s): 0.384986 CPU usage (%): 99.9957 Max. virtual memory (cumulated for all children) (KiB): 1061324 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2399.72 system time used= 0.384986 maximum resident set size= 859952 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 400289 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= 37 involuntary context switches= 120804 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 6.61658 second user time and 11.3874 second system time The end
Begin job on node107 at 2017-07-21 18:15:18 IDJOB=4242025 IDBENCH=133183 IDSOLVER=2621 FILE ID=node107/4242025-1500653718 RUNJOBID= node107-1500648178-9865 PBS_JOBID= 20623307 Free space on /tmp= 61872 MiB SOLVER NAME= cosoco-sat 1.1 BENCH NAME= XCSP17/Ortholatin/Ortholatin-m1-s1/Ortholatin-018.xml COMMAND LINE= DIR/cosoco -lc -model -restarts -sat BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4242025-1500653718/watcher-4242025-1500653718 -o /tmp/evaluation-result-4242025-1500653718/solver-4242025-1500653718 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node107-1500648178-9865 --watchdog 2560 HOME/cosoco -lc -model -restarts -sat HOME/instance-4242025-1500653718.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 8 MD5SUM BENCH= bf2163a04ce45209eed2b79696dcc2b5 RANDOM SEED=1743066732 node107.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.05 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.05 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.05 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.05 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 : 1600.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.05 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 : 2667.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 : 2668.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.05 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.05 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.05 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: 32128664 kB MemAvailable: 32034916 kB Buffers: 44716 kB Cached: 127928 kB SwapCached: 0 kB Active: 164300 kB Inactive: 78556 kB Active(anon): 21184 kB Inactive(anon): 60380 kB Active(file): 143116 kB Inactive(file): 18176 kB Unevictable: 6096 kB Mlocked: 6096 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 2420 kB Writeback: 0 kB AnonPages: 93496 kB Mapped: 31720 kB Shmem: 8852 kB Slab: 90676 kB SReclaimable: 57632 kB SUnreclaim: 33044 kB KernelStack: 4256 kB PageTables: 5304 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 345340 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 32768 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 128384 kB DirectMap2M: 33417216 kB Free space on /tmp at the end= 61872 MiB End job on node107 at 2017-07-21 18:55:19