| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| cosoco-sat 1.12 | ? (TO) | 2520.0601 | 2519.8999 |
| Name | Blackhole/Blackhole-m1-s10/ Blackhole-10-3-01.xml |
| MD5SUM | 4b3f242d4d7820c1a4b57bc20b9aba43 |
| 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 | 0.071172997 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 80 |
| Number of constraints | 67 |
| Number of domains | 1 |
| Minimum domain size | 40 |
| Maximum domain size | 40 |
| Distribution of domain sizes | [{"size":40,"count":80}] |
| Minimum variable degree | 2 |
| Maximum variable degree | 3 |
| Distribution of variable degrees | [{"degree":2,"count":67},{"degree":3,"count":13}] |
| Minimum constraint arity | 1 |
| Maximum constraint arity | 80 |
| Distribution of constraint arities | [{"arity":1,"count":1},{"arity":2,"count":65},{"arity":80,"count":1}] |
| Number of extensional constraints | 39 |
| Number of intensional constraints | 27 |
| Distribution of constraint types | [{"type":"extension","count":39},{"type":"intension","count":27},{"type":"channel","count":1}] |
| Optimization problem | NO |
| Type of objective |
0.00/0.00 c Create channel(X,Y) constraint using 40 element constraint 0.00/0.00 c intension y[31]<y[19] using generic constraint 0.00/0.00 c intension y[19]<y[1] using generic constraint 0.00/0.00 c intension y[37]<y[39] using generic constraint 0.00/0.00 c intension y[39]<y[25] using generic constraint 0.00/0.00 c intension y[20]<y[26] using generic constraint 0.00/0.00 c intension y[26]<y[11] using generic constraint 0.00/0.00 c intension y[36]<y[6] using generic constraint 0.00/0.00 c intension y[6]<y[8] using generic constraint 0.00/0.00 c intension y[15]<y[9] using generic constraint 0.00/0.00 c intension y[9]<y[21] using generic constraint 0.00/0.00 c intension y[17]<y[2] using generic constraint 0.00/0.00 c intension y[2]<y[35] using generic constraint 0.00/0.00 c intension y[3]<y[22] using generic constraint 0.00/0.00 c intension y[22]<y[13] using generic constraint 0.00/0.00 c intension y[23]<y[10] using generic constraint 0.00/0.00 c intension y[10]<y[7] using generic constraint 0.00/0.00 c intension y[38]<y[29] using generic constraint 0.00/0.01 c intension y[29]<y[18] using generic constraint 0.00/0.01 c intension y[24]<y[4] using generic constraint 0.00/0.01 c intension y[4]<y[14] using generic constraint 0.00/0.01 c intension y[33]<y[28] using generic constraint 0.00/0.01 c intension y[28]<y[16] using generic constraint 0.00/0.01 c intension y[32]<y[30] using generic constraint 0.00/0.01 c intension y[30]<y[34] using generic constraint 0.00/0.01 c intension y[5]<y[27] using generic constraint 0.00/0.01 c intension y[27]<y[12] using generic constraint 0.00/0.01 c SAT : Variables: 3200 -- Clauses: 62480 0.00/0.02 c root propagations : 234 0.00/0.02 c restarts enabled, print stats at every restarts 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c This is cosoco 1.12 -- 0.00/0.02 c 0.00/0.02 c command line: cosoco -lc -model -restarts -sat HOME/instance-4265995-1502583789.xml 0.00/0.02 c ========================================[ Problem Statistics ]=========================================== 0.00/0.02 c | 0.00/0.02 c | Parse time : 0.01 s 0.00/0.02 c | 0.00/0.02 c | Variables: 80 0.00/0.02 c | Domain Sizes: 40..40 0.00/0.02 c | 0.00/0.02 c | Constraints: 106 0.00/0.02 c | Arity: 1..41 -- Unary: 1 -- Binary: 65 0.00/0.02 c | 0.00/0.02 c | Types: 0.00/0.02 c | (X - Y < k): 26 0.00/0.02 c | Element Constant: 40 0.00/0.02 c | Extension: 39 (nb tuples: 320..320) -- (shared: 38) 0.00/0.02 c | Intension: 1 0.00/0.02 c | 0.00/0.02 c ========================================================================================================= 0.00/0.02 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.00/0.02 c 10 64 6246 2646 80 8 44 47 41 0.00/0.02 c 20 100 9851 5288 80 18 27 27 24 0.00/0.02 c 30 143 13363 7564 80 28 29 30 26 0.00/0.02 c 40 186 17139 10253 80 34 32 32 29 0.00/0.02 c 50 232 21045 12854 80 38 31 33 28 0.00/0.02 c 60 276 24530 15690 80 42 32 32 29 0.00/0.02 c 70 316 28051 17776 80 52 31 31 28 0.00/0.02 c 80 363 32126 20395 80 57 32 33 29 0.00/0.02 c 90 402 35898 23107 80 67 30 30 27 0.00/0.02 c 100 449 39377 25424 80 72 33 36 31 0.00/0.02 c 101 478 41772 27246 80 73 29 29 14 0.00/0.02 c 110 520 45288 29703 80 76 32 32 28 0.00/0.03 c 120 558 50628 33058 80 77 29 29 26 0.00/0.03 c 130 602 54064 35395 80 81 33 33 30 0.00/0.03 c 140 654 57969 37459 80 86 39 39 35 0.00/0.03 c 150 703 62028 40078 80 89 36 37 32 0.00/0.03 c 160 751 66330 42674 80 93 36 36 32 0.00/0.03 c 170 801 70679 45367 80 96 35 36 32 0.00/0.03 c 180 847 74761 47839 80 100 35 35 31 0.00/0.03 c 190 896 79611 51316 80 107 34 34 30 0.00/0.03 c 200 942 83256 54053 80 111 17 32 26 0.00/0.03 c 210 992 87631 56947 80 116 33 36 31 0.00/0.03 c 211 1027 90595 58886 80 117 35 35 17 0.00/0.03 c 220 1075 94766 61508 80 121 34 36 31 0.00/0.04 c 230 1120 98858 64640 80 125 33 33 30 0.00/0.04 c 240 1167 103118 67206 80 131 31 32 28 0.00/0.04 c 250 1207 106493 69034 80 141 31 31 28 0.00/0.04 c 260 1254 110513 71444 80 146 35 35 31 0.00/0.04 c 270 1294 114496 73965 80 156 31 31 28 0.00/0.04 c 280 1346 118491 76608 80 166 34 34 30 0.00/0.04 c 290 1398 122751 79320 80 172 33 35 30 0.00/0.04 c 300 1443 127149 82111 80 182 35 36 32 0.00/0.04 c 310 1490 131378 85128 80 186 32 33 29 0.00/0.04 c 320 1535 135049 87683 80 190 29 30 26 0.00/0.04 c 330 1584 139155 90180 80 197 30 33 29 0.00/0.04 c 332 1620 141984 91965 80 199 35 35 23 0.00/0.04 c 340 1658 145820 94599 80 207 31 31 27 0.00/0.05 c 350 1699 149469 97474 80 217 32 32 29 0.00/0.05 c 360 1747 153567 101160 80 223 30 31 27 0.00/0.05 c 370 1791 157319 103702 80 228 31 31 28 0.00/0.05 c 380 1833 160701 106145 80 233 28 29 26 0.00/0.05 c 390 1881 164344 108363 80 243 30 30 27 0.00/0.05 c 400 1929 168706 110641 80 253 30 30 27 0.00/0.05 c 410 1973 172520 113293 80 257 30 32 28 0.00/0.05 c 420 2014 176195 116018 80 267 32 32 29 0.00/0.05 c 430 2062 180315 119014 80 276 31 31 28 0.00/0.05 c 440 2111 184484 121853 80 285 32 32 29 0.00/0.05 c 450 2157 188536 124522 80 290 32 33 29 0.00/0.05 c 460 2206 191959 126419 80 292 35 37 33 0.00/0.06 c 465 2242 195095 128532 80 294 31 31 25 0.00/0.06 c 470 2270 197702 130822 80 299 24 24 20 0.00/0.06 c 480 2314 201650 133254 80 303 33 33 30 0.00/0.06 c 490 2349 205720 136508 80 313 26 26 23 0.00/0.06 c 500 2396 209630 139015 80 317 34 34 30 0.00/0.06 c 510 2447 214780 142507 80 327 31 32 28 0.00/0.06 c 520 2496 219179 144609 80 337 38 40 36 0.00/0.06 c 530 2542 223234 147491 80 341 34 34 30 0.00/0.06 c 540 2596 226994 149561 80 351 26 37 32 0.00/0.06 c 550 2642 231012 153133 80 357 30 31 27 0.00/0.06 c 560 2698 234744 155016 80 367 37 37 33 0.00/0.06 c 570 2745 238673 157698 80 371 34 35 31 0.00/0.06 c 580 2793 242663 160165 80 375 36 36 32 0.00/0.07 c 590 2854 246976 162221 80 385 35 40 35 0.00/0.07 c 600 2905 251227 165195 80 390 33 35 30 0.00/0.07 c 610 2949 255220 167960 80 400 32 35 31 0.00/0.07 c 611 2976 257573 169770 80 401 27 27 13 0.00/0.07 c 620 3045 262918 172268 80 410 31 36 28 0.00/0.07 c 630 3090 267297 175656 80 417 32 35 30 0.00/0.07 c 640 3140 271271 178109 80 427 32 33 29 0.00/0.07 c 650 3186 275270 181013 80 432 33 33 30 0.00/0.07 c 660 3232 279407 183997 80 435 30 34 29 0.00/0.07 c 670 3277 283700 187195 80 439 34 34 30 0.00/0.07 c 680 3333 287438 189284 80 449 29 37 32 0.00/0.07 c 690 3383 291737 192375 80 459 32 32 29 0.00/0.08 c 700 3430 295839 194781 80 463 33 35 30 0.00/0.08 c 710 3480 300183 197564 80 469 32 33 29 0.00/0.08 c 720 3514 303361 200069 80 479 25 25 22 0.00/0.08 c 730 3566 307646 202707 80 488 33 34 30 0.00/0.08 c 740 3613 311621 205420 80 493 34 34 30 0.00/0.08 c 750 3657 315510 208058 80 497 33 33 30 0.00/0.08 c 760 3695 319031 210457 80 507 29 29 26 0.00/0.08 c 770 3736 323020 213269 80 513 26 28 24 0.00/0.08 c 771 3765 325516 215168 80 514 29 29 14 0.00/0.08 c 780 3806 329784 217945 80 523 33 33 29 0.00/0.08 c 790 3854 334190 220708 80 533 29 29 26 0.00/0.08 c 800 3899 338583 223905 80 539 29 34 26 0.00/0.09 c 810 3948 342497 225969 80 549 40 40 36 0.00/0.09 c 820 3992 346616 229258 80 553 33 33 30 0.00/0.09 c 830 4039 350297 231377 80 563 32 38 34 0.00/0.09 c 840 4083 354324 235065 80 567 33 33 30 0.00/0.09 c 850 4128 357863 237399 80 577 36 36 32 0.00/0.09 c 860 4177 362137 240221 80 584 32 33 29 0.00/0.09 c 870 4226 366441 244280 80 594 31 32 29 0.00/0.09 c 880 4269 370204 246920 80 595 30 30 27 0.00/0.09 c 890 4313 374461 250147 80 600 31 31 28 0.00/0.09 c 900 4360 378562 254515 80 610 29 30 27 0.00/0.09 c 910 4412 383169 258964 80 621 32 32 29 0.00/0.09 c 920 4464 387380 261854 80 631 31 33 29 0.00/0.10 c 930 4507 391013 264482 80 635 32 32 29 0.00/0.10 c 940 4553 395182 267048 80 645 28 37 26 0.00/0.10 c 947 4598 398731 269241 80 652 31 39 28 0.00/0.10 c 950 4632 402176 271820 80 653 29 29 21 0.00/0.10 c 960 4678 405693 274453 80 657 34 34 30 0.00/0.10 c 970 4716 409850 277369 80 667 29 29 26 0.00/0.10 c 980 4761 414521 280506 80 672 32 33 29 0.00/0.10 c 990 4810 418881 284323 80 682 30 30 27 0.00/0.10 c 1000 4859 422615 286594 80 692 31 31 28 0.00/0.10 c 1010 4898 426751 290435 80 702 30 30 27 0.00/0.10 c 1020 4942 430926 293417 80 706 28 32 28 0.10/0.10 c 1030 4987 434675 295656 80 716 34 36 32 0.10/0.11 c 1040 5030 438450 298512 80 720 29 31 27 0.10/0.11 c 1050 5079 443007 301476 80 729 30 35 29 0.10/0.11 c 1060 5121 447288 304779 80 733 27 29 25 0.10/0.11 c 1070 5169 452070 308159 80 737 28 34 27 0.10/0.11 c 1080 5211 456414 312116 80 747 27 31 25 0.10/0.11 c 1090 5255 460577 315457 80 750 31 33 28 0.10/0.11 c 1100 5299 464157 318074 80 760 31 35 31 0.10/0.11 c 1110 5337 467507 320777 80 762 27 27 24 0.10/0.11 c 1120 5380 471001 324192 80 767 28 28 25 0.10/0.11 c 1130 5424 474869 327521 80 772 30 30 27 0.10/0.11 c 1140 5472 478688 329564 80 777 38 38 34 0.10/0.12 c 1141 5502 481115 331322 80 778 30 30 15 0.10/0.12 c 1150 5545 484864 333893 80 783 23 32 26 0.10/0.12 c 1160 5588 488239 336374 80 787 32 32 29 0.10/0.12 c 1170 5638 491877 338600 80 792 37 37 33 0.10/0.12 c 1180 5687 495769 341301 80 802 30 30 27 0.10/0.12 c 1190 5736 500054 344633 80 812 31 31 28 0.10/0.12 c 1200 5786 504544 347343 80 820 32 33 29 0.10/0.12 c 1210 5830 508396 349877 80 824 32 32 29 0.10/0.12 c 1220 5870 512604 352903 80 834 29 31 26 0.10/0.12 c 1230 5914 516012 355441 80 838 31 31 28 0.10/0.12 c 1240 5960 519806 357505 80 843 36 36 32 0.10/0.12 c 1250 6001 523340 360203 80 853 32 32 29 0.10/0.12 c 1260 6042 526760 363158 80 857 29 29 26 0.10/0.13 c 1270 6089 530371 364996 80 859 37 37 33 0.10/0.13 c 1280 6132 533901 367616 80 863 32 32 29 0.10/0.13 c 1290 6180 538253 369891 80 867 36 36 32 0.10/0.13 c 1300 6226 542261 373156 80 870 29 29 26 0.10/0.13 c 1310 6281 546365 375144 80 874 34 35 31 0.10/0.13 c 1320 6326 549993 377528 80 878 30 30 27 0.10/0.13 c 1330 6394 554639 379693 80 883 38 40 36 0.10/0.13 c 1340 6444 558835 382658 80 888 33 35 31 0.10/0.13 c 1350 6490 562770 384711 80 898 36 36 32 0.10/0.13 c 1352 6523 565614 386687 80 900 32 32 21 0.10/0.13 c 1360 6564 568748 388917 80 904 31 31 27 0.10/0.13 c 1370 6610 573315 391665 80 911 28 34 28 0.10/0.13 c 1380 6661 577412 394432 80 921 33 33 30 0.10/0.14 c 1390 6704 580822 396871 80 924 31 32 28 0.10/0.14 c 1400 6748 584462 399336 80 927 31 33 28 0.10/0.14 c 1410 6798 588367 401565 80 937 31 32 28 0.10/0.14 c 1420 6849 592951 404645 80 940 31 35 30 0.10/0.14 c 1430 6893 597071 407245 80 942 31 32 28 0.10/0.14 c 1440 6937 600484 409378 80 946 30 33 29 0.10/0.14 c 1450 6987 604616 412322 80 956 31 31 28 0.10/0.14 c 1460 7035 608672 415712 80 966 29 30 27 0.10/0.14 c 1470 7080 613537 419366 80 970 28 31 26 0.10/0.14 c 1480 7127 617642 422104 80 973 30 34 30 0.10/0.14 c 1490 7175 621453 424618 80 979 34 34 30 0.10/0.15 c 1500 7220 624881 427153 80 983 33 33 30 0.10/0.15 c 1510 7262 628778 429618 80 993 33 33 30 0.10/0.15 c 1520 7313 633610 432502 80 997 32 34 30 0.10/0.15 c 1530 7359 637476 435035 80 1003 31 32 28 0.10/0.15 c 1540 7403 642586 439060 80 1011 27 28 25 0.10/0.15 c 1550 7448 646682 441714 80 1018 29 30 26 0.10/0.15 c 1560 7492 650856 445721 80 1025 29 29 26 0.10/0.15 c 1570 7550 655802 449019 80 1032 33 38 32 0.10/0.15 c 1580 7590 660544 452380 80 1042 25 31 26 0.10/0.15 c 1585 7629 663717 454639 80 1045 32 32 26 0.10/0.15 c 1590 7664 666540 456528 80 1046 30 31 25 0.10/0.15 c 1600 7713 670167 458776 80 1051 34 34 30 0.10/0.16 c 1610 7763 674553 461622 80 1056 34 35 31 0.10/0.16 c 1620 7810 678737 464002 80 1059 27 30 25 0.10/0.16 c 1630 7861 682904 466138 80 1065 31 36 31 0.10/0.16 c 1640 7905 686099 468155 80 1069 33 33 30 0.10/0.16 c 1650 7949 690255 470612 80 1074 27 30 25 0.10/0.16 c 1660 8010 694853 472771 80 1078 27 35 30 0.10/0.16 c 1670 8055 698337 475135 80 1083 32 32 29 0.10/0.16 c 1680 8106 703617 478862 80 1093 33 33 30 0.10/0.16 c 1690 8151 707783 481575 80 1097 29 31 27 0.10/0.16 c 1700 8199 711252 483784 80 1100 27 29 24 0.10/0.16 c 1710 8250 715619 486587 80 1104 34 35 31 0.10/0.16 c 1720 8298 719532 488497 80 1114 35 36 32 0.10/0.16 c 1730 8343 724288 491757 80 1121 31 33 28 0.10/0.17 c 1740 8396 728842 494380 80 1129 34 36 32 0.10/0.17 c 1750 8443 732952 497077 80 1135 33 34 30 0.10/0.17 c 1760 8483 736948 499780 80 1142 23 29 23 0.10/0.17 c 1770 8537 741130 502221 80 1152 36 36 32 0.10/0.17 c 1780 8586 745200 504766 80 1156 34 36 31 0.10/0.17 c 1790 8634 749250 507265 80 1162 34 35 31 0.10/0.17 c 1800 8723 755728 509949 80 1168 30 35 31 0.10/0.17 c 1810 8770 759897 512380 80 1171 27 30 25 0.10/0.17 c 1820 8817 762910 514209 80 1172 29 29 26 0.10/0.17 c 1830 8867 767773 517759 80 1182 32 32 29 0.10/0.17 c 1840 8920 773218 521095 80 1187 33 35 30 0.10/0.17 c 1841 8954 776169 522935 80 1188 34 34 17 0.10/0.18 c 1850 8997 780408 526112 80 1196 32 33 28 0.10/0.18 c 1860 9047 785016 528828 80 1202 34 35 31 0.10/0.18 c 1870 9098 789459 531308 80 1210 27 31 26 0.10/0.18 c 1880 9148 793921 533715 80 1217 34 35 31 0.10/0.18 c 1890 9186 797707 536268 80 1227 27 29 24 0.10/0.18 c 1900 9239 802015 538846 80 1230 35 38 33 0.10/0.18 c 1910 9287 806774 542080 80 1236 28 34 29 0.10/0.18 c 1920 9336 811386 544581 80 1246 29 31 26 0.10/0.18 c 1930 9380 815202 547108 80 1249 31 33 28 0.10/0.18 c 1940 9427 819675 549807 80 1253 32 35 30 0.10/0.18 c 1950 9484 824510 552504 80 1263 37 37 33 0.10/0.19 c 1960 9534 829212 555314 80 1267 34 35 31 0.10/0.19 c 1970 9582 833376 558472 80 1271 34 34 30 0.10/0.19 c 1980 9625 836895 560740 80 1279 29 31 27 0.10/0.19 c 1990 9673 840498 562859 80 1289 29 30 26 0.10/0.19 c 2000 9724 845121 566192 80 1293 33 37 30 0.10/0.19 c 2010 9765 849333 568725 80 1302 30 32 27 0.10/0.19 c 2020 9806 853097 571001 80 1312 31 32 28 0.10/0.19 c 2030 9859 857317 573656 80 1322 31 33 29 0.10/0.19 c 2040 9909 861621 576799 80 1327 32 35 31 0.10/0.19 c 2050 9963 865807 579255 80 1329 36 41 34 0.10/0.19 c 2060 10008 869350 581380 80 1335 28 33 29 0.10/0.19 c 2070 10059 875798 586996 80 1345 32 32 29 0.10/0.20 c 2080 10096 879384 589848 80 1355 28 28 25 0.10/0.20 c 2090 10140 883346 593352 80 1359 29 32 27 0.10/0.20 c 2100 10193 887488 595677 80 1369 34 34 30 0.10/0.20 c 2110 10237 891423 598246 80 1375 30 32 28 0.10/0.20 c 2120 10276 894955 600885 80 1380 26 26 23 0.10/0.20 c 2122 10309 897870 602746 80 1382 32 32 21 0.10/0.20 c 2130 10364 903165 605645 80 1390 34 34 30 0.10/0.20 c 2140 10409 907066 607972 80 1393 33 34 30 0.10/0.20 c 2150 10454 910746 610546 80 1398 32 32 29 0.10/0.20 c 2160 10503 915016 612895 80 1408 31 31 28 0.10/0.20 c 2170 10548 919351 615800 80 1413 32 32 29 0.10/0.20 c 2180 10595 923818 618391 80 1416 32 33 29 0.10/0.21 c 2190 10640 927584 620958 80 1420 33 33 30 0.10/0.21 c 2200 10675 931100 623310 80 1426 23 26 22 0.10/0.21 c 2210 10719 935239 626150 80 1427 29 32 27 0.10/0.21 c 2220 10766 939543 628660 80 1430 31 33 28 0.10/0.21 c 2230 10812 943677 631298 80 1434 34 34 30 0.10/0.21 c 2240 10848 947227 633969 80 1444 27 27 24 0.10/0.21 c 2250 10893 951432 637353 80 1448 28 31 27 0.10/0.21 c 2260 10935 955777 640070 80 1452 30 31 28 0.10/0.21 c 2270 10985 960771 642980 80 1460 31 35 30 0.10/0.21 c 2280 11037 964711 645473 80 1470 34 34 30 0.21/0.21 c 2290 11074 968270 648129 80 1480 28 28 25 0.21/0.22 c 2300 11123 972692 651327 80 1484 31 34 29 0.21/0.22 c 2310 11166 976435 653912 80 1494 29 34 29 0.21/0.22 c 2320 11212 980248 656640 80 1497 32 32 29 0.21/0.22 c 2330 11259 984512 659211 80 1503 31 35 29 0.21/0.22 c 2340 11301 988818 661572 80 1510 26 33 25 0.21/0.22 c 2350 11347 993093 664103 80 1517 30 33 28 0.21/0.22 c 2360 11386 997272 666357 80 1524 24 30 23 0.21/0.22 c 2370 11434 1001813 669246 80 1528 30 35 30 0.21/0.22 c 2380 11483 1005628 671890 80 1531 32 34 30 0.21/0.22 c 2390 11528 1009609 674544 80 1537 23 32 25 0.21/0.22 c 2400 11573 1013808 677361 80 1543 29 32 28 0.21/0.22 c 2410 11624 1018405 680439 80 1553 32 32 29 0.21/0.23 c 2420 11673 1022950 683217 80 1558 32 34 30 0.21/0.23 c 2430 11721 1027483 686300 80 1568 26 29 25 0.21/0.23 c 2431 11750 1030050 688135 80 1569 29 29 14 0.21/0.23 c 2440 11794 1034323 691625 80 1574 27 33 27 0.21/0.23 c 2450 11844 1039176 694980 80 1578 31 35 29 0.21/0.23 c 2460 11884 1044175 698137 80 1589 30 30 27 0.21/0.23 c 2470 11931 1048141 700834 80 1593 35 35 31 0.21/0.23 c 2480 11986 1054317 704092 80 1603 28 34 30 0.21/0.23 c 2490 12033 1059151 707337 80 1610 29 33 28 0.21/0.23 c 2500 12069 1062976 710157 80 1620 27 27 24 0.21/0.23 c 2510 12106 1066562 712660 80 1630 28 28 25 0.21/0.24 c 2520 12158 1071437 715805 80 1637 30 34 29 0.21/0.24 c 2530 12204 1075898 718761 80 1643 29 32 28 0.21/0.24 c 2540 12251 1079735 720927 80 1647 35 35 31 0.21/0.24 c 2550 12296 1084319 724212 80 1655 26 29 24 0.21/0.24 c 2560 12340 1088792 727420 80 1660 31 31 28 0.21/0.24 c 2570 12389 1093177 729914 80 1668 32 33 29 0.21/0.24 c 2580 12441 1097509 732449 80 1678 33 34 30 0.21/0.24 c 2590 12489 1101980 735230 80 1681 32 34 29 0.21/0.24 c 2600 12535 1105880 737678 80 1686 32 34 30 0.21/0.24 c 2610 12588 1110081 739805 80 1694 32 37 30 0.21/0.24 c 2620 12631 1114598 743081 80 1700 29 30 27 0.21/0.24 c 2630 12667 1118120 745419 80 1710 27 27 24 0.21/0.25 c 2640 12702 1122443 749492 80 1720 26 26 23 0.21/0.25 c 2650 12738 1126387 753273 80 1730 27 27 24 0.21/0.25 c 2660 12780 1130341 756381 80 1735 30 30 27 0.21/0.25 c 2670 12820 1134256 759494 80 1741 26 27 24 0.21/0.25 c 2680 12868 1138697 762904 80 1748 31 33 29 0.21/0.25 c 2690 12913 1143214 765928 80 1753 27 31 27 0.21/0.25 c 2700 12962 1147901 769359 80 1759 32 33 29 0.21/0.25 c 2710 13009 1152902 772168 80 1769 29 29 26 0.21/0.25 c 2720 13058 1157426 775446 80 1773 31 31 28 0.21/0.25 c 2730 13103 1161691 778116 80 1778 32 32 29 0.21/0.25 c 2740 13149 1165617 780845 80 1783 33 33 30 0.21/0.26 c 2750 13190 1169068 783618 80 1789 24 27 23 0.21/0.26 c 2760 13238 1173560 786515 80 1792 32 32 29 0.21/0.26 c 2770 13285 1177938 789512 80 1797 31 33 29 0.21/0.26 c 2771 13314 1180117 791151 80 1798 29 29 14 0.21/0.26 c 2780 13386 1185861 794170 80 1802 39 46 37 0.21/0.26 c 2790 13432 1189721 797335 80 1808 32 32 29 0.21/0.26 c 2800 13488 1193572 799851 80 1813 28 40 29 0.21/0.26 c 2810 13540 1197616 802261 80 1823 41 43 37 0.21/0.26 c 2820 13592 1201930 804987 80 1833 33 34 30 0.21/0.26 c 2830 13641 1206763 808780 80 1838 31 34 29 0.21/0.26 c 2840 13685 1210730 811158 80 1842 29 33 29 0.21/0.26 c 2850 13732 1215671 813895 80 1852 29 29 26 0.21/0.27 c 2860 13775 1219549 817392 80 1856 28 31 26 0.21/0.27 c 2870 13819 1223648 820137 80 1861 31 31 28 0.21/0.27 c 2880 13875 1227317 822622 80 1865 25 31 26 0.21/0.27 c 2890 13918 1231294 825864 80 1869 29 29 26 0.21/0.27 c 2900 13962 1235507 828557 80 1874 31 31 28 0.21/0.27 c 2910 14012 1240084 831645 80 1876 32 32 29 0.21/0.27 c 2920 14057 1244395 834332 80 1880 33 33 30 0.21/0.27 c 2930 14104 1248894 837248 80 1883 31 31 28 0.21/0.27 c 2940 14154 1253058 840154 80 1892 32 33 29 0.21/0.27 c 2950 14207 1258186 843361 80 1895 30 34 29 0.21/0.27 c 2960 14257 1262531 845845 80 1904 33 34 30 0.21/0.28 c 2970 14304 1266688 849010 80 1913 28 30 26 0.21/0.28 c 2980 14350 1271205 852009 80 1916 32 32 29 0.21/0.28 c 2990 14396 1275467 854775 80 1917 31 31 28 0.21/0.28 c 3000 14438 1279813 857550 80 1922 31 31 28 0.21/0.28 c 3010 14487 1284894 860909 80 1926 30 32 28 0.21/0.28 c 3020 14531 1289209 863975 80 1930 31 32 28 0.21/0.28 c 3030 14577 1293547 866705 80 1933 31 31 28 0.21/0.28 c 3040 14621 1297081 868949 80 1938 31 31 28 0.21/0.28 c 3050 14669 1301793 872417 80 1943 28 31 26 0.21/0.28 c 3060 14717 1306258 874925 80 1952 30 31 28 0.21/0.28 c 3070 14763 1310563 877727 80 1956 31 31 28 0.21/0.29 c 3080 14816 1314842 880402 80 1967 34 34 30 0.21/0.29 c 3090 14851 1318785 884188 80 1977 26 26 23 0.21/0.29 c 3100 14898 1323241 887137 80 1980 30 31 27 0.21/0.29 c 3110 14947 1328184 890552 80 1985 33 34 30 0.21/0.29 c 3120 14982 1331982 893970 80 1995 26 26 23 0.21/0.29 c 3130 15027 1336240 896698 80 1997 31 31 28 0.21/0.29 c 3140 15075 1340888 899855 80 2004 32 33 29 0.21/0.29 c 3142 15109 1343845 901966 80 2006 32 32 21 0.21/0.29 c 3150 15153 1348219 904767 80 2011 33 33 29 0.21/0.29 c 3160 15198 1352440 907567 80 2013 31 31 28 0.21/0.29 c 3170 15242 1357086 910684 80 2018 31 31 28 0.21/0.30 c 3180 15288 1361407 913536 80 2020 31 31 28 0.21/0.30 c 3190 15332 1365630 916543 80 2025 31 31 28 0.21/0.30 c 3200 15377 1369885 919269 80 2028 31 31 28 0.21/0.30 c 3210 15421 1374078 922332 80 2033 31 31 28 0.21/0.30 c 3220 15466 1378386 925172 80 2035 31 31 28 0.21/0.30 c 3230 15509 1382120 927824 80 2042 31 31 28 0.21/0.30 c 3240 15552 1385451 930157 80 2048 28 29 25 0.21/0.30 c 3250 15621 1390497 932840 80 2052 25 39 30 0.21/0.30 c 3260 15666 1394454 935451 80 2055 32 34 29 0.21/0.30 c 3270 15708 1398355 938604 80 2058 27 27 24 0.21/0.30 c 3280 15778 1403448 941351 80 2061 25 39 30 0.21/0.30 c 3290 15818 1406442 943469 80 2065 26 29 24 0.21/0.31 c 3300 15859 1409791 945754 80 2066 31 31 28 0.21/0.31 c 3310 15900 1413420 948149 80 2068 31 31 28 0.21/0.31 c 3320 15941 1417269 951176 80 2072 30 30 27 0.21/0.31 c 3330 15988 1421054 953646 80 2076 28 30 26 0.21/0.31 c 3340 16034 1425019 956607 80 2081 29 32 28 0.21/0.31 c 3350 16080 1428817 959003 80 2085 27 29 25 0.21/0.31 c 3360 16123 1432363 961416 80 2090 30 30 27 0.21/0.31 c 3370 16169 1436546 964617 80 2096 30 33 29 0.21/0.31 c 3380 16213 1440715 967341 80 2097 31 31 28 0.31/0.31 c 3390 16258 1445275 970296 80 2102 31 32 28 0.31/0.31 c 3400 16302 1449381 973062 80 2107 31 31 28 0.31/0.31 c 3410 16343 1453423 976099 80 2112 28 28 25 0.31/0.32 c 3420 16385 1457137 979990 80 2118 26 27 23 0.31/0.32 c 3430 16418 1460943 983338 80 2128 24 24 21 0.31/0.32 c 3440 16460 1464602 986023 80 2132 31 31 28 0.31/0.32 c 3450 16501 1468467 989143 80 2136 27 27 24 0.31/0.32 c 3460 16556 1472843 991621 80 2142 36 38 33 0.31/0.32 c 3470 16600 1476729 994367 80 2148 33 33 30 0.31/0.32 c 3480 16649 1480636 996865 80 2151 29 30 26 0.31/0.32 c 3490 16695 1484601 999274 80 2155 31 32 29 0.31/0.32 c 3500 16735 1488109 1002084 80 2160 27 27 24 0.31/0.32 c 3510 16770 1491929 1005279 80 2170 26 26 23 0.31/0.32 c 3520 16814 1496060 1008039 80 2175 31 31 28 0.31/0.32 c 3530 16854 1499924 1010979 80 2178 28 29 25 0.31/0.33 c 3540 16898 1503472 1014540 80 2187 27 27 24 0.31/0.33 c 3550 16946 1507772 1017251 80 2192 30 30 27 0.31/0.33 c 3551 16976 1510144 1018986 80 2193 30 30 15 0.31/0.33 c 3560 17020 1514157 1022480 80 2199 30 31 27 0.31/0.33 c 3570 17067 1518330 1025629 80 2203 30 33 29 0.31/0.33 c 3580 17114 1522373 1028292 80 2210 29 31 26 0.31/0.33 c 3590 17157 1525940 1030758 80 2215 31 31 28 0.31/0.33 c 3600 17203 1529473 1033241 80 2217 30 30 27 0.31/0.33 c 3610 17248 1533396 1035966 80 2223 29 32 28 0.31/0.33 c 3620 17293 1537183 1038693 80 2227 28 28 25 0.31/0.33 conflict 62lvl : 29 bt28-2521:0(1812)X325831 0.31/0.33 c 3630 17338 1542392 1043595 80 2232 28 31 26 0.31/0.33 c 3640 17379 1545965 1046131 80 2236 30 30 27 0.31/0.34 c 3650 17423 1550386 1049870 80 2246 26 26 23 0.31/0.34 c 3660 17473 1555099 1052765 80 2251 30 32 28 0.31/0.34 c 3670 17519 1559422 1055620 80 2256 31 31 28 0.31/0.34 c 3680 17566 1564310 1059730 80 2262 28 31 26 0.31/0.34 c 3690 17609 1567758 1062545 80 2268 27 29 25 0.31/0.34 c 3700 17655 1572086 1065316 80 2271 31 31 28 0.31/0.34 c 3710 17694 1575783 1068248 80 2276 29 29 26 0.31/0.34 c 3720 17739 1579513 1070869 80 2279 28 28 25 0.31/0.34 c 3730 17785 1583982 1074199 80 2285 30 30 27 0.31/0.34 c 3740 17823 1588540 1077709 80 2295 29 29 26 0.31/0.34 c 3750 17868 1592300 1080647 80 2300 32 32 29 0.31/0.34 c 3760 17918 1596309 1083728 80 2310 30 31 28 0.31/0.35 c 3770 17964 1600705 1087135 80 2313 31 31 28 0.31/0.35 c 3780 18004 1604086 1089479 80 2315 30 30 27 0.31/0.35 c 3790 18049 1608328 1092242 80 2318 31 31 28 0.31/0.35 c 3800 18094 1612713 1095268 80 2322 29 31 28 0.31/0.35 c 3810 18132 1617474 1098406 80 2332 29 29 26 0.31/0.35 c 3820 18170 1621249 1101337 80 2337 28 28 25 0.31/0.35 c 3830 18213 1624836 1103838 80 2340 28 28 25 0.31/0.35 c 3840 18257 1629203 1106949 80 2344 30 30 27 0.31/0.35 c 3850 18302 1633484 1109714 80 2346 31 31 28 0.31/0.35 c 3860 18348 1637955 1112843 80 2350 31 31 28 0.31/0.35 c 3870 18386 1642526 1115647 80 2360 29 29 26 0.31/0.36 c 3880 18435 1646793 1118384 80 2363 32 32 29 0.31/0.36 c 3890 18477 1649854 1120487 80 2367 26 30 26 0.31/0.36 c 3900 18524 1654510 1123914 80 2371 28 31 27 0.31/0.36 c 3910 18569 1658643 1126871 80 2376 30 33 28 0.31/0.36 c 3920 18614 1663027 1129882 80 2378 29 29 26 0.31/0.36 c 3930 18656 1666630 1132276 80 2383 30 30 27 0.31/0.36 c 3940 18702 1670551 1134799 80 2385 28 28 25 0.31/0.36 c 3950 18746 1674703 1137487 80 2386 31 31 28 0.31/0.36 c 3960 18785 1678557 1140690 80 2390 28 28 25 0.31/0.36 c 3970 18829 1682223 1143245 80 2394 28 28 25 0.31/0.36 c 3980 18871 1686001 1145834 80 2397 29 31 27 0.31/0.36 c 3990 18913 1689892 1148811 80 2402 27 27 24 0.31/0.36 c 4000 18972 1695350 1152032 80 2411 32 36 31 0.31/0.37 c 4001 19000 1697807 1153616 80 2412 28 28 14 0.31/0.37 c 4010 19043 1701754 1156247 80 2417 31 31 27 0.31/0.37 c 4020 19093 1706031 1158684 80 2422 29 33 28 0.31/0.37 c 4030 19135 1709594 1160912 80 2428 30 32 28 0.31/0.37 c 4040 19179 1713637 1163667 80 2432 29 29 26 0.31/0.37 c 4050 19245 1718160 1166205 80 2437 33 43 34 0.31/0.37 c 4060 19280 1722670 1170073 80 2447 26 26 23 0.31/0.37 c 4070 19327 1726912 1172615 80 2450 32 32 29 0.31/0.37 c 4080 19373 1730085 1174671 80 2454 32 32 29 0.31/0.37 c 4090 19420 1733809 1176822 80 2464 35 38 34 0.31/0.37 c 4100 19463 1737516 1179087 80 2468 30 32 28 0.31/0.37 c 4110 19514 1741449 1182304 80 2475 27 27 24 0.31/0.37 c 4120 19559 1745394 1184691 80 2480 32 32 29 0.31/0.38 c 4130 19609 1749114 1187430 80 2485 27 27 24 0.31/0.38 c 4140 19655 1753188 1189892 80 2488 32 32 29 0.31/0.38 c 4150 19706 1756765 1192082 80 2493 27 27 24 0.31/0.38 c 4160 19749 1760465 1194237 80 2497 30 32 28 0.31/0.38 c 4170 19799 1764353 1197500 80 2504 26 26 23 0.31/0.38 c 4180 19843 1768255 1199850 80 2508 32 32 29 0.31/0.38 c 4190 19893 1771828 1201787 80 2514 27 27 24 0.31/0.38 c 4200 19938 1775801 1204050 80 2516 32 32 29 0.31/0.38 c 4210 19982 1778686 1205881 80 2520 31 32 28 0.31/0.38 c 4220 20021 1783424 1209289 80 2529 28 30 25 0.31/0.38 c 4230 20066 1787238 1211605 80 2534 32 32 29 0.31/0.38 c 4240 20115 1790910 1214327 80 2539 26 26 23 0.31/0.38 c 4250 20161 1795046 1216958 80 2542 31 32 28 0.31/0.39 c 4260 20206 1798962 1219666 80 2547 32 32 29 0.31/0.39 c 4270 20252 1803210 1222671 80 2549 30 32 28 0.31/0.39 c 4280 20294 1807064 1225341 80 2552 29 31 27 0.31/0.39 c 4290 20342 1810458 1227638 80 2555 27 27 24 0.31/0.39 c 4300 20384 1814265 1230164 80 2557 31 32 28 0.31/0.39 c 4310 20428 1819340 1234045 80 2563 30 30 27 0.31/0.39 c 4320 20479 1823635 1236580 80 2568 30 34 29 0.31/0.39 c 4330 20521 1827466 1238897 80 2570 31 32 28 0.31/0.39 c 4340 20566 1831272 1241364 80 2576 33 34 30 0.31/0.39 c 4350 20609 1834888 1243967 80 2579 28 28 25 0.31/0.39 c 4360 20653 1838856 1246483 80 2581 31 32 28 0.31/0.39 c 4370 20694 1842574 1248997 80 2583 28 31 27 0.31/0.40 c 4380 20743 1846876 1251676 80 2585 34 34 30 0.31/0.40 c 4390 20784 1850460 1254198 80 2588 26 28 24 0.31/0.40 c 4400 20829 1854201 1256458 80 2592 32 32 29 0.31/0.40 c 4410 20878 1857498 1258340 80 2597 27 27 24 0.31/0.40 c 4420 20921 1861258 1260542 80 2598 32 32 29 0.31/0.40 c 4430 20963 1865227 1263207 80 2602 30 30 27 0.31/0.40 c 4440 21008 1868645 1265509 80 2607 31 32 28 0.31/0.40 c 4450 21052 1872691 1267965 80 2609 32 33 29 0.31/0.40 c 4460 21100 1877128 1270937 80 2613 32 33 29 0.31/0.40 c 4470 21149 1880595 1273128 80 2619 27 27 24 0.31/0.40 c 4480 21192 1884201 1275268 80 2623 32 32 29 0.31/0.40 c 4490 21235 1887469 1277179 80 2627 30 31 27 0.31/0.40 c 4493 21275 1890365 1279194 80 2630 31 34 24 0.31/0.40 c 4500 21318 1893594 1281316 80 2634 30 32 26 0.31/0.41 c 4510 21365 1897591 1283805 80 2644 36 38 32 0.31/0.41 c 4520 21409 1901500 1286195 80 2646 32 32 29 0.31/0.41 c 4530 21455 1906087 1289448 80 2652 31 32 28 0.31/0.41 c 4540 21496 1909778 1292001 80 2656 30 30 27 0.31/0.41 c 4550 21541 1913026 1293976 80 2661 30 31 27 0.31/0.41 c 4560 21588 1917078 1296502 80 2671 36 38 32 0.31/0.41 c 4570 21632 1921219 1299086 80 2675 32 32 29 0.31/0.41 c 4580 21673 1926583 1302460 80 2685 32 32 29 0.31/0.41 c 4590 21718 1931004 1305349 80 2690 30 32 27 0.41/0.41 c 4600 21768 1935350 1307891 80 2695 29 33 28 0.41/0.41 c 4610 21811 1939642 1310940 80 2699 29 31 26 0.41/0.41 c 4620 21861 1943632 1313104 80 2704 33 36 31 0.41/0.42 c 4630 21902 1947290 1315706 80 2708 30 30 27 0.41/0.42 c 4640 21947 1950863 1318045 80 2714 30 30 27 0.41/0.42 c 4650 21992 1955473 1320826 80 2717 30 32 28 0.41/0.42 c 4660 22033 1960849 1323942 80 2727 32 32 29 0.41/0.42 c 4670 22078 1965171 1326849 80 2732 31 32 28 0.41/0.42 c 4680 22117 1970416 1330490 80 2742 30 30 27 0.41/0.42 c 4690 22162 1974521 1333025 80 2746 31 32 28 0.41/0.42 c 4700 22206 1977673 1334977 80 2750 30 31 27 0.41/0.42 c 4710 22254 1981022 1336760 80 2751 37 39 33 0.41/0.42 c 4720 22297 1985351 1339449 80 2753 29 32 28 0.41/0.42 c 4730 22340 1989282 1342203 80 2757 31 31 28 0.41/0.42 c 4740 22383 1993113 1345093 80 2762 27 28 25 0.41/0.42 c 4750 22427 1997343 1347776 80 2765 30 32 28 0.41/0.43 c 4760 22471 2001458 1350564 80 2768 31 32 28 0.41/0.43 c 4770 22514 2005685 1353831 80 2773 29 30 26 0.41/0.43 c 4780 22557 2010084 1356897 80 2777 28 30 27 0.41/0.43 c 4790 22604 2014992 1359913 80 2781 31 32 29 0.41/0.43 c 4800 22650 2020285 1362722 80 2791 32 36 29 0.41/0.43 c 4810 22693 2024247 1365601 80 2795 27 30 25 0.41/0.43 c 4820 22740 2028226 1368442 80 2801 26 32 26 0.41/0.43 c 4830 22785 2032531 1371507 80 2804 29 32 27 0.41/0.43 c 4840 22827 2036411 1374219 80 2808 30 30 27 0.41/0.43 c 4850 22868 2040028 1376971 80 2813 28 28 25 0.41/0.43 c 4860 22913 2044119 1379401 80 2819 32 32 29 0.41/0.44 c 4870 22954 2047652 1381986 80 2824 28 28 25 0.41/0.44 c 4880 22999 2052117 1384880 80 2827 29 32 28 0.41/0.44 c 4890 23039 2057402 1387955 80 2837 31 31 28 0.41/0.44 c 4900 23085 2061778 1390868 80 2841 30 32 28 0.41/0.44 c 4910 23126 2065292 1393485 80 2846 28 28 25 0.41/0.44 c 4920 23172 2069783 1396289 80 2851 32 32 29 0.41/0.44 c 4930 23223 2074540 1398746 80 2859 32 36 30 0.41/0.44 c 4940 23266 2078254 1400881 80 2861 32 32 29 0.41/0.44 c 4950 23306 2081695 1403090 80 2863 30 30 27 0.41/0.44 c 4960 23352 2085923 1405518 80 2867 32 32 29 0.41/0.44 c 4970 23395 2090092 1408227 80 2873 30 32 28 0.41/0.44 c 4980 23441 2094105 1410483 80 2879 30 33 28 0.41/0.45 c 4990 23487 2098259 1413044 80 2883 32 32 29 0.41/0.45 c 5035 23638 2110313 1418347 80 2890 33 40 35 0.41/0.46 c 5631 24420 2187881 1482044 80 2921 30 30 29 0.41/0.47 c 6286 25465 2280737 1555345 80 2938 28 28 27 0.41/0.48 c 7006 28477 2421448 1583128 80 2950 35 47 43 0.41/0.49 c 7798 29507 2512872 1656222 80 2983 29 30 29 0.41/0.50 c 8669 30864 2609672 1680361 80 3030 28 35 32 0.41/0.51 c 9627 32072 2711331 1751761 80 3054 29 34 33 0.51/0.52 c 10680 33827 2837870 1798454 80 3103 33 35 34 0.51/0.54 c 11838 35398 2991004 1900720 80 3151 30 32 31 0.51/0.55 c 13111 37169 3082660 1945647 80 3173 30 31 30 0.51/0.57 c 14511 39847 3323850 2053304 80 3209 33 44 43 0.51/0.59 c 16051 41801 3517572 2201031 80 3250 29 32 30 0.60/0.61 c 17745 44499 3681896 2288518 80 3261 26 34 32 0.60/0.62 c 19608 46939 3897520 2370882 80 3300 30 38 35 0.60/0.65 c 21657 50557 4190187 2478958 80 3377 33 37 35 0.60/0.68 c 23910 53673 4441444 2674030 80 3418 30 32 31 0.69/0.75 c 26388 57936 5078204 3065588 80 3472 24 34 30 0.69/0.78 c 29113 62651 5486165 3238710 80 3527 30 40 34 0.79/0.82 c 32110 68203 5843915 3373797 80 3567 31 34 33 0.79/0.86 c 35406 77727 6439771 3508343 80 3621 28 42 36 0.89/0.90 c 39031 82674 6847447 3722478 80 3666 34 36 35 0.89/0.95 c 43018 88588 7344670 4018161 80 3717 32 36 34 0.89/1.00 c 47403 96617 8066793 4234600 80 3752 31 45 37 1.00/1.05 c 52226 103276 8638786 4566863 80 3772 33 35 34 1.10/1.15 c 57531 113697 9819176 5229767 80 3863 31 38 33 1.19/1.23 c 63366 122786 10872207 5620526 80 3914 33 46 38 1.29/1.30 c 69784 132683 11606297 5971794 80 3968 33 36 35 1.39/1.45 c 76843 148618 13327763 6880741 80 4022 26 46 36 1.49/1.53 c 84607 161823 14189285 7227732 80 4066 33 36 35 1.49/1.59 c 93147 178994 15047730 7402554 80 4122 32 36 34 1.59/1.68 c 102541 193611 16013492 7805480 80 4169 33 37 35 1.79/1.80 c 112874 212516 17659418 8237154 80 4268 35 42 39 2.00/2.03 c 124240 232917 19668473 9327213 80 4328 34 36 34 2.19/2.23 c 136742 257049 21543219 10170578 80 4366 31 36 34 2.29/2.39 c 150494 281632 23563050 10920556 80 4386 31 38 35 2.49/2.57 c 165621 304728 25201603 11771743 80 4433 33 36 33 2.79/2.81 c 182260 324109 27943826 13134574 80 4477 32 33 32 3.19/3.21 c 200562 354491 31173829 15071155 80 4526 33 35 34 3.49/3.50 c 220694 391172 34719169 16150426 80 4571 32 39 35 3.89/3.99 c 242839 428400 38682586 18496946 80 4607 34 35 34 4.19/4.27 c 267198 469326 42373670 19759243 80 4645 31 43 36 4.49/4.54 c 293992 517507 45353364 21332008 80 4710 31 36 33 4.79/4.89 c 323465 562883 50037362 23032769 80 4744 32 42 37 5.19/5.26 c 355885 614478 53615984 24855360 80 4846 31 36 33 5.69/5.75 c 391547 682117 59881394 27057493 80 4926 30 43 37 6.10/6.14 c 430775 736379 63493946 29761229 80 4967 31 35 32 6.59/6.64 c 473925 801931 67918649 33687932 80 4999 31 36 33 7.49/7.58 c 521390 880042 79575696 38777922 80 5045 28 38 36 8.00/8.04 c 573601 957097 84133869 42306308 80 5071 32 36 34 8.89/8.97 c 631033 1057627 94815458 47401049 80 5140 30 44 36 9.39/9.46 c 694208 1152979 99788023 50149836 80 5183 32 40 35 10.89/10.96 c 763700 1314252 115752872 57101069 80 5229 27 44 34 12.79/12.82 c 840141 1528717 136270077 66860898 80 5284 26 42 35 13.39/13.47 c 924226 1660645 143864319 70277745 80 5341 31 38 34 14.69/14.76 c 1016719 1802234 158038811 78381298 80 5406 26 39 36 15.59/15.63 c 1118461 1975530 168228732 82229233 80 5458 32 38 36 17.10/17.12 c 1230377 2166316 186752249 88210145 80 5522 25 43 40 18.10/18.16 c 1353484 2389482 199167282 92723652 80 5571 31 37 35 19.00/19.06 c 1488901 2607903 210453239 97570390 80 5659 32 39 35 21.10/21.13 c 1637859 2822609 232688955 117193767 80 5689 32 36 34 22.79/22.87 c 1801712 3076967 249979990 128090303 80 5757 31 37 34 25.79/25.81 c 1981950 3348345 277477074 152456862 80 5824 31 37 33 28.89/28.94 c 2180211 3663398 306014810 171289224 80 5863 28 40 30 34.89/34.97 c 2398298 4148478 356278761 214128061 80 5965 29 38 34 39.10/39.16 c 2638193 4615471 397892260 241244429 80 6055 28 35 33 43.19/43.25 c 2902077 5016566 436792767 271720295 80 6123 29 39 33 47.29/47.39 c 3192349 5469745 480562101 294297041 80 6195 29 40 33 51.39/51.42 c 3511648 6063486 534338637 312865397 80 6286 28 47 40 58.49/58.58 c 3862876 6661585 604112462 363337647 80 6363 25 48 30 66.69/66.74 c 4249226 7422785 694782060 408463312 80 6383 25 44 35 73.79/73.84 c 4674211 8005695 761732927 457039049 80 6434 28 33 31 78.79/78.82 c 5141694 8878810 842429095 481676149 80 6578 30 52 48 85.19/85.28 c 5655925 9557599 900205270 531309829 80 6655 29 35 33 92.69/92.74 c 6221579 10312247 1001580193 572272209 80 6759 25 45 38 105.49/105.58 c 6843798 11404015 1124589947 647540321 80 6850 27 35 31 124.00/124.05 c 7528238 12786455 1266709627 765090424 80 6907 25 33 28 138.00/138.09 c 8281122 13856991 1391776138 873309974 80 6998 25 32 30 147.00/147.03 c 9109294 15202320 1516707520 912373015 80 7125 30 45 38 168.29/168.36 c 10020283 16607820 1659442540 1049962645 80 7196 25 34 28 179.10/179.18 c 11022370 18383749 1789699341 1109860985 80 7267 29 46 36 189.30/189.34 c 12124665 20452600 1933360638 1146192959 80 7346 28 48 42 223.20/223.23 c 13337189 23033763 2188278693 1352984825 80 7438 24 36 27 249.60/249.64 c 14670965 25708283 2491079044 1484174567 80 7526 32 42 40 271.70/271.77 c 16138118 28098596 2727989053 1653282436 80 7568 25 45 37 289.20/289.28 c 17751986 31408068 2941181966 1724278297 80 7777 31 45 39 321.40/321.46 c 19527240 34107970 3257743420 1913931612 80 7888 25 36 30 352.61/352.65 c 21480019 37258518 3551352651 2155743291 80 7988 24 33 30 375.52/375.59 c 23628075 40285749 3866832187 2287296548 80 8116 33 44 40 412.72/412.73 c 25990936 44682676 4241255811 2481077684 80 8216 23 34 28 437.62/437.68 c 28590083 48401669 4520361182 2695486531 80 8314 32 38 37 475.92/475.98 c 31449144 52022237 4954405446 2907558528 80 8417 23 44 32 521.43/521.40 c 34594111 57126147 5410688884 3232436251 80 8528 25 31 30 578.93/578.93 c 38053574 62068989 5946805403 3681048343 80 8627 27 36 30 627.73/627.75 c 41858983 66973080 6536319539 3961011126 80 8714 31 50 37 716.34/716.30 c 46044932 75025824 7307340792 4453152162 80 8791 24 30 28 833.94/833.99 c 50649475 82306606 8365684914 5310185756 80 8864 22 34 28 955.85/955.87 c 55714472 90996205 9349469867 6067154807 80 8980 24 34 27 1094.17/1094.19 c 61285968 99108648 10582823739 7188457310 80 9062 23 34 29 1162.26/1162.27 c 67414613 108853926 11442722777 7519272313 80 9151 34 50 39 1290.37/1290.35 c 74156122 118645293 12718021737 8491129874 80 9260 25 35 29 1360.09/1360.05 c 81571781 129134898 13489703100 8854877934 80 9334 27 32 31 1515.79/1515.71 c 89729005 140235574 14786991315 10090810927 80 9400 24 37 30 1664.40/1664.34 c 98701951 152449847 15996285790 10922788075 80 9476 28 35 31 1735.30/1735.23 c 108572191 167802401 16742842776 11261396152 80 9571 32 47 38 1820.81/1820.78 c 119429455 185489343 17899859377 11576480517 80 9655 34 49 44 2109.42/2109.37 c 131372445 210045921 20722582991 13320776207 80 9740 29 39 32 2343.54/2343.46 c 144509734 227374196 22625377310 14848639632 80 9830 27 41 31 2457.04/2456.92 c 158960751 247774919 24195504127 15307579019 80 9923 31 47 39 2520.05/2519.90 2520.05/2519.90 c *** INTERRUPTED *** 2520.05/2519.90 c restarts : 625 2520.05/2519.90 c conflicts : 162537594 (64498 /sec) 2520.05/2519.90 c decisions : 252602605 (100237 /sec) 2520.05/2519.90 c propagations : 15693159675 (6227342 /sec) 2520.05/2519.90 c root propagations : 234 2520.05/2519.90 c filter calls : 24699609033 (9801272 /sec) 2520.05/2519.90 c useless filter calls : 15984727146 (64 %) 2520.05/2519.90 c 2520.05/2519.90 c clauses : 72403 2520.05/2519.90 c SAT propagations : 3370 2520.05/2519.90 c SAT conflicts : 0 (1 learnts) 2520.05/2519.90 c Memory used : 33.45 MB 2520.05/2519.90 c CPU time : 2520.04 s 2520.05/2519.90 2520.05/2519.90 s UNKNOWN
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (15398 MiB free)
memory of node 1: 16384 MiB (15734 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4265995-1502583789/watcher-4265995-1502583789 -o /tmp/evaluation-result-4265995-1502583789/solver-4265995-1502583789 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node112-1502567254-23607 --watchdog 2580 cosoco -lc -model -restarts -sat HOME/instance-4265995-1502583789.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=27032, runsolver pid=27029
Current StackSize limit: 8192 KiB
[startup+0.100152 s]*
/proc/loadavg: 1.91 1.98 2.03 3/187 27033
/proc/meminfo: memFree=31875276/32770624 swapFree=67108860/67108860
[pid=27032] ppid=27029 vsize=33976 memory=9036 CPUtime=0.1 cores=1,3,5,7
/proc/27032/stat : 27032 (cosoco) R 27029 27032 23522 0 -1 4202496 1913 0 0 0 10 0 0 0 20 0 1 0 91466690 34791424 2259 33554432000 4194304 5972588 140730128784880 140730128781528 140319038110816 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 34324480 140730128786618 140730128786718 140730128786718 140730128789454 0
/proc/27032/statm: 8494 2259 843 435 0 1857 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 33976 KiB
Current children cumulated memory: 9036 KiB
[startup+0.209709 s]*
/proc/loadavg: 1.91 1.98 2.03 3/187 27033
/proc/meminfo: memFree=31875276/32770624 swapFree=67108860/67108860
[pid=27032] ppid=27029 vsize=33976 memory=9036 CPUtime=0.21 cores=1,3,5,7
/proc/27032/stat : 27032 (cosoco) R 27029 27032 23522 0 -1 4202496 1924 0 0 0 21 0 0 0 20 0 1 0 91466690 34791424 2259 33554432000 4194304 5972588 140730128784880 140730128781528 140319038110816 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 34324480 140730128786618 140730128786718 140730128786718 140730128789454 0
/proc/27032/statm: 8494 2259 843 435 0 1857 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 33976 KiB
Current children cumulated memory: 9036 KiB
[startup+0.308954 s]*
/proc/loadavg: 1.91 1.98 2.03 3/187 27033
/proc/meminfo: memFree=31874980/32770624 swapFree=67108860/67108860
[pid=27032] ppid=27029 vsize=33976 memory=9036 CPUtime=0.31 cores=1,3,5,7
/proc/27032/stat : 27032 (cosoco) R 27029 27032 23522 0 -1 4202496 1931 0 0 0 31 0 0 0 20 0 1 0 91466690 34791424 2259 33554432000 4194304 5972588 140730128784880 140730128781528 140319038110816 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 34324480 140730128786618 140730128786718 140730128786718 140730128789454 0
/proc/27032/statm: 8494 2259 843 435 0 1857 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 33976 KiB
Current children cumulated memory: 9036 KiB
[startup+0.700272 s]
/proc/loadavg: 1.91 1.98 2.03 3/187 27033
/proc/meminfo: memFree=31874980/32770624 swapFree=67108860/67108860
[pid=27032] ppid=27029 vsize=34108 memory=9036 CPUtime=0.69 cores=1,3,5,7
/proc/27032/stat : 27032 (cosoco) R 27029 27032 23522 0 -1 4202496 1951 0 0 0 69 0 0 0 20 0 1 0 91466690 34926592 2259 33554432000 4194304 5972588 140730128784880 140730128781528 5328496 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 34324480 140730128786618 140730128786718 140730128786718 140730128789454 0
/proc/27032/statm: 8527 2259 843 435 0 1890 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 34108 KiB
Current children cumulated memory: 9036 KiB
[startup+1.50027 s]
/proc/loadavg: 1.92 1.98 2.03 3/187 27033
/proc/meminfo: memFree=31874868/32770624 swapFree=67108860/67108860
[pid=27032] ppid=27029 vsize=34108 memory=9036 CPUtime=1.49 cores=1,3,5,7
/proc/27032/stat : 27032 (cosoco) R 27029 27032 23522 0 -1 4202496 1959 0 0 0 149 0 0 0 20 0 1 0 91466690 34926592 2259 33554432000 4194304 5972588 140730128784880 140730128782184 5312224 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 34324480 140730128786618 140730128786718 140730128786718 140730128789454 0
/proc/27032/statm: 8527 2259 843 435 0 1890 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 34108 KiB
Current children cumulated memory: 9036 KiB
[startup+3.10886 s]
/proc/loadavg: 1.92 1.98 2.03 3/187 27033
/proc/meminfo: memFree=31874884/32770624 swapFree=67108860/67108860
[pid=27032] ppid=27029 vsize=34108 memory=9244 CPUtime=3.1 cores=1,3,5,7
/proc/27032/stat : 27032 (cosoco) R 27029 27032 23522 0 -1 4202496 2407 0 0 0 310 0 0 0 20 0 1 0 91466690 34926592 2311 33554432000 4194304 5972588 140730128784880 140730128782184 5328722 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 34324480 140730128786618 140730128786718 140730128786718 140730128789454 0
/proc/27032/statm: 8527 2311 848 435 0 1890 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 34108 KiB
Current children cumulated memory: 9244 KiB
[startup+6.30027 s]
/proc/loadavg: 1.92 1.98 2.03 3/187 27033
/proc/meminfo: memFree=31874816/32770624 swapFree=67108860/67108860
[pid=27032] ppid=27029 vsize=34108 memory=9256 CPUtime=6.29 cores=1,3,5,7
/proc/27032/stat : 27032 (cosoco) R 27029 27032 23522 0 -1 4202496 2943 0 0 0 629 0 0 0 20 0 1 0 91466690 34926592 2314 33554432000 4194304 5972588 140730128784880 140730128782184 5321071 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 34324480 140730128786618 140730128786718 140730128786718 140730128789454 0
/proc/27032/statm: 8527 2314 848 435 0 1890 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 34108 KiB
Current children cumulated memory: 9256 KiB
[startup+12.7003 s]
/proc/loadavg: 1.93 1.98 2.03 3/187 27033
/proc/meminfo: memFree=31874816/32770624 swapFree=67108860/67108860
[pid=27032] ppid=27029 vsize=34108 memory=9284 CPUtime=12.69 cores=1,3,5,7
/proc/27032/stat : 27032 (cosoco) R 27029 27032 23522 0 -1 4202496 3503 0 0 0 1269 0 0 0 20 0 1 0 91466690 34926592 2321 33554432000 4194304 5972588 140730128784880 140730128782184 4995408 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 34324480 140730128786618 140730128786718 140730128786718 140730128789454 0
/proc/27032/statm: 8527 2321 848 435 0 1890 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 34108 KiB
Current children cumulated memory: 9284 KiB
[startup+25.5003 s]
/proc/loadavg: 1.94 1.98 2.03 3/187 27033
/proc/meminfo: memFree=31874940/32770624 swapFree=67108860/67108860
[pid=27032] ppid=27029 vsize=34108 memory=9328 CPUtime=25.49 cores=1,3,5,7
/proc/27032/stat : 27032 (cosoco) R 27029 27032 23522 0 -1 4202496 4434 0 0 0 2549 0 0 0 20 0 1 0 91466690 34926592 2332 33554432000 4194304 5972588 140730128784880 140730128782184 5312315 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 34324480 140730128786618 140730128786718 140730128786718 140730128789454 0
/proc/27032/statm: 8527 2332 848 435 0 1890 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 34108 KiB
Current children cumulated memory: 9328 KiB
[startup+51.1088 s]
/proc/loadavg: 1.96 1.99 2.03 3/187 27033
/proc/meminfo: memFree=31875148/32770624 swapFree=67108860/67108860
[pid=27032] ppid=27029 vsize=34248 memory=9360 CPUtime=51.1 cores=1,3,5,7
/proc/27032/stat : 27032 (cosoco) R 27029 27032 23522 0 -1 4202496 5188 0 0 0 5110 0 0 0 20 0 1 0 91466690 35069952 2340 33554432000 4194304 5972588 140730128784880 140730128782184 5099616 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 34324480 140730128786618 140730128786718 140730128786718 140730128789454 0
/proc/27032/statm: 8562 2340 848 435 0 1925 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 34248 KiB
Current children cumulated memory: 9360 KiB
[startup+102.3 s]
/proc/loadavg: 2.47 2.12 2.08 3/188 27042
/proc/meminfo: memFree=31874388/32770624 swapFree=67108860/67108860
[pid=27032] ppid=27029 vsize=34248 memory=9364 CPUtime=102.29 cores=1,3,5,7
/proc/27032/stat : 27032 (cosoco) R 27029 27032 23522 0 -1 4202496 5812 0 0 0 10229 0 0 0 20 0 1 0 91466690 35069952 2341 33554432000 4194304 5972588 140730128784880 140730128782184 5320973 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 34324480 140730128786618 140730128786718 140730128786718 140730128789454 0
/proc/27032/statm: 8562 2341 848 435 0 1925 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 34248 KiB
Current children cumulated memory: 9364 KiB
[startup+162.3 s]
/proc/loadavg: 2.17 2.10 2.07 3/188 27043
/proc/meminfo: memFree=31874520/32770624 swapFree=67108860/67108860
[pid=27032] ppid=27029 vsize=34248 memory=9376 CPUtime=162.29 cores=1,3,5,7
/proc/27032/stat : 27032 (cosoco) R 27029 27032 23522 0 -1 4202496 6377 0 0 0 16229 0 0 0 20 0 1 0 91466690 35069952 2344 33554432000 4194304 5972588 140730128784880 140730128782184 4913729 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 34324480 140730128786618 140730128786718 140730128786718 140730128789454 0
/proc/27032/statm: 8562 2344 848 435 0 1925 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 34248 KiB
Current children cumulated memory: 9376 KiB
[startup+222.3 s]
/proc/loadavg: 2.06 2.08 2.07 3/188 27044
/proc/meminfo: memFree=31874148/32770624 swapFree=67108860/67108860
[pid=27032] ppid=27029 vsize=34248 memory=9384 CPUtime=222.3 cores=1,3,5,7
/proc/27032/stat : 27032 (cosoco) R 27029 27032 23522 0 -1 4202496 6967 0 0 0 22230 0 0 0 20 0 1 0 91466690 35069952 2346 33554432000 4194304 5972588 140730128784880 140730128782184 5254936 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 34324480 140730128786618 140730128786718 140730128786718 140730128789454 0
/proc/27032/statm: 8562 2346 848 435 0 1925 0
Current children cumulated CPU time: 222.3 s
Current children cumulated vsize: 34248 KiB
Current children cumulated memory: 9384 KiB
[startup+282.3 s]
/proc/loadavg: 2.02 2.07 2.06 3/188 27045
/proc/meminfo: memFree=31874016/32770624 swapFree=67108860/67108860
[pid=27032] ppid=27029 vsize=34248 memory=9400 CPUtime=282.3 cores=1,3,5,7
/proc/27032/stat : 27032 (cosoco) R 27029 27032 23522 0 -1 4202496 6997 0 0 0 28230 0 0 0 20 0 1 0 91466690 35069952 2350 33554432000 4194304 5972588 140730128784880 140730128782184 4995525 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 34324480 140730128786618 140730128786718 140730128786718 140730128789454 0
/proc/27032/statm: 8562 2350 848 435 0 1925 0
Current children cumulated CPU time: 282.3 s
Current children cumulated vsize: 34248 KiB
Current children cumulated memory: 9400 KiB
[startup+342.3 s]
/proc/loadavg: 2.01 2.06 2.06 3/188 27046
/proc/meminfo: memFree=31874388/32770624 swapFree=67108860/67108860
[pid=27032] ppid=27029 vsize=34248 memory=9404 CPUtime=342.31 cores=1,3,5,7
/proc/27032/stat : 27032 (cosoco) R 27029 27032 23522 0 -1 4202496 7507 0 0 0 34230 1 0 0 20 0 1 0 91466690 35069952 2351 33554432000 4194304 5972588 140730128784880 140730128782184 5242060 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 34324480 140730128786618 140730128786718 140730128786718 140730128789454 0
/proc/27032/statm: 8562 2351 848 435 0 1925 0
Current children cumulated CPU time: 342.31 s
Current children cumulated vsize: 34248 KiB
Current children cumulated memory: 9404 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/187 27047
/proc/meminfo: memFree=31874492/32770624 swapFree=67108860/67108860
[pid=27032] ppid=27029 vsize=34248 memory=9404 CPUtime=402.32 cores=1,3,5,7
/proc/27032/stat : 27032 (cosoco) R 27029 27032 23522 0 -1 4202496 7562 0 0 0 40231 1 0 0 20 0 1 0 91466690 35069952 2351 33554432000 4194304 5972588 140730128784880 140730128782184 4995572 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 34324480 140730128786618 140730128786718 140730128786718 140730128789454 0
/proc/27032/statm: 8562 2351 848 435 0 1925 0
Current children cumulated CPU time: 402.32 s
Current children cumulated vsize: 34248 KiB
Current children cumulated memory: 9404 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/187 27048
/proc/meminfo: memFree=31874368/32770624 swapFree=67108860/67108860
[pid=27032] ppid=27029 vsize=34248 memory=9416 CPUtime=462.32 cores=1,3,5,7
/proc/27032/stat : 27032 (cosoco) R 27029 27032 23522 0 -1 4202496 8097 0 0 0 46231 1 0 0 20 0 1 0 91466690 35069952 2354 33554432000 4194304 5972588 140730128784880 140730128782184 4995549 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 34324480 140730128786618 140730128786718 140730128786718 140730128789454 0
/proc/27032/statm: 8562 2354 848 435 0 1925 0
Current children cumulated CPU time: 462.32 s
Current children cumulated vsize: 34248 KiB
Current children cumulated memory: 9416 KiB
################
# More data... #
################
/proc/27032/statm: 8562 2366 848 435 0 1925 0
Current children cumulated CPU time: 1782.4 s
Current children cumulated vsize: 34248 KiB
Current children cumulated memory: 9464 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 27392
/proc/meminfo: memFree=31810944/32770624 swapFree=67108860/67108860
[pid=27032] ppid=27029 vsize=34248 memory=9464 CPUtime=1842.41 cores=1,3,5,7
/proc/27032/stat : 27032 (cosoco) R 27029 27032 23522 0 -1 4202496 13818 0 0 0 184240 1 0 0 20 0 1 0 91466690 35069952 2366 33554432000 4194304 5972588 140730128784880 140730128782184 5321541 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 34324480 140730128786618 140730128786718 140730128786718 140730128789454 0
/proc/27032/statm: 8562 2366 848 435 0 1925 0
Current children cumulated CPU time: 1842.41 s
Current children cumulated vsize: 34248 KiB
Current children cumulated memory: 9464 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 27401
/proc/meminfo: memFree=31809832/32770624 swapFree=67108860/67108860
[pid=27032] ppid=27029 vsize=34248 memory=9464 CPUtime=1902.41 cores=1,3,5,7
/proc/27032/stat : 27032 (cosoco) R 27029 27032 23522 0 -1 4202496 14069 0 0 0 190240 1 0 0 20 0 1 0 91466690 35069952 2366 33554432000 4194304 5972588 140730128784880 140730128782184 4995472 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 34324480 140730128786618 140730128786718 140730128786718 140730128789454 0
/proc/27032/statm: 8562 2366 848 435 0 1925 0
Current children cumulated CPU time: 1902.41 s
Current children cumulated vsize: 34248 KiB
Current children cumulated memory: 9464 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 27402
/proc/meminfo: memFree=31810104/32770624 swapFree=67108860/67108860
[pid=27032] ppid=27029 vsize=34248 memory=9464 CPUtime=1962.41 cores=1,3,5,7
/proc/27032/stat : 27032 (cosoco) R 27029 27032 23522 0 -1 4202496 14069 0 0 0 196240 1 0 0 20 0 1 0 91466690 35069952 2366 33554432000 4194304 5972588 140730128784880 140730128782184 5273173 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 34324480 140730128786618 140730128786718 140730128786718 140730128789454 0
/proc/27032/statm: 8562 2366 848 435 0 1925 0
Current children cumulated CPU time: 1962.41 s
Current children cumulated vsize: 34248 KiB
Current children cumulated memory: 9464 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 27403
/proc/meminfo: memFree=31810220/32770624 swapFree=67108860/67108860
[pid=27032] ppid=27029 vsize=34248 memory=9464 CPUtime=2022.42 cores=1,3,5,7
/proc/27032/stat : 27032 (cosoco) R 27029 27032 23522 0 -1 4202496 14312 0 0 0 202241 1 0 0 20 0 1 0 91466690 35069952 2366 33554432000 4194304 5972588 140730128784880 140730128782184 4908967 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 34324480 140730128786618 140730128786718 140730128786718 140730128789454 0
/proc/27032/statm: 8562 2366 848 435 0 1925 0
Current children cumulated CPU time: 2022.42 s
Current children cumulated vsize: 34248 KiB
Current children cumulated memory: 9464 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 27404
/proc/meminfo: memFree=31809784/32770624 swapFree=67108860/67108860
[pid=27032] ppid=27029 vsize=34248 memory=9464 CPUtime=2082.42 cores=1,3,5,7
/proc/27032/stat : 27032 (cosoco) R 27029 27032 23522 0 -1 4202496 14312 0 0 0 208241 1 0 0 20 0 1 0 91466690 35069952 2366 33554432000 4194304 5972588 140730128784880 140730128782184 5099616 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 34324480 140730128786618 140730128786718 140730128786718 140730128789454 0
/proc/27032/statm: 8562 2366 848 435 0 1925 0
Current children cumulated CPU time: 2082.42 s
Current children cumulated vsize: 34248 KiB
Current children cumulated memory: 9464 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 27405
/proc/meminfo: memFree=31809752/32770624 swapFree=67108860/67108860
[pid=27032] ppid=27029 vsize=34248 memory=9464 CPUtime=2142.42 cores=1,3,5,7
/proc/27032/stat : 27032 (cosoco) R 27029 27032 23522 0 -1 4202496 14813 0 0 0 214241 1 0 0 20 0 1 0 91466690 35069952 2366 33554432000 4194304 5972588 140730128784880 140730128782184 4995517 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 34324480 140730128786618 140730128786718 140730128786718 140730128789454 0
/proc/27032/statm: 8562 2366 848 435 0 1925 0
Current children cumulated CPU time: 2142.42 s
Current children cumulated vsize: 34248 KiB
Current children cumulated memory: 9464 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 27406
/proc/meminfo: memFree=31809616/32770624 swapFree=67108860/67108860
[pid=27032] ppid=27029 vsize=34248 memory=9464 CPUtime=2202.43 cores=1,3,5,7
/proc/27032/stat : 27032 (cosoco) R 27029 27032 23522 0 -1 4202496 14813 0 0 0 220242 1 0 0 20 0 1 0 91466690 35069952 2366 33554432000 4194304 5972588 140730128784880 140730128782184 4995525 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 34324480 140730128786618 140730128786718 140730128786718 140730128789454 0
/proc/27032/statm: 8562 2366 848 435 0 1925 0
Current children cumulated CPU time: 2202.43 s
Current children cumulated vsize: 34248 KiB
Current children cumulated memory: 9464 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 27407
/proc/meminfo: memFree=31809836/32770624 swapFree=67108860/67108860
[pid=27032] ppid=27029 vsize=34248 memory=9464 CPUtime=2262.43 cores=1,3,5,7
/proc/27032/stat : 27032 (cosoco) R 27029 27032 23522 0 -1 4202496 15025 0 0 0 226242 1 0 0 20 0 1 0 91466690 35069952 2366 33554432000 4194304 5972588 140730128784880 140730128782184 5329246 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 34324480 140730128786618 140730128786718 140730128786718 140730128789454 0
/proc/27032/statm: 8562 2366 848 435 0 1925 0
Current children cumulated CPU time: 2262.43 s
Current children cumulated vsize: 34248 KiB
Current children cumulated memory: 9464 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 27408
/proc/meminfo: memFree=31809560/32770624 swapFree=67108860/67108860
[pid=27032] ppid=27029 vsize=34248 memory=9464 CPUtime=2322.44 cores=1,3,5,7
/proc/27032/stat : 27032 (cosoco) R 27029 27032 23522 0 -1 4202496 15025 0 0 0 232243 1 0 0 20 0 1 0 91466690 35069952 2366 33554432000 4194304 5972588 140730128784880 140730128782184 5321052 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 34324480 140730128786618 140730128786718 140730128786718 140730128789454 0
/proc/27032/statm: 8562 2366 848 435 0 1925 0
Current children cumulated CPU time: 2322.44 s
Current children cumulated vsize: 34248 KiB
Current children cumulated memory: 9464 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 27409
/proc/meminfo: memFree=31809408/32770624 swapFree=67108860/67108860
[pid=27032] ppid=27029 vsize=34248 memory=9468 CPUtime=2382.44 cores=1,3,5,7
/proc/27032/stat : 27032 (cosoco) R 27029 27032 23522 0 -1 4202496 15570 0 0 0 238243 1 0 0 20 0 1 0 91466690 35069952 2367 33554432000 4194304 5972588 140730128784880 140730128782184 5328515 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 34324480 140730128786618 140730128786718 140730128786718 140730128789454 0
/proc/27032/statm: 8562 2367 848 435 0 1925 0
Current children cumulated CPU time: 2382.44 s
Current children cumulated vsize: 34248 KiB
Current children cumulated memory: 9468 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 27410
/proc/meminfo: memFree=31809372/32770624 swapFree=67108860/67108860
[pid=27032] ppid=27029 vsize=34248 memory=9468 CPUtime=2442.44 cores=1,3,5,7
/proc/27032/stat : 27032 (cosoco) R 27029 27032 23522 0 -1 4202496 15572 0 0 0 244243 1 0 0 20 0 1 0 91466690 35069952 2367 33554432000 4194304 5972588 140730128784880 140730128782184 5328777 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 34324480 140730128786618 140730128786718 140730128786718 140730128789454 0
/proc/27032/statm: 8562 2367 848 435 0 1925 0
Current children cumulated CPU time: 2442.44 s
Current children cumulated vsize: 34248 KiB
Current children cumulated memory: 9468 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 27419
/proc/meminfo: memFree=31808448/32770624 swapFree=67108860/67108860
[pid=27032] ppid=27029 vsize=34248 memory=9472 CPUtime=2502.44 cores=1,3,5,7
/proc/27032/stat : 27032 (cosoco) R 27029 27032 23522 0 -1 4202496 16047 0 0 0 250243 1 0 0 20 0 1 0 91466690 35069952 2368 33554432000 4194304 5972588 140730128784880 140730128782184 5094232 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 34324480 140730128786618 140730128786718 140730128786718 140730128789454 0
/proc/27032/statm: 8562 2368 848 435 0 1925 0
Current children cumulated CPU time: 2502.44 s
Current children cumulated vsize: 34248 KiB
Current children cumulated memory: 9472 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2519.9 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 27420
/proc/meminfo: memFree=31808324/32770624 swapFree=67108860/67108860
[pid=27032] ppid=27029 vsize=34248 memory=9472 CPUtime=2520.05 cores=1,3,5,7
/proc/27032/stat : 27032 (cosoco) R 27029 27032 23522 0 -1 4202496 16080 0 0 0 252004 1 0 0 20 0 1 0 91466690 35069952 2368 33554432000 4194304 5972588 140730128784880 140730128782184 5320575 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 34324480 140730128786618 140730128786718 140730128786718 140730128789454 0
/proc/27032/statm: 8562 2368 848 435 0 1925 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 34248 KiB
Current children cumulated memory: 9472 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2519.9 s]
# the end of solver process 27032 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2520.04 s, system=0.014 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2519.9 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 27420
/proc/meminfo: memFree=31808324/32770624 swapFree=67108860/67108860
[pid=27032] ppid=27029 vsize=34248 memory=9472 CPUtime=2520.05 cores=1,3,5,7
/proc/27032/stat : 27032 (cosoco) R 27029 27032 23522 0 -1 4202496 16080 0 0 0 252004 1 0 0 20 0 1 0 91466690 35069952 2368 33554432000 4194304 5972588 140730128784880 140730128782184 5320575 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 34324480 140730128786618 140730128786718 140730128786718 140730128789454 0
/proc/27032/statm: 8562 2368 848 435 0 1925 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 34248 KiB
Current children cumulated memory: 9472 KiB
Child status: 1
Real time (s): 2519.9
CPU time (s): 2520.06
CPU user time (s): 2520.04
CPU system time (s): 0.014
CPU usage (%): 100.006
Max. virtual memory (cumulated for all children) (KiB): 34248
Max. memory (cumulated for all children) (KiB): 9472
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2520.04
system time used= 0.014
maximum resident set size= 9540
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16117
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= 10
involuntary context switches= 887
# summary of solver processes directly reported to runsolver:
# pid: 27032
# total CPU time (s): 2520.06
# total CPU user time (s): 2520.04
# total CPU system time (s): 0.014
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.1453 second user time and 14.2643 second system time
The end
Begin job on node112 at 2017-08-13 02:08:50 IDJOB=4265995 IDBENCH=134531 IDSOLVER=2655 FILE ID=node112/4265995-1502583789 RUNJOBID= node112-1502567254-23607 PBS_JOBID= 20628283 Free space on /tmp= 61788 MiB SOLVER NAME= cosoco-sat 1.12 BENCH NAME= XCSP17/Blackhole/Blackhole-m1-s10/Blackhole-10-3-01.xml COMMAND LINE= cosoco -lc -model -restarts -sat BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4265995-1502583789/watcher-4265995-1502583789 -o /tmp/evaluation-result-4265995-1502583789/solver-4265995-1502583789 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node112-1502567254-23607 --watchdog 2580 cosoco -lc -model -restarts -sat HOME/instance-4265995-1502583789.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 4b3f242d4d7820c1a4b57bc20b9aba43 RANDOM SEED=1434741112 node112.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.24 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.24 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.24 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.24 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 31881220 kB MemAvailable: 32001644 kB Buffers: 85136 kB Cached: 335036 kB SwapCached: 0 kB Active: 349508 kB Inactive: 125920 kB Active(anon): 4964 kB Inactive(anon): 78212 kB Active(file): 344544 kB Inactive(file): 47708 kB Unevictable: 6280 kB Mlocked: 6280 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 2372 kB Writeback: 0 kB AnonPages: 61556 kB Mapped: 44156 kB Shmem: 25224 kB Slab: 113216 kB SReclaimable: 88016 kB SUnreclaim: 25200 kB KernelStack: 3296 kB PageTables: 5540 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 357724 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 4096 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 116096 kB DirectMap2M: 33429504 kB Free space on /tmp at the end= 61784 MiB End job on node112 at 2017-08-13 02:50:51