| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| R1: cosoco-sat 1.1 | ? (TO) | 2400.1 | 2401.41 |
| Name | SuperSolutions/SuperSolutions-Queens-s1/ SuperQueens-12.xml |
| MD5SUM | 94ecf309347a79215709974b71377e2d |
| Bench Category | CSP (decision problem) |
| Best result obtained on this benchmark | |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 100 |
| Number of constraints | 3725 |
| Number of domains | 1 |
| Minimum domain size | 50 |
| Maximum domain size | 50 |
| Distribution of domain sizes | [{"size":50,"count":100}] |
| Minimum variable degree | 50 |
| Maximum variable degree | 99 |
| Distribution of variable degrees | [{"degree":50,"count":50},{"degree":99,"count":50}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 2 |
| Distribution of constraint arities | [{"arity":2,"count":3725}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 3725 |
| Distribution of constraint types | [{"type":"intension","count":3725}] |
| Optimization problem | NO |
| Type of objective |
4.09/4.10 c intension x[0] != x[1] using generic constraint 4.09/4.10 c intension x[2] != x[3] using generic constraint 4.09/4.11 c intension x[4] != x[5] using generic constraint 4.09/4.11 c intension x[6] != x[7] using generic constraint 4.09/4.11 c intension x[8] != x[9] using generic constraint 4.09/4.11 c intension x[10] != x[11] using generic constraint 4.09/4.11 c intension x[12] != x[13] using generic constraint 4.09/4.11 c intension x[14] != x[15] using generic constraint 4.09/4.11 c intension x[16] != x[17] using generic constraint 4.09/4.11 c intension x[18] != x[19] using generic constraint 4.09/4.11 c intension x[20] != x[21] using generic constraint 4.09/4.11 c intension x[22] != x[23] using generic constraint 4.09/4.12 c intension x[24] != x[25] using generic constraint 4.09/4.12 c intension x[26] != x[27] using generic constraint 4.09/4.12 c intension x[28] != x[29] using generic constraint 4.09/4.12 c intension x[30] != x[31] using generic constraint 4.09/4.12 c intension x[32] != x[33] using generic constraint 4.09/4.12 c intension x[34] != x[35] using generic constraint 4.09/4.12 c intension x[36] != x[37] using generic constraint 4.09/4.12 c intension x[38] != x[39] using generic constraint 4.09/4.12 c intension x[40] != x[41] using generic constraint 4.09/4.12 c intension x[42] != x[43] using generic constraint 4.09/4.13 c intension x[44] != x[45] using generic constraint 4.09/4.13 c intension x[46] != x[47] using generic constraint 4.09/4.13 c intension x[48] != x[49] using generic constraint 4.09/4.13 c intension x[50] != x[51] using generic constraint 4.09/4.13 c intension x[52] != x[53] using generic constraint 4.09/4.13 c intension x[54] != x[55] using generic constraint 4.09/4.13 c intension x[56] != x[57] using generic constraint 4.09/4.13 c intension x[58] != x[59] using generic constraint 4.09/4.13 c intension x[60] != x[61] using generic constraint 4.09/4.13 c intension x[62] != x[63] using generic constraint 4.09/4.14 c intension x[64] != x[65] using generic constraint 4.09/4.14 c intension x[66] != x[67] using generic constraint 4.09/4.14 c intension x[68] != x[69] using generic constraint 4.09/4.14 c intension x[70] != x[71] using generic constraint 4.09/4.14 c intension x[72] != x[73] using generic constraint 4.09/4.14 c intension x[74] != x[75] using generic constraint 4.09/4.14 c intension x[76] != x[77] using generic constraint 4.09/4.14 c intension x[78] != x[79] using generic constraint 4.09/4.14 c intension x[80] != x[81] using generic constraint 4.09/4.14 c intension x[82] != x[83] using generic constraint 4.09/4.15 c intension x[84] != x[85] using generic constraint 4.09/4.15 c intension x[86] != x[87] using generic constraint 4.09/4.15 c intension x[88] != x[89] using generic constraint 4.09/4.15 c intension x[90] != x[91] using generic constraint 4.09/4.15 c intension x[92] != x[93] using generic constraint 4.09/4.15 c intension x[94] != x[95] using generic constraint 4.09/4.15 c intension x[96] != x[97] using generic constraint 4.09/4.15 c intension x[98] != x[99] using generic constraint 4.09/4.17 c SAT : Variables: 5000 -- Clauses: 122600 4.19/4.21 c root propagations : 0 4.19/4.21 c restarts enabled, print stats at every restarts 4.19/4.21 c 4.19/4.21 c 4.19/4.21 c 4.19/4.21 c This is cosoco 1.0 -- 4.19/4.21 c 4.19/4.21 c ========================================[ Problem Statistics ]=========================================== 4.19/4.21 c | 4.19/4.21 c | Parse time : 4.15 s 4.19/4.21 c | 4.19/4.21 c | Variables: 100 4.19/4.21 c | Domain Sizes: 50..50 4.19/4.21 c | 4.19/4.21 c | Constraints: 3725 4.19/4.21 c | Arity: 2..2 -- Binary: 3725 4.19/4.21 c | 4.19/4.21 c | Types: 4.19/4.21 c | (X != Y): 50 4.19/4.21 c | Intension: 3675 4.19/4.21 c | 4.19/4.21 c ========================================================================================================= 4.19/4.21 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 4.59/4.65 c 10 58 155139 7242 0 4 36 38 33 5.09/5.10 c 20 118 296258 13133 0 7 41 44 38 5.49/5.53 c 30 183 437489 20398 0 13 36 41 35 5.89/5.95 c 40 239 569734 25757 0 15 36 39 34 6.29/6.36 c 50 292 698694 31272 0 18 36 39 34 6.69/6.79 c 60 344 831957 37771 0 21 31 37 29 7.19/7.20 c 70 396 961854 43492 0 23 36 39 33 7.59/7.63 c 80 451 1095620 49600 0 24 37 41 35 7.99/8.05 c 90 506 1235734 56006 0 27 39 40 35 8.39/8.47 c 100 558 1365990 61872 0 31 36 39 34 8.79/8.87 c 101 596 1481293 65849 0 32 38 38 19 9.19/9.29 c 110 649 1622086 71843 0 36 36 38 33 9.68/9.71 c 120 702 1760322 77763 0 41 36 38 33 10.08/10.14 c 130 768 1909911 84603 0 43 39 45 38 10.48/10.57 c 140 817 2045812 90627 0 47 33 36 31 10.99/11.01 c 150 872 2192659 96885 0 50 34 35 31 11.38/11.43 c 160 938 2334651 103373 0 52 35 41 34 11.78/11.87 c 170 997 2481970 109793 0 57 38 40 35 12.19/12.29 c 180 1055 2626098 115591 0 60 39 42 36 12.68/12.73 c 190 1118 2779469 122453 0 63 36 39 34 13.08/13.15 c 200 1171 2914624 128355 0 65 35 40 34 13.49/13.59 c 210 1234 3068755 134867 0 69 37 42 35 13.89/13.99 c 211 1274 3187021 138959 0 70 40 40 20 14.30/14.40 c 220 1344 3327333 144668 0 75 39 44 37 14.79/14.82 c 230 1411 3468632 150936 0 77 35 44 35 15.19/15.23 c 240 1465 3603878 156413 0 80 37 39 34 15.59/15.65 c 250 1517 3733943 162032 0 84 35 38 32 15.99/16.06 c 260 1571 3872091 167896 0 87 37 40 35 16.39/16.50 c 270 1632 4024372 174594 0 90 40 42 37 16.89/16.92 c 280 1688 4162273 180650 0 95 37 38 34 17.29/17.35 c 290 1764 4317474 187616 0 101 36 43 34 17.69/17.78 c 300 1824 4459166 193245 0 106 43 45 39 18.18/18.20 c 310 1879 4597871 199496 0 109 36 38 33 18.58/18.62 c 320 1935 4735717 205124 0 112 39 42 36 18.98/19.06 c 330 1995 4885411 211824 0 115 39 41 35 19.38/19.46 c 332 2033 4998280 215959 0 117 37 37 24 19.79/19.87 c 340 2083 5130864 221721 0 119 35 37 32 20.18/20.28 c 350 2137 5265861 227755 0 122 35 41 35 20.68/20.70 c 360 2192 5406660 233801 0 128 36 38 33 21.08/21.13 c 370 2255 5555708 241199 0 129 34 40 33 21.48/21.55 c 380 2316 5697459 247446 0 132 40 41 37 21.88/21.97 c 390 2367 5828322 252811 0 134 35 37 32 22.28/22.39 c 400 2426 5976605 258942 0 138 37 39 34 22.68/22.79 c 410 2475 6107385 264635 0 141 36 39 33 23.19/23.22 c 420 2535 6253979 270627 0 144 37 41 35 23.58/23.64 c 430 2594 6394759 276778 0 146 37 40 34 23.98/24.07 c 440 2653 6536710 282652 0 150 38 40 35 24.38/24.48 c 450 2706 6667904 288138 0 156 37 39 34 24.88/24.90 c 460 2766 6816176 294584 0 158 38 41 36 25.28/25.31 c 465 2812 6944777 299610 0 160 37 39 31 25.67/25.72 c 470 2861 7076520 304537 0 162 38 40 32 26.07/26.14 c 480 2917 7216852 310498 0 166 36 39 34 26.48/26.56 c 490 2974 7359572 316563 0 168 39 41 36 26.87/26.98 c 500 3037 7503404 322540 0 170 42 44 39 27.37/27.40 c 510 3092 7645082 328131 0 173 37 39 34 27.77/27.82 c 520 3147 7777548 333575 0 174 37 39 34 28.17/28.26 c 530 3211 7932349 340657 0 178 35 41 34 28.58/28.69 c 540 3270 8073882 346825 0 179 36 38 34 29.07/29.12 c 550 3333 8215460 352999 0 184 35 43 34 29.47/29.55 c 560 3392 8357619 359377 0 187 34 40 33 29.87/29.97 c 570 3447 8500183 365300 0 189 35 39 33 30.37/30.40 c 580 3507 8641973 371349 0 192 37 42 36 30.78/30.85 c 590 3565 8789217 377934 0 195 35 38 33 31.17/31.27 c 600 3622 8926553 383521 0 199 35 37 32 31.67/31.70 c 610 3678 9074939 390313 0 205 36 38 33 32.07/32.11 c 611 3715 9191400 394413 0 206 37 37 18 32.47/32.54 c 620 3775 9338471 400939 0 211 40 41 36 32.87/32.96 c 630 3836 9476290 406588 0 218 38 43 36 33.37/33.40 c 640 3894 9617753 413503 0 221 34 39 32 33.77/33.83 c 650 3946 9751983 420192 0 224 33 36 30 34.18/34.25 c 660 4004 9889540 425850 0 228 38 40 35 34.57/34.67 c 670 4060 10027538 431564 0 231 35 39 33 34.97/35.09 c 680 4119 10169777 438016 0 235 36 41 34 35.47/35.51 c 690 4174 10306599 443739 0 240 37 39 35 35.87/35.93 c 700 4236 10446762 450513 0 244 37 41 35 36.28/36.35 c 710 4286 10573970 455959 0 247 35 37 32 36.67/36.76 c 720 4338 10706933 461676 0 250 36 38 33 37.07/37.19 c 730 4394 10847610 467378 0 253 35 39 33 37.57/37.62 c 740 4450 10992231 473629 0 257 37 39 34 37.96/38.05 c 750 4512 11140765 480929 0 258 36 40 34 38.36/38.46 c 760 4566 11271429 486949 0 262 33 38 31 38.76/38.89 c 770 4625 11413768 492982 0 265 34 38 32 39.16/39.28 c 771 4661 11524872 496948 0 266 36 36 18 39.67/39.70 c 780 4712 11661764 503251 0 270 34 37 32 40.07/40.12 c 790 4777 11805030 510034 0 272 39 42 36 40.47/40.53 c 800 4832 11937434 515439 0 276 37 40 34 40.87/40.95 c 810 4894 12080354 521849 0 281 38 41 35 41.27/41.38 c 820 4954 12225062 528188 0 283 36 40 34 41.67/41.80 c 830 5005 12359224 533781 0 285 36 37 32 42.17/42.21 c 840 5064 12503219 539711 0 290 39 42 36 42.57/42.63 c 850 5126 12650990 545954 0 292 37 41 35 42.97/43.04 c 860 5181 12783641 551187 0 293 36 39 34 43.37/43.47 c 870 5249 12925647 557513 0 295 37 43 35 43.77/43.88 c 880 5303 13057308 563161 0 300 39 42 36 44.27/44.30 c 890 5363 13196697 569094 0 302 36 40 34 44.66/44.71 c 900 5414 13331353 574625 0 305 36 36 32 45.07/45.12 c 910 5472 13471556 580842 0 310 37 39 34 45.46/45.55 c 920 5537 13616364 587092 0 312 35 42 34 45.86/45.96 c 930 5592 13756376 592766 0 314 39 41 36 46.27/46.38 c 940 5648 13901712 598708 0 319 38 40 35 46.66/46.80 c 947 5693 14028158 603686 0 322 36 37 31 47.06/47.19 c 950 5733 14145514 607949 0 325 36 38 27 47.56/47.61 c 960 5792 14278826 613576 0 327 36 41 34 47.96/48.03 c 970 5856 14425806 620044 0 331 39 42 36 48.37/48.46 c 980 5921 14573011 626518 0 335 36 44 35 48.76/48.87 c 990 5978 14719041 632880 0 339 38 40 35 49.16/49.29 c 1000 6035 14857146 638718 0 342 37 39 34 49.66/49.70 c 1010 6093 14997437 644446 0 344 37 40 35 50.06/50.11 c 1020 6149 15140661 650220 0 347 37 38 34 50.46/50.53 c 1030 6209 15288260 656242 0 350 39 41 36 50.86/50.95 c 1040 6269 15432896 662024 0 353 37 42 36 51.26/51.36 c 1050 6324 15574162 668039 0 356 39 40 35 51.67/51.78 c 1060 6393 15721025 675031 0 360 36 41 34 52.16/52.20 c 1070 6447 15860366 680966 0 364 36 39 34 52.56/52.61 c 1080 6506 16006943 687046 0 366 37 39 35 52.96/53.03 c 1090 6570 16158412 693118 0 369 39 42 36 53.36/53.45 c 1100 6626 16298133 698815 0 372 35 37 33 53.76/53.87 c 1110 6686 16450973 705537 0 375 39 41 36 54.16/54.29 c 1120 6745 16595116 711483 0 379 35 39 33 54.66/54.70 c 1130 6799 16726194 717012 0 382 37 39 34 55.06/55.11 c 1140 6851 16858581 722746 0 384 35 38 33 55.36/55.49 c 1141 6887 16969926 726767 0 385 36 36 18 55.86/55.90 c 1150 6942 17110808 732575 0 389 36 39 33 56.26/56.32 c 1160 7000 17250629 739012 0 390 37 41 35 56.66/56.73 c 1170 7056 17388133 745081 0 395 37 39 34 57.06/57.14 c 1180 7109 17526491 751161 0 397 36 37 33 57.46/57.56 c 1190 7172 17671080 757297 0 400 38 41 36 57.86/57.97 c 1200 7229 17813844 763084 0 404 37 38 34 58.26/58.38 c 1210 7282 17950515 768704 0 407 37 40 34 58.75/58.81 c 1220 7340 18098006 774828 0 411 38 41 36 59.15/59.22 c 1230 7398 18237423 780939 0 412 36 40 34 59.55/59.64 c 1240 7466 18388826 787585 0 415 38 43 36 59.95/60.07 c 1250 7522 18533286 793650 0 418 36 39 34 60.35/60.47 c 1260 7571 18663232 799049 0 424 34 36 31 60.75/60.88 c 1270 7634 18805396 804824 0 427 38 43 36 61.15/61.29 c 1280 7688 18941555 810692 0 430 35 37 32 61.56/61.70 c 1290 7744 19077593 816884 0 433 37 38 33 62.05/62.11 c 1300 7802 19221821 823249 0 437 36 39 34 62.45/62.53 c 1310 7860 19366818 829799 0 440 35 38 33 62.85/62.94 c 1320 7926 19514014 836192 0 442 40 43 37 63.25/63.36 c 1330 7980 19652117 841621 0 445 38 39 35 63.65/63.78 c 1340 8037 19801114 847767 0 449 37 38 33 64.05/64.19 c 1350 8105 19943561 854159 0 453 39 47 38 64.45/64.58 c 1352 8148 20063024 858390 0 454 42 42 28 64.86/64.98 c 1360 8198 20186789 863352 0 459 37 38 33 65.35/65.42 c 1370 8269 20346323 870003 0 462 37 40 34 65.75/65.83 c 1380 8325 20486695 875980 0 466 34 39 33 66.15/66.25 c 1390 8380 20624652 881724 0 468 36 38 34 66.55/66.67 c 1400 8436 20765367 887807 0 472 35 38 33 66.95/67.08 c 1410 8490 20898359 893413 0 479 37 39 34 67.35/67.49 c 1420 8541 21032949 898917 0 481 36 37 32 67.85/67.90 c 1430 8598 21168897 904579 0 483 37 40 34 68.26/68.32 c 1440 8649 21301822 910160 0 486 35 37 32 68.65/68.73 c 1450 8703 21436153 915558 0 489 37 39 33 69.05/69.16 c 1460 8760 21579938 921472 0 492 37 40 34 69.45/69.59 c 1470 8817 21723878 927789 0 495 39 40 35 69.95/70.01 c 1480 8870 21862282 933649 0 497 37 39 34 70.36/70.44 c 1490 8926 22010586 940131 0 500 36 38 33 70.75/70.85 c 1500 8991 22152105 946615 0 501 36 42 35 71.15/71.27 c 1510 9048 22292802 953054 0 507 33 38 32 71.55/71.68 c 1520 9101 22424022 958747 0 512 35 39 33 72.05/72.11 c 1530 9161 22570963 964815 0 513 40 42 37 72.45/72.54 c 1540 9231 22727433 972038 0 516 38 42 36 72.85/72.96 c 1550 9282 22859505 977907 0 521 35 38 32 73.25/73.36 c 1560 9332 22990360 983618 0 524 35 37 32 73.65/73.78 c 1570 9391 23130738 989369 0 526 38 40 35 74.14/74.21 c 1580 9451 23272867 996251 0 531 35 40 33 74.54/74.63 c 1585 9512 23410913 1001827 0 534 38 44 34 74.94/75.03 c 1590 9555 23529637 1006735 0 539 33 38 29 75.34/75.44 c 1600 9607 23667678 1012387 0 541 35 38 32 75.74/75.86 c 1610 9665 23809392 1018776 0 546 34 38 32 76.14/76.28 c 1620 9722 23954484 1025071 0 549 34 37 32 76.64/76.70 c 1630 9779 24097185 1030973 0 552 36 38 34 77.05/77.12 c 1640 9842 24246194 1037589 0 557 40 42 37 77.44/77.54 c 1650 9896 24386170 1043756 0 561 35 39 33 77.84/77.95 c 1660 9957 24528899 1050368 0 562 38 43 36 78.24/78.39 c 1670 10026 24682078 1057118 0 564 39 41 36 78.74/78.80 c 1680 10085 24828813 1063108 0 567 40 42 37 79.15/79.21 c 1690 10140 24964313 1069080 0 572 36 38 33 79.54/79.63 c 1700 10211 25117099 1075258 0 577 39 43 37 79.94/80.06 c 1710 10265 25261888 1081444 0 579 36 37 33 80.35/80.49 c 1720 10329 25405926 1088083 0 584 36 42 35 80.84/80.91 c 1730 10383 25548356 1094254 0 587 34 36 31 81.24/81.33 c 1740 10444 25687302 1100734 0 590 36 39 33 81.64/81.75 c 1750 10512 25835062 1106947 0 594 36 42 35 82.04/82.17 c 1760 10575 25983603 1113515 0 596 35 38 33 82.45/82.58 c 1770 10632 26131573 1120071 0 602 35 37 33 82.94/83.01 c 1780 10692 26278320 1126270 0 604 40 44 37 83.34/83.42 c 1790 10745 26412457 1132623 0 607 34 38 32 83.74/83.83 c 1800 10822 26560588 1139023 0 611 40 46 39 84.14/84.25 c 1810 10882 26703964 1144956 0 612 36 40 34 84.54/84.68 c 1820 10941 26853225 1150936 0 615 38 39 35 84.94/85.10 c 1830 10998 27000447 1157123 0 620 37 40 35 85.44/85.51 c 1840 11051 27138255 1163171 0 624 34 36 32 85.85/85.91 c 1841 11088 27252907 1167248 0 625 37 37 18 86.24/86.32 c 1850 11144 27394829 1172959 0 628 40 42 37 86.64/86.74 c 1860 11197 27533254 1178581 0 632 34 36 32 87.04/87.14 c 1870 11251 27665477 1184700 0 635 35 38 32 87.44/87.55 c 1880 11308 27805532 1191318 0 639 36 41 34 87.84/87.97 c 1890 11369 27954446 1197513 0 642 36 40 34 88.24/88.39 c 1900 11429 28103042 1203681 0 645 40 41 36 88.74/88.82 c 1910 11493 28253114 1210355 0 649 39 42 36 89.15/89.23 c 1920 11546 28386546 1216440 0 651 34 36 32 89.54/89.64 c 1930 11600 28520227 1222033 0 654 34 38 32 89.94/90.06 c 1940 11660 28669658 1228588 0 659 37 41 35 90.34/90.49 c 1950 11719 28817880 1234914 0 663 38 40 35 90.74/90.89 c 1960 11773 28953134 1240615 0 668 36 39 34 91.24/91.31 c 1970 11827 29089252 1246613 0 670 33 35 31 91.64/91.72 c 1980 11884 29232908 1252531 0 672 37 39 34 92.04/92.13 c 1990 11941 29370336 1258234 0 675 39 42 36 92.44/92.56 c 2000 12007 29526934 1264481 0 679 39 43 37 92.84/92.97 c 2010 12059 29660318 1270009 0 682 36 37 33 93.34/93.40 c 2020 12123 29813101 1276226 0 686 40 43 37 93.74/93.82 c 2030 12179 29959577 1282383 0 690 37 39 34 94.14/94.23 c 2040 12233 30097550 1288405 0 692 36 39 34 94.54/94.65 c 2050 12294 30244021 1294668 0 694 39 41 36 94.93/95.07 c 2060 12354 30385388 1300743 0 696 38 42 35 95.33/95.47 c 2070 12407 30521472 1306548 0 699 35 38 32 95.74/95.89 c 2080 12468 30667789 1312761 0 702 39 41 36 96.23/96.30 c 2090 12521 30797113 1318476 0 707 34 36 31 96.63/96.70 c 2100 12576 30934375 1324466 0 710 37 39 34 97.03/97.12 c 2110 12632 31075943 1330787 0 715 36 39 33 97.43/97.52 c 2120 12690 31209703 1336181 0 719 36 40 34 97.84/97.92 c 2122 12730 31330585 1340432 0 721 37 39 25 98.23/98.33 c 2130 12790 31466616 1345713 0 724 37 44 36 98.63/98.75 c 2140 12845 31607689 1351463 0 729 35 37 33 99.04/99.16 c 2150 12900 31747567 1357169 0 731 35 37 32 99.43/99.59 c 2160 12966 31900221 1363895 0 735 41 45 38 99.93/100.00 c 2170 13017 32036430 1369540 0 740 35 37 32 100.33/100.41 c 2180 13069 32169934 1375832 0 742 37 38 33 100.73/100.82 c 2190 13125 32304966 1381818 0 748 34 38 32 101.14/101.24 c 2200 13190 32455530 1388299 0 750 37 40 34 101.53/101.67 c 2210 13247 32599180 1394182 0 752 38 40 35 101.93/102.09 c 2220 13301 32738290 1400695 0 754 33 36 32 102.43/102.51 c 2230 13358 32879360 1406407 0 757 37 40 35 102.83/102.95 c 2240 13420 33031821 1412993 0 761 37 41 35 103.23/103.37 c 2250 13475 33171633 1418711 0 766 35 38 33 103.73/103.80 c 2260 13542 33320594 1425279 0 768 37 42 35 104.13/104.23 c 2270 13604 33466105 1431480 0 772 34 40 33 104.54/104.65 c 2280 13657 33605181 1436985 0 775 37 38 33 104.93/105.06 c 2290 13708 33738527 1443177 0 776 34 36 32 105.33/105.46 c 2300 13761 33874176 1448712 0 781 36 38 34 105.73/105.88 c 2310 13824 34022004 1455491 0 783 36 40 35 106.23/106.31 c 2320 13887 34169491 1462287 0 787 36 40 34 106.63/106.73 c 2330 13944 34308517 1467860 0 793 36 40 34 107.03/107.14 c 2340 14009 34453575 1474079 0 796 38 42 36 107.43/107.55 c 2350 14063 34584062 1479405 0 799 36 38 34 107.83/107.96 c 2360 14118 34721056 1485153 0 802 36 38 33 108.23/108.37 c 2370 14169 34854447 1490640 0 806 36 37 33 108.63/108.79 c 2380 14222 34993132 1496748 0 809 35 37 32 109.13/109.21 c 2390 14281 35134662 1502757 0 815 35 39 33 109.53/109.62 c 2400 14339 35272805 1508689 0 817 38 42 36 109.93/110.03 c 2410 14393 35410494 1514622 0 818 36 38 33 110.33/110.44 c 2420 14446 35542724 1520103 0 822 36 38 33 110.73/110.84 c 2430 14497 35675315 1525899 0 823 38 39 34 111.13/111.24 c 2431 14534 35791526 1529965 0 824 37 37 18 111.52/111.64 c 2440 14583 35923782 1535229 0 826 36 38 33 111.92/112.07 c 2450 14646 36069733 1541704 0 829 39 41 36 112.32/112.48 c 2460 14703 36207016 1547536 0 834 35 39 33 112.72/112.89 c 2470 14760 36347817 1553367 0 837 37 39 34 113.12/113.30 c 2480 14810 36482555 1558868 0 842 35 37 32 113.62/113.72 c 2490 14867 36621460 1564657 0 846 36 39 33 114.02/114.13 c 2500 14925 36758624 1570430 0 850 36 40 34 114.43/114.54 c 2510 14979 36893559 1575919 0 856 39 41 36 114.82/114.95 c 2520 15038 37035816 1581537 0 861 38 40 35 115.22/115.38 c 2530 15099 37178805 1588097 0 864 37 42 35 115.72/115.80 c 2540 15153 37312088 1594061 0 867 35 39 33 116.12/116.23 c 2550 15210 37453738 1600418 0 872 33 37 32 116.53/116.65 c 2560 15274 37599208 1606729 0 876 37 42 35 116.93/117.06 c 2570 15334 37742628 1612542 0 882 37 41 35 117.33/117.49 c 2580 15397 37899899 1619589 0 888 37 40 34 117.83/117.93 c 2590 15457 38048205 1626133 0 892 35 40 33 118.23/118.35 c 2600 15515 38192385 1632565 0 895 38 40 35 118.63/118.76 c 2610 15571 38328185 1637953 0 898 37 38 34 119.03/119.16 c 2620 15625 38458809 1643450 0 899 34 37 32 119.43/119.57 c 2630 15677 38593983 1649275 0 901 37 38 33 119.84/119.99 c 2640 15729 38728384 1654867 0 904 36 38 33 120.33/120.40 c 2650 15786 38872544 1661408 0 907 35 37 33 120.73/120.83 c 2660 15840 39015924 1667444 0 910 37 38 33 121.13/121.24 c 2670 15901 39153135 1673134 0 915 39 42 37 121.53/121.67 c 2680 15965 39305509 1679805 0 917 35 39 34 121.93/122.08 c 2690 16029 39444754 1685621 0 921 41 45 38 122.43/122.50 c 2700 16086 39578905 1691198 0 924 37 40 34 122.83/122.91 c 2710 16148 39722474 1697414 0 925 40 43 37 123.23/123.34 c 2720 16217 39870860 1703977 0 929 35 43 35 123.63/123.77 c 2730 16283 40017832 1710313 0 933 36 41 34 124.02/124.17 c 2740 16336 40153567 1715805 0 935 38 39 34 124.52/124.60 c 2750 16395 40298023 1721722 0 940 39 40 36 124.92/125.01 c 2760 16452 40436814 1727526 0 943 38 41 35 125.33/125.43 c 2770 16512 40581844 1733872 0 948 38 41 35 125.72/125.82 c 2771 16552 40699841 1738043 0 949 40 40 20 126.12/126.23 c 2780 16615 40841602 1743796 0 950 39 42 37 126.53/126.65 c 2790 16679 40985483 1750290 0 952 34 40 33 126.92/127.05 c 2800 16734 41123870 1756130 0 953 37 39 34 127.32/127.47 c 2810 16793 41267494 1762006 0 955 36 39 34 127.72/127.89 c 2820 16848 41403684 1767985 0 960 34 37 32 128.22/128.31 c 2830 16905 41545363 1774135 0 963 37 40 34 128.63/128.72 c 2840 16963 41682242 1780245 0 969 36 40 33 129.02/129.14 c 2850 17026 41828953 1786521 0 972 36 40 34 129.42/129.56 c 2860 17083 41966828 1793093 0 976 34 39 32 129.83/129.99 c 2870 17144 42117986 1800114 0 980 37 39 34 130.32/130.41 c 2880 17200 42258994 1806178 0 984 36 38 33 130.72/130.82 c 2890 17253 42394816 1812203 0 992 34 36 31 131.12/131.24 c 2900 17307 42533431 1818120 0 994 37 38 33 131.52/131.66 c 2910 17364 42678110 1824178 0 998 37 38 34 131.93/132.09 c 2920 17428 42824783 1831038 0 1001 36 39 33 132.42/132.51 c 2930 17487 42967854 1837248 0 1003 36 41 35 132.82/132.92 c 2940 17540 43102164 1843347 0 1006 36 38 33 133.22/133.34 c 2950 17602 43243604 1849422 0 1009 39 43 37 133.62/133.78 c 2960 17662 43393588 1856027 0 1013 35 38 33 134.02/134.19 c 2970 17719 43531184 1861719 0 1016 37 39 34 134.52/134.61 c 2980 17780 43679198 1868125 0 1022 39 41 36 134.92/135.02 c 2990 17834 43813334 1873999 0 1027 37 41 34 135.33/135.47 c 3000 17903 43974187 1880920 0 1029 40 45 38 135.72/135.88 c 3010 17957 44108034 1886398 0 1034 36 39 34 136.22/136.30 c 3020 18015 44249165 1892466 0 1040 37 40 34 136.62/136.71 c 3030 18090 44388611 1898358 0 1042 34 45 36 137.02/137.12 c 3040 18153 44531429 1904700 0 1044 37 40 34 137.43/137.55 c 3050 18213 44676257 1910466 0 1046 37 40 35 137.82/137.95 c 3060 18269 44816459 1916085 0 1050 36 38 33 138.22/138.37 c 3070 18338 44963441 1922793 0 1051 42 48 41 138.63/138.79 c 3080 18402 45111020 1929094 0 1054 39 41 36 139.12/139.21 c 3090 18455 45250981 1935290 0 1055 37 38 34 139.52/139.64 c 3100 18523 45401247 1941882 0 1057 39 45 37 139.92/140.06 c 3110 18582 45548532 1948271 0 1058 36 41 34 140.32/140.48 c 3120 18635 45685939 1953816 0 1063 35 37 32 140.72/140.89 c 3130 18693 45830290 1959935 0 1066 37 39 34 141.22/141.31 c 3140 18753 45976738 1966887 0 1067 38 42 35 141.52/141.70 c 3142 18792 46095774 1971215 0 1069 37 37 24 142.02/142.10 c 3150 18847 46225561 1976475 0 1071 36 40 33 142.42/142.53 c 3160 18914 46377374 1982911 0 1073 38 42 36 142.82/142.95 c 3170 18971 46519932 1989565 0 1075 35 39 33 143.22/143.37 c 3180 19030 46666253 1995416 0 1079 38 40 35 143.62/143.77 c 3190 19081 46793756 2000593 0 1080 36 38 33 144.02/144.19 c 3200 19143 46940246 2007011 0 1083 36 43 35 144.51/144.61 c 3210 19198 47083342 2012782 0 1086 37 38 33 144.91/145.03 c 3220 19268 47230056 2019521 0 1088 35 43 36 145.31/145.44 c 3230 19327 47368827 2026197 0 1090 38 42 36 145.71/145.85 c 3240 19383 47508464 2031991 0 1093 37 39 34 146.11/146.26 c 3250 19438 47641352 2037714 0 1095 35 39 33 146.51/146.68 c 3260 19493 47781178 2043829 0 1097 37 39 34 146.91/147.09 c 3270 19554 47922664 2049918 0 1100 40 43 37 147.32/147.50 c 3280 19616 48060900 2056182 0 1105 34 38 33 147.81/147.92 c 3290 19670 48196924 2061795 0 1110 35 37 32 148.21/148.33 c 3300 19725 48334370 2068334 0 1114 36 39 34 148.61/148.76 c 3310 19786 48477006 2074581 0 1115 38 41 35 149.01/149.18 c 3320 19843 48621359 2080918 0 1120 36 39 34 149.41/149.60 c 3330 19900 48763637 2087227 0 1121 37 40 35 149.91/150.02 c 3340 19957 48899093 2092902 0 1124 37 41 34 150.31/150.43 c 3350 20012 49033162 2099190 0 1128 34 36 32 150.72/150.85 c 3360 20071 49174304 2105212 0 1130 38 42 35 151.11/151.26 c 3370 20127 49315678 2110821 0 1132 38 40 35 151.51/151.68 c 3380 20188 49463487 2117468 0 1135 37 39 34 152.01/152.10 c 3390 20251 49610190 2123851 0 1136 41 43 37 152.41/152.53 c 3400 20307 49751432 2129578 0 1138 35 38 33 152.82/152.94 c 3410 20362 49887165 2135864 0 1139 34 36 31 153.21/153.35 c 3420 20425 50034050 2142134 0 1141 35 40 34 153.61/153.76 c 3430 20480 50173471 2148275 0 1144 37 38 34 154.02/154.17 c 3440 20542 50314991 2154113 0 1148 36 42 35 154.41/154.59 c 3450 20600 50458409 2160538 0 1154 35 38 32 154.91/155.00 c 3460 20660 50597221 2166479 0 1156 36 40 34 155.31/155.41 c 3470 20711 50730120 2172274 0 1160 34 36 32 155.71/155.82 c 3480 20761 50864067 2178199 0 1164 34 35 31 156.12/156.22 c 3490 20813 50997077 2184139 0 1168 34 37 32 156.51/156.63 c 3500 20867 51134096 2189861 0 1172 35 37 32 156.91/157.05 c 3510 20924 51270531 2195504 0 1174 34 37 32 157.32/157.46 c 3520 20992 51410005 2201359 0 1180 35 43 36 157.71/157.88 c 3530 21051 51555809 2207419 0 1185 38 42 36 158.11/158.29 c 3540 21106 51693893 2213482 0 1188 34 39 32 158.61/158.72 c 3550 21171 51847331 2220470 0 1191 38 41 35 159.01/159.12 c 3551 21208 51963996 2224631 0 1192 37 37 18 159.41/159.53 c 3560 21260 52098508 2230442 0 1197 36 37 33 159.81/159.94 c 3570 21311 52234871 2236459 0 1200 34 36 31 160.21/160.36 c 3580 21369 52377183 2242537 0 1202 37 42 35 160.61/160.77 c 3590 21423 52512485 2247988 0 1205 38 40 35 161.01/161.18 c 3600 21481 52649665 2254106 0 1206 36 40 34 161.51/161.60 c 3610 21535 52786527 2259972 0 1209 36 39 33 161.91/162.01 c 3620 21596 52931915 2266074 0 1212 40 42 37 162.31/162.43 c 3630 21651 53072659 2271804 0 1215 36 41 34 162.71/162.85 c 3640 21702 53208796 2277559 0 1219 35 37 33 163.11/163.26 c 3650 21757 53349847 2283121 0 1222 38 38 34 163.50/163.68 c 3660 21815 53494393 2289304 0 1226 35 39 33 163.91/164.08 c 3670 21870 53631096 2294898 0 1229 37 39 34 164.30/164.49 c 3680 21925 53770062 2300905 0 1232 38 40 35 164.80/164.91 c 3690 21983 53914898 2307045 0 1235 36 39 34 165.20/165.34 c 3700 22040 54061460 2313302 0 1238 35 37 33 165.60/165.75 c 3710 22101 54203988 2319277 0 1242 37 40 35 166.01/166.17 c 3720 22160 54345866 2325376 0 1246 35 37 32 166.40/166.58 c 3730 22213 54483146 2330689 0 1250 39 40 36 166.80/166.99 c 3740 22270 54621765 2336721 0 1252 35 39 33 167.30/167.40 c 3750 22323 54760809 2342656 0 1254 36 38 34 167.70/167.82 c 3760 22383 54905658 2348717 0 1258 37 40 35 168.10/168.24 c 3770 22435 55045565 2355290 0 1261 34 36 31 168.50/168.64 c 3780 22491 55179657 2360763 0 1264 38 40 35 168.90/169.06 c 3790 22552 55321659 2366807 0 1266 37 40 35 169.31/169.47 c 3800 22608 55457487 2373176 0 1269 36 38 33 169.80/169.90 c 3810 22670 55611560 2379623 0 1274 36 40 35 170.20/170.32 c 3820 22730 55759491 2385718 0 1278 39 41 36 170.60/170.73 c 3830 22785 55898420 2392099 0 1281 35 37 32 171.00/171.15 c 3840 22842 56043478 2398261 0 1283 38 40 34 171.40/171.57 c 3850 22899 56183915 2403816 0 1286 35 39 33 171.80/171.99 c 3860 22966 56335326 2410089 0 1289 40 44 38 172.30/172.42 c 3870 23027 56483448 2416340 0 1292 40 42 37 172.71/172.84 c 3880 23083 56624599 2422704 0 1294 36 38 33 173.10/173.27 c 3890 23144 56770461 2428958 0 1298 35 40 33 173.50/173.69 c 3900 23203 56913716 2435334 0 1301 37 40 35 174.00/174.13 c 3910 23270 57069493 2441471 0 1305 39 42 36 174.40/174.54 c 3920 23324 57209314 2447375 0 1308 36 38 33 174.81/174.96 c 3930 23388 57354265 2453982 0 1311 39 41 36 175.20/175.39 c 3940 23449 57498648 2460704 0 1314 34 42 32 175.70/175.82 c 3950 23512 57644168 2467996 0 1315 35 40 34 176.10/176.24 c 3960 23571 57783522 2474075 0 1322 37 45 36 176.50/176.67 c 3970 23634 57930276 2481462 0 1327 35 38 33 176.90/177.09 c 3980 23692 58070543 2488285 0 1330 34 43 33 177.40/177.53 c 3990 23762 58231065 2495567 0 1334 36 44 35 177.80/177.94 c 4000 23818 58371089 2502190 0 1335 35 38 33 178.20/178.33 c 4001 23853 58482326 2506123 0 1336 35 35 17 178.60/178.76 c 4010 23914 58634104 2513528 0 1340 36 37 32 179.00/179.17 c 4020 23971 58773120 2519570 0 1345 35 38 32 179.40/179.59 c 4030 24026 58911827 2525752 0 1348 35 37 33 179.90/180.00 c 4040 24089 59055679 2531648 0 1354 41 43 38 180.30/180.42 c 4050 24143 59193585 2537521 0 1357 36 38 33 180.69/180.84 c 4060 24210 59345339 2543783 0 1360 39 42 37 181.09/181.25 c 4070 24260 59480245 2549970 0 1362 35 35 31 181.50/181.66 c 4080 24313 59610940 2555537 0 1369 36 40 34 181.89/182.08 c 4090 24378 59757303 2561833 0 1373 37 40 35 182.29/182.49 c 4100 24431 59892866 2567939 0 1378 34 37 32 182.79/182.91 c 4110 24488 60034798 2574114 0 1381 37 39 34 183.19/183.33 c 4120 24550 60181081 2580147 0 1383 36 38 34 183.60/183.74 c 4130 24604 60317806 2586035 0 1385 37 39 34 183.99/184.15 c 4140 24656 60455049 2591668 0 1389 38 39 34 184.39/184.56 c 4150 24711 60592235 2597635 0 1391 35 39 33 184.80/184.99 c 4160 24776 60738477 2604273 0 1396 35 40 34 185.29/185.41 c 4170 24833 60881102 2611485 0 1401 34 38 33 185.69/185.83 c 4180 24897 61027568 2618125 0 1403 39 42 36 186.09/186.24 c 4190 24949 61165453 2624039 0 1404 36 37 33 186.49/186.65 c 4200 25009 61310717 2629905 0 1410 41 43 38 186.90/187.07 c 4210 25063 61448547 2635815 0 1412 36 38 33 187.29/187.47 c 4220 25115 61583038 2641623 0 1416 36 37 33 187.69/187.89 c 4230 25167 61719306 2647226 0 1421 35 37 33 188.19/188.31 c 4240 25227 61867337 2654899 0 1423 35 40 33 188.59/188.72 c 4250 25280 62003827 2660700 0 1428 35 37 32 188.99/189.14 c 4260 25338 62148276 2666992 0 1430 37 40 34 189.39/189.55 c 4270 25395 62288296 2672748 0 1434 36 38 33 189.79/189.97 c 4280 25454 62433401 2679265 0 1437 34 38 32 190.20/190.38 c 4290 25508 62573004 2685584 0 1439 35 37 32 190.59/190.79 c 4300 25565 62710977 2691249 0 1442 37 40 34 191.09/191.21 c 4310 25621 62849955 2697001 0 1445 37 40 34 191.49/191.61 c 4320 25677 62989704 2702742 0 1448 36 39 33 191.89/192.04 c 4330 25737 63138946 2709037 0 1451 36 39 34 192.29/192.45 c 4340 25793 63281621 2715074 0 1457 35 39 33 192.69/192.87 c 4350 25851 63425361 2721192 0 1460 36 39 34 193.09/193.28 c 4360 25914 63560997 2727210 0 1462 35 41 34 193.49/193.69 c 4370 25974 63703330 2734062 0 1465 35 42 34 193.99/194.12 c 4380 26032 63847444 2740409 0 1470 37 40 35 194.39/194.54 c 4390 26095 63998967 2746918 0 1472 37 42 35 194.79/194.96 c 4400 26149 64136758 2753015 0 1475 35 37 32 195.18/195.39 c 4410 26234 64289724 2759898 0 1479 36 48 40 195.69/195.82 c 4420 26297 64434461 2766146 0 1480 38 41 36 196.08/196.24 c 4430 26352 64574585 2771825 0 1481 39 40 35 196.48/196.65 c 4440 26409 64717692 2777532 0 1486 37 39 34 196.89/197.06 c 4450 26461 64852703 2783284 0 1491 35 37 33 197.28/197.48 c 4460 26525 64999290 2789731 0 1493 39 42 36 197.68/197.89 c 4470 26585 65143580 2796164 0 1496 37 39 34 198.18/198.32 c 4480 26657 65299794 2802891 0 1499 39 45 37 198.58/198.76 c 4490 26720 65458726 2809670 0 1505 36 39 34 198.99/199.16 c 4493 26762 65583370 2814298 0 1507 39 39 29 199.38/199.56 c 4500 26814 65714241 2819461 0 1508 39 42 35 199.78/199.97 c 4510 26868 65851319 2825039 0 1511 37 38 34 200.19/200.38 c 4520 26924 65987303 2830754 0 1515 35 39 33 200.58/200.79 c 4530 26986 66132222 2837022 0 1521 36 39 34 201.08/201.21 c 4540 27047 66277034 2843482 0 1524 38 41 35 201.48/201.63 c 4550 27105 66421937 2849189 0 1529 36 38 33 201.88/202.04 c 4560 27166 66563934 2855383 0 1534 40 42 37 202.29/202.47 c 4570 27231 66719717 2862344 0 1537 39 41 35 202.68/202.89 c 4580 27310 66875410 2869702 0 1540 40 43 37 203.18/203.31 c 4590 27362 67014029 2876035 0 1542 34 35 31 203.58/203.74 c 4600 27429 67169430 2883059 0 1545 37 40 34 203.98/204.17 c 4610 27486 67314349 2889087 0 1546 39 41 36 204.38/204.58 c 4620 27536 67445113 2894920 0 1554 35 37 32 204.88/205.00 c 4630 27596 67591895 2902061 0 1557 38 40 35 205.28/205.42 c 4640 27665 67736868 2908636 0 1559 37 46 37 205.69/205.83 c 4650 27721 67875863 2914478 0 1562 37 39 34 206.08/206.26 c 4660 27788 68024001 2920672 0 1565 41 47 39 206.48/206.67 c 4670 27845 68166005 2926480 0 1568 38 40 35 206.88/207.09 c 4680 27901 68304916 2932730 0 1572 36 40 34 207.38/207.52 c 4690 27963 68445367 2938772 0 1574 40 42 37 207.79/207.93 c 4700 28024 68584061 2944797 0 1575 41 43 38 208.18/208.36 c 4710 28087 68730749 2951368 0 1578 36 41 34 208.58/208.78 c 4720 28148 68871958 2957444 0 1584 36 39 34 208.99/209.18 c 4730 28205 69009654 2962760 0 1589 39 42 36 209.48/209.61 c 4740 28262 69155337 2968399 0 1592 38 41 35 209.88/210.02 c 4750 28317 69293241 2974191 0 1594 37 39 34 210.28/210.45 c 4760 28390 69447845 2980747 0 1597 39 44 37 210.68/210.89 c 4770 28466 69600273 2988018 0 1602 37 45 36 211.18/211.32 c 4780 28528 69751434 2994797 0 1604 36 38 33 211.58/211.73 c 4790 28586 69894254 3000751 0 1608 36 38 33 211.98/212.14 c 4800 28641 70037539 3006721 0 1610 36 38 33 212.38/212.56 c 4810 28703 70186483 3013100 0 1615 35 39 33 212.78/212.99 c 4820 28769 70335261 3020246 0 1617 36 42 35 213.28/213.41 c 4830 28823 70475723 3025651 0 1621 37 39 35 213.68/213.84 c 4840 28882 70626864 3031903 0 1625 41 41 37 214.08/214.25 c 4850 28939 70765619 3037617 0 1627 36 40 34 214.48/214.68 c 4860 29000 70914250 3043852 0 1629 37 40 35 214.98/215.10 c 4870 29066 71067646 3050507 0 1633 39 42 37 215.37/215.50 c 4880 29135 71205707 3056389 0 1639 37 44 35 215.77/215.92 c 4890 29195 71346306 3062166 0 1642 37 42 35 216.17/216.33 c 4900 29250 71482757 3067963 0 1645 34 37 32 216.58/216.75 c 4910 29312 71625952 3074647 0 1647 34 38 32 216.97/217.18 c 4920 29369 71768150 3081086 0 1650 34 40 32 217.37/217.58 c 4930 29423 71902010 3087052 0 1656 36 38 33 217.87/218.00 c 4940 29478 72040683 3092708 0 1660 35 37 32 218.27/218.42 c 4950 29532 72177388 3098164 0 1662 36 40 34 218.67/218.83 c 4960 29592 72321083 3104067 0 1666 40 43 37 219.07/219.23 c 4970 29654 72460856 3109937 0 1669 40 44 37 219.47/219.65 c 4980 29710 72601093 3115838 0 1674 34 38 32 219.88/220.07 c 4990 29768 72743838 3121492 0 1678 37 40 35 220.37/220.57 c 5035 29913 72994116 3135002 0 1684 37 43 39 222.57/222.78 c 5631 31246 75010995 3277783 0 1691 33 39 35 224.57/224.79 c 6286 32728 77109968 3422624 0 1701 34 41 37 228.07/228.20 c 7006 34397 79707969 3615688 0 1703 31 38 33 230.87/231.08 c 7798 37036 82761627 3826608 0 1716 34 48 41 234.17/234.35 c 8669 39148 85798619 4019188 0 1726 34 41 36 238.36/238.54 c 9627 41708 89357414 4322704 0 1734 32 43 37 243.26/243.43 c 10680 44156 93103652 4650544 0 1742 31 40 35 247.16/247.35 c 11838 46986 96943774 4919768 0 1751 32 43 37 250.86/251.01 c 13111 50339 101391852 5215431 0 1760 38 46 41 256.16/256.38 c 14511 53757 106368259 5559388 0 1773 32 40 36 261.35/261.57 c 16051 57251 111573908 5954960 0 1783 33 40 36 268.75/268.93 c 17745 61998 118250830 6492684 0 1797 31 43 36 275.54/275.73 c 19608 66305 124498248 6948533 0 1808 32 39 35 281.64/281.84 c 21657 71158 131538537 7434141 0 1818 34 43 38 291.54/291.79 c 23910 77428 140063279 8073767 0 1831 30 43 36 300.34/300.58 c 26388 83572 148901259 8676563 0 1850 33 40 36 307.64/307.84 c 29113 90795 157834197 9278741 0 1865 34 44 38 319.63/319.87 c 32110 98381 169047990 10190109 0 1878 33 45 37 335.72/335.94 c 35406 106095 181253326 11152420 0 1892 29 37 32 347.12/347.37 c 39031 115283 193711644 12023619 0 1900 32 43 36 359.41/359.63 c 43018 125085 207277347 13004111 0 1917 33 42 37 378.00/378.27 c 47403 135957 223332684 14346104 0 1925 30 41 35 391.09/391.39 c 52226 147574 238988973 15420221 0 1935 32 42 37 406.39/406.67 c 57531 161163 256929253 16733337 0 1951 34 45 38 431.97/432.24 c 63366 174700 276974747 18194432 0 1965 29 40 33 454.07/454.32 c 69784 191170 300063373 19862838 0 1979 31 41 35 487.05/487.37 c 76843 208880 326252178 22125864 0 1998 29 43 34 516.13/516.48 c 84607 230362 355006971 24337163 0 2011 32 44 36 550.01/550.35 c 93147 253997 387473556 26625992 0 2032 33 47 38 582.40/582.74 c 102541 279532 420725911 29003634 0 2046 33 47 37 626.48/626.89 c 112874 308252 460338773 32349731 0 2064 32 47 37 675.06/675.41 c 124240 334267 500461884 35701591 0 2075 30 39 34 713.73/714.10 c 136742 371471 545464844 38777511 0 2086 32 49 40 758.30/758.78 c 150494 403784 591911290 41951532 0 2101 33 42 37 807.88/808.35 c 165621 440061 644682888 45968331 0 2116 32 44 37 855.86/856.39 c 182260 477622 699398891 49898051 0 2123 32 42 37 913.83/914.35 c 200562 521874 763222938 54327626 0 2143 32 42 36 984.10/984.65 c 220694 571905 835490278 59465530 0 2160 32 44 37 1066.85/1067.44 c 242839 625179 912418898 64781568 0 2189 30 42 34 1154.91/1155.52 c 267198 683638 997991330 71015621 0 2203 31 42 36 1255.56/1256.27 c 293992 746328 1092954466 78545813 0 2219 31 42 36 1367.01/1367.70 c 323465 821843 1199263336 86532018 0 2232 31 44 35 1501.33/1502.10 c 355885 900909 1318191267 95322507 0 2245 30 42 36 1634.87/1635.80 c 391547 981343 1436011364 103627229 0 2269 31 41 35 1836.05/1837.01 c 430775 1085323 1593223023 117668486 0 2275 29 48 35 1997.93/1999.08 c 473925 1225497 1761782926 130607944 0 2286 31 50 40 2126.45/2127.64 c 521390 1353565 1925173478 141562765 0 2302 33 48 39 2303.85/2305.18 c 573601 1484783 2112494207 154710687 0 2312 31 46 37
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-4242970-1500665784/watcher-4242970-1500665784 -o /tmp/evaluation-result-4242970-1500665784/solver-4242970-1500665784 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node140-1500648173-9851 --watchdog 2560 HOME/cosoco -lc -model -restarts -sat HOME/instance-4242970-1500665784.xml pid=11867 running on 8 cores: 1,3,5,7,9,11,13,15 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 2.08 2.04 2.05 2/242 11870 /proc/meminfo: memFree=32019296/32770624 swapFree=5680/200780 [pid=11870] ppid=11867 vsize=27124 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/11870/stat : 11870 (cosoco) R 11867 11870 9818 0 -1 4202496 985 0 0 0 0 0 0 0 20 0 1 0 1844817 27774976 766 33554432000 4194304 5970956 140725242370496 140725242367144 5396141 0 0 4096 0 0 0 0 17 13 0 0 0 0 0 8070896 8075904 23486464 140725242373308 140725242373443 140725242373443 140725242376142 0 /proc/11870/statm: 6781 766 684 434 0 145 0 [startup+0.100147 s] /proc/loadavg: 2.08 2.04 2.05 2/242 11870 /proc/meminfo: memFree=32019296/32770624 swapFree=5680/200780 [pid=11870] ppid=11867 vsize=27652 CPUtime=0.09 cores=1,3,5,7,9,11,13,15 /proc/11870/stat : 11870 (cosoco) R 11867 11870 9818 0 -1 4202496 1124 0 0 0 9 0 0 0 20 0 1 0 1844817 28315648 898 33554432000 4194304 5970956 140725242370496 140725242367096 140576854166501 0 0 4096 0 0 0 0 17 13 0 0 0 0 0 8070896 8075904 23486464 140725242373308 140725242373443 140725242373443 140725242376142 0 /proc/11870/statm: 6913 898 710 434 0 277 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 27652 [startup+0.200281 s] /proc/loadavg: 2.08 2.04 2.05 2/242 11870 /proc/meminfo: memFree=32019296/32770624 swapFree=5680/200780 [pid=11870] ppid=11867 vsize=28028 CPUtime=0.19 cores=1,3,5,7,9,11,13,15 /proc/11870/stat : 11870 (cosoco) R 11867 11870 9818 0 -1 4202496 1295 0 0 0 19 0 0 0 20 0 1 0 1844817 28700672 1115 33554432000 4194304 5970956 140725242370496 140725242364328 140576854166501 0 0 4096 0 0 0 0 17 13 0 0 0 0 0 8070896 8075904 23486464 140725242373308 140725242373443 140725242373443 140725242376142 0 /proc/11870/statm: 7007 1115 783 434 0 371 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 28028 [startup+0.300238 s] /proc/loadavg: 2.08 2.04 2.05 2/242 11870 /proc/meminfo: memFree=32019296/32770624 swapFree=5680/200780 [pid=11870] ppid=11867 vsize=28392 CPUtime=0.29 cores=1,3,5,7,9,11,13,15 /proc/11870/stat : 11870 (cosoco) R 11867 11870 9818 0 -1 4202496 1389 0 0 0 29 0 0 0 20 0 1 0 1844817 29073408 1205 33554432000 4194304 5970956 140725242370496 140725242364328 140576863524690 0 0 4096 0 0 0 0 17 13 0 0 0 0 0 8070896 8075904 23486464 140725242373308 140725242373443 140725242373443 140725242376142 0 /proc/11870/statm: 7098 1205 783 434 0 462 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 28392 [startup+0.700209 s] /proc/loadavg: 2.08 2.04 2.05 2/242 11870 /proc/meminfo: memFree=32019296/32770624 swapFree=5680/200780 [pid=11870] ppid=11867 vsize=29976 CPUtime=0.69 cores=1,3,5,7,9,11,13,15 /proc/11870/stat : 11870 (cosoco) R 11867 11870 9818 0 -1 4202496 1768 0 0 0 69 0 0 0 20 0 1 0 1844817 30695424 1602 33554432000 4194304 5970956 140725242370496 140725242364328 5094451 0 0 4096 0 0 0 0 17 13 0 0 0 0 0 8070896 8075904 23486464 140725242373308 140725242373443 140725242373443 140725242376142 0 /proc/11870/statm: 7494 1602 783 434 0 858 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 29976 [startup+1.50021 s] /proc/loadavg: 2.08 2.04 2.05 3/243 11871 /proc/meminfo: memFree=32014072/32770624 swapFree=5680/200780 [pid=11870] ppid=11867 vsize=32996 CPUtime=1.48 cores=1,3,5,7,9,11,13,15 /proc/11870/stat : 11870 (cosoco) R 11867 11870 9818 0 -1 4202496 2526 0 0 0 148 0 0 0 20 0 1 0 1844817 33787904 2356 33554432000 4194304 5970956 140725242370496 140725242364328 5219464 0 0 4096 0 0 0 0 17 13 0 0 0 0 0 8070896 8075904 23486464 140725242373308 140725242373443 140725242373443 140725242376142 0 /proc/11870/statm: 8249 2356 783 434 0 1613 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 32996 [startup+3.10021 s] /proc/loadavg: 2.08 2.04 2.05 3/243 11871 /proc/meminfo: memFree=32009220/32770624 swapFree=5680/200780 [pid=11870] ppid=11867 vsize=39052 CPUtime=3.09 cores=1,3,5,7,9,11,13,15 /proc/11870/stat : 11870 (cosoco) R 11867 11870 9818 0 -1 4202496 4153 0 0 0 308 1 0 0 20 0 1 0 1844817 39989248 3871 33554432000 4194304 5970956 140725242370496 140725242364328 140576854166501 0 0 4096 0 0 0 0 17 13 0 0 0 0 0 8070896 8075904 23486464 140725242373308 140725242373443 140725242373443 140725242376142 0 /proc/11870/statm: 9763 3871 783 434 0 3127 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 39052 [startup+6.30031 s] /proc/loadavg: 2.08 2.04 2.05 3/243 11871 /proc/meminfo: memFree=31982736/32770624 swapFree=5680/200780 [pid=11870] ppid=11867 vsize=62188 CPUtime=6.29 cores=1,3,5,7,9,11,13,15 /proc/11870/stat : 11870 (cosoco) R 11867 11870 9818 0 -1 4202496 13285 0 0 0 627 2 0 0 20 0 1 0 1844817 63680512 9525 33554432000 4194304 5970956 140725242370496 140725242367832 5069728 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 23486464 140725242373308 140725242373443 140725242373443 140725242376142 0 /proc/11870/statm: 15547 9525 827 434 0 8911 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 62188 [startup+12.7003 s] /proc/loadavg: 2.06 2.04 2.05 3/243 11871 /proc/meminfo: memFree=31982364/32770624 swapFree=5680/200780 [pid=11870] ppid=11867 vsize=62188 CPUtime=12.68 cores=1,3,5,7,9,11,13,15 /proc/11870/stat : 11870 (cosoco) R 11867 11870 9818 0 -1 4202496 20861 0 0 0 1265 3 0 0 20 0 1 0 1844817 63680512 9587 33554432000 4194304 5970956 140725242370496 140725242367832 5070345 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 23486464 140725242373308 140725242373443 140725242373443 140725242376142 0 /proc/11870/statm: 15547 9587 830 434 0 8911 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 62188 [startup+25.5004 s] /proc/loadavg: 2.05 2.04 2.05 3/243 11871 /proc/meminfo: memFree=31982364/32770624 swapFree=5680/200780 [pid=11870] ppid=11867 vsize=62188 CPUtime=25.47 cores=1,3,5,7,9,11,13,15 /proc/11870/stat : 11870 (cosoco) R 11867 11870 9818 0 -1 4202496 35992 0 0 0 2543 4 0 0 20 0 1 0 1844817 63680512 9595 33554432000 4194304 5970956 140725242370496 140725242367832 5337412 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 23486464 140725242373308 140725242373443 140725242373443 140725242376142 0 /proc/11870/statm: 15547 9595 830 434 0 8911 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 62188 [startup+51.1004 s] /proc/loadavg: 2.03 2.04 2.05 3/243 11871 /proc/meminfo: memFree=31981080/32770624 swapFree=5680/200780 [pid=11870] ppid=11867 vsize=62428 CPUtime=51.06 cores=1,3,5,7,9,11,13,15 /proc/11870/stat : 11870 (cosoco) R 11867 11870 9818 0 -1 4202496 40932 0 0 0 5101 5 0 0 20 0 1 0 1844817 63926272 9615 33554432000 4194304 5970956 140725242370496 140725242367832 4964389 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 23486464 140725242373308 140725242373443 140725242373443 140725242376142 0 /proc/11870/statm: 15607 9615 830 434 0 8971 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 62428 [startup+102.3 s] /proc/loadavg: 2.06 2.04 2.05 3/243 11872 /proc/meminfo: memFree=31981292/32770624 swapFree=5680/201316 [pid=11870] ppid=11867 vsize=62556 CPUtime=102.24 cores=1,3,5,7,9,11,13,15 /proc/11870/stat : 11870 (cosoco) R 11867 11870 9818 0 -1 4202496 42362 0 0 0 10219 5 0 0 20 0 1 0 1844817 64057344 9619 33554432000 4194304 5970956 140725242370496 140725242367832 4964389 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 23486464 140725242373308 140725242373443 140725242373443 140725242376142 0 /proc/11870/statm: 15639 9619 830 434 0 9003 0 Current children cumulated CPU time (s) 102.24 Current children cumulated vsize (KiB) 62556 [startup+162.3 s] /proc/loadavg: 2.02 2.04 2.05 3/243 11873 /proc/meminfo: memFree=31981384/32770624 swapFree=5680/201416 [pid=11870] ppid=11867 vsize=62556 CPUtime=162.21 cores=1,3,5,7,9,11,13,15 /proc/11870/stat : 11870 (cosoco) R 11867 11870 9818 0 -1 4202496 43829 0 0 0 16215 6 0 0 20 0 1 0 1844817 64057344 9645 33554432000 4194304 5970956 140725242370496 140725242367832 4964389 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 23486464 140725242373308 140725242373443 140725242373443 140725242376142 0 /proc/11870/statm: 15639 9645 830 434 0 9003 0 Current children cumulated CPU time (s) 162.21 Current children cumulated vsize (KiB) 62556 [startup+222.308 s] /proc/loadavg: 2.10 2.06 2.05 3/244 11882 /proc/meminfo: memFree=31981280/32770624 swapFree=5680/201528 [pid=11870] ppid=11867 vsize=62556 CPUtime=222.18 cores=1,3,5,7,9,11,13,15 /proc/11870/stat : 11870 (cosoco) R 11867 11870 9818 0 -1 4202496 44776 0 0 0 22212 6 0 0 20 0 1 0 1844817 64057344 9646 33554432000 4194304 5970956 140725242370496 140725242367832 4964366 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 23486464 140725242373308 140725242373443 140725242373443 140725242376142 0 /proc/11870/statm: 15639 9646 830 434 0 9003 0 Current children cumulated CPU time (s) 222.18 Current children cumulated vsize (KiB) 62556 [startup+282.3 s] /proc/loadavg: 2.10 2.07 2.05 3/244 11883 /proc/meminfo: memFree=31981452/32770624 swapFree=5680/201528 [pid=11870] ppid=11867 vsize=62556 CPUtime=282.14 cores=1,3,5,7,9,11,13,15 /proc/11870/stat : 11870 (cosoco) R 11867 11870 9818 0 -1 4202496 45759 0 0 0 28208 6 0 0 20 0 1 0 1844817 64057344 9646 33554432000 4194304 5970956 140725242370496 140725242367832 4964389 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 23486464 140725242373308 140725242373443 140725242373443 140725242376142 0 /proc/11870/statm: 15639 9646 830 434 0 9003 0 Current children cumulated CPU time (s) 282.14 Current children cumulated vsize (KiB) 62556 [startup+342.3 s] /proc/loadavg: 2.04 2.05 2.05 3/244 11884 /proc/meminfo: memFree=31981436/32770624 swapFree=5680/201704 [pid=11870] ppid=11867 vsize=62556 CPUtime=342.12 cores=1,3,5,7,9,11,13,15 /proc/11870/stat : 11870 (cosoco) R 11867 11870 9818 0 -1 4202496 46704 0 0 0 34205 7 0 0 20 0 1 0 1844817 64057344 9646 33554432000 4194304 5970956 140725242370496 140725242367832 4964366 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 23486464 140725242373308 140725242373443 140725242373443 140725242376142 0 /proc/11870/statm: 15639 9646 830 434 0 9003 0 Current children cumulated CPU time (s) 342.12 Current children cumulated vsize (KiB) 62556 [startup+402.3 s] /proc/loadavg: 2.01 2.04 2.05 3/244 11885 /proc/meminfo: memFree=31981084/32770624 swapFree=5680/201704 [pid=11870] ppid=11867 vsize=62556 CPUtime=402.09 cores=1,3,5,7,9,11,13,15 /proc/11870/stat : 11870 (cosoco) R 11867 11870 9818 0 -1 4202496 47627 0 0 0 40202 7 0 0 20 0 1 0 1844817 64057344 9646 33554432000 4194304 5970956 140725242370496 140725242367832 5052095 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 23486464 140725242373308 140725242373443 140725242373443 140725242376142 0 /proc/11870/statm: 15639 9646 830 434 0 9003 0 Current children cumulated CPU time (s) 402.09 Current children cumulated vsize (KiB) 62556 [startup+462.3 s] /proc/loadavg: 2.06 2.05 2.05 3/244 11886 /proc/meminfo: memFree=31982180/32770624 swapFree=5680/201792 [pid=11870] ppid=11867 vsize=62556 CPUtime=462.06 cores=1,3,5,7,9,11,13,15 /proc/11870/stat : 11870 (cosoco) R 11867 11870 9818 0 -1 4202496 48575 0 0 0 46199 7 0 0 20 0 1 0 1844817 64057344 9646 33554432000 4194304 5970956 140725242370496 140725242367832 4964701 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 23486464 140725242373308 140725242373443 140725242373443 140725242376142 0 /proc/11870/statm: 15639 9646 830 434 0 9003 0 Current children cumulated CPU time (s) 462.06 Current children cumulated vsize (KiB) 62556 [startup+522.3 s] /proc/loadavg: 2.02 2.04 2.05 3/244 11887 /proc/meminfo: memFree=31981304/32770624 swapFree=5680/201792 [pid=11870] ppid=11867 vsize=62556 CPUtime=522.03 cores=1,3,5,7,9,11,13,15 /proc/11870/stat : 11870 (cosoco) R 11867 11870 9818 0 -1 4202496 49471 0 0 0 52196 7 0 0 20 0 1 0 1844817 64057344 9646 33554432000 4194304 5970956 140725242370496 140725242367832 5052121 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 23486464 140725242373308 140725242373443 140725242373443 140725242376142 0 /proc/11870/statm: 15639 9646 830 434 0 9003 0 Current children cumulated CPU time (s) 522.03 Current children cumulated vsize (KiB) 62556 [startup+582.3 s] /proc/loadavg: 2.01 2.04 2.05 3/243 11888 /proc/meminfo: memFree=31981472/32770624 swapFree=5680/201892 [pid=11870] ppid=11867 vsize=62556 CPUtime=582 cores=1,3,5,7,9,11,13,15 /proc/11870/stat : 11870 (cosoco) R 11867 11870 9818 0 -1 4202496 50315 0 0 0 58193 7 0 0 20 0 1 0 1844817 64057344 9646 33554432000 4194304 5970956 140725242370496 140725242367832 4964366 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 23486464 140725242373308 140725242373443 140725242373443 140725242376142 0 /proc/11870/statm: 15639 9646 830 434 0 9003 0 Current children cumulated CPU time (s) 582 Current children cumulated vsize (KiB) 62556 ################ # More data... # ################ [startup+1482.3 s] /proc/loadavg: 2.00 2.01 2.05 3/244 11942 /proc/meminfo: memFree=31978336/32770624 swapFree=5680/202504 [pid=11870] ppid=11867 vsize=62556 CPUtime=1481.54 cores=1,3,5,7,9,11,13,15 /proc/11870/stat : 11870 (cosoco) R 11867 11870 9818 0 -1 4202496 62757 0 0 0 148145 9 0 0 20 0 1 0 1844817 64057344 9646 33554432000 4194304 5970956 140725242370496 140725242367832 4964389 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 23486464 140725242373308 140725242373443 140725242373443 140725242376142 0 /proc/11870/statm: 15639 9646 830 434 0 9003 0 Current children cumulated CPU time (s) 1481.54 Current children cumulated vsize (KiB) 62556 [startup+1542.31 s] /proc/loadavg: 2.00 2.01 2.05 3/244 11943 /proc/meminfo: memFree=31978596/32770624 swapFree=5680/202500 [pid=11870] ppid=11867 vsize=62556 CPUtime=1541.52 cores=1,3,5,7,9,11,13,15 /proc/11870/stat : 11870 (cosoco) R 11867 11870 9818 0 -1 4202496 63582 0 0 0 154143 9 0 0 20 0 1 0 1844817 64057344 9646 33554432000 4194304 5970956 140725242370496 140725242367832 4964389 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 23486464 140725242373308 140725242373443 140725242373443 140725242376142 0 /proc/11870/statm: 15639 9646 830 434 0 9003 0 Current children cumulated CPU time (s) 1541.52 Current children cumulated vsize (KiB) 62556 [startup+1602.3 s] /proc/loadavg: 1.93 2.00 2.04 3/244 12010 /proc/meminfo: memFree=31959892/32770624 swapFree=5680/202616 [pid=11870] ppid=11867 vsize=62556 CPUtime=1601.48 cores=1,3,5,7,9,11,13,15 /proc/11870/stat : 11870 (cosoco) R 11867 11870 9818 0 -1 4202496 64245 0 0 0 160139 9 0 0 20 0 1 0 1844817 64057344 9646 33554432000 4194304 5970956 140725242370496 140725242367832 4964389 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 23486464 140725242373308 140725242373443 140725242373443 140725242376142 0 /proc/11870/statm: 15639 9646 830 434 0 9003 0 Current children cumulated CPU time (s) 1601.48 Current children cumulated vsize (KiB) 62556 [startup+1662.3 s] /proc/loadavg: 1.97 2.00 2.04 3/243 12011 /proc/meminfo: memFree=31958004/32770624 swapFree=5680/202716 [pid=11870] ppid=11867 vsize=62556 CPUtime=1661.44 cores=1,3,5,7,9,11,13,15 /proc/11870/stat : 11870 (cosoco) R 11867 11870 9818 0 -1 4202496 65109 0 0 0 166135 9 0 0 20 0 1 0 1844817 64057344 9646 33554432000 4194304 5970956 140725242370496 140725242367832 4964366 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 23486464 140725242373308 140725242373443 140725242373443 140725242376142 0 /proc/11870/statm: 15639 9646 830 434 0 9003 0 Current children cumulated CPU time (s) 1661.44 Current children cumulated vsize (KiB) 62556 [startup+1722.3 s] /proc/loadavg: 1.99 2.00 2.04 3/243 12012 /proc/meminfo: memFree=31957180/32770624 swapFree=5680/202800 [pid=11870] ppid=11867 vsize=62556 CPUtime=1721.41 cores=1,3,5,7,9,11,13,15 /proc/11870/stat : 11870 (cosoco) R 11867 11870 9818 0 -1 4202496 65863 0 0 0 172131 10 0 0 20 0 1 0 1844817 64057344 9646 33554432000 4194304 5970956 140725242370496 140725242367832 5098928 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 23486464 140725242373308 140725242373443 140725242373443 140725242376142 0 /proc/11870/statm: 15639 9646 830 434 0 9003 0 Current children cumulated CPU time (s) 1721.41 Current children cumulated vsize (KiB) 62556 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.04 3/243 12013 /proc/meminfo: memFree=31957824/32770624 swapFree=5680/202848 [pid=11870] ppid=11867 vsize=62556 CPUtime=1781.37 cores=1,3,5,7,9,11,13,15 /proc/11870/stat : 11870 (cosoco) R 11867 11870 9818 0 -1 4202496 66564 0 0 0 178127 10 0 0 20 0 1 0 1844817 64057344 9646 33554432000 4194304 5970956 140725242370496 140725242367832 4964366 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 23486464 140725242373308 140725242373443 140725242373443 140725242376142 0 /proc/11870/statm: 15639 9646 830 434 0 9003 0 Current children cumulated CPU time (s) 1781.37 Current children cumulated vsize (KiB) 62556 [startup+1842.3 s] /proc/loadavg: 2.00 2.00 2.04 3/243 12014 /proc/meminfo: memFree=31958064/32770624 swapFree=5680/202904 [pid=11870] ppid=11867 vsize=62556 CPUtime=1841.33 cores=1,3,5,7,9,11,13,15 /proc/11870/stat : 11870 (cosoco) R 11867 11870 9818 0 -1 4202496 67387 0 0 0 184123 10 0 0 20 0 1 0 1844817 64057344 9646 33554432000 4194304 5970956 140725242370496 140725242367832 4909007 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 23486464 140725242373308 140725242373443 140725242373443 140725242376142 0 /proc/11870/statm: 15639 9646 830 434 0 9003 0 Current children cumulated CPU time (s) 1841.33 Current children cumulated vsize (KiB) 62556 [startup+1902.3 s] /proc/loadavg: 2.00 2.00 2.04 3/243 12015 /proc/meminfo: memFree=31958156/32770624 swapFree=5680/202956 [pid=11870] ppid=11867 vsize=62556 CPUtime=1901.3 cores=1,3,5,7,9,11,13,15 /proc/11870/stat : 11870 (cosoco) R 11867 11870 9818 0 -1 4202496 68133 0 0 0 190120 10 0 0 20 0 1 0 1844817 64057344 9646 33554432000 4194304 5970956 140725242370496 140725242367832 5070331 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 23486464 140725242373308 140725242373443 140725242373443 140725242376142 0 /proc/11870/statm: 15639 9646 830 434 0 9003 0 Current children cumulated CPU time (s) 1901.3 Current children cumulated vsize (KiB) 62556 [startup+1962.3 s] /proc/loadavg: 2.06 2.01 2.05 3/243 12016 /proc/meminfo: memFree=31957712/32770624 swapFree=5680/202996 [pid=11870] ppid=11867 vsize=62556 CPUtime=1961.26 cores=1,3,5,7,9,11,13,15 /proc/11870/stat : 11870 (cosoco) R 11867 11870 9818 0 -1 4202496 68878 0 0 0 196116 10 0 0 20 0 1 0 1844817 64057344 9646 33554432000 4194304 5970956 140725242370496 140725242367832 4964406 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 23486464 140725242373308 140725242373443 140725242373443 140725242376142 0 /proc/11870/statm: 15639 9646 830 434 0 9003 0 Current children cumulated CPU time (s) 1961.26 Current children cumulated vsize (KiB) 62556 [startup+2022.3 s] /proc/loadavg: 2.10 2.03 2.05 3/244 12025 /proc/meminfo: memFree=31957264/32770624 swapFree=5680/203040 [pid=11870] ppid=11867 vsize=62556 CPUtime=2021.22 cores=1,3,5,7,9,11,13,15 /proc/11870/stat : 11870 (cosoco) R 11867 11870 9818 0 -1 4202496 69788 0 0 0 202112 10 0 0 20 0 1 0 1844817 64057344 9646 33554432000 4194304 5970956 140725242370496 140725242367832 5327985 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 23486464 140725242373308 140725242373443 140725242373443 140725242376142 0 /proc/11870/statm: 15639 9646 830 434 0 9003 0 Current children cumulated CPU time (s) 2021.22 Current children cumulated vsize (KiB) 62556 [startup+2082.3 s] /proc/loadavg: 2.04 2.02 2.05 3/244 12026 /proc/meminfo: memFree=31957324/32770624 swapFree=5680/203088 [pid=11870] ppid=11867 vsize=62556 CPUtime=2081.19 cores=1,3,5,7,9,11,13,15 /proc/11870/stat : 11870 (cosoco) R 11867 11870 9818 0 -1 4202496 70572 0 0 0 208109 10 0 0 20 0 1 0 1844817 64057344 9646 33554432000 4194304 5970956 140725242370496 140725242367832 5052121 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 23486464 140725242373308 140725242373443 140725242373443 140725242376142 0 /proc/11870/statm: 15639 9646 830 434 0 9003 0 Current children cumulated CPU time (s) 2081.19 Current children cumulated vsize (KiB) 62556 [startup+2142.3 s] /proc/loadavg: 2.07 2.04 2.05 3/244 12027 /proc/meminfo: memFree=31957696/32770624 swapFree=5680/203136 [pid=11870] ppid=11867 vsize=62556 CPUtime=2141.14 cores=1,3,5,7,9,11,13,15 /proc/11870/stat : 11870 (cosoco) R 11867 11870 9818 0 -1 4202496 71481 0 0 0 214104 10 0 0 20 0 1 0 1844817 64057344 9646 33554432000 4194304 5970956 140725242370496 140725242367832 5328066 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 23486464 140725242373308 140725242373443 140725242373443 140725242376142 0 /proc/11870/statm: 15639 9646 830 434 0 9003 0 Current children cumulated CPU time (s) 2141.14 Current children cumulated vsize (KiB) 62556 [startup+2202.31 s] /proc/loadavg: 2.02 2.03 2.05 3/244 12028 /proc/meminfo: memFree=31957376/32770624 swapFree=5680/203172 [pid=11870] ppid=11867 vsize=62556 CPUtime=2201.11 cores=1,3,5,7,9,11,13,15 /proc/11870/stat : 11870 (cosoco) R 11867 11870 9818 0 -1 4202496 72235 0 0 0 220101 10 0 0 20 0 1 0 1844817 64057344 9646 33554432000 4194304 5970956 140725242370496 140725242367832 5070930 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 23486464 140725242373308 140725242373443 140725242373443 140725242376142 0 /proc/11870/statm: 15639 9646 830 434 0 9003 0 Current children cumulated CPU time (s) 2201.11 Current children cumulated vsize (KiB) 62556 [startup+2262.3 s] /proc/loadavg: 2.01 2.02 2.05 3/244 12029 /proc/meminfo: memFree=31956552/32770624 swapFree=5680/203204 [pid=11870] ppid=11867 vsize=62556 CPUtime=2261.07 cores=1,3,5,7,9,11,13,15 /proc/11870/stat : 11870 (cosoco) R 11867 11870 9818 0 -1 4202496 72946 0 0 0 226096 11 0 0 20 0 1 0 1844817 64057344 9646 33554432000 4194304 5970956 140725242370496 140725242367832 4964327 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 23486464 140725242373308 140725242373443 140725242373443 140725242376142 0 /proc/11870/statm: 15639 9646 830 434 0 9003 0 Current children cumulated CPU time (s) 2261.07 Current children cumulated vsize (KiB) 62556 [startup+2322.3 s] /proc/loadavg: 2.00 2.02 2.05 3/244 12030 /proc/meminfo: memFree=31957224/32770624 swapFree=5680/203252 [pid=11870] ppid=11867 vsize=62556 CPUtime=2321.04 cores=1,3,5,7,9,11,13,15 /proc/11870/stat : 11870 (cosoco) R 11867 11870 9818 0 -1 4202496 73796 0 0 0 232093 11 0 0 20 0 1 0 1844817 64057344 9646 33554432000 4194304 5970956 140725242370496 140725242367832 4964584 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 23486464 140725242373308 140725242373443 140725242373443 140725242376142 0 /proc/11870/statm: 15639 9646 830 434 0 9003 0 Current children cumulated CPU time (s) 2321.04 Current children cumulated vsize (KiB) 62556 [startup+2382.3 s] /proc/loadavg: 2.00 2.01 2.05 3/243 12031 /proc/meminfo: memFree=31957160/32770624 swapFree=5680/203288 [pid=11870] ppid=11867 vsize=62556 CPUtime=2381 cores=1,3,5,7,9,11,13,15 /proc/11870/stat : 11870 (cosoco) R 11867 11870 9818 0 -1 4202496 74508 0 0 0 238089 11 0 0 20 0 1 0 1844817 64057344 9646 33554432000 4194304 5970956 140725242370496 140725242367832 4964366 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 23486464 140725242373308 140725242373443 140725242373443 140725242376142 0 /proc/11870/statm: 15639 9646 830 434 0 9003 0 Current children cumulated CPU time (s) 2381 Current children cumulated vsize (KiB) 62556 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2401.41 s] /proc/loadavg: 2.00 2.01 2.05 3/243 12031 /proc/meminfo: memFree=31955856/32770624 swapFree=5680/203300 [pid=11870] ppid=11867 vsize=62556 CPUtime=2400.09 cores=1,3,5,7,9,11,13,15 /proc/11870/stat : 11870 (cosoco) R 11867 11870 9818 0 -1 4202496 75137 0 0 0 239998 11 0 0 20 0 1 0 1844817 64057344 9646 33554432000 4194304 5970956 140725242370496 140725242367832 4964366 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 23486464 140725242373308 140725242373443 140725242373443 140725242376142 0 /proc/11870/statm: 15639 9646 830 434 0 9003 0 Current children cumulated CPU time (s) 2400.09 Current children cumulated vsize (KiB) 62556 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 11870 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child status: 1 Real time (s): 2401.41 CPU time (s): 2400.1 CPU user time (s): 2399.99 CPU system time (s): 0.113938 CPU usage (%): 99.9457 Max. virtual memory (cumulated for all children) (KiB): 62556 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2399.99 system time used= 0.113938 maximum resident set size= 38632 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 75163 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= 120679 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 8.26799 second user time and 12.7849 second system time The end
Begin job on node140 at 2017-07-21 21:36:24 IDJOB=4242970 IDBENCH=138400 IDSOLVER=2621 FILE ID=node140/4242970-1500665784 RUNJOBID= node140-1500648173-9851 PBS_JOBID= 20623280 Free space on /tmp= 61856 MiB SOLVER NAME= cosoco-sat 1.1 BENCH NAME= XCSP17/SuperSolutions/SuperSolutions-Queens-s1/SuperQueens-12.xml COMMAND LINE= DIR/cosoco -lc -model -restarts -sat BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4242970-1500665784/watcher-4242970-1500665784 -o /tmp/evaluation-result-4242970-1500665784/solver-4242970-1500665784 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node140-1500648173-9851 --watchdog 2560 HOME/cosoco -lc -model -restarts -sat HOME/instance-4242970-1500665784.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 8 MD5SUM BENCH= 94ecf309347a79215709974b71377e2d RANDOM SEED=1677757610 node140.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.36 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.36 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.36 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.36 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.36 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.36 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 11 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 1 cpu cores : 4 apicid : 19 initial apicid : 19 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 12 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 2 cpu cores : 4 apicid : 5 initial apicid : 5 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.36 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 : 2267.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.36 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: 32019300 kB MemAvailable: 32021268 kB Buffers: 42564 kB Cached: 269236 kB SwapCached: 0 kB Active: 165388 kB Inactive: 209920 kB Active(anon): 65912 kB Inactive(anon): 8816 kB Active(file): 99476 kB Inactive(file): 201104 kB Unevictable: 5680 kB Mlocked: 5680 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 2424 kB Writeback: 0 kB AnonPages: 84548 kB Mapped: 32188 kB Shmem: 8852 kB Slab: 66308 kB SReclaimable: 34448 kB SUnreclaim: 31860 kB KernelStack: 4256 kB PageTables: 5200 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 336268 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 26624 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 134528 kB DirectMap2M: 33411072 kB Free space on /tmp at the end= 61852 MiB End job on node140 at 2017-07-21 22:16:26