| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| R1: cosoco-sat 1.1 | ? (TO) | 2400.03 | 2400.5 |
| Name | SportsScheduling/SportsScheduling-m1-s1/ SportsScheduling-14.xml |
| MD5SUM | 1e3f519c957d5cb55b89b746c42a86fa |
| 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 | 111.493 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 287 |
| Number of constraints | 147 |
| Number of domains | 2 |
| Minimum domain size | 14 |
| Maximum domain size | 91 |
| Distribution of domain sizes | [{"size":14,"count":196},{"size":91,"count":91}] |
| Minimum variable degree | 3 |
| Maximum variable degree | 4 |
| Distribution of variable degrees | [{"degree":3,"count":98},{"degree":4,"count":189}] |
| Minimum constraint arity | 1 |
| Maximum constraint arity | 91 |
| Distribution of constraint arities | [{"arity":1,"count":7},{"arity":2,"count":7},{"arity":3,"count":91},{"arity":7,"count":13},{"arity":14,"count":14},{"arity":26,"count":7},{"arity":28,"count":7},{"arity":91,"count":1}] |
| Number of extensional constraints | 91 |
| Number of intensional constraints | 14 |
| Distribution of constraint types | [{"type":"extension","count":91},{"type":"intension","count":14},{"type":"allDifferent","count":15},{"type":"count","count":13},{"type":"cardinality","count":14}] |
| Optimization problem | NO |
| Type of objective |
0.00/0.01 c Create Cardinality(vars,values,occurs) constraint using 26 Exactly/AtMost.. constraint 0.00/0.01 c 0.00/0.01 c Create Cardinality(vars,values,occurs) constraint using 26 Exactly/AtMost.. constraint 0.00/0.01 c 0.00/0.01 c Create Cardinality(vars,values,occurs) constraint using 26 Exactly/AtMost.. constraint 0.00/0.01 c 0.00/0.01 c Create Cardinality(vars,values,occurs) constraint using 26 Exactly/AtMost.. constraint 0.00/0.01 c 0.00/0.01 c Create Cardinality(vars,values,occurs) constraint using 26 Exactly/AtMost.. constraint 0.00/0.01 c 0.00/0.01 c Create Cardinality(vars,values,occurs) constraint using 26 Exactly/AtMost.. constraint 0.00/0.01 c 0.00/0.01 c Create Cardinality(vars,values,occurs) constraint using 26 Exactly/AtMost.. constraint 0.00/0.01 c 0.00/0.03 c Create Cardinality(vars,values,occurs) constraint using 28 Exactly/AtMost.. constraint 0.00/0.03 c 0.00/0.03 c Create Cardinality(vars,values,occurs) constraint using 28 Exactly/AtMost.. constraint 0.00/0.03 c 0.00/0.03 c Create Cardinality(vars,values,occurs) constraint using 28 Exactly/AtMost.. constraint 0.00/0.03 c 0.00/0.03 c Create Cardinality(vars,values,occurs) constraint using 28 Exactly/AtMost.. constraint 0.00/0.03 c 0.00/0.03 c Create Cardinality(vars,values,occurs) constraint using 28 Exactly/AtMost.. constraint 0.00/0.03 c 0.00/0.03 c Create Cardinality(vars,values,occurs) constraint using 28 Exactly/AtMost.. constraint 0.00/0.03 c 0.00/0.03 c Create Cardinality(vars,values,occurs) constraint using 28 Exactly/AtMost.. constraint 0.00/0.03 c 0.00/0.03 c intension hd[0]<ad[0] using generic constraint 0.00/0.03 c intension hd[1]<ad[1] using generic constraint 0.00/0.03 c intension hd[2]<ad[2] using generic constraint 0.00/0.03 c intension hd[3]<ad[3] using generic constraint 0.00/0.03 c intension hd[4]<ad[4] using generic constraint 0.00/0.03 c intension hd[5]<ad[5] using generic constraint 0.00/0.03 c intension hd[6]<ad[6] using generic constraint 0.00/0.08 c SAT : Variables: 11025 -- Clauses: 390768 0.00/0.09 c root propagations : 1343 0.00/0.09 c restarts enabled, print stats at every restarts 0.00/0.09 c 0.00/0.09 c 0.00/0.09 c 0.00/0.09 c This is cosoco 1.0 -- 0.00/0.09 c 0.00/0.09 c ========================================[ Problem Statistics ]=========================================== 0.00/0.09 c | 0.00/0.09 c | Parse time : 0.08 s 0.00/0.09 c | 0.00/0.09 c | Variables: 287 0.00/0.09 c | Domain Sizes: 14..91 0.00/0.09 c | 0.00/0.09 c | Constraints: 427 0.00/0.09 c | Arity: 1..91 -- Unary: 7 -- Binary: 7 -- Ternary: 91 0.00/0.09 c | 0.00/0.09 c | Types: 0.00/0.09 c | (X - Y < k): 7 0.00/0.09 c | All Different: 15 0.00/0.09 c | At least: 98 0.00/0.09 c | At most: 98 0.00/0.09 c | Exactly K: 111 0.00/0.09 c | Extension: 91 (nb tuples: 91..91) -- (shared: 90) 0.00/0.09 c | Intension: 7 0.00/0.09 c | 0.00/0.09 c ========================================================================================================= 0.00/0.09 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.00/0.09 c 10 82 17277 4195 287 5 46 72 60 0.09/0.10 c 20 185 30850 8204 287 10 44 90 75 0.09/0.10 c 30 245 37480 10499 287 16 9 43 34 0.09/0.10 c 40 301 43545 12814 287 22 9 40 31 0.09/0.11 c 50 359 49421 15002 287 28 2 40 31 0.09/0.11 c 60 406 53838 16768 287 32 34 37 32 0.09/0.11 c 70 453 58405 18551 287 36 2 37 29 0.09/0.11 c 80 501 62903 20240 287 40 2 36 28 0.09/0.11 c 90 537 66561 21943 287 44 21 24 20 0.09/0.11 c 100 574 70466 23569 287 48 22 25 21 0.09/0.12 c 101 576 71124 23767 287 49 2 2 1 0.09/0.12 c 110 610 75446 25325 287 52 1 23 17 0.09/0.12 c 120 645 79446 27036 287 56 20 23 19 0.09/0.12 c 130 680 83272 28844 287 60 20 23 19 0.09/0.12 c 140 715 87139 30515 287 64 20 23 19 0.09/0.12 c 150 750 91036 32197 287 68 20 23 19 0.09/0.12 c 160 785 94946 33862 287 72 2 23 18 0.09/0.13 c 170 820 98939 35573 287 76 20 23 19 0.09/0.13 c 180 855 102728 37289 287 80 20 23 19 0.09/0.13 c 190 890 106509 38919 287 84 20 23 19 0.09/0.13 c 200 925 110142 40655 287 88 20 23 19 0.09/0.13 c 210 960 114051 42384 287 92 20 23 19 0.09/0.13 c 211 983 116346 43137 287 93 23 23 11 0.09/0.13 c 220 1017 120117 44786 287 96 20 23 19 0.09/0.13 c 230 1052 123903 46467 287 100 20 23 19 0.09/0.14 c 240 1087 127797 48217 287 104 20 23 19 0.09/0.14 c 250 1122 131660 49995 287 108 20 23 19 0.09/0.14 c 260 1157 135609 51680 287 112 20 23 19 0.09/0.14 c 270 1192 139518 53362 287 116 20 23 19 0.09/0.14 c 280 1227 143120 55002 287 120 20 23 19 0.09/0.14 c 290 1262 146875 56704 287 124 20 23 19 0.09/0.14 c 300 1297 150658 58420 287 128 20 23 19 0.09/0.14 c 310 1332 154479 60063 287 132 20 23 19 0.09/0.15 c 320 1367 158341 61725 287 136 20 23 19 0.09/0.15 c 330 1402 162327 63586 287 140 20 23 19 0.09/0.15 c 332 1426 164862 64390 287 141 23 23 15 0.09/0.15 c 340 1459 168323 65832 287 144 20 23 19 0.09/0.15 c 350 1494 172027 67442 287 148 20 23 19 0.09/0.15 c 360 1529 175935 69104 287 152 20 23 19 0.09/0.15 c 370 1564 180029 70935 287 156 20 23 19 0.09/0.15 c 380 1600 183899 72678 287 160 21 23 19 0.09/0.16 c 390 1635 187618 74346 287 164 20 23 19 0.09/0.16 c 400 1670 191533 76100 287 168 20 23 19 0.09/0.16 c 410 1705 195283 77706 287 172 20 23 19 0.09/0.16 c 420 1740 199185 79392 287 176 20 23 19 0.09/0.16 c 430 1775 203222 81139 287 180 20 23 19 0.09/0.16 c 440 1810 207160 82884 287 184 20 23 19 0.09/0.16 c 450 1845 210953 84514 287 188 20 23 19 0.09/0.16 c 460 1880 214710 86287 287 192 20 23 19 0.09/0.17 c 465 1907 217556 87344 287 196 21 23 18 0.09/0.17 c 470 1934 220305 88468 287 200 21 23 18 0.09/0.17 c 480 1969 224009 90078 287 204 20 23 19 0.09/0.17 c 490 2004 227584 91765 287 208 20 23 19 0.09/0.17 c 500 2039 231637 93577 287 212 20 23 19 0.09/0.17 c 510 2074 235390 95211 287 216 20 23 19 0.09/0.17 c 520 2109 239140 96821 287 220 20 23 19 0.09/0.17 c 530 2144 243072 98564 287 224 20 23 19 0.09/0.17 c 540 2179 246920 100242 287 228 20 23 19 0.09/0.18 c 550 2214 250624 101852 287 232 20 23 19 0.09/0.18 c 560 2250 254681 103698 287 236 20 23 19 0.09/0.18 c 570 2285 259204 105434 287 240 9 23 18 0.09/0.18 c 580 2320 262978 107068 287 244 20 23 19 0.09/0.18 c 590 2355 266912 108774 287 248 20 23 19 0.09/0.18 c 600 2390 270784 110422 287 252 20 23 19 0.09/0.18 c 610 2425 274534 112195 287 256 20 23 19 0.09/0.18 c 611 2448 276670 112875 287 257 23 23 11 0.09/0.19 c 620 2482 280350 114440 287 260 20 23 19 0.09/0.19 c 630 2517 283952 116076 287 264 20 23 19 0.09/0.19 c 640 2552 287885 117761 287 268 20 23 19 0.09/0.19 c 650 2587 291748 119419 287 272 20 23 19 0.09/0.19 c 660 2622 295424 121107 287 276 20 23 19 0.09/0.19 c 670 2657 299332 122769 287 280 20 23 19 0.09/0.19 c 680 2692 303150 124557 287 284 20 23 19 0.09/0.19 c 690 2727 306909 126337 287 288 20 23 19 0.09/0.19 c 700 2762 310662 127971 287 292 20 23 19 0.09/0.19 c 710 2797 314479 129594 287 296 20 23 19 0.19/0.20 c 720 2832 318411 131280 287 300 20 23 19 0.19/0.20 c 730 2867 322452 133093 287 304 20 23 19 0.19/0.20 c 740 2902 326202 134703 287 308 20 23 19 0.19/0.20 c 750 2937 329909 136452 287 312 20 23 19 0.19/0.20 c 760 2973 333904 138325 287 316 20 23 19 0.19/0.20 c 770 3008 338358 140024 287 320 9 23 18 0.19/0.20 c 771 3031 340672 140698 287 321 23 23 11 0.19/0.20 c 780 3065 344316 142227 287 324 20 23 19 0.19/0.21 c 790 3101 348209 144036 287 328 20 23 19 0.19/0.21 c 800 3136 352481 145671 287 332 9 23 18 0.19/0.21 c 810 3171 356360 147482 287 336 20 23 19 0.19/0.21 c 820 3206 360159 149116 287 340 20 23 19 0.19/0.21 c 830 3241 364099 150822 287 344 20 23 19 0.19/0.21 c 840 3276 368068 152509 287 348 20 23 19 0.19/0.21 c 850 3311 371694 154173 287 352 20 23 19 0.19/0.21 c 860 3346 375481 155878 287 356 20 23 19 0.19/0.21 c 870 3381 379286 157532 287 360 20 23 19 0.19/0.22 c 880 3416 383158 159204 287 364 20 23 19 0.19/0.22 c 890 3451 386736 160820 287 368 20 23 19 0.19/0.22 c 900 3486 390565 162573 287 372 20 23 19 0.19/0.22 c 910 3521 394331 164324 287 376 20 23 19 0.19/0.22 c 920 3557 398306 166050 287 380 21 23 19 0.19/0.22 c 930 3592 402234 167828 287 384 20 23 19 0.19/0.22 c 940 3627 405965 169601 287 388 20 23 19 0.19/0.22 c 947 3656 409195 170928 287 390 20 23 18 0.19/0.22 c 950 3681 411653 171770 287 392 21 23 16 0.19/0.22 c 960 3716 415622 173457 287 396 20 23 19 0.19/0.23 c 970 3751 419315 175134 287 400 20 23 19 0.19/0.23 c 980 3786 423034 176802 287 404 20 23 19 0.19/0.23 c 990 3821 426959 178576 287 408 20 23 19 0.19/0.23 c 1000 3857 431052 180374 287 412 20 23 19 0.19/0.23 c 1010 3892 435409 182070 287 416 20 23 19 0.19/0.23 c 1020 3927 439159 183680 287 420 20 23 19 0.19/0.23 c 1030 3962 442752 185378 287 424 20 23 19 0.19/0.23 c 1040 3997 446726 187083 287 428 20 23 19 0.19/0.23 c 1050 4032 450359 188819 287 432 20 23 19 0.19/0.24 c 1060 4067 453986 190459 287 436 20 23 19 0.19/0.24 c 1070 4102 458004 192158 287 440 20 23 19 0.19/0.24 c 1080 4137 461973 193927 287 444 20 23 19 0.19/0.24 c 1090 4172 465723 195533 287 448 20 23 19 0.19/0.24 c 1100 4207 469402 197293 287 452 20 23 19 0.19/0.24 c 1110 4242 473409 199026 287 456 20 23 19 0.19/0.24 c 1120 4277 476956 200700 287 460 20 23 19 0.19/0.24 c 1130 4312 480706 202306 287 464 20 23 19 0.19/0.24 c 1140 4347 484742 204053 287 468 20 23 19 0.19/0.24 c 1141 4370 486936 204758 287 469 23 23 11 0.19/0.25 c 1150 4404 490726 206349 287 472 20 23 19 0.19/0.25 c 1160 4439 494484 208026 287 476 20 23 19 0.19/0.25 c 1170 4475 498376 209737 287 480 20 23 19 0.19/0.25 c 1180 4510 502669 211386 287 484 9 23 18 0.19/0.25 c 1190 4545 506360 213050 287 488 20 23 19 0.19/0.25 c 1200 4580 510306 214735 287 492 20 23 19 0.19/0.25 c 1210 4615 514188 216489 287 496 20 23 19 0.19/0.25 c 1220 4650 518039 218215 287 500 20 23 19 0.19/0.25 c 1230 4685 522060 219938 287 504 20 23 19 0.19/0.26 c 1240 4720 525857 221631 287 508 20 23 19 0.19/0.26 c 1250 4755 529605 223319 287 512 20 23 19 0.19/0.26 c 1260 4791 533614 225091 287 516 21 23 19 0.19/0.26 c 1270 4826 537553 226752 287 520 20 23 19 0.19/0.26 c 1280 4861 541419 228399 287 524 20 23 19 0.19/0.26 c 1290 4896 545351 230142 287 528 20 23 19 0.19/0.26 c 1300 4931 549087 231898 287 532 20 23 19 0.19/0.26 c 1310 4966 552702 233562 287 536 20 23 19 0.19/0.26 c 1320 5001 556574 235210 287 540 20 23 19 0.19/0.26 c 1330 5037 560607 237036 287 544 21 23 19 0.19/0.27 c 1340 5073 564740 238799 287 548 21 23 19 0.19/0.27 c 1350 5108 568679 240481 287 552 20 23 19 0.19/0.27 c 1352 5132 570988 241304 287 553 23 23 15 0.19/0.27 c 1360 5165 574474 242818 287 556 20 23 19 0.19/0.27 c 1370 5200 578716 244721 287 560 20 23 19 0.19/0.27 c 1380 5235 582515 246355 287 564 20 23 19 0.19/0.27 c 1390 5270 586328 248071 287 568 20 23 19 0.19/0.27 c 1400 5305 590231 249883 287 572 20 23 19 0.19/0.27 c 1410 5340 593981 251489 287 576 20 23 19 0.19/0.28 c 1420 5375 597860 253267 287 580 20 23 19 0.19/0.28 c 1430 5410 601848 254952 287 584 20 23 19 0.19/0.28 c 1440 5445 605641 256586 287 588 20 23 19 0.19/0.28 c 1450 5480 609255 258273 287 592 20 23 19 0.19/0.28 c 1460 5515 613070 260009 287 596 20 23 19 0.19/0.28 c 1470 5551 617050 261746 287 600 20 23 19 0.19/0.28 c 1480 5586 621428 263455 287 604 20 23 19 0.19/0.28 c 1490 5621 625278 265184 287 608 20 23 19 0.19/0.28 c 1500 5656 629186 266903 287 612 20 23 19 0.19/0.29 c 1510 5692 633161 268653 287 616 21 23 19 0.19/0.29 c 1520 5727 636763 270293 287 620 20 23 19 0.19/0.29 c 1530 5762 640643 272043 287 624 20 23 19 0.19/0.29 c 1540 5797 644221 273659 287 628 20 23 19 0.19/0.29 c 1550 5832 648157 275334 287 632 20 23 19 0.19/0.29 c 1560 5867 652132 277195 287 636 20 23 19 0.19/0.29 c 1570 5902 655819 278930 287 640 20 23 19 0.19/0.29 c 1580 5938 659670 280715 287 644 20 23 19 0.19/0.29 c 1585 5965 662975 281813 287 648 9 23 16 0.19/0.30 c 1590 5992 665982 282922 287 652 21 23 18 0.29/0.30 c 1600 6028 669854 284696 287 656 20 23 19 0.29/0.30 c 1610 6064 674572 286565 287 660 21 23 19 0.29/0.30 c 1620 6099 678193 288201 287 664 20 23 19 0.29/0.30 c 1630 6134 681820 289865 287 668 20 23 19 0.29/0.30 c 1640 6169 685367 291539 287 672 20 23 19 0.29/0.30 c 1650 6204 689160 293169 287 676 20 23 19 0.29/0.30 c 1660 6239 692821 294857 287 680 20 23 19 0.29/0.30 c 1670 6275 696513 296574 287 684 20 23 19 0.29/0.31 c 1680 6310 700806 298234 287 688 20 23 19 0.29/0.31 c 1690 6346 705024 300099 287 692 21 23 19 0.29/0.31 c 1700 6381 709165 301978 287 696 20 23 19 0.29/0.31 c 1710 6417 713177 303752 287 700 21 23 19 0.29/0.31 c 1720 6452 717049 305400 287 704 20 23 19 0.29/0.31 c 1730 6487 720882 307058 287 708 20 23 19 0.29/0.31 c 1740 6523 724862 308771 287 712 20 23 19 0.29/0.31 c 1750 6558 729164 310442 287 716 20 23 19 0.29/0.31 c 1760 6593 733211 312244 287 720 20 23 19 0.29/0.32 c 1770 6628 736961 313854 287 724 20 23 19 0.29/0.32 c 1780 6663 740855 315536 287 728 20 23 19 0.29/0.32 c 1790 6698 744661 317252 287 732 20 23 19 0.29/0.32 c 1800 6733 748795 319024 287 736 20 23 19 0.29/0.32 c 1810 6768 752373 320640 287 740 20 23 19 0.29/0.32 c 1820 6803 756206 322298 287 744 20 23 19 0.29/0.32 c 1830 6838 760136 323969 287 748 20 23 19 0.29/0.32 c 1840 6873 764008 325617 287 752 20 23 19 0.29/0.32 c 1841 6896 766313 326291 287 753 23 23 11 0.29/0.32 c 1850 6930 770015 327868 287 756 20 23 19 0.29/0.33 c 1860 6965 773740 329556 287 760 20 23 19 0.29/0.33 c 1870 7000 777528 331261 287 764 20 23 19 0.29/0.33 c 1880 7035 781509 333030 287 768 20 23 19 0.29/0.33 c 1890 7070 785317 334684 287 772 20 23 19 0.29/0.33 c 1900 7106 789270 336456 287 776 20 23 19 0.29/0.33 c 1910 7141 793523 338103 287 780 20 23 19 0.29/0.33 c 1920 7176 797516 339814 287 784 20 23 19 0.29/0.33 c 1930 7211 801281 341506 287 788 20 23 19 0.29/0.33 c 1940 7246 805059 343125 287 792 20 23 19 0.29/0.34 c 1950 7281 809019 344859 287 796 20 23 19 0.29/0.34 c 1960 7316 812755 346527 287 800 20 23 19 0.29/0.34 c 1970 7351 816858 348275 287 804 20 23 19 0.29/0.34 c 1980 7386 820601 349967 287 808 20 23 19 0.29/0.34 c 1990 7422 824437 351752 287 812 20 23 19 0.29/0.34 c 2000 7458 829090 353529 287 816 20 23 19 0.29/0.34 c 2010 7493 833272 355185 287 820 20 23 19 0.29/0.34 c 2020 7528 837006 356863 287 824 20 23 19 0.29/0.34 c 2030 7564 840674 358554 287 828 20 23 19 0.29/0.35 c 2040 7600 844952 360252 287 832 20 23 19 0.29/0.35 c 2050 7635 849539 362038 287 836 20 23 19 0.29/0.35 c 2060 7670 853266 363726 287 840 20 23 19 0.29/0.35 c 2070 7705 857016 365336 287 844 20 23 19 0.29/0.35 c 2080 7740 860910 367018 287 848 20 23 19 0.29/0.35 c 2090 7776 865066 368850 287 852 21 23 19 0.29/0.35 c 2100 7812 868877 370604 287 856 20 23 19 0.29/0.35 c 2110 7847 873555 372529 287 860 20 23 19 0.29/0.36 c 2120 7882 877216 374193 287 864 20 23 19 0.29/0.36 c 2122 7906 879696 374971 287 865 23 23 15 0.29/0.36 c 2130 7939 883261 376464 287 868 20 23 19 0.29/0.36 c 2140 7974 887148 378131 287 872 20 23 19 0.29/0.36 c 2150 8010 890942 379818 287 876 20 23 19 0.29/0.36 c 2160 8045 895061 381437 287 880 20 23 19 0.29/0.36 c 2170 8081 898911 383206 287 884 20 23 19 0.29/0.36 c 2180 8116 903015 384872 287 888 20 23 19 0.29/0.36 c 2190 8151 906816 386665 287 892 20 23 19 0.29/0.36 c 2200 8187 910718 388468 287 896 20 23 19 0.29/0.37 c 2210 8222 915122 390086 287 900 9 23 18 0.29/0.37 c 2220 8257 919028 391768 287 904 20 23 19 0.29/0.37 c 2230 8292 922676 393432 287 908 20 23 19 0.29/0.37 c 2240 8327 926594 395138 287 912 20 23 19 0.29/0.37 c 2250 8366 930838 397196 287 913 21 23 20 0.29/0.37 c 2260 8402 935244 398982 287 917 20 23 19 0.29/0.37 c 2270 8437 939584 400769 287 921 20 23 19 0.29/0.37 c 2280 8472 943414 402427 287 925 20 23 19 0.29/0.38 c 2290 8510 948018 404504 287 928 21 23 19 0.29/0.38 c 2300 8545 952365 406126 287 932 20 23 19 0.29/0.38 c 2310 8580 956053 407804 287 936 20 23 19 0.29/0.38 c 2320 8615 959827 409438 287 940 20 23 19 0.29/0.38 c 2330 8650 963563 411106 287 944 20 23 19 0.29/0.38 c 2340 8685 967694 413052 287 948 20 23 19 0.29/0.38 c 2350 8720 971493 414686 287 952 20 23 19 0.29/0.38 c 2360 8755 975356 416344 287 956 20 23 19 0.29/0.38 c 2370 8790 979268 418016 287 960 20 23 19 0.29/0.39 c 2380 8825 982944 419704 287 964 20 23 19 0.29/0.39 c 2390 8860 986519 421391 287 968 20 23 19 0.29/0.39 c 2400 8895 990427 423049 287 972 20 23 19 0.29/0.39 c 2410 8930 994555 424928 287 976 20 23 19 0.29/0.39 c 2420 8965 998461 426599 287 980 20 23 19 0.29/0.39 c 2430 9000 1002358 428281 287 984 20 23 19 0.29/0.39 c 2431 9023 1004632 428931 287 985 23 23 11 0.29/0.39 c 2440 9058 1008607 430608 287 988 21 23 19 0.29/0.39 c 2450 9093 1012424 432266 287 992 20 23 19 0.29/0.40 c 2460 9129 1016456 434127 287 996 21 23 19 0.39/0.40 c 2470 9164 1020261 435781 287 1000 20 23 19 0.39/0.40 c 2480 9199 1024029 437439 287 1004 20 23 19 0.39/0.40 c 2490 9234 1027779 439131 287 1008 20 23 19 0.39/0.40 c 2500 9269 1031498 440799 287 1012 20 23 19 0.39/0.40 c 2510 9305 1035567 442653 287 1016 20 23 19 0.39/0.40 c 2520 9340 1039841 444392 287 1020 20 23 19 0.39/0.40 c 2530 9375 1043591 445998 287 1024 20 23 19 0.39/0.40 c 2540 9410 1047245 447652 287 1028 20 23 19 0.39/0.41 c 2550 9445 1050893 449316 287 1032 20 23 19 0.39/0.41 c 2560 9482 1055110 451191 287 1037 19 23 18 0.39/0.41 c 2570 9517 1059577 452924 287 1041 20 23 19 0.39/0.41 c 2580 9552 1063351 454558 287 1045 20 23 19 0.39/0.41 c 2590 9587 1067113 456259 287 1049 20 23 19 0.39/0.41 c 2600 9624 1071142 458151 287 1052 19 21 18 0.39/0.41 c 2610 9659 1075467 459788 287 1056 20 23 19 0.39/0.41 c 2620 9694 1079401 461473 287 1060 20 23 19 0.39/0.41 c 2630 9730 1083400 463188 287 1064 21 23 19 0.39/0.42 c 2640 9765 1087387 464922 287 1068 20 23 19 0.39/0.42 c 2650 9801 1091499 466672 287 1072 21 23 19 0.39/0.42 c 2660 9836 1095530 468396 287 1076 20 23 19 0.39/0.42 c 2670 9871 1099223 470084 287 1080 20 23 19 0.39/0.42 c 2680 9906 1103059 471755 287 1084 20 23 19 0.39/0.42 c 2690 9941 1107114 473489 287 1088 20 23 19 0.39/0.42 c 2700 9977 1111015 475201 287 1092 20 23 19 0.39/0.42 c 2710 10012 1115254 476940 287 1096 20 23 19 0.39/0.42 c 2720 10047 1118969 478699 287 1100 20 23 19 0.39/0.43 c 2730 10082 1122669 480349 287 1104 20 23 19 0.39/0.43 c 2740 10117 1126373 481959 287 1108 20 23 19 0.39/0.43 c 2750 10152 1130147 483593 287 1112 20 23 19 0.39/0.43 c 2760 10187 1134269 485375 287 1116 20 23 19 0.39/0.43 c 2770 10222 1138266 487075 287 1120 20 23 19 0.39/0.43 c 2771 10245 1140540 487725 287 1121 23 23 11 0.39/0.43 c 2780 10279 1144293 489313 287 1124 20 23 19 0.39/0.43 c 2790 10314 1147977 490977 287 1128 20 23 19 0.39/0.43 c 2800 10349 1151840 492635 287 1132 20 23 19 0.39/0.43 c 2810 10384 1155822 494345 287 1136 20 23 19 0.39/0.44 c 2820 10420 1159971 496156 287 1138 19 23 18 0.39/0.44 c 2830 10455 1164191 497895 287 1142 20 23 19 0.39/0.44 c 2840 10490 1168188 499605 287 1146 20 23 19 0.39/0.44 c 2850 10525 1172200 501316 287 1150 20 23 19 0.39/0.44 c 2860 10560 1176054 502998 287 1154 20 23 19 0.39/0.44 c 2870 10595 1179926 504646 287 1158 20 23 19 0.39/0.44 c 2880 10630 1183669 506347 287 1162 20 23 19 0.39/0.44 c 2890 10665 1187587 508090 287 1166 20 23 19 0.39/0.44 c 2900 10700 1191379 509874 287 1170 20 23 19 0.39/0.45 c 2910 10735 1195014 511510 287 1174 20 23 19 0.39/0.45 c 2920 10770 1198718 513120 287 1178 20 23 19 0.39/0.45 c 2930 10806 1202773 514907 287 1182 21 23 19 0.39/0.45 c 2940 10841 1206725 516685 287 1186 20 23 19 0.39/0.45 c 2950 10876 1210576 518415 287 1190 20 23 19 0.39/0.45 c 2960 10911 1214375 520049 287 1194 20 23 19 0.39/0.45 c 2970 10946 1218164 521765 287 1198 20 23 19 0.39/0.45 c 2980 10981 1221942 523384 287 1202 20 23 19 0.39/0.45 c 2990 11016 1225747 525114 287 1206 20 23 19 0.39/0.45 c 3000 11051 1229576 526840 287 1210 20 23 19 0.39/0.46 c 3010 11086 1233439 528498 287 1214 20 23 19 0.39/0.46 c 3020 11121 1237224 530189 287 1218 20 23 19 0.39/0.46 c 3030 11158 1241259 532009 287 1221 19 21 18 0.39/0.46 c 3040 11193 1245556 533772 287 1225 20 23 19 0.39/0.46 c 3050 11228 1249554 535492 287 1229 20 23 19 0.39/0.46 c 3060 11263 1253245 537156 287 1233 20 23 19 0.39/0.46 c 3070 11299 1257230 538925 287 1237 21 23 19 0.39/0.46 c 3080 11334 1261254 540660 287 1241 20 23 19 0.39/0.46 c 3090 11369 1265117 542318 287 1245 20 23 19 0.39/0.47 c 3100 11405 1269162 544079 287 1247 19 23 18 0.39/0.47 c 3110 11440 1273640 545825 287 1251 20 23 19 0.39/0.47 c 3120 11475 1277472 547530 287 1255 20 23 19 0.39/0.47 c 3130 11511 1281607 549337 287 1259 20 23 19 0.39/0.47 c 3140 11546 1285726 550952 287 1263 20 23 19 0.39/0.47 c 3142 11570 1288125 551781 287 1264 23 23 15 0.39/0.47 c 3150 11603 1291611 553295 287 1267 20 23 19 0.39/0.47 c 3160 11638 1295675 555126 287 1271 20 23 19 0.39/0.47 c 3170 11673 1299520 556784 287 1275 20 23 19 0.39/0.48 c 3180 11709 1303360 558471 287 1279 20 23 19 0.39/0.48 c 3190 11745 1307682 560211 287 1283 20 23 19 0.39/0.48 c 3200 11780 1312089 561920 287 1287 20 23 19 0.39/0.48 c 3210 11815 1315848 563612 287 1291 20 23 19 0.39/0.48 c 3220 11851 1319902 565371 287 1295 20 23 19 0.39/0.48 c 3230 11886 1324246 567091 287 1299 20 23 19 0.39/0.48 c 3240 11921 1327848 568731 287 1303 20 23 19 0.39/0.48 c 3250 11957 1331903 570570 287 1307 21 23 19 0.39/0.48 c 3260 11993 1335717 572339 287 1311 20 23 19 0.39/0.49 c 3270 12028 1339836 574040 287 1315 20 23 19 0.39/0.49 c 3280 12063 1343594 575738 287 1319 20 23 19 0.39/0.49 c 3290 12099 1347554 577510 287 1323 21 23 19 0.39/0.49 c 3300 12134 1351101 579184 287 1327 20 23 19 0.39/0.49 c 3310 12169 1355043 580951 287 1331 20 23 19 0.39/0.49 c 3320 12205 1358768 582666 287 1335 20 23 19 0.39/0.49 c 3330 12241 1363298 584375 287 1337 19 23 18 0.39/0.49 c 3340 12277 1367771 586171 287 1341 21 23 19 0.39/0.50 c 3350 12312 1371772 587925 287 1345 20 23 19 0.49/0.50 c 3360 12347 1375546 589559 287 1349 20 23 19 0.49/0.50 c 3370 12382 1379403 591323 287 1353 20 23 19 0.49/0.50 c 3380 12417 1383227 592966 287 1357 20 23 19 0.49/0.50 c 3390 12452 1386931 594576 287 1361 20 23 19 0.49/0.50 c 3400 12487 1390803 596224 287 1365 20 23 19 0.49/0.50 c 3410 12523 1394769 597983 287 1369 20 23 19 0.49/0.50 c 3420 12558 1398913 599684 287 1373 20 23 19 0.49/0.50 c 3430 12593 1402828 601352 287 1377 20 23 19 0.49/0.51 c 3440 12628 1406700 603024 287 1381 20 23 19 0.49/0.51 c 3450 12663 1410467 604808 287 1385 20 23 19 0.49/0.51 c 3460 12698 1414395 606503 287 1389 20 23 19 0.49/0.51 c 3470 12733 1418016 608143 287 1393 20 23 19 0.49/0.51 c 3480 12769 1422048 609906 287 1397 20 23 19 0.49/0.51 c 3490 12804 1426414 611601 287 1401 20 23 19 0.49/0.51 c 3500 12839 1430552 613445 287 1405 20 23 19 0.49/0.51 c 3510 12874 1434452 615127 287 1409 20 23 19 0.49/0.51 c 3520 12909 1438248 616761 287 1413 20 23 19 0.49/0.52 c 3530 12944 1442187 618422 287 1417 20 23 19 0.49/0.52 c 3540 12979 1445813 620168 287 1421 20 23 19 0.49/0.52 c 3550 13014 1449391 621780 287 1425 20 23 19 0.49/0.52 c 3551 13037 1451741 622480 287 1426 23 23 11 0.49/0.52 c 3560 13071 1455451 624068 287 1429 20 23 19 0.49/0.52 c 3570 13106 1459488 625792 287 1433 20 23 19 0.49/0.52 c 3580 13142 1463420 627516 287 1437 21 23 19 0.49/0.52 c 3590 13177 1467047 629238 287 1441 20 23 19 0.49/0.52 c 3600 13212 1470761 630995 287 1444 20 23 19 0.49/0.52 c 3610 13248 1474882 632854 287 1448 20 23 19 0.49/0.53 c 3620 13283 1479381 634543 287 1452 20 23 19 0.49/0.53 c 3630 13318 1483175 636307 287 1456 20 23 19 0.49/0.53 c 3640 13353 1487136 638070 287 1460 20 23 19 0.49/0.53 c 3650 13389 1490810 639787 287 1464 20 23 19 0.49/0.53 c 3660 13424 1495153 641506 287 1468 20 23 19 0.49/0.53 c 3670 13459 1499074 643260 287 1472 20 23 19 0.49/0.53 c 3680 13494 1502710 644920 287 1476 20 23 19 0.49/0.53 c 3690 13529 1506536 646568 287 1480 20 23 19 0.49/0.53 c 3700 13565 1510465 648399 287 1484 20 23 19 0.49/0.54 c 3710 13600 1514594 650018 287 1488 20 23 19 0.49/0.54 c 3720 13635 1518521 651785 287 1492 20 23 19 0.49/0.54 c 3730 13670 1522446 653559 287 1496 20 23 19 0.49/0.54 c 3740 13706 1526568 655380 287 1500 21 23 19 0.49/0.54 c 3750 13741 1530146 656996 287 1504 20 23 19 0.49/0.54 c 3760 13776 1534158 658707 287 1508 20 23 19 0.49/0.54 c 3770 13812 1538215 660557 287 1512 21 23 19 0.49/0.54 c 3780 13847 1541953 662191 287 1516 20 23 19 0.49/0.54 c 3790 13882 1545902 663883 287 1520 20 23 19 0.49/0.55 c 3800 13918 1549748 665618 287 1524 20 23 19 0.49/0.55 c 3810 13954 1554561 667521 287 1528 21 23 19 0.49/0.55 c 3820 13989 1558263 669170 287 1532 20 23 19 0.49/0.55 c 3830 14024 1562253 670870 287 1536 20 23 19 0.49/0.55 c 3840 14060 1566061 672718 287 1540 20 23 19 0.49/0.55 c 3850 14095 1570288 674375 287 1544 20 23 19 0.49/0.55 c 3860 14130 1574038 675985 287 1548 20 23 19 0.49/0.55 c 3870 14165 1577671 677649 287 1552 20 23 19 0.49/0.55 c 3880 14201 1581713 679379 287 1554 19 23 18 0.49/0.56 c 3890 14236 1586121 681112 287 1558 20 23 19 0.49/0.56 c 3900 14271 1590000 682855 287 1562 20 23 19 0.49/0.56 c 3910 14306 1593875 684584 287 1566 20 23 19 0.49/0.56 c 3920 14341 1597652 686282 287 1570 20 23 19 0.49/0.56 c 3930 14376 1601254 687946 287 1574 20 23 19 0.49/0.56 c 3940 14411 1605004 689556 287 1578 20 23 19 0.49/0.56 c 3950 14447 1609217 691445 287 1582 21 23 19 0.49/0.56 c 3960 14483 1613204 693243 287 1586 21 23 19 0.49/0.56 c 3970 14519 1617144 695041 287 1590 21 23 19 0.49/0.57 c 3980 14554 1621072 696815 287 1594 20 23 19 0.49/0.57 c 3990 14590 1624792 698580 287 1598 20 23 19 0.49/0.57 c 4000 14625 1629028 700227 287 1602 20 23 19 0.49/0.57 c 4001 14648 1631130 700885 287 1603 23 23 11 0.49/0.57 c 4010 14681 1634781 702574 287 1605 19 21 18 0.49/0.57 c 4020 14716 1639104 704364 287 1609 20 23 19 0.49/0.57 c 4030 14752 1643198 706203 287 1613 21 23 19 0.49/0.57 c 4040 14787 1647070 707875 287 1617 20 23 19 0.49/0.57 c 4050 14822 1650851 709505 287 1621 20 23 19 0.49/0.57 c 4060 14857 1654720 711177 287 1625 20 23 19 0.49/0.58 c 4070 14892 1658313 712875 287 1629 20 23 19 0.49/0.58 c 4080 14927 1661953 714524 287 1633 20 23 19 0.49/0.58 c 4090 14963 1665957 716311 287 1637 20 23 19 0.49/0.58 c 4100 14998 1670109 717930 287 1641 20 23 19 0.49/0.58 c 4110 15033 1673845 719598 287 1645 20 23 19 0.49/0.58 c 4120 15068 1677808 721304 287 1649 20 23 19 0.49/0.58 c 4130 15103 1681731 722991 287 1653 20 23 19 0.49/0.58 c 4140 15138 1685695 724758 287 1657 20 23 19 0.49/0.58 c 4150 15173 1689650 726454 287 1661 20 23 19 0.49/0.59 c 4160 15209 1693397 728229 287 1665 20 23 19 0.49/0.59 c 4170 15249 1698209 730128 287 1669 20 23 19 0.49/0.59 c 4180 15284 1702136 731820 287 1673 20 23 19 0.49/0.59 c 4190 15319 1705769 733508 287 1677 20 23 19 0.49/0.59 c 4200 15355 1709795 735260 287 1681 20 23 19 0.49/0.59 c 4210 15391 1714100 736982 287 1685 21 23 19 0.49/0.59 c 4220 15426 1717690 738680 287 1689 20 23 19 0.49/0.59 c 4230 15462 1721719 740562 287 1693 21 23 19 0.49/0.59 c 4240 15497 1725527 742279 287 1697 20 23 19 0.59/0.60 c 4250 15532 1729320 743909 287 1701 20 23 19 0.59/0.60 c 4260 15568 1733128 745652 287 1705 20 23 19 0.59/0.60 c 4270 15604 1737689 747379 287 1709 20 23 19 0.59/0.60 c 4280 15639 1742037 749099 287 1713 20 23 19 0.59/0.60 c 4290 15676 1746148 750880 287 1716 19 23 19 0.59/0.60 c 4300 15712 1750522 752628 287 1720 20 23 19 0.59/0.60 c 4310 15747 1754712 754284 287 1724 20 23 19 0.59/0.60 c 4320 15782 1758448 756009 287 1728 20 23 19 0.59/0.61 c 4330 15818 1762517 757801 287 1732 21 23 19 0.59/0.61 c 4340 15854 1766400 759510 287 1736 20 23 19 0.59/0.61 c 4350 15894 1771237 761565 287 1740 19 22 19 0.59/0.61 c 4360 15930 1775422 763237 287 1744 20 23 19 0.59/0.61 c 4370 15965 1779667 764904 287 1748 20 23 19 0.59/0.61 c 4380 16000 1783427 766596 287 1752 20 23 19 0.59/0.61 c 4390 16035 1787570 768450 287 1756 20 23 19 0.59/0.61 c 4400 16070 1791194 770086 287 1760 20 23 19 0.59/0.61 c 4410 16106 1794988 771773 287 1764 20 23 19 0.59/0.62 c 4420 16142 1799487 773617 287 1768 20 23 19 0.59/0.62 c 4430 16177 1803613 775236 287 1772 20 23 19 0.59/0.62 c 4440 16212 1807522 776979 287 1776 20 23 19 0.59/0.62 c 4450 16250 1811644 778787 287 1781 19 23 19 0.59/0.62 c 4460 16285 1816149 780476 287 1785 20 23 19 0.59/0.62 c 4470 16320 1819937 782181 287 1789 20 23 19 0.59/0.62 c 4480 16355 1824151 784049 287 1793 20 23 19 0.59/0.62 c 4490 16390 1827950 785683 287 1797 20 23 19 0.59/0.62 c 4493 16417 1830856 786702 287 1799 22 23 17 0.59/0.63 c 4500 16446 1834294 787934 287 1801 20 23 18 0.59/0.63 c 4510 16482 1838323 789695 287 1805 20 23 19 0.59/0.63 c 4520 16517 1842371 791290 287 1809 20 23 19 0.59/0.63 c 4530 16553 1846536 793146 287 1813 21 23 19 0.59/0.63 c 4540 16589 1850468 794905 287 1817 20 23 19 0.59/0.63 c 4550 16625 1854886 796596 287 1821 20 23 19 0.59/0.63 c 4560 16660 1858950 798249 287 1825 20 23 19 0.59/0.63 c 4570 16695 1862662 799922 287 1829 20 23 19 0.59/0.63 c 4580 16730 1866548 801608 287 1833 20 23 19 0.59/0.64 c 4590 16765 1870640 803366 287 1837 20 23 19 0.59/0.64 c 4600 16800 1874535 805120 287 1841 20 23 19 0.59/0.64 c 4610 16835 1878180 806749 287 1845 20 23 19 0.59/0.64 c 4620 16874 1882500 808834 287 1846 21 23 20 0.59/0.64 c 4630 16910 1887044 810624 287 1850 20 23 19 0.59/0.64 c 4640 16945 1891182 812243 287 1854 20 23 19 0.59/0.64 c 4650 16980 1895301 814014 287 1858 20 23 19 0.59/0.64 c 4660 17015 1899301 815725 287 1862 20 23 19 0.59/0.64 c 4670 17051 1903190 817532 287 1866 20 23 19 0.59/0.65 c 4680 17086 1907661 819233 287 1871 21 23 19 0.59/0.65 c 4690 17121 1911368 820930 287 1875 20 23 19 0.59/0.65 c 4700 17157 1915336 822667 287 1879 20 23 19 0.59/0.65 c 4710 17192 1919751 824459 287 1883 20 23 19 0.59/0.65 c 4720 17227 1923379 826102 287 1886 20 23 19 0.59/0.65 c 4730 17262 1927278 827856 287 1890 20 23 19 0.59/0.65 c 4740 17297 1931028 829462 287 1894 20 23 19 0.59/0.65 c 4750 17332 1934799 831120 287 1898 20 23 19 0.59/0.65 c 4760 17368 1939264 833027 287 1902 21 23 19 0.59/0.66 c 4770 17403 1943017 834719 287 1906 20 23 19 0.59/0.66 c 4780 17438 1947037 836536 287 1910 20 23 19 0.59/0.66 c 4790 17473 1950864 838190 287 1914 20 23 19 0.59/0.66 c 4800 17513 1955310 840306 287 1918 20 23 19 0.59/0.66 c 4810 17549 1959487 842252 287 1922 20 23 19 0.59/0.66 c 4820 17585 1963872 843929 287 1926 20 23 19 0.59/0.66 c 4830 17621 1968299 845664 287 1930 21 23 19 0.59/0.66 c 4840 17661 1972732 847663 287 1934 20 23 19 0.59/0.67 c 4850 17696 1976310 849279 287 1938 20 23 19 0.59/0.67 c 4860 17732 1980391 851066 287 1942 20 23 19 0.59/0.67 c 4870 17767 1984808 852727 287 1946 20 23 19 0.59/0.67 c 4880 17802 1988723 854399 287 1950 20 23 19 0.59/0.67 c 4890 17837 1992355 856110 287 1954 20 23 19 0.59/0.67 c 4900 17873 1996198 857866 287 1958 21 23 19 0.59/0.67 c 4910 17908 2000311 859697 287 1962 20 23 19 0.59/0.67 c 4920 17943 2004036 861457 287 1966 20 23 19 0.59/0.67 c 4930 17978 2007835 863091 287 1970 20 23 19 0.59/0.68 c 4940 18013 2011413 864707 287 1974 20 23 19 0.59/0.68 c 4950 18048 2015345 866393 287 1978 20 23 19 0.59/0.68 c 4960 18084 2019380 868154 287 1982 20 23 19 0.59/0.68 c 4970 18119 2023921 869935 287 1986 20 23 19 0.59/0.68 c 4980 18154 2027839 871678 287 1990 20 23 19 0.59/0.68 c 4990 18190 2031896 873484 287 1994 20 23 19 0.59/0.69 c 5035 18286 2043755 879842 287 1998 19 23 20 0.69/0.72 c 5631 19274 2160223 949700 287 2018 16 23 20 0.69/0.75 c 6286 20367 2290791 1031211 287 2027 16 23 20 0.69/0.79 c 7006 21568 2433986 1118921 287 2038 15 23 19 0.79/0.84 c 7798 22890 2591832 1216046 287 2051 15 23 19 0.79/0.89 c 8669 24344 2767709 1324664 287 2055 15 23 19 0.89/0.94 c 9627 25956 2958431 1444516 287 2062 14 23 19 0.99/1.01 c 10680 27711 3175618 1582736 287 2071 14 23 19 0.99/1.07 c 11838 29592 3401111 1724762 287 2083 15 23 19 1.10/1.14 c 13111 31662 3651823 1886775 287 2098 14 23 19 1.20/1.23 c 14511 34054 3937995 2066668 287 2101 15 23 19 1.29/1.31 c 16051 36488 4232589 2257673 287 2114 15 23 19 1.39/1.41 c 17745 39220 4562901 2474060 287 2127 14 23 19 1.49/1.51 c 19608 42335 4927070 2713307 287 2130 15 23 19 1.59/1.63 c 21657 45874 5351000 2985184 287 2146 14 23 19 1.69/1.76 c 23910 49527 5785867 3268742 287 2155 14 23 19 1.89/1.90 c 26388 53604 6273811 3592264 287 2168 14 23 18 1.99/2.07 c 29113 58280 6832654 3950615 287 2173 15 23 18 2.20/2.24 c 32110 62974 7407405 4318745 287 2189 13 19 16 2.39/2.42 c 35406 68340 7979106 4670877 287 2789 14 87 32 2.59/2.64 c 39031 74572 8715376 5152908 287 2800 9 25 20 2.79/2.87 c 43018 80982 9487884 5648585 287 2816 13 23 17 3.09/3.12 c 47403 88117 10355102 6197947 287 2831 13 23 17 3.40/3.43 c 52226 96420 11347001 6792907 287 2895 14 71 31 3.69/3.76 c 57531 105308 12437779 7473740 287 2910 13 22 18 4.09/4.15 c 63366 115622 13675025 8209051 287 2921 14 44 31 4.50/4.53 c 69784 126439 14977104 9020158 287 2942 13 22 18 4.99/5.06 c 76843 139026 16569544 9959521 287 2952 14 44 34 5.50/5.54 c 84607 152304 18198477 10955661 287 2960 13 24 18 6.09/6.14 c 93147 166998 20069965 12055691 287 2980 30 44 40 6.60/6.70 c 102541 182325 21936911 13254032 287 2994 13 24 18 7.49/7.53 c 112874 198747 24437785 14521250 287 3155 30 86 74 8.19/8.20 c 124240 217571 26666244 16000005 287 3175 2 26 20 8.99/9.02 c 136742 239018 29333614 17624629 287 3196 14 44 33 9.90/9.90 c 150494 262680 32223318 19452148 287 3221 2 26 21 10.79/10.89 c 165621 288459 35412709 21442166 287 3231 12 23 17 11.99/12.03 c 182260 317751 39128416 23635130 287 3255 14 44 32 13.09/13.12 c 200562 347626 42774797 25992859 287 3273 2 26 20 14.29/14.35 c 220694 381752 46912875 28578530 287 3293 12 23 17 15.78/15.87 c 242839 425930 51423294 30760185 287 3766 15 157 123 17.28/17.31 c 267198 468070 56407496 33803774 287 3790 9 25 21 18.88/18.91 c 293992 513106 61813904 37172942 287 3809 12 23 18 20.58/20.64 c 323465 562445 67773734 40819474 287 3829 12 23 18 23.19/23.29 c 355885 620621 74711551 44129785 287 3921 17 135 113 25.29/25.37 c 391547 681983 81914752 48565498 287 3947 12 26 21 28.38/28.49 c 430775 749474 90368324 54033091 287 3967 14 46 35 31.18/31.22 c 473925 822952 99367484 59492026 287 3992 13 24 19 33.98/34.09 c 521390 905532 109150388 65555300 287 4017 12 23 18 37.57/37.64 c 573601 998478 120595346 71959837 287 4045 14 46 40 41.07/41.16 c 631033 1095957 132488936 79236771 287 4072 1 26 21 46.07/46.19 c 694208 1201724 146265073 88278668 287 4097 14 44 37 50.97/51.04 c 763700 1326977 161529125 97225026 287 4119 16 44 38 55.77/55.83 c 840141 1457274 177477030 107038033 287 4150 2 26 21 61.37/61.45 c 924226 1602881 195542666 117746615 287 4177 14 44 38 67.37/67.41 c 1016719 1761790 215193322 129627443 287 4200 14 26 21 75.56/75.63 c 1118461 1936345 240027345 144233146 287 4226 17 44 40 82.66/82.71 c 1230377 2128289 263717750 158616549 287 4312 12 103 23 90.66/90.72 c 1353484 2342936 290079361 174706015 287 4323 1 24 19 100.07/100.12 c 1488901 2583938 319494761 191649826 287 4382 14 103 47 111.16/111.22 c 1637859 2848796 352403548 211749711 287 4397 15 67 48 121.76/121.89 c 1801712 3128648 386970508 232820835 287 4422 9 48 28 133.45/133.55 c 1981950 3439185 425524950 255855642 287 4446 9 44 26 148.15/148.20 c 2180211 3783311 468991726 282571090 287 4483 14 65 40 162.65/162.76 c 2398298 4162180 516263650 310776097 287 4522 9 47 32 179.25/179.32 c 2638193 4583758 567653617 341122727 287 4550 11 65 44 198.14/198.25 c 2902077 5050818 625300751 373044322 287 4857 11 148 48 217.64/217.77 c 3192349 5546789 687706797 410307788 287 4882 1 45 32 241.63/241.70 c 3511648 6137124 755758140 448012935 287 5180 12 162 71 266.03/266.19 c 3862876 6763327 832728309 493365991 287 5210 9 67 40 297.42/297.52 c 4249226 7448118 922805070 549087946 287 5239 1 65 52 327.21/327.34 c 4674211 8217535 1014808641 599018477 287 5333 12 123 55 361.01/361.11 c 5141694 9058899 1118042645 645439835 287 5430 11 205 104 393.90/394.03 c 5655925 9914584 1224295140 708788488 287 5468 9 46 38 453.59/453.77 c 6221579 11268824 1410573364 788710097 287 5549 2 208 116 506.88/507.08 c 6843798 12520043 1570134054 866556176 287 5665 1 166 103 561.87/562.08 c 7528238 13787187 1727754814 951137213 287 5782 1 116 68 619.96/620.14 c 8281122 15108666 1894277969 1054753202 287 5807 13 75 65 687.24/687.42 c 9109294 16592658 2084783219 1162450017 287 5832 1 69 57 771.83/772.05 c 10020283 18775961 2335512388 1270046380 287 5871 17 166 124 856.41/856.63 c 11022370 20737722 2575134286 1382689197 287 6003 11 134 92 936.00/936.26 c 12124665 23146918 2813478261 1460750791 287 6058 22 150 125 1032.28/1032.57 c 13337189 25242363 3093242073 1620403705 287 6091 1 65 61 1136.76/1137.01 c 14670965 27658289 3413186001 1788894628 287 6122 1 80 57 1257.64/1257.97 c 16138118 30324104 3776306810 1985048637 287 6146 11 65 60 1393.21/1393.54 c 17751986 33363470 4145585556 2154142532 287 6268 19 128 111 1528.58/1528.93 c 19527240 36847827 4514721557 2317130562 287 6432 14 135 116 1696.35/1696.71 c 21480019 40579687 5019992690 2572453761 287 6455 1 92 59 1889.43/1889.80 c 23628075 44581191 5532047152 2894091809 287 6516 15 110 85 2087.49/2087.94 c 25990936 49003005 6073529749 3163098938 287 6630 16 135 111 2304.74/2305.21 c 28590083 53546591 6680927443 3515511467 287 6669 16 95 45
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-4242341-1500657784/watcher-4242341-1500657784 -o /tmp/evaluation-result-4242341-1500657784/solver-4242341-1500657784 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node143-1500648173-9852 --watchdog 2560 HOME/cosoco -lc -model -restarts -sat HOME/instance-4242341-1500657784.xml pid=11032 running on 8 cores: 0,2,4,6,8,10,12,14 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.01 2.02 2.05 3/242 11035 /proc/meminfo: memFree=31542624/32770624 swapFree=5760/192472 [pid=11035] ppid=11032 vsize=27388 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/11035/stat : 11035 (cosoco) R 11032 11035 9821 0 -1 4202496 1046 0 0 0 0 0 0 0 20 0 1 0 1044636 28045312 832 33554432000 4194304 5970956 140736693048928 140736693045432 140182169426750 0 0 4096 0 0 0 0 17 8 0 0 0 0 0 8070896 8075904 22409216 140736693052604 140736693052739 140736693052739 140736693055438 0 /proc/11035/statm: 6847 832 702 434 0 211 0 [startup+0.100125 s] /proc/loadavg: 2.01 2.02 2.05 3/242 11035 /proc/meminfo: memFree=31542624/32770624 swapFree=5760/192472 [pid=11035] ppid=11032 vsize=47604 CPUtime=0.09 cores=0,2,4,6,8,10,12,14 /proc/11035/stat : 11035 (cosoco) R 11032 11035 9821 0 -1 4202496 5453 0 0 0 8 1 0 0 20 0 1 0 1044636 48746496 5758 33554432000 4194304 5970956 140736693048928 140736693045752 140182169431013 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 22409216 140736693052604 140736693052739 140736693052739 140736693055438 0 /proc/11035/statm: 11901 5758 838 434 0 5265 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 47604 [startup+0.200316 s] /proc/loadavg: 2.01 2.02 2.05 3/242 11035 /proc/meminfo: memFree=31542624/32770624 swapFree=5760/192472 [pid=11035] ppid=11032 vsize=47604 CPUtime=0.19 cores=0,2,4,6,8,10,12,14 /proc/11035/stat : 11035 (cosoco) R 11032 11035 9821 0 -1 4202496 5468 0 0 0 18 1 0 0 20 0 1 0 1044636 48746496 5758 33554432000 4194304 5970956 140736693048928 140736693046264 140182169869408 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 22409216 140736693052604 140736693052739 140736693052739 140736693055438 0 /proc/11035/statm: 11901 5758 838 434 0 5265 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 47604 [startup+0.300284 s] /proc/loadavg: 2.01 2.02 2.05 3/242 11035 /proc/meminfo: memFree=31542624/32770624 swapFree=5760/192472 [pid=11035] ppid=11032 vsize=47736 CPUtime=0.29 cores=0,2,4,6,8,10,12,14 /proc/11035/stat : 11035 (cosoco) R 11032 11035 9821 0 -1 4202496 5476 0 0 0 28 1 0 0 20 0 1 0 1044636 48881664 5824 33554432000 4194304 5970956 140736693048928 140736693046264 140182169869408 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 22409216 140736693052604 140736693052739 140736693052739 140736693055438 0 /proc/11035/statm: 11934 5824 855 434 0 5298 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 47736 [startup+0.700177 s] /proc/loadavg: 2.01 2.02 2.05 3/242 11035 /proc/meminfo: memFree=31542624/32770624 swapFree=5760/192472 [pid=11035] ppid=11032 vsize=47736 CPUtime=0.69 cores=0,2,4,6,8,10,12,14 /proc/11035/stat : 11035 (cosoco) R 11032 11035 9821 0 -1 4202496 5512 0 0 0 68 1 0 0 20 0 1 0 1044636 48881664 5824 33554432000 4194304 5970956 140736693048928 140736693046264 5098896 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 22409216 140736693052604 140736693052739 140736693052739 140736693055438 0 /proc/11035/statm: 11934 5824 855 434 0 5298 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 47736 [startup+1.50018 s] /proc/loadavg: 1.93 2.00 2.04 3/243 11036 /proc/meminfo: memFree=31522048/32770624 swapFree=5760/192484 [pid=11035] ppid=11032 vsize=47736 CPUtime=1.49 cores=0,2,4,6,8,10,12,14 /proc/11035/stat : 11035 (cosoco) R 11032 11035 9821 0 -1 4202496 5520 0 0 0 148 1 0 0 20 0 1 0 1044636 48881664 5824 33554432000 4194304 5970956 140736693048928 140736693046264 4970568 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 22409216 140736693052604 140736693052739 140736693052739 140736693055438 0 /proc/11035/statm: 11934 5824 855 434 0 5298 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 47736 [startup+3.10018 s] /proc/loadavg: 1.93 2.00 2.04 3/243 11036 /proc/meminfo: memFree=31521444/32770624 swapFree=5760/192520 [pid=11035] ppid=11032 vsize=47736 CPUtime=3.09 cores=0,2,4,6,8,10,12,14 /proc/11035/stat : 11035 (cosoco) R 11032 11035 9821 0 -1 4202496 7067 0 0 0 308 1 0 0 20 0 1 0 1044636 48881664 5906 33554432000 4194304 5970956 140736693048928 140736693046264 4970973 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 22409216 140736693052604 140736693052739 140736693052739 140736693055438 0 /proc/11035/statm: 11934 5906 855 434 0 5298 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 47736 [startup+6.30018 s] /proc/loadavg: 1.93 2.00 2.04 3/243 11036 /proc/meminfo: memFree=31520892/32770624 swapFree=5760/192524 [pid=11035] ppid=11032 vsize=47736 CPUtime=6.29 cores=0,2,4,6,8,10,12,14 /proc/11035/stat : 11035 (cosoco) R 11032 11035 9821 0 -1 4202496 8537 0 0 0 628 1 0 0 20 0 1 0 1044636 48881664 5912 33554432000 4194304 5970956 140736693048928 140736693046264 5098896 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 22409216 140736693052604 140736693052739 140736693052739 140736693055438 0 /proc/11035/statm: 11934 5912 855 434 0 5298 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 47736 [startup+12.7002 s] /proc/loadavg: 1.94 2.00 2.04 3/243 11036 /proc/meminfo: memFree=31520668/32770624 swapFree=5760/192532 [pid=11035] ppid=11032 vsize=47872 CPUtime=12.69 cores=0,2,4,6,8,10,12,14 /proc/11035/stat : 11035 (cosoco) R 11032 11035 9821 0 -1 4202496 10417 0 0 0 1268 1 0 0 20 0 1 0 1044636 49020928 5931 33554432000 4194304 5970956 140736693048928 140736693046264 4974138 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 22409216 140736693052604 140736693052739 140736693052739 140736693055438 0 /proc/11035/statm: 11968 5931 855 434 0 5332 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 47872 [startup+25.5002 s] /proc/loadavg: 1.95 2.00 2.04 3/243 11036 /proc/meminfo: memFree=31520288/32770624 swapFree=5760/192552 [pid=11035] ppid=11032 vsize=48004 CPUtime=25.48 cores=0,2,4,6,8,10,12,14 /proc/11035/stat : 11035 (cosoco) R 11032 11035 9821 0 -1 4202496 14000 0 0 0 2547 1 0 0 20 0 1 0 1044636 49156096 6031 33554432000 4194304 5970956 140736693048928 140736693046264 5031584 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 22409216 140736693052604 140736693052739 140736693052739 140736693055438 0 /proc/11035/statm: 12001 6031 855 434 0 5365 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 48004 [startup+51.1002 s] /proc/loadavg: 1.91 1.99 2.03 3/243 11102 /proc/meminfo: memFree=32016380/32770624 swapFree=5760/192624 [pid=11035] ppid=11032 vsize=48004 CPUtime=51.07 cores=0,2,4,6,8,10,12,14 /proc/11035/stat : 11035 (cosoco) R 11032 11035 9821 0 -1 4202496 15060 0 0 0 5106 1 0 0 20 0 1 0 1044636 49156096 6066 33554432000 4194304 5970956 140736693048928 140736693046264 5322992 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 22409216 140736693052604 140736693052739 140736693052739 140736693055438 0 /proc/11035/statm: 12001 6066 855 434 0 5365 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 48004 [startup+102.3 s] /proc/loadavg: 2.03 2.00 2.04 3/243 11103 /proc/meminfo: memFree=32017040/32770624 swapFree=5760/192720 [pid=11035] ppid=11032 vsize=48004 CPUtime=102.27 cores=0,2,4,6,8,10,12,14 /proc/11035/stat : 11035 (cosoco) R 11032 11035 9821 0 -1 4202496 15863 0 0 0 10226 1 0 0 20 0 1 0 1044636 49156096 6079 33554432000 4194304 5970956 140736693048928 140736693046264 4976725 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 22409216 140736693052604 140736693052739 140736693052739 140736693055438 0 /proc/11035/statm: 12001 6079 855 434 0 5365 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 48004 [startup+162.3 s] /proc/loadavg: 2.01 2.00 2.04 3/243 11105 /proc/meminfo: memFree=32015720/32770624 swapFree=5760/192804 [pid=11035] ppid=11032 vsize=48004 CPUtime=162.25 cores=0,2,4,6,8,10,12,14 /proc/11035/stat : 11035 (cosoco) R 11032 11035 9821 0 -1 4202496 16593 0 0 0 16224 1 0 0 20 0 1 0 1044636 49156096 6086 33554432000 4194304 5970956 140736693048928 140736693046264 4974138 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 22409216 140736693052604 140736693052739 140736693052739 140736693055438 0 /proc/11035/statm: 12001 6086 855 434 0 5365 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 48004 [startup+222.308 s] /proc/loadavg: 2.00 2.00 2.04 3/243 11106 /proc/meminfo: memFree=32015328/32770624 swapFree=5760/192868 [pid=11035] ppid=11032 vsize=48004 CPUtime=222.24 cores=0,2,4,6,8,10,12,14 /proc/11035/stat : 11035 (cosoco) R 11032 11035 9821 0 -1 4202496 17430 0 0 0 22223 1 0 0 20 0 1 0 1044636 49156096 6119 33554432000 4194304 5970956 140736693048928 140736693046264 4976807 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 22409216 140736693052604 140736693052739 140736693052739 140736693055438 0 /proc/11035/statm: 12001 6119 855 434 0 5365 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 48004 [startup+282.3 s] /proc/loadavg: 2.00 2.00 2.04 3/243 11107 /proc/meminfo: memFree=32014672/32770624 swapFree=5760/192940 [pid=11035] ppid=11032 vsize=48136 CPUtime=282.22 cores=0,2,4,6,8,10,12,14 /proc/11035/stat : 11035 (cosoco) R 11032 11035 9821 0 -1 4202496 18401 0 0 0 28221 1 0 0 20 0 1 0 1044636 49291264 6169 33554432000 4194304 5970956 140736693048928 140736693046264 4977079 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 22409216 140736693052604 140736693052739 140736693052739 140736693055438 0 /proc/11035/statm: 12034 6169 855 434 0 5398 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 48136 [startup+342.3 s] /proc/loadavg: 2.00 2.00 2.04 3/243 11109 /proc/meminfo: memFree=32014288/32770624 swapFree=5760/192992 [pid=11035] ppid=11032 vsize=52556 CPUtime=342.21 cores=0,2,4,6,8,10,12,14 /proc/11035/stat : 11035 (cosoco) R 11032 11035 9821 0 -1 4202496 19323 0 0 0 34220 1 0 0 20 0 1 0 1044636 53817344 6179 33554432000 4194304 5970956 140736693048928 140736693046264 5098928 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 22409216 140736693052604 140736693052739 140736693052739 140736693055438 0 /proc/11035/statm: 13139 6179 855 434 0 6503 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 52556 [startup+402.3 s] /proc/loadavg: 2.00 2.00 2.04 3/243 11110 /proc/meminfo: memFree=32013556/32770624 swapFree=5760/193044 [pid=11035] ppid=11032 vsize=52556 CPUtime=402.2 cores=0,2,4,6,8,10,12,14 /proc/11035/stat : 11035 (cosoco) R 11032 11035 9821 0 -1 4202496 20401 0 0 0 40219 1 0 0 20 0 1 0 1044636 53817344 6213 33554432000 4194304 5970956 140736693048928 140736693046264 4908539 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 22409216 140736693052604 140736693052739 140736693052739 140736693055438 0 /proc/11035/statm: 13139 6213 855 434 0 6503 0 Current children cumulated CPU time (s) 402.2 Current children cumulated vsize (KiB) 52556 [startup+462.3 s] /proc/loadavg: 2.00 2.00 2.04 3/244 11119 /proc/meminfo: memFree=32010508/32770624 swapFree=5760/193120 [pid=11035] ppid=11032 vsize=52556 CPUtime=462.19 cores=0,2,4,6,8,10,12,14 /proc/11035/stat : 11035 (cosoco) R 11032 11035 9821 0 -1 4202496 21096 0 0 0 46218 1 0 0 20 0 1 0 1044636 53817344 6732 33554432000 4194304 5970956 140736693048928 140736693046264 4934446 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 22409216 140736693052604 140736693052739 140736693052739 140736693055438 0 /proc/11035/statm: 13139 6732 855 434 0 6503 0 Current children cumulated CPU time (s) 462.19 Current children cumulated vsize (KiB) 52556 [startup+522.3 s] /proc/loadavg: 2.00 2.00 2.04 3/244 11120 /proc/meminfo: memFree=32010264/32770624 swapFree=5760/193160 [pid=11035] ppid=11032 vsize=52684 CPUtime=522.17 cores=0,2,4,6,8,10,12,14 /proc/11035/stat : 11035 (cosoco) R 11032 11035 9821 0 -1 4202496 21795 0 0 0 52216 1 0 0 20 0 1 0 1044636 53948416 6737 33554432000 4194304 5970956 140736693048928 140736693046264 5098896 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 22409216 140736693052604 140736693052739 140736693052739 140736693055438 0 /proc/11035/statm: 13171 6737 855 434 0 6535 0 Current children cumulated CPU time (s) 522.17 Current children cumulated vsize (KiB) 52684 [startup+582.3 s] /proc/loadavg: 2.00 2.00 2.04 3/244 11121 /proc/meminfo: memFree=32010396/32770624 swapFree=5760/193208 [pid=11035] ppid=11032 vsize=52684 CPUtime=582.16 cores=0,2,4,6,8,10,12,14 /proc/11035/stat : 11035 (cosoco) R 11032 11035 9821 0 -1 4202496 22367 0 0 0 58215 1 0 0 20 0 1 0 1044636 53948416 6737 33554432000 4194304 5970956 140736693048928 140736693046264 5098910 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 22409216 140736693052604 140736693052739 140736693052739 140736693055438 0 /proc/11035/statm: 13171 6737 855 434 0 6535 0 Current children cumulated CPU time (s) 582.16 Current children cumulated vsize (KiB) 52684 ################ # More data... # ################ [startup+1542.31 s] /proc/loadavg: 2.01 2.03 2.05 3/243 11146 /proc/meminfo: memFree=32008672/32770624 swapFree=5760/193696 [pid=11035] ppid=11032 vsize=52684 CPUtime=1541.99 cores=0,2,4,6,8,10,12,14 /proc/11035/stat : 11035 (cosoco) R 11032 11035 9821 0 -1 4202496 31467 0 0 0 154198 1 0 0 20 0 1 0 1044636 53948416 6752 33554432000 4194304 5970956 140736693048928 140736693046264 4974720 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 22409216 140736693052604 140736693052739 140736693052739 140736693055438 0 /proc/11035/statm: 13171 6752 855 434 0 6535 0 Current children cumulated CPU time (s) 1541.99 Current children cumulated vsize (KiB) 52684 [startup+1602.3 s] /proc/loadavg: 2.00 2.02 2.05 3/244 11148 /proc/meminfo: memFree=32007416/32770624 swapFree=5760/193752 [pid=11035] ppid=11032 vsize=52684 CPUtime=1601.97 cores=0,2,4,6,8,10,12,14 /proc/11035/stat : 11035 (cosoco) R 11032 11035 9821 0 -1 4202496 32058 0 0 0 160196 1 0 0 20 0 1 0 1044636 53948416 6752 33554432000 4194304 5970956 140736693048928 140736693046264 5337513 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 22409216 140736693052604 140736693052739 140736693052739 140736693055438 0 /proc/11035/statm: 13171 6752 855 434 0 6535 0 Current children cumulated CPU time (s) 1601.97 Current children cumulated vsize (KiB) 52684 [startup+1662.3 s] /proc/loadavg: 2.00 2.02 2.05 3/245 11157 /proc/meminfo: memFree=32007640/32770624 swapFree=5760/193808 [pid=11035] ppid=11032 vsize=52684 CPUtime=1661.96 cores=0,2,4,6,8,10,12,14 /proc/11035/stat : 11035 (cosoco) R 11032 11035 9821 0 -1 4202496 32642 0 0 0 166195 1 0 0 20 0 1 0 1044636 53948416 6752 33554432000 4194304 5970956 140736693048928 140736693046264 5031492 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 22409216 140736693052604 140736693052739 140736693052739 140736693055438 0 /proc/11035/statm: 13171 6752 855 434 0 6535 0 Current children cumulated CPU time (s) 1661.96 Current children cumulated vsize (KiB) 52684 [startup+1722.3 s] /proc/loadavg: 2.00 2.01 2.05 3/244 11158 /proc/meminfo: memFree=32007176/32770624 swapFree=5760/193860 [pid=11035] ppid=11032 vsize=52684 CPUtime=1721.95 cores=0,2,4,6,8,10,12,14 /proc/11035/stat : 11035 (cosoco) R 11032 11035 9821 0 -1 4202496 33302 0 0 0 172194 1 0 0 20 0 1 0 1044636 53948416 6752 33554432000 4194304 5970956 140736693048928 140736693046264 4934350 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 22409216 140736693052604 140736693052739 140736693052739 140736693055438 0 /proc/11035/statm: 13171 6752 855 434 0 6535 0 Current children cumulated CPU time (s) 1721.95 Current children cumulated vsize (KiB) 52684 [startup+1782.3 s] /proc/loadavg: 2.00 2.01 2.05 3/244 11159 /proc/meminfo: memFree=32007548/32770624 swapFree=5760/193884 [pid=11035] ppid=11032 vsize=52684 CPUtime=1781.93 cores=0,2,4,6,8,10,12,14 /proc/11035/stat : 11035 (cosoco) R 11032 11035 9821 0 -1 4202496 33791 0 0 0 178192 1 0 0 20 0 1 0 1044636 53948416 6752 33554432000 4194304 5970956 140736693048928 140736693046264 4974128 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 22409216 140736693052604 140736693052739 140736693052739 140736693055438 0 /proc/11035/statm: 13171 6752 855 434 0 6535 0 Current children cumulated CPU time (s) 1781.93 Current children cumulated vsize (KiB) 52684 [startup+1842.3 s] /proc/loadavg: 2.00 2.01 2.05 3/244 11160 /proc/meminfo: memFree=32008052/32770624 swapFree=5760/193916 [pid=11035] ppid=11032 vsize=52684 CPUtime=1841.92 cores=0,2,4,6,8,10,12,14 /proc/11035/stat : 11035 (cosoco) R 11032 11035 9821 0 -1 4202496 34278 0 0 0 184191 1 0 0 20 0 1 0 1044636 53948416 6752 33554432000 4194304 5970956 140736693048928 140736693046264 5098896 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 22409216 140736693052604 140736693052739 140736693052739 140736693055438 0 /proc/11035/statm: 13171 6752 855 434 0 6535 0 Current children cumulated CPU time (s) 1841.92 Current children cumulated vsize (KiB) 52684 [startup+1902.3 s] /proc/loadavg: 2.05 2.03 2.05 3/244 11161 /proc/meminfo: memFree=32007800/32770624 swapFree=5760/193968 [pid=11035] ppid=11032 vsize=52684 CPUtime=1901.92 cores=0,2,4,6,8,10,12,14 /proc/11035/stat : 11035 (cosoco) R 11032 11035 9821 0 -1 4202496 34898 0 0 0 190190 2 0 0 20 0 1 0 1044636 53948416 6752 33554432000 4194304 5970956 140736693048928 140736693046264 4976698 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 22409216 140736693052604 140736693052739 140736693052739 140736693055438 0 /proc/11035/statm: 13171 6752 855 434 0 6535 0 Current children cumulated CPU time (s) 1901.92 Current children cumulated vsize (KiB) 52684 [startup+1962.3 s] /proc/loadavg: 2.02 2.02 2.05 3/243 11163 /proc/meminfo: memFree=32007040/32770624 swapFree=5760/194012 [pid=11035] ppid=11032 vsize=52684 CPUtime=1961.91 cores=0,2,4,6,8,10,12,14 /proc/11035/stat : 11035 (cosoco) R 11032 11035 9821 0 -1 4202496 35357 0 0 0 196189 2 0 0 20 0 1 0 1044636 53948416 6752 33554432000 4194304 5970956 140736693048928 140736693046264 4934506 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 22409216 140736693052604 140736693052739 140736693052739 140736693055438 0 /proc/11035/statm: 13171 6752 855 434 0 6535 0 Current children cumulated CPU time (s) 1961.91 Current children cumulated vsize (KiB) 52684 [startup+2022.3 s] /proc/loadavg: 2.01 2.02 2.05 3/243 11164 /proc/meminfo: memFree=32007532/32770624 swapFree=5760/194052 [pid=11035] ppid=11032 vsize=52684 CPUtime=2021.9 cores=0,2,4,6,8,10,12,14 /proc/11035/stat : 11035 (cosoco) R 11032 11035 9821 0 -1 4202496 35808 0 0 0 202188 2 0 0 20 0 1 0 1044636 53948416 6752 33554432000 4194304 5970956 140736693048928 140736693046264 4974147 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 22409216 140736693052604 140736693052739 140736693052739 140736693055438 0 /proc/11035/statm: 13171 6752 855 434 0 6535 0 Current children cumulated CPU time (s) 2021.9 Current children cumulated vsize (KiB) 52684 [startup+2082.3 s] /proc/loadavg: 2.00 2.01 2.05 3/243 11165 /proc/meminfo: memFree=32007904/32770624 swapFree=5760/194084 [pid=11035] ppid=11032 vsize=52684 CPUtime=2081.89 cores=0,2,4,6,8,10,12,14 /proc/11035/stat : 11035 (cosoco) R 11032 11035 9821 0 -1 4202496 36319 0 0 0 208187 2 0 0 20 0 1 0 1044636 53948416 6752 33554432000 4194304 5970956 140736693048928 140736693046264 5098910 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 22409216 140736693052604 140736693052739 140736693052739 140736693055438 0 /proc/11035/statm: 13171 6752 855 434 0 6535 0 Current children cumulated CPU time (s) 2081.89 Current children cumulated vsize (KiB) 52684 [startup+2142.3 s] /proc/loadavg: 2.00 2.01 2.05 3/243 11167 /proc/meminfo: memFree=32007480/32770624 swapFree=5760/194132 [pid=11035] ppid=11032 vsize=52684 CPUtime=2141.87 cores=0,2,4,6,8,10,12,14 /proc/11035/stat : 11035 (cosoco) R 11032 11035 9821 0 -1 4202496 37100 0 0 0 214185 2 0 0 20 0 1 0 1044636 53948416 6752 33554432000 4194304 5970956 140736693048928 140736693046264 5328057 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 22409216 140736693052604 140736693052739 140736693052739 140736693055438 0 /proc/11035/statm: 13171 6752 855 434 0 6535 0 Current children cumulated CPU time (s) 2141.87 Current children cumulated vsize (KiB) 52684 [startup+2202.31 s] /proc/loadavg: 2.00 2.01 2.05 3/243 11168 /proc/meminfo: memFree=32007400/32770624 swapFree=5760/194148 [pid=11035] ppid=11032 vsize=52684 CPUtime=2201.87 cores=0,2,4,6,8,10,12,14 /proc/11035/stat : 11035 (cosoco) R 11032 11035 9821 0 -1 4202496 37715 0 0 0 220185 2 0 0 20 0 1 0 1044636 53948416 6752 33554432000 4194304 5970956 140736693048928 140736693046264 5098928 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 22409216 140736693052604 140736693052739 140736693052739 140736693055438 0 /proc/11035/statm: 13171 6752 855 434 0 6535 0 Current children cumulated CPU time (s) 2201.87 Current children cumulated vsize (KiB) 52684 [startup+2262.3 s] /proc/loadavg: 2.00 2.01 2.05 3/243 11176 /proc/meminfo: memFree=32006296/32770624 swapFree=5760/194220 [pid=11035] ppid=11032 vsize=52684 CPUtime=2261.85 cores=0,2,4,6,8,10,12,14 /proc/11035/stat : 11035 (cosoco) R 11032 11035 9821 0 -1 4202496 38190 0 0 0 226183 2 0 0 20 0 1 0 1044636 53948416 6752 33554432000 4194304 5970956 140736693048928 140736693046264 5272605 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 22409216 140736693052604 140736693052739 140736693052739 140736693055438 0 /proc/11035/statm: 13171 6752 855 434 0 6535 0 Current children cumulated CPU time (s) 2261.85 Current children cumulated vsize (KiB) 52684 [startup+2322.3 s] /proc/loadavg: 2.00 2.01 2.05 3/243 11199 /proc/meminfo: memFree=32007240/32770624 swapFree=5760/194268 [pid=11035] ppid=11032 vsize=52684 CPUtime=2321.84 cores=0,2,4,6,8,10,12,14 /proc/11035/stat : 11035 (cosoco) R 11032 11035 9821 0 -1 4202496 38817 0 0 0 232182 2 0 0 20 0 1 0 1044636 53948416 6752 33554432000 4194304 5970956 140736693048928 140736693046264 4974124 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 22409216 140736693052604 140736693052739 140736693052739 140736693055438 0 /proc/11035/statm: 13171 6752 855 434 0 6535 0 Current children cumulated CPU time (s) 2321.84 Current children cumulated vsize (KiB) 52684 [startup+2382.3 s] /proc/loadavg: 2.00 2.01 2.05 3/243 11200 /proc/meminfo: memFree=32007284/32770624 swapFree=5760/194304 [pid=11035] ppid=11032 vsize=52684 CPUtime=2381.83 cores=0,2,4,6,8,10,12,14 /proc/11035/stat : 11035 (cosoco) R 11032 11035 9821 0 -1 4202496 39245 0 0 0 238181 2 0 0 20 0 1 0 1044636 53948416 6752 33554432000 4194304 5970956 140736693048928 140736693046264 5320128 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 22409216 140736693052604 140736693052739 140736693052739 140736693055438 0 /proc/11035/statm: 13171 6752 855 434 0 6535 0 Current children cumulated CPU time (s) 2381.83 Current children cumulated vsize (KiB) 52684 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2400.5 s] /proc/loadavg: 2.07 2.03 2.05 3/243 11200 /proc/meminfo: memFree=32007408/32770624 swapFree=5760/194308 [pid=11035] ppid=11032 vsize=52684 CPUtime=2400.02 cores=0,2,4,6,8,10,12,14 /proc/11035/stat : 11035 (cosoco) R 11032 11035 9821 0 -1 4202496 39657 0 0 0 240000 2 0 0 20 0 1 0 1044636 53948416 6752 33554432000 4194304 5970956 140736693048928 140736693046264 4930600 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 22409216 140736693052604 140736693052739 140736693052739 140736693055438 0 /proc/11035/statm: 13171 6752 855 434 0 6535 0 Current children cumulated CPU time (s) 2400.02 Current children cumulated vsize (KiB) 52684 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 11035 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+2400.5 s] /proc/loadavg: 2.07 2.03 2.05 3/243 11200 /proc/meminfo: memFree=32007408/32770624 swapFree=5760/194308 [pid=11035] ppid=11032 vsize=52684 CPUtime=2400.02 cores=0,2,4,6,8,10,12,14 /proc/11035/stat : 11035 (cosoco) R 11032 11035 9821 0 -1 4202496 39657 0 0 0 240000 2 0 0 20 0 1 0 1044636 53948416 6752 33554432000 4194304 5970956 140736693048928 140736693046264 4930600 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 22409216 140736693052604 140736693052739 140736693052739 140736693055438 0 /proc/11035/statm: 13171 6752 855 434 0 6535 0 Current children cumulated CPU time (s) 2400.02 Current children cumulated vsize (KiB) 52684 Child status: 1 Real time (s): 2400.5 CPU time (s): 2400.03 CPU user time (s): 2400.01 CPU system time (s): 0.021995 CPU usage (%): 99.9805 Max. virtual memory (cumulated for all children) (KiB): 52684 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2400.01 system time used= 0.021995 maximum resident set size= 27052 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 39684 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= 20 involuntary context switches= 120689 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 6.84789 second user time and 11.0448 second system time The end
Begin job on node143 at 2017-07-21 19:23:04 IDJOB=4242341 IDBENCH=133923 IDSOLVER=2621 FILE ID=node143/4242341-1500657784 RUNJOBID= node143-1500648173-9852 PBS_JOBID= 20623278 Free space on /tmp= 61988 MiB SOLVER NAME= cosoco-sat 1.1 BENCH NAME= XCSP17/SportsScheduling/SportsScheduling-m1-s1/SportsScheduling-14.xml COMMAND LINE= DIR/cosoco -lc -model -restarts -sat BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4242341-1500657784/watcher-4242341-1500657784 -o /tmp/evaluation-result-4242341-1500657784/solver-4242341-1500657784 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node143-1500648173-9852 --watchdog 2560 HOME/cosoco -lc -model -restarts -sat HOME/instance-4242341-1500657784.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 8 MD5SUM BENCH= 1e3f519c957d5cb55b89b746c42a86fa RANDOM SEED=192174584 node143.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.69 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 : 2133.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.69 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.69 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.69 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.69 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 9 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 0 cpu cores : 4 apicid : 17 initial apicid : 17 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 10 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.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.69 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 : 2000.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 : 2267.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.69 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 : 2668.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 : 1600.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.69 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: 31542396 kB MemAvailable: 31532424 kB Buffers: 33636 kB Cached: 266740 kB SwapCached: 0 kB Active: 651636 kB Inactive: 201216 kB Active(anon): 555484 kB Inactive(anon): 8744 kB Active(file): 96152 kB Inactive(file): 192472 kB Unevictable: 5760 kB Mlocked: 5760 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 2496 kB Writeback: 0 kB AnonPages: 558124 kB Mapped: 31796 kB Shmem: 8852 kB Slab: 65780 kB SReclaimable: 34480 kB SUnreclaim: 31300 kB KernelStack: 4256 kB PageTables: 6192 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 837664 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 491520 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 155008 kB DirectMap2M: 33390592 kB Free space on /tmp at the end= 61988 MiB End job on node143 at 2017-07-21 20:03:04