Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
cosoco-sat 1.12 | ? (TO) | 2519.99 | 2520.01 |
Name | MagicHexagon/MagicHexagon-m1-s1/ MagicHexagon-11-m186.xml |
MD5SUM | 2292861bb3d975c21318ff2a994feaed |
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 | 441 |
Number of constraints | 70 |
Number of domains | 1 |
Minimum domain size | 331 |
Maximum domain size | 331 |
Distribution of domain sizes | [{"size":331,"count":331}] |
Minimum variable degree | 0 |
Maximum variable degree | 9 |
Distribution of variable degrees | [{"degree":0,"count":110},{"degree":4,"count":325},{"degree":5,"count":3},{"degree":6,"count":2},{"degree":9,"count":1}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 331 |
Distribution of constraint arities | [{"arity":2,"count":6},{"arity":11,"count":6},{"arity":12,"count":6},{"arity":13,"count":6},{"arity":14,"count":6},{"arity":15,"count":6},{"arity":16,"count":6},{"arity":17,"count":6},{"arity":18,"count":6},{"arity":19,"count":6},{"arity":20,"count":6},{"arity":21,"count":3},{"arity":331,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 6 |
Distribution of constraint types | [{"type":"intension","count":6},{"type":"allDifferent","count":1},{"type":"sum","count":63}] |
Optimization problem | NO |
Type of objective |
0.00/0.09 c intension x[0][0]<x[0][10] using generic constraint 0.00/0.09 c intension x[0][0]<x[10][20] using generic constraint 0.00/0.09 c intension x[0][0]<x[20][10] using generic constraint 0.00/0.09 c intension x[0][0]<x[20][0] using generic constraint 0.00/0.09 c intension x[0][0]<x[10][0] using generic constraint 0.00/0.09 c intension x[0][10]<x[10][0] using generic constraint 1.60/1.76 c SAT : Variables: 145971 -- Clauses: 24085656 1.60/1.77 c root propagations : 9 1.60/1.77 c restarts enabled, print stats at every restarts 1.60/1.77 c 1.60/1.77 c 1.60/1.77 c 1.60/1.77 c This is cosoco 1.12 -- 1.60/1.77 c 1.60/1.77 c command line: cosoco -lc -model -restarts -sat HOME/instance-4266141-1502581620.xml 1.60/1.77 c ========================================[ Problem Statistics ]=========================================== 1.60/1.77 c | 1.60/1.77 c | Parse time : 1.42 s 1.60/1.77 c | 1.60/1.77 c | Variables: 441 1.60/1.77 c | Domain Sizes: 331..331 1.60/1.77 c | 1.60/1.77 c | Constraints: 70 1.60/1.77 c | Arity: 2..331 -- Binary: 6 1.60/1.77 c | 1.60/1.77 c | Types: 1.60/1.77 c | (X - Y < k): 6 1.60/1.77 c | All Different: 1 1.60/1.77 c | Sum: 63 1.60/1.77 c | 1.60/1.77 c ========================================================================================================= 1.60/1.77 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 1.60/1.77 c remove useless variable x[0][11] 1.60/1.77 c remove useless variable x[0][12] 1.60/1.77 c remove useless variable x[0][13] 1.60/1.77 c remove useless variable x[0][14] 1.60/1.77 c remove useless variable x[0][15] 1.60/1.77 c remove useless variable x[0][16] 1.60/1.77 c remove useless variable x[0][17] 1.60/1.77 c remove useless variable x[0][18] 1.60/1.77 c remove useless variable x[0][19] 1.60/1.77 c remove useless variable x[0][20] 1.60/1.77 c remove useless variable x[1][12] 1.60/1.77 c remove useless variable x[1][13] 1.60/1.77 c remove useless variable x[1][14] 1.60/1.77 c remove useless variable x[1][15] 1.60/1.77 c remove useless variable x[1][16] 1.60/1.77 c remove useless variable x[1][17] 1.60/1.77 c remove useless variable x[1][18] 1.60/1.77 c remove useless variable x[1][19] 1.60/1.77 c remove useless variable x[1][20] 1.60/1.77 c remove useless variable x[2][13] 1.60/1.77 c remove useless variable x[2][14] 1.60/1.77 c remove useless variable x[2][15] 1.60/1.77 c remove useless variable x[2][16] 1.60/1.77 c remove useless variable x[2][17] 1.60/1.77 c remove useless variable x[2][18] 1.60/1.77 c remove useless variable x[2][19] 1.60/1.77 c remove useless variable x[2][20] 1.60/1.77 c remove useless variable x[3][14] 1.60/1.77 c remove useless variable x[3][15] 1.60/1.77 c remove useless variable x[3][16] 1.60/1.77 c remove useless variable x[3][17] 1.60/1.77 c remove useless variable x[3][18] 1.60/1.77 c remove useless variable x[3][19] 1.60/1.77 c remove useless variable x[3][20] 1.60/1.77 c remove useless variable x[4][15] 1.60/1.77 c remove useless variable x[4][16] 1.60/1.77 c remove useless variable x[4][17] 1.60/1.77 c remove useless variable x[4][18] 1.60/1.77 c remove useless variable x[4][19] 1.60/1.77 c remove useless variable x[4][20] 1.60/1.77 c remove useless variable x[5][16] 1.60/1.77 c remove useless variable x[5][17] 1.60/1.77 c remove useless variable x[5][18] 1.60/1.77 c remove useless variable x[5][19] 1.60/1.77 c remove useless variable x[5][20] 1.60/1.77 c remove useless variable x[6][17] 1.60/1.77 c remove useless variable x[6][18] 1.60/1.77 c remove useless variable x[6][19] 1.60/1.77 c remove useless variable x[6][20] 1.60/1.77 c remove useless variable x[7][18] 1.60/1.77 c remove useless variable x[7][19] 1.60/1.77 c remove useless variable x[7][20] 1.60/1.77 c remove useless variable x[8][19] 1.60/1.77 c remove useless variable x[8][20] 1.60/1.77 c remove useless variable x[9][20] 1.60/1.77 c remove useless variable x[11][20] 1.60/1.77 c remove useless variable x[12][19] 1.60/1.77 c remove useless variable x[12][20] 1.60/1.77 c remove useless variable x[13][18] 1.60/1.77 c remove useless variable x[13][19] 1.60/1.77 c remove useless variable x[13][20] 1.60/1.77 c remove useless variable x[14][17] 1.60/1.77 c remove useless variable x[14][18] 1.60/1.77 c remove useless variable x[14][19] 1.60/1.77 c remove useless variable x[14][20] 1.60/1.77 c remove useless variable x[15][16] 1.60/1.77 c remove useless variable x[15][17] 1.60/1.77 c remove useless variable x[15][18] 1.60/1.77 c remove useless variable x[15][19] 1.60/1.77 c remove useless variable x[15][20] 1.60/1.77 c remove useless variable x[16][15] 1.60/1.77 c remove useless variable x[16][16] 1.60/1.77 c remove useless variable x[16][17] 1.60/1.77 c remove useless variable x[16][18] 1.60/1.77 c remove useless variable x[16][19] 1.60/1.77 c remove useless variable x[16][20] 1.60/1.77 c remove useless variable x[17][14] 1.60/1.77 c remove useless variable x[17][15] 1.60/1.77 c remove useless variable x[17][16] 1.60/1.77 c remove useless variable x[17][17] 1.60/1.77 c remove useless variable x[17][18] 1.60/1.77 c remove useless variable x[17][19] 1.60/1.77 c remove useless variable x[17][20] 1.60/1.77 c remove useless variable x[18][13] 1.60/1.77 c remove useless variable x[18][14] 1.60/1.77 c remove useless variable x[18][15] 1.60/1.77 c remove useless variable x[18][16] 1.60/1.77 c remove useless variable x[18][17] 1.60/1.77 c remove useless variable x[18][18] 1.60/1.77 c remove useless variable x[18][19] 1.60/1.77 c remove useless variable x[18][20] 1.60/1.77 c remove useless variable x[19][12] 1.60/1.77 c remove useless variable x[19][13] 1.60/1.77 c remove useless variable x[19][14] 1.60/1.77 c remove useless variable x[19][15] 1.60/1.77 c remove useless variable x[19][16] 1.60/1.77 c remove useless variable x[19][17] 1.60/1.77 c remove useless variable x[19][18] 1.60/1.77 c remove useless variable x[19][19] 1.60/1.77 c remove useless variable x[19][20] 1.60/1.77 c remove useless variable x[20][11] 1.60/1.77 c remove useless variable x[20][12] 1.60/1.77 c remove useless variable x[20][13] 1.60/1.77 c remove useless variable x[20][14] 1.60/1.77 c remove useless variable x[20][15] 1.60/1.77 c remove useless variable x[20][16] 1.60/1.77 c remove useless variable x[20][17] 1.60/1.77 c remove useless variable x[20][18] 1.60/1.77 c remove useless variable x[20][19] 1.60/1.77 c remove useless variable x[20][20] 1.60/1.79 c 10 21 940 9613 6 10 11 12 10 1.70/1.82 c 20 43 1749 20384 6 20 12 13 11 1.70/1.84 c 30 65 2610 30827 6 30 12 13 11 1.70/1.86 c 40 87 3479 41229 6 40 12 13 11 1.70/1.88 c 50 109 4287 52000 6 50 12 13 11 1.80/1.91 c 60 131 5148 62443 6 60 12 13 11 1.80/1.93 c 70 153 6017 72845 6 70 12 13 11 1.80/1.95 c 80 175 6825 83616 6 80 12 13 11 1.80/1.97 c 90 197 7686 94059 6 90 12 13 11 1.80/1.99 c 100 219 8555 104461 6 100 12 13 11 1.91/2.01 c 101 231 9212 111208 6 101 12 12 6 1.91/2.04 c 110 252 10065 121627 6 110 12 13 11 1.91/2.06 c 120 274 10934 132029 6 120 12 13 11 1.91/2.08 c 130 296 11742 142800 6 130 12 13 11 1.91/2.10 c 140 318 12603 153243 6 140 12 13 11 2.01/2.13 c 150 340 13472 163645 6 150 12 13 11 2.01/2.15 c 160 362 14280 174416 6 160 12 13 11 2.01/2.17 c 170 384 15141 184859 6 170 12 13 11 2.01/2.19 c 180 406 16010 195261 6 180 12 13 11 2.10/2.22 c 190 428 16818 206032 6 190 12 13 11 2.10/2.24 c 200 450 17679 216475 6 200 12 13 11 2.10/2.26 c 210 472 18548 226877 6 210 12 13 11 2.10/2.28 c 211 485 19284 235797 6 211 13 13 6 2.20/2.30 c 220 506 20136 246216 6 220 12 13 11 2.20/2.33 c 230 528 21005 256618 6 230 12 13 11 2.20/2.35 c 240 552 21915 268269 6 239 13 14 12 2.20/2.37 c 250 574 22776 278712 6 249 12 13 11 2.30/2.40 c 260 596 23645 289114 6 259 12 13 11 2.30/2.42 c 270 618 24453 299885 6 269 12 13 11 2.30/2.44 c 280 640 25314 310328 6 279 12 13 11 2.30/2.46 c 290 662 26183 320730 6 289 12 13 11 2.30/2.49 c 300 684 26991 331501 6 299 12 13 11 2.40/2.51 c 310 706 27852 341944 6 309 12 13 11 2.40/2.53 c 320 728 28722 352346 6 319 12 13 11 2.40/2.56 c 330 752 29632 363991 6 327 13 14 11 2.40/2.58 c 332 765 30351 370714 6 329 12 12 8 2.50/2.60 c 340 785 31202 381065 6 337 12 13 10 2.50/2.62 c 350 807 32010 391836 6 347 12 13 11 2.50/2.64 c 360 829 32871 402279 6 357 12 13 11 2.50/2.66 c 370 851 33740 412681 6 367 12 13 11 2.50/2.69 c 380 873 34548 423452 6 377 12 13 11 2.60/2.71 c 390 895 35409 433895 6 387 12 13 11 2.60/2.73 c 400 917 36278 444297 6 397 12 13 11 2.60/2.75 c 410 939 37086 455068 6 407 12 13 11 2.60/2.78 c 420 961 37947 465511 6 417 12 13 11 2.70/2.80 c 430 983 38816 475913 6 427 12 13 11 2.70/2.82 c 440 1005 39625 486684 6 437 12 13 11 2.70/2.84 c 450 1027 40486 497127 6 447 12 13 11 2.70/2.87 c 460 1049 41355 507529 6 457 12 13 11 2.70/2.89 c 465 1067 42150 516864 6 461 13 13 10 2.80/2.91 c 470 1083 42896 524457 6 466 12 12 10 2.80/2.93 c 480 1105 43765 534859 6 476 12 13 11 2.80/2.95 c 490 1127 44573 545630 6 486 12 13 11 2.80/2.97 c 500 1149 45434 556073 6 496 12 13 11 2.80/3.00 c 510 1171 46303 566475 6 506 12 13 11 2.91/3.02 c 520 1193 47111 577246 6 516 12 13 11 2.91/3.04 c 530 1215 47972 587689 6 526 12 13 11 2.91/3.06 c 540 1237 48842 598091 6 536 12 13 11 2.91/3.09 c 550 1259 49650 608862 6 546 12 13 11 3.01/3.11 c 560 1281 50511 619305 6 556 12 13 11 3.01/3.13 c 570 1303 51380 629707 6 566 12 13 11 3.01/3.15 c 580 1325 52188 640478 6 576 12 13 11 3.01/3.18 c 590 1347 53049 650921 6 586 12 13 11 3.10/3.20 c 600 1369 53918 661323 6 596 12 13 11 3.10/3.22 c 610 1393 54828 672974 6 605 13 14 12 3.10/3.24 c 611 1405 55538 679393 6 606 12 12 6 3.10/3.27 c 620 1426 56398 689771 6 615 12 13 11 3.10/3.29 c 630 1448 57206 700542 6 625 12 13 11 3.20/3.31 c 640 1470 58068 710985 6 635 12 13 11 3.20/3.33 c 650 1492 58937 721387 6 645 12 13 11 3.20/3.35 c 660 1514 59745 732158 6 655 12 13 11 3.20/3.38 c 670 1536 60606 742601 6 665 12 13 11 3.30/3.40 c 680 1558 61475 753003 6 675 12 13 11 3.30/3.42 c 690 1580 62283 763774 6 685 12 13 11 3.30/3.44 c 700 1602 63144 774217 6 695 12 13 11 3.30/3.47 c 710 1624 64013 784619 6 705 12 13 11 3.30/3.49 c 720 1646 64821 795390 6 715 12 13 11 3.40/3.51 c 730 1668 65682 805833 6 725 12 13 11 3.40/3.53 c 740 1690 66551 816235 6 735 12 13 11 3.40/3.56 c 750 1714 67462 827886 6 744 13 14 12 3.40/3.58 c 760 1736 68323 838329 6 754 12 13 11 3.50/3.60 c 770 1758 69192 848731 6 764 12 13 11 3.50/3.62 c 771 1770 69849 855478 6 765 12 12 6 3.50/3.64 c 780 1791 70701 865897 6 774 12 13 11 3.50/3.67 c 790 1813 71570 876299 6 784 12 13 11 3.50/3.69 c 800 1835 72378 887070 6 794 12 13 11 3.60/3.71 c 810 1857 73239 897513 6 804 12 13 11 3.60/3.73 c 820 1879 74108 907915 6 814 12 13 11 3.60/3.76 c 830 1901 74916 918686 6 824 12 13 11 3.60/3.78 c 840 1923 75777 929129 6 834 12 13 11 3.70/3.80 c 850 1945 76646 939531 6 844 12 13 11 3.70/3.82 c 860 1967 77454 950302 6 854 12 13 11 3.70/3.84 c 870 1989 78315 960745 6 864 12 13 11 3.70/3.87 c 880 2011 79184 971147 6 874 12 13 11 3.70/3.89 c 890 2035 80094 982792 6 882 13 14 11 3.80/3.92 c 900 2057 80955 993235 6 892 12 13 11 3.80/3.94 c 910 2079 81824 1003637 6 902 12 13 11 3.80/3.96 c 920 2101 82632 1014408 6 912 12 13 11 3.80/3.98 c 930 2123 83493 1024851 6 922 12 13 11 3.80/4.00 c 940 2145 84362 1035253 6 932 12 13 11 3.91/4.03 c 947 2164 85143 1045940 6 939 12 13 10 3.91/4.05 c 950 2178 85871 1052960 6 942 12 12 9 3.91/4.07 c 960 2200 86740 1063362 6 952 12 13 11 3.91/4.09 c 970 2222 87548 1074133 6 962 12 13 11 4.01/4.11 c 980 2244 88410 1084576 6 972 12 13 11 4.01/4.14 c 990 2266 89279 1094978 6 982 12 13 11 4.01/4.16 c 1000 2288 90087 1105749 6 992 12 13 11 4.01/4.18 c 1010 2310 90948 1116192 6 1002 12 13 11 4.10/4.20 c 1020 2332 91817 1126594 6 1012 12 13 11 4.10/4.22 c 1030 2354 92625 1137365 6 1022 12 13 11 4.10/4.25 c 1040 2376 93486 1147808 6 1032 12 13 11 4.10/4.27 c 1050 2398 94355 1158210 6 1042 12 13 11 4.10/4.29 c 1060 2420 95163 1168981 6 1052 12 13 11 4.20/4.31 c 1070 2442 96024 1179424 6 1062 12 13 11 4.20/4.34 c 1080 2464 96893 1189826 6 1072 12 13 11 4.20/4.36 c 1090 2488 97804 1201477 6 1081 13 14 12 4.20/4.38 c 1100 2510 98665 1211920 6 1091 12 13 11 4.30/4.41 c 1110 2532 99534 1222322 6 1101 12 13 11 4.30/4.43 c 1120 2554 100342 1233093 6 1111 12 13 11 4.30/4.45 c 1130 2576 101203 1243536 6 1121 12 13 11 4.30/4.47 c 1140 2598 102072 1253938 6 1131 12 13 11 4.30/4.49 c 1141 2610 102729 1260685 6 1132 12 12 6 4.40/4.51 c 1150 2631 103581 1271104 6 1141 12 13 11 4.40/4.54 c 1160 2653 104450 1281506 6 1151 12 13 11 4.40/4.56 c 1170 2675 105258 1292277 6 1161 12 13 11 4.40/4.58 c 1180 2697 106119 1302720 6 1171 12 13 11 4.50/4.60 c 1190 2719 106988 1313122 6 1181 12 13 11 4.50/4.63 c 1200 2741 107796 1323893 6 1191 12 13 11 4.50/4.65 c 1210 2763 108657 1334336 6 1201 12 13 11 4.50/4.67 c 1220 2785 109526 1344738 6 1211 12 13 11 4.50/4.69 c 1230 2807 110334 1355509 6 1221 12 13 11 4.60/4.72 c 1240 2829 111195 1365952 6 1231 12 13 11 4.60/4.74 c 1250 2851 112064 1376354 6 1241 12 13 11 4.60/4.76 c 1260 2875 112974 1387999 6 1249 13 14 11 4.60/4.79 c 1270 2897 113835 1398442 6 1259 12 13 11 4.70/4.81 c 1280 2919 114704 1408844 6 1269 12 13 11 4.70/4.83 c 1290 2941 115512 1419615 6 1279 12 13 11 4.70/4.85 c 1300 2963 116373 1430058 6 1289 12 13 11 4.70/4.88 c 1310 2985 117242 1440460 6 1299 12 13 11 4.80/4.90 c 1320 3007 118050 1451231 6 1309 12 13 11 4.80/4.92 c 1330 3029 118911 1461674 6 1319 12 13 11 4.80/4.94 c 1340 3051 119780 1472076 6 1329 12 13 11 4.80/4.97 c 1350 3075 120690 1483727 6 1338 13 14 12 4.80/4.99 c 1352 3088 121409 1490450 6 1340 12 12 8 4.90/5.01 c 1360 3108 122260 1500801 6 1348 12 13 10 4.90/5.03 c 1370 3130 123068 1511572 6 1358 12 13 11 4.90/5.05 c 1380 3152 123929 1522015 6 1368 12 13 11 4.90/5.08 c 1390 3174 124798 1532417 6 1378 12 13 11 4.90/5.10 c 1400 3196 125606 1543188 6 1388 12 13 11 5.00/5.12 c 1410 3218 126467 1553631 6 1398 12 13 11 5.00/5.14 c 1420 3240 127336 1564033 6 1408 12 13 11 5.00/5.16 c 1430 3262 128144 1574804 6 1418 12 13 11 5.00/5.19 c 1440 3284 129006 1585247 6 1428 12 13 11 5.10/5.21 c 1450 3306 129875 1595649 6 1438 12 13 11 5.10/5.23 c 1460 3328 130683 1606420 6 1448 12 13 11 5.10/5.25 c 1470 3350 131544 1616863 6 1458 12 13 11 5.10/5.28 c 1480 3372 132413 1627265 6 1468 12 13 11 5.19/5.30 c 1490 3396 133323 1638916 6 1477 13 14 12 5.19/5.33 c 1500 3418 134184 1649359 6 1487 12 13 11 5.19/5.35 c 1510 3440 135053 1659761 6 1497 12 13 11 5.19/5.37 c 1520 3462 135861 1670532 6 1507 12 13 11 5.19/5.39 c 1530 3484 136722 1680975 6 1517 12 13 11 5.29/5.41 c 1540 3506 137591 1691377 6 1527 12 13 11 5.29/5.44 c 1550 3528 138400 1702148 6 1537 12 13 11 5.29/5.46 c 1560 3550 139261 1712591 6 1547 12 13 11 5.29/5.48 c 1570 3572 140130 1722993 6 1557 12 13 11 5.39/5.51 c 1580 3596 141040 1734644 6 1566 13 14 12 5.39/5.53 c 1585 3612 141786 1742237 6 1571 12 12 10 5.39/5.55 c 1590 3628 142540 1749803 6 1576 12 12 10 5.39/5.57 c 1600 3650 143348 1760574 6 1586 12 13 11 5.39/5.59 c 1610 3672 144209 1771017 6 1596 12 13 11 5.49/5.61 c 1620 3694 145078 1781419 6 1606 12 13 11 5.49/5.63 c 1630 3716 145886 1792190 6 1616 12 13 11 5.49/5.66 c 1640 3738 146747 1802633 6 1626 12 13 11 5.49/5.68 c 1650 3760 147617 1813035 6 1636 12 13 11 5.59/5.70 c 1660 3782 148425 1823806 6 1646 12 13 11 5.59/5.72 c 1670 3804 149286 1834249 6 1656 12 13 11 5.59/5.75 c 1680 3826 150155 1844651 6 1666 12 13 11 5.59/5.77 c 1690 3848 150963 1855422 6 1676 12 13 11 5.59/5.79 c 1700 3870 151824 1865865 6 1686 12 13 11 5.69/5.81 c 1710 3892 152693 1876267 6 1696 12 13 11 5.69/5.84 c 1720 3916 153603 1887918 6 1705 13 14 12 5.69/5.86 c 1730 3938 154464 1898361 6 1715 12 13 11 5.69/5.88 c 1740 3960 155333 1908763 6 1725 12 13 11 5.79/5.90 c 1750 3982 156141 1919534 6 1735 12 13 11 5.79/5.93 c 1760 4004 157003 1929977 6 1745 12 13 11 5.79/5.95 c 1770 4026 157872 1940379 6 1755 12 13 11 5.79/5.97 c 1780 4048 158680 1951150 6 1765 12 13 11 5.79/5.99 c 1790 4070 159541 1961593 6 1775 12 13 11 5.90/6.02 c 1800 4092 160410 1971995 6 1785 12 13 11 5.90/6.04 c 1810 4116 161320 1983646 6 1794 13 14 12 5.90/6.06 c 1820 4138 162181 1994089 6 1804 12 13 11 5.90/6.09 c 1830 4160 163050 2004491 6 1814 12 13 11 6.00/6.11 c 1840 4182 163858 2015262 6 1824 12 13 11 6.00/6.13 c 1841 4194 164568 2021681 6 1825 12 12 6 6.00/6.15 c 1850 4215 165429 2032059 6 1834 12 13 11 6.00/6.17 c 1860 4237 166237 2042830 6 1844 12 13 11 6.00/6.19 c 1870 4259 167098 2053273 6 1854 12 13 11 6.09/6.22 c 1880 4281 167967 2063675 6 1864 12 13 11 6.09/6.24 c 1890 4303 168775 2074446 6 1874 12 13 11 6.09/6.26 c 1900 4325 169636 2084889 6 1884 12 13 11 6.09/6.28 c 1910 4347 170505 2095291 6 1894 12 13 11 6.19/6.30 c 1920 4369 171313 2106062 6 1904 12 13 11 6.19/6.33 c 1930 4391 172174 2116505 6 1914 12 13 11 6.19/6.35 c 1940 4413 173043 2126907 6 1924 12 13 11 6.19/6.37 c 1950 4435 173851 2137678 6 1934 12 13 11 6.19/6.40 c 1960 4457 174713 2148121 6 1944 12 13 11 6.30/6.42 c 1970 4479 175582 2158523 6 1954 12 13 11 6.30/6.44 c 1980 4503 176492 2170174 6 1963 13 14 12 6.30/6.46 c 1990 4525 177353 2180617 6 1973 12 13 11 6.30/6.49 c 2000 4547 178222 2191019 6 1983 12 13 11 6.40/6.51 c 2010 4569 179030 2201790 6 1993 12 13 11 6.40/6.53 c 2020 4591 179891 2212233 6 2003 12 13 11 6.40/6.55 c 2030 4613 180760 2222635 6 2013 12 13 11 6.40/6.58 c 2040 4635 181568 2233406 6 2023 12 13 11 6.50/6.60 c 2050 4657 182429 2243849 6 2033 12 13 11 6.50/6.62 c 2060 4679 183298 2254251 6 2043 12 13 11 6.50/6.65 c 2070 4703 184209 2265902 6 2052 13 14 12 6.50/6.67 c 2080 4725 185070 2276345 6 2062 12 13 11 6.50/6.69 c 2090 4747 185939 2286747 6 2072 12 13 11 6.60/6.71 c 2100 4769 186747 2297518 6 2082 12 13 11 6.60/6.74 c 2110 4791 187608 2307961 6 2092 12 13 11 6.60/6.76 c 2120 4813 188477 2318363 6 2102 12 13 11 6.60/6.78 c 2122 4826 189143 2325414 6 2104 12 12 8 6.70/6.80 c 2130 4846 189986 2335806 6 2112 12 13 10 6.70/6.82 c 2140 4868 190855 2346208 6 2122 12 13 11 6.70/6.84 c 2150 4890 191663 2356979 6 2132 12 13 11 6.70/6.87 c 2160 4912 192524 2367422 6 2142 12 13 11 6.70/6.89 c 2170 4934 193393 2377824 6 2152 12 13 11 6.80/6.91 c 2180 4956 194201 2388595 6 2162 12 13 11 6.80/6.93 c 2190 4978 195062 2399038 6 2172 12 13 11 6.80/6.96 c 2200 5000 195931 2409440 6 2182 12 13 11 6.80/6.98 c 2210 5022 196739 2420211 6 2192 12 13 11 6.80/7.00 c 2220 5044 197600 2430654 6 2202 12 13 11 6.91/7.02 c 2230 5066 198469 2441056 6 2212 12 13 11 6.91/7.04 c 2240 5089 199309 2450503 6 2219 13 13 11 6.91/7.07 c 2250 5111 200170 2460946 6 2229 12 13 11 6.91/7.09 c 2260 5133 201039 2471348 6 2239 12 13 11 7.01/7.11 c 2270 5155 201847 2482119 6 2249 12 13 11 7.01/7.13 c 2280 5177 202708 2492562 6 2259 12 13 11 7.01/7.16 c 2290 5199 203577 2502964 6 2269 12 13 11 7.01/7.18 c 2300 5221 204385 2513735 6 2279 12 13 11 7.10/7.20 c 2310 5243 205246 2524178 6 2289 12 13 11 7.10/7.22 c 2320 5265 206115 2534580 6 2299 12 13 11 7.10/7.25 c 2330 5287 206923 2545351 6 2309 12 13 11 7.10/7.27 c 2340 5309 207793 2555242 6 2314 12 13 11 7.10/7.29 c 2350 5331 208662 2565644 6 2324 12 13 11 7.20/7.31 c 2360 5353 209470 2576415 6 2334 12 13 11 7.20/7.34 c 2370 5377 210433 2587738 6 2343 13 14 12 7.20/7.36 c 2380 5399 211302 2598140 6 2353 12 13 11 7.20/7.38 c 2390 5421 212110 2608911 6 2363 12 13 11 7.30/7.41 c 2400 5443 212971 2619354 6 2373 12 13 11 7.30/7.43 c 2410 5465 213840 2629756 6 2383 12 13 11 7.30/7.45 c 2420 5487 214648 2640527 6 2393 12 13 11 7.30/7.47 c 2430 5509 215509 2650970 6 2403 12 13 11 7.30/7.49 c 2431 5521 216227 2657390 6 2404 12 12 6 7.40/7.51 c 2440 5542 217026 2668137 6 2413 12 13 11 7.40/7.54 c 2450 5564 217887 2678580 6 2423 12 13 11 7.40/7.56 c 2460 5586 218757 2688982 6 2433 12 13 11 7.40/7.58 c 2470 5608 219565 2699753 6 2443 12 13 11 7.50/7.60 c 2480 5630 220426 2710196 6 2453 12 13 11 7.50/7.63 c 2490 5652 221295 2720598 6 2463 12 13 11 7.50/7.65 c 2500 5674 222103 2731369 6 2473 12 13 11 7.50/7.67 c 2510 5696 222964 2741812 6 2483 12 13 11 7.50/7.69 c 2520 5718 223833 2752214 6 2493 12 13 11 7.60/7.72 c 2530 5740 224641 2762985 6 2503 12 13 11 7.60/7.74 c 2540 5762 225502 2773428 6 2513 12 13 11 7.60/7.76 c 2550 5784 226371 2783830 6 2523 12 13 11 7.60/7.78 c 2560 5808 227281 2795481 6 2532 13 14 12 7.70/7.81 c 2570 5830 228143 2805924 6 2542 12 13 11 7.70/7.83 c 2580 5852 229012 2816326 6 2552 12 13 11 7.70/7.85 c 2590 5874 229820 2827097 6 2562 12 13 11 7.70/7.87 c 2600 5896 230681 2837540 6 2572 12 13 11 7.80/7.90 c 2610 5918 231550 2847942 6 2582 12 13 11 7.80/7.92 c 2620 5940 232358 2858713 6 2592 12 13 11 7.80/7.94 c 2630 5962 233219 2869156 6 2602 12 13 11 7.80/7.96 c 2640 5984 234088 2879558 6 2612 12 13 11 7.80/7.99 c 2650 6008 234998 2891209 6 2621 13 14 12 7.91/8.01 c 2660 6030 235859 2901652 6 2631 12 13 11 7.91/8.03 c 2670 6052 236728 2912054 6 2641 12 13 11 7.91/8.06 c 2680 6074 237537 2922825 6 2651 12 13 11 7.91/8.08 c 2690 6096 238398 2933268 6 2661 12 13 11 7.91/8.10 c 2700 6118 239267 2943670 6 2671 12 13 11 8.01/8.12 c 2710 6140 240075 2954441 6 2681 12 13 11 8.01/8.15 c 2720 6162 240936 2964884 6 2691 12 13 11 8.01/8.17 c 2730 6184 241805 2975286 6 2701 12 13 11 8.01/8.19 c 2740 6206 242613 2986057 6 2711 12 13 11 8.10/8.21 c 2750 6228 243474 2996500 6 2721 12 13 11 8.10/8.23 c 2760 6250 244343 3006902 6 2731 12 13 11 8.10/8.26 c 2770 6274 245253 3018553 6 2740 13 14 12 8.10/8.28 c 2771 6286 245963 3024972 6 2741 12 12 6 8.20/8.30 c 2780 6307 246823 3035350 6 2750 12 13 11 8.20/8.32 c 2790 6329 247631 3046121 6 2760 12 13 11 8.20/8.35 c 2800 6351 248492 3056564 6 2770 12 13 11 8.20/8.37 c 2810 6373 249361 3066966 6 2780 12 13 11 8.20/8.39 c 2820 6395 250169 3077737 6 2790 12 13 11 8.30/8.41 c 2830 6417 251030 3088180 6 2800 12 13 11 8.30/8.44 c 2840 6439 251899 3098582 6 2810 12 13 11 8.30/8.46 c 2850 6461 252707 3109353 6 2820 12 13 11 8.30/8.48 c 2860 6483 253568 3119796 6 2830 12 13 11 8.40/8.50 c 2870 6505 254438 3130198 6 2840 12 13 11 8.40/8.52 c 2880 6527 255246 3140969 6 2850 12 13 11 8.40/8.55 c 2890 6549 256107 3151412 6 2860 12 13 11 8.40/8.57 c 2900 6571 256976 3161814 6 2870 12 13 11 8.40/8.59 c 2910 6595 257886 3173465 6 2879 13 14 12 8.50/8.62 c 2920 6617 258747 3183908 6 2889 12 13 11 8.50/8.64 c 2930 6639 259616 3194310 6 2899 12 13 11 8.50/8.66 c 2940 6661 260424 3205081 6 2909 12 13 11 8.50/8.68 c 2950 6683 261285 3215524 6 2919 12 13 11 8.60/8.71 c 2960 6705 262154 3225926 6 2929 12 13 11 8.60/8.73 c 2970 6727 262962 3236697 6 2939 12 13 11 8.60/8.75 c 2980 6749 263824 3247140 6 2949 12 13 11 8.60/8.77 c 2990 6771 264693 3257542 6 2959 12 13 11 8.70/8.80 c 3000 6795 265603 3269193 6 2968 13 14 12 8.70/8.82 c 3010 6817 266464 3279636 6 2978 12 13 11 8.70/8.84 c 3020 6839 267333 3290038 6 2988 12 13 11 8.70/8.86 c 3030 6861 268141 3300809 6 2998 12 13 11 8.70/8.89 c 3040 6883 269002 3311252 6 3008 12 13 11 8.80/8.91 c 3050 6905 269871 3321654 6 3018 12 13 11 8.80/8.93 c 3060 6927 270679 3332425 6 3028 12 13 11 8.80/8.95 c 3070 6949 271540 3342868 6 3038 12 13 11 8.80/8.98 c 3080 6971 272409 3353270 6 3048 12 13 11 8.80/9.00 c 3090 6993 273218 3364041 6 3058 12 13 11 8.91/9.02 c 3100 7015 274079 3374484 6 3068 12 13 11 8.91/9.04 c 3110 7037 274948 3384886 6 3078 12 13 11 8.91/9.07 c 3120 7061 275858 3396537 6 3087 13 14 12 8.91/9.09 c 3130 7083 276719 3406980 6 3097 12 13 11 9.01/9.11 c 3140 7105 277588 3417382 6 3107 12 13 11 9.01/9.13 c 3142 7118 278254 3424433 6 3109 12 12 8 9.01/9.15 c 3150 7138 279097 3434825 6 3117 12 13 10 9.01/9.18 c 3160 7160 279966 3445227 6 3127 12 13 11 9.10/9.20 c 3170 7182 280774 3455998 6 3137 12 13 11 9.10/9.22 c 3180 7204 281635 3466441 6 3147 12 13 11 9.10/9.24 c 3190 7226 282505 3476843 6 3157 12 13 11 9.10/9.27 c 3200 7248 283313 3487614 6 3167 12 13 11 9.10/9.29 c 3210 7270 284174 3498057 6 3177 12 13 11 9.20/9.31 c 3220 7292 285043 3508459 6 3187 12 13 11 9.20/9.33 c 3230 7314 285851 3519230 6 3197 12 13 11 9.20/9.36 c 3240 7336 286712 3529673 6 3207 12 13 11 9.20/9.38 c 3250 7358 287581 3540075 6 3217 12 13 11 9.30/9.40 c 3260 7381 288421 3549522 6 3224 13 13 11 9.30/9.42 c 3270 7403 289282 3559965 6 3234 12 13 11 9.30/9.45 c 3280 7425 290151 3570367 6 3244 12 13 11 9.30/9.47 c 3290 7447 290959 3581138 6 3254 12 13 11 9.30/9.49 c 3300 7469 291821 3591581 6 3264 12 13 11 9.40/9.51 c 3310 7491 292690 3601983 6 3274 12 13 11 9.40/9.54 c 3320 7513 293498 3612754 6 3284 12 13 11 9.40/9.56 c 3330 7535 294359 3623197 6 3294 12 13 11 9.40/9.58 c 3340 7557 295228 3633599 6 3304 12 13 11 9.50/9.60 c 3350 7579 296036 3644370 6 3314 12 13 11 9.50/9.63 c 3360 7601 296906 3654261 6 3319 12 13 11 9.50/9.65 c 3370 7623 297775 3664663 6 3329 12 13 11 9.50/9.67 c 3380 7645 298583 3675434 6 3339 12 13 11 9.50/9.70 c 3390 7669 299546 3686757 6 3348 13 14 12 9.60/9.72 c 3400 7691 300415 3697159 6 3358 12 13 11 9.60/9.74 c 3410 7713 301224 3707930 6 3368 12 13 11 9.60/9.76 c 3420 7735 302085 3718373 6 3378 12 13 11 9.60/9.78 c 3430 7757 302954 3728775 6 3388 12 13 11 9.70/9.81 c 3440 7779 303762 3739546 6 3398 12 13 11 9.70/9.83 c 3450 7801 304623 3749989 6 3408 12 13 11 9.70/9.85 c 3460 7823 305492 3760391 6 3418 12 13 11 9.70/9.87 c 3470 7845 306300 3771162 6 3428 12 13 11 9.80/9.90 c 3480 7869 307214 3780665 6 3434 13 14 12 9.80/9.92 c 3490 7890 308028 3790515 6 3444 11 12 10 9.80/9.94 c 3500 7912 308836 3801286 6 3454 12 13 11 9.80/9.96 c 3510 7934 309697 3811729 6 3464 12 13 11 9.80/9.98 c 3520 7955 310512 3821579 6 3474 11 12 10 9.91/10.01 c 3530 7977 311320 3832350 6 3484 12 13 11 9.91/10.03 c 3540 7999 312182 3842793 6 3494 12 13 11 9.91/10.05 c 3550 8020 312996 3852643 6 3504 11 12 10 9.91/10.07 c 3551 8032 313653 3859390 6 3505 12 12 6 9.91/10.09 c 3560 8053 314505 3869809 6 3514 12 13 11 10.01/10.11 c 3570 8074 315319 3879659 6 3524 11 12 10 10.01/10.13 c 3580 8096 316127 3890430 6 3534 12 13 11 10.01/10.16 c 3590 8118 316988 3900873 6 3544 12 13 11 10.01/10.18 c 3600 8139 317802 3910723 6 3554 11 12 10 10.10/10.20 c 3610 8161 318610 3921494 6 3564 12 13 11 10.10/10.22 c 3620 8183 319471 3931937 6 3574 12 13 11 10.10/10.24 c 3630 8204 320285 3941787 6 3584 11 12 10 10.10/10.26 c 3640 8226 321093 3952558 6 3594 12 13 11 10.10/10.29 c 3650 8248 321954 3963001 6 3604 12 13 11 10.20/10.31 c 3660 8269 322768 3972851 6 3614 11 12 10 10.20/10.33 c 3670 8291 323576 3983622 6 3624 12 13 11 10.20/10.35 c 3680 8313 324437 3994065 6 3634 12 13 11 10.20/10.37 c 3690 8334 325251 4003915 6 3644 11 12 10 10.20/10.39 c 3700 8356 326059 4014686 6 3654 12 13 11 10.30/10.42 c 3710 8378 326920 4025129 6 3664 12 13 11 10.30/10.44 c 3720 8399 327734 4034979 6 3674 11 12 10 10.30/10.46 c 3730 8421 328542 4045750 6 3684 12 13 11 10.30/10.48 c 3740 8443 329403 4056193 6 3694 12 13 11 10.40/10.50 c 3750 8464 330217 4066043 6 3704 11 12 10 10.40/10.52 c 3760 8486 331025 4076814 6 3714 12 13 11 10.40/10.55 c 3770 8508 331886 4087257 6 3724 12 13 11 10.40/10.57 c 3780 8529 332701 4097107 6 3734 11 12 10 10.40/10.59 c 3790 8551 333509 4107878 6 3744 12 13 11 10.50/10.61 c 3800 8573 334371 4118321 6 3754 12 13 11 10.50/10.63 c 3810 8594 335185 4128171 6 3764 11 12 10 10.50/10.65 c 3820 8616 335993 4138942 6 3774 12 13 11 10.50/10.68 c 3830 8638 336854 4149385 6 3784 12 13 11 10.60/10.70 c 3840 8659 337668 4159235 6 3794 11 12 10 10.60/10.72 c 3850 8681 338476 4170006 6 3804 12 13 11 10.60/10.74 c 3860 8703 339337 4180449 6 3814 12 13 11 10.60/10.76 c 3870 8724 340151 4190299 6 3824 11 12 10 10.60/10.78 c 3880 8746 340959 4201070 6 3834 12 13 11 10.70/10.81 c 3890 8768 341820 4211513 6 3844 12 13 11 10.70/10.83 c 3900 8789 342634 4221363 6 3854 11 12 10 10.70/10.85 c 3910 8811 343443 4232134 6 3864 12 13 11 10.70/10.87 c 3920 8835 344406 4243451 6 3872 13 14 11 10.70/10.90 c 3930 8856 345220 4253301 6 3882 11 12 10 10.80/10.92 c 3940 8878 346028 4264072 6 3892 12 13 11 10.80/10.94 c 3950 8900 346889 4274515 6 3902 12 13 11 10.80/10.96 c 3960 8921 347703 4284365 6 3912 11 12 10 10.80/10.98 c 3970 8943 348511 4295136 6 3922 12 13 11 10.91/11.01 c 3980 8965 349372 4305579 6 3932 12 13 11 10.91/11.03 c 3990 8986 350186 4315429 6 3942 11 12 10 10.91/11.05 c 4000 9008 350994 4326200 6 3952 12 13 11 10.91/11.07 c 4001 9020 351704 4332619 6 3953 12 12 6 10.91/11.09 c 4010 9040 352509 4342445 6 3962 11 12 10 11.01/11.11 c 4020 9062 353318 4353216 6 3972 12 13 11 11.01/11.13 c 4030 9084 354179 4363659 6 3982 12 13 11 11.01/11.15 c 4040 9105 354993 4373509 6 3992 11 12 10 11.01/11.17 c 4050 9127 355801 4384280 6 4002 12 13 11 11.10/11.20 c 4060 9149 356662 4394723 6 4012 12 13 11 11.10/11.22 c 4070 9170 357476 4404573 6 4022 11 12 10 11.10/11.24 c 4080 9192 358284 4415344 6 4032 12 13 11 11.10/11.26 c 4090 9214 359145 4425787 6 4042 12 13 11 11.10/11.28 c 4100 9235 359959 4435637 6 4052 11 12 10 11.20/11.31 c 4110 9257 360767 4446408 6 4062 12 13 11 11.20/11.33 c 4120 9279 361628 4456851 6 4072 12 13 11 11.20/11.35 c 4130 9300 362442 4466701 6 4082 11 12 10 11.20/11.37 c 4140 9322 363250 4477472 6 4092 12 13 11 11.20/11.39 c 4150 9344 364111 4487915 6 4102 12 13 11 11.30/11.42 c 4160 9365 364925 4497765 6 4112 11 12 10 11.30/11.44 c 4170 9387 365733 4508536 6 4122 12 13 11 11.30/11.46 c 4180 9409 366594 4518979 6 4132 12 13 11 11.30/11.48 c 4190 9430 367408 4528829 6 4142 11 12 10 11.40/11.50 c 4200 9452 368216 4539600 6 4152 12 13 11 11.40/11.52 c 4210 9474 369077 4550043 6 4162 12 13 11 11.40/11.54 c 4220 9495 369891 4559893 6 4172 11 12 10 11.40/11.57 c 4230 9517 370699 4570664 6 4182 12 13 11 11.40/11.59 c 4240 9539 371560 4581107 6 4192 12 13 11 11.50/11.61 c 4250 9560 372375 4590957 6 4202 11 12 10 11.50/11.63 c 4260 9582 373183 4601728 6 4212 12 13 11 11.50/11.65 c 4270 9604 374045 4612171 6 4222 12 13 11 11.50/11.68 c 4280 9625 374859 4622021 6 4232 11 12 10 11.60/11.70 c 4290 9647 375667 4632792 6 4242 12 13 11 11.60/11.72 c 4300 9669 376528 4643235 6 4252 12 13 11 11.60/11.74 c 4310 9690 377342 4653085 6 4262 11 12 10 11.60/11.76 c 4320 9712 378150 4663856 6 4272 12 13 11 11.60/11.78 c 4330 9734 379011 4674299 6 4282 12 13 11 11.70/11.81 c 4340 9755 379825 4684149 6 4292 11 12 10 11.70/11.83 c 4350 9777 380633 4694920 6 4302 12 13 11 11.70/11.85 c 4360 9799 381494 4705363 6 4312 12 13 11 11.70/11.87 c 4370 9822 382412 4716339 6 4320 12 13 11 11.80/11.90 c 4380 9846 383323 4727990 6 4329 13 14 12 11.80/11.92 c 4390 9868 384184 4738433 6 4339 12 13 11 11.80/11.94 c 4400 9889 384998 4748283 6 4349 11 12 10 11.80/11.96 c 4410 9911 385806 4759054 6 4359 12 13 11 11.80/11.99 c 4420 9933 386667 4769497 6 4369 12 13 11 11.91/12.01 c 4430 9954 387481 4779347 6 4379 11 12 10 11.91/12.03 c 4440 9976 388289 4790118 6 4389 12 13 11 11.91/12.05 c 4450 9998 389150 4800561 6 4399 12 13 11 11.91/12.07 c 4460 10019 389964 4810411 6 4409 11 12 10 11.91/12.09 c 4470 10041 390772 4821182 6 4419 12 13 11 12.01/12.12 c 4480 10065 391735 4832505 6 4428 13 14 12 12.01/12.14 c 4490 10088 392653 4843487 6 4437 12 13 11 12.01/12.16 c 4493 10104 393430 4852750 6 4439 13 13 9 12.01/12.19 c 4500 10123 394265 4863109 6 4446 12 13 10 12.10/12.21 c 4510 10144 395079 4872959 6 4456 11 12 10 12.10/12.23 c 4520 10166 395887 4883730 6 4466 12 13 11 12.10/12.25 c 4530 10188 396748 4894173 6 4476 12 13 11 12.10/12.27 c 4540 10209 397562 4904023 6 4486 11 12 10 12.10/12.29 c 4550 10231 398370 4914794 6 4496 12 13 11 12.20/12.32 c 4560 10253 399231 4925237 6 4506 12 13 11 12.20/12.34 c 4570 10274 400045 4935087 6 4516 11 12 10 12.20/12.36 c 4580 10296 400853 4945858 6 4526 12 13 11 12.20/12.38 c 4590 10318 401714 4956301 6 4536 12 13 11 12.30/12.40 c 4600 10339 402528 4966151 6 4546 11 12 10 12.30/12.42 c 4610 10361 403337 4976922 6 4556 12 13 11 12.30/12.45 c 4620 10383 404198 4987365 6 4566 12 13 11 12.30/12.47 c 4630 10404 405012 4997215 6 4576 11 12 10 12.30/12.49 c 4640 10426 405820 5007986 6 4586 12 13 11 12.40/12.51 c 4650 10448 406681 5018429 6 4596 12 13 11 12.40/12.53 c 4660 10469 407495 5028279 6 4606 11 12 10 12.40/12.55 c 4670 10491 408303 5039050 6 4616 12 13 11 12.40/12.58 c 4680 10513 409164 5049493 6 4626 12 13 11 12.50/12.60 c 4690 10534 409978 5059343 6 4636 11 12 10 12.50/12.62 c 4700 10556 410786 5070114 6 4646 12 13 11 12.50/12.64 c 4710 10578 411647 5080557 6 4656 12 13 11 12.50/12.66 c 4720 10599 412461 5090407 6 4666 11 12 10 12.50/12.68 c 4730 10621 413269 5101178 6 4676 12 13 11 12.60/12.71 c 4740 10643 414130 5111621 6 4686 12 13 11 12.60/12.73 c 4750 10664 414944 5121471 6 4696 11 12 10 12.60/12.75 c 4760 10686 415752 5132242 6 4706 12 13 11 12.60/12.77 c 4770 10708 416613 5142685 6 4716 12 13 11 12.60/12.79 c 4780 10729 417427 5152535 6 4726 11 12 10 12.70/12.82 c 4790 10751 418235 5163306 6 4736 12 13 11 12.70/12.84 c 4800 10773 419096 5173749 6 4746 12 13 11 12.70/12.86 c 4810 10794 419910 5183599 6 4756 11 12 10 12.70/12.88 c 4820 10816 420718 5194370 6 4766 12 13 11 12.80/12.90 c 4830 10838 421579 5204813 6 4776 12 13 11 12.80/12.92 c 4840 10859 422394 5214663 6 4786 11 12 10 12.80/12.95 c 4850 10882 423236 5224172 6 4787 13 14 12 12.80/12.97 c 4860 10904 424097 5234615 6 4797 12 13 11 12.80/12.99 c 4870 10925 424911 5244465 6 4807 11 12 10 12.91/13.02 c 4880 10947 425719 5255236 6 4817 12 13 11 12.91/13.04 c 4890 10969 426580 5265679 6 4827 12 13 11 12.91/13.06 c 4900 10990 427394 5275529 6 4837 11 12 10 12.91/13.08 c 4910 11012 428202 5286300 6 4847 12 13 11 12.91/13.10 c 4920 11034 429063 5296743 6 4857 12 13 11 13.01/13.12 c 4930 11055 429877 5306593 6 4867 11 12 10 13.01/13.15 c 4940 11077 430685 5317364 6 4877 12 13 11 13.01/13.17 c 4950 11099 431546 5327807 6 4887 12 13 11 13.01/13.19 c 4960 11120 432360 5337657 6 4897 11 12 10 13.10/13.21 c 4970 11142 433168 5348428 6 4907 12 13 11 13.10/13.23 c 4980 11164 434029 5358871 6 4917 12 13 11 13.10/13.25 c 4990 11185 434843 5368721 6 4927 11 12 10 13.10/13.29 c 5035 11248 436204 5387094 6 4941 12 14 12 13.50/13.62 c 5631 11967 447164 5563006 6 4985 12 15 14 13.80/14.00 c 6286 12753 459970 5747540 6 5045 9 12 11 14.30/14.41 c 7006 13617 474003 5950011 6 5100 9 12 11 14.70/14.87 c 7798 14566 489361 6173288 6 5156 9 12 11 15.19/15.37 c 8669 15609 506206 6417481 6 5227 9 12 11 15.79/15.91 c 9627 16756 524626 6683976 6 5300 9 12 11 16.39/16.51 c 10680 18019 544937 6977888 6 5378 9 13 11 17.00/17.18 c 11838 19417 567758 7314074 6 5453 9 13 11 17.79/17.94 c 13111 20963 593167 7690806 6 5533 9 13 11 18.59/18.78 c 14511 22669 621315 8109212 6 5613 9 13 11 19.59/19.73 c 16051 24558 652810 8583862 6 5695 9 13 11 20.59/20.79 c 17745 26646 687850 9118966 6 5765 9 13 11 21.79/21.99 c 19608 28953 726894 9718543 6 5844 9 13 11 23.19/23.33 c 21657 31495 769999 10379313 6 5921 9 13 11 24.69/24.83 c 23910 34310 818160 11128594 6 5992 9 13 11 26.40/26.51 c 26388 37419 871981 11970628 6 6075 9 13 11 28.20/28.34 c 29113 40846 931169 12901610 6 6162 9 13 11 30.20/30.37 c 32110 44626 996761 13943023 6 6253 9 13 11 32.50/32.69 c 35406 48829 1071249 15157164 6 6349 9 14 11 35.09/35.27 c 39031 53478 1154529 16530013 6 6439 9 14 11 38.00/38.14 c 43018 58603 1246428 18046934 6 6540 9 14 11 41.19/41.32 c 47403 64272 1349203 19767488 6 6634 9 14 12 44.79/44.94 c 52226 70546 1464650 21717819 6 6727 9 14 12 48.79/48.96 c 57531 77461 1591922 23864095 6 6819 9 14 12 53.29/53.45 c 63366 85119 1734204 26305348 6 6918 9 14 12 58.39/58.51 c 69784 93609 1893896 29086847 6 7013 9 14 12 64.00/64.14 c 76843 102977 2071584 32198795 6 7112 9 14 12 70.29/70.44 c 84607 113325 2267464 35656007 6 7208 9 14 12 77.29/77.43 c 93147 124767 2485692 39553277 6 7307 9 14 12 85.09/85.24 c 102541 137386 2727010 43894236 6 7416 9 14 12 93.69/93.83 c 112874 151333 2993862 48766369 6 7523 9 14 12 103.00/103.14 c 124240 166573 3282585 54019624 6 7585 9 14 12 113.09/113.21 c 136742 183249 3596126 59668213 6 7664 9 14 12 124.00/124.19 c 150494 201561 3939709 65830691 6 7764 9 14 12 136.19/136.36 c 165621 221745 4320118 72659766 6 7866 9 14 12 149.69/149.85 c 182260 244007 4741734 80246775 6 7960 9 14 12 164.69/164.85 c 200562 268584 5209371 88700999 6 8061 9 14 12 181.39/181.51 c 220694 295713 5727570 98150950 6 8162 9 14 12 199.49/199.64 c 242839 325486 6293387 108487002 6 8237 9 14 12 219.29/219.46 c 267198 358119 6912181 119676406 6 8331 9 14 12 241.09/241.28 c 293992 394058 7593834 132022854 6 8426 9 14 12 265.39/265.52 c 323465 433744 8351784 145821998 6 8536 9 14 12 292.09/292.22 c 355885 477452 9185429 161107666 6 8582 9 14 12 321.09/321.27 c 391547 525362 10097719 177670157 6 8675 9 14 12 353.19/353.35 c 430775 578188 11105322 196061575 6 8785 9 14 12 388.70/388.86 c 473925 636370 12215110 216419449 6 8840 9 14 12 427.50/427.60 c 521390 700234 13431431 238597515 6 8937 9 14 12 470.50/470.66 c 573601 770700 14778699 263295181 6 9047 9 14 12 517.70/517.89 c 631033 848007 16252807 290187449 6 9151 9 14 12 569.91/570.06 c 694208 933309 17884410 320111758 6 9260 9 14 12 627.31/627.48 c 763700 1026925 19673293 352739506 6 9363 9 14 12 690.41/690.53 c 840141 1129940 21641031 388707424 6 9450 9 14 12 759.71/759.80 c 924226 1243454 23810429 428528305 6 9565 9 14 12 835.81/835.97 c 1016719 1368161 26195546 472119869 6 9670 9 14 12 920.31/920.42 c 1118461 1505658 28838002 520759468 6 9738 9 14 12 1013.62/1013.76 c 1230377 1656946 31749392 574331304 6 9863 9 14 12 1117.22/1117.36 c 1353484 1823346 34958999 633357326 6 9964 9 14 12 1231.42/1231.58 c 1488901 2006591 38499120 698775421 6 10063 9 14 12 1357.93/1358.04 c 1637859 2208794 42425799 771152390 6 10199 9 14 12 1498.13/1498.28 c 1801712 2431680 46775937 851503158 6 10314 9 14 12 1652.73/1652.87 c 1981950 2676869 51568025 939977025 6 10436 9 14 12 1823.84/1823.99 c 2180211 2947915 56899306 1038988072 6 10487 9 14 12 2011.65/2011.79 c 2398298 3245673 62751621 1147491663 6 10586 9 14 12 2221.36/2221.49 c 2638193 3574257 69246344 1268052468 6 10682 9 14 12 2453.87/2453.90 c 2902077 3937102 76473518 1401685781 6 10829 9 14 12 2519.98/2520.01 2519.98/2520.01 c *** INTERRUPTED *** 2519.98/2520.01 c restarts : 583 2519.98/2520.01 c conflicts : 2982229 (1184 /sec) 2519.98/2520.01 c decisions : 4045120 (1605 /sec) 2519.98/2520.01 c propagations : 1439377713 (571256 /sec) 2519.98/2520.01 c root propagations : 9 2519.98/2520.01 c filter calls : 78538435 (31170 /sec) 2519.98/2520.01 c useless filter calls : 64235877 (81 %) 2519.98/2520.01 c 2519.98/2520.01 c clauses : 24096816 2519.98/2520.01 c SAT propagations : 1092 2519.98/2520.01 c SAT conflicts : 0 (0 learnts) 2519.98/2520.01 c Memory used : 1207.34 MB 2519.98/2520.01 c CPU time : 2519.67 s 2519.98/2520.01 2519.98/2520.01 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 (15104 MiB free) memory of node 1: 16384 MiB (15284 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4266141-1502581620/watcher-4266141-1502581620 -o /tmp/evaluation-result-4266141-1502581620/solver-4266141-1502581620 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1502565212-12458 --watchdog 2580 cosoco -lc -model -restarts -sat HOME/instance-4266141-1502581620.xml running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=15267, runsolver pid=15264 Current StackSize limit: 8192 KiB [startup+0.100721 s]* /proc/loadavg: 1.95 2.02 2.05 3/185 15268 /proc/meminfo: memFree=31111164/32770624 swapFree=67108860/67108860 [pid=15267] ppid=15264 vsize=35912 memory=9772 CPUtime=0.01 cores=0,2,4,6 /proc/15267/stat : 15267 (cosoco) R 15264 15267 12395 0 -1 4202496 2614 0 0 0 1 0 0 0 20 0 1 0 100073246 36773888 2443 18446744073709551615 4194304 5972588 140735848246336 140735848243128 5280335 0 0 1 0 0 0 0 17 0 0 0 8 0 0 8070896 8075904 23384064 140735848247748 140735848247848 140735848247848 140735848251342 0 /proc/15267/statm: 8978 2443 790 435 0 2341 0 Current children cumulated CPU time: 0.01 s Current children cumulated vsize: 35912 KiB Current children cumulated memory: 9772 KiB [startup+0.209642 s]* /proc/loadavg: 1.95 2.02 2.05 3/185 15268 /proc/meminfo: memFree=31050764/32770624 swapFree=67108860/67108860 [pid=15267] ppid=15264 vsize=102196 memory=73252 CPUtime=0.12 cores=0,2,4,6 /proc/15267/stat : 15267 (cosoco) R 15264 15267 12395 0 -1 4202496 13880 0 0 0 10 2 0 0 20 0 1 0 100073246 104648704 18313 18446744073709551615 4194304 5972588 140735848246336 140735848243128 5280489 0 0 1 0 0 0 0 17 0 0 0 8 0 0 8070896 8075904 23384064 140735848247748 140735848247848 140735848247848 140735848251342 0 /proc/15267/statm: 25549 18313 790 435 0 18912 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 102196 KiB Current children cumulated memory: 73252 KiB [startup+0.309523 s]* /proc/loadavg: 1.95 2.02 2.05 3/185 15268 /proc/meminfo: memFree=30992276/32770624 swapFree=67108860/67108860 [pid=15267] ppid=15264 vsize=155848 memory=130208 CPUtime=0.22 cores=0,2,4,6 /proc/15267/stat : 15267 (cosoco) R 15264 15267 12395 0 -1 4202496 23030 0 0 0 18 4 0 0 20 0 1 0 100073246 159588352 32552 18446744073709551615 4194304 5972588 140735848246336 140735848243128 140248599628773 0 0 1 0 0 0 0 17 0 0 0 8 0 0 8070896 8075904 23384064 140735848247748 140735848247848 140735848247848 140735848251342 0 /proc/15267/statm: 38962 32552 790 435 0 32325 0 Current children cumulated CPU time: 0.22 s Current children cumulated vsize: 155848 KiB Current children cumulated memory: 130208 KiB [startup+0.700319 s] /proc/loadavg: 1.95 2.02 2.05 3/185 15268 /proc/meminfo: memFree=30874428/32770624 swapFree=67108860/67108860 [pid=15267] ppid=15264 vsize=461872 memory=354072 CPUtime=0.6 cores=0,2,4,6 /proc/15267/stat : 15267 (cosoco) R 15264 15267 12395 0 -1 4202496 54438 0 0 0 50 10 0 0 20 0 1 0 100073246 472956928 88452 18446744073709551615 4194304 5972588 140735848246336 140735848243128 140248599628773 0 0 1 0 0 0 0 17 0 0 0 8 0 0 8070896 8075904 23384064 140735848247748 140735848247848 140735848247848 140735848251342 0 /proc/15267/statm: 115468 88452 790 435 0 108831 0 Current children cumulated CPU time: 0.6 s Current children cumulated vsize: 461872 KiB Current children cumulated memory: 354072 KiB [startup+1.50033 s] /proc/loadavg: 1.95 2.02 2.05 3/185 15268 /proc/meminfo: memFree=30586492/32770624 swapFree=67108860/67108860 [pid=15267] ppid=15264 vsize=888652 memory=824240 CPUtime=1.4 cores=0,2,4,6 /proc/15267/stat : 15267 (cosoco) R 15264 15267 12395 0 -1 4202496 116276 0 0 0 118 22 0 0 20 0 1 0 100073246 909979648 205994 18446744073709551615 4194304 5972588 140735848246336 140735848243128 140248599628773 0 0 1 0 0 0 0 17 0 0 0 8 0 0 8070896 8075904 23384064 140735848247748 140735848247848 140735848247848 140735848251342 0 /proc/15267/statm: 222196 206060 790 435 0 215559 0 Current children cumulated CPU time: 1.4 s Current children cumulated vsize: 888652 KiB Current children cumulated memory: 824240 KiB [startup+3.10928 s] /proc/loadavg: 1.95 2.02 2.05 3/185 15268 /proc/meminfo: memFree=30137188/32770624 swapFree=67108860/67108860 [pid=15267] ppid=15264 vsize=1236312 memory=978704 CPUtime=3.01 cores=0,2,4,6 /proc/15267/stat : 15267 (cosoco) R 15264 15267 12395 0 -1 4202496 137983 0 0 0 275 26 0 0 20 0 1 0 100073246 1265983488 244676 18446744073709551615 4194304 5972588 140735848246336 140735848243640 5099648 0 0 1 8405026 0 0 0 17 0 0 0 8 0 0 8070896 8075904 23384064 140735848247748 140735848247848 140735848247848 140735848251342 0 /proc/15267/statm: 309078 244676 805 435 0 302441 0 Current children cumulated CPU time: 3.01 s Current children cumulated vsize: 1236312 KiB Current children cumulated memory: 978704 KiB [startup+6.30022 s] /proc/loadavg: 1.95 2.02 2.05 3/185 15268 /proc/meminfo: memFree=30137188/32770624 swapFree=67108860/67108860 [pid=15267] ppid=15264 vsize=1236312 memory=978712 CPUtime=6.19 cores=0,2,4,6 /proc/15267/stat : 15267 (cosoco) R 15264 15267 12395 0 -1 4202496 140384 0 0 0 593 26 0 0 20 0 1 0 100073246 1265983488 244678 18446744073709551615 4194304 5972588 140735848246336 140735848243640 5323639 0 0 1 8405026 0 0 0 17 0 0 0 8 0 0 8070896 8075904 23384064 140735848247748 140735848247848 140735848247848 140735848251342 0 /proc/15267/statm: 309078 244678 805 435 0 302441 0 Current children cumulated CPU time: 6.19 s Current children cumulated vsize: 1236312 KiB Current children cumulated memory: 978712 KiB [startup+12.7002 s] /proc/loadavg: 1.96 2.02 2.05 3/185 15268 /proc/meminfo: memFree=30137188/32770624 swapFree=67108860/67108860 [pid=15267] ppid=15264 vsize=1236312 memory=978720 CPUtime=12.6 cores=0,2,4,6 /proc/15267/stat : 15267 (cosoco) R 15264 15267 12395 0 -1 4202496 144143 0 0 0 1233 27 0 0 20 0 1 0 100073246 1265983488 244680 18446744073709551615 4194304 5972588 140735848246336 140735848243640 5099648 0 0 1 8405026 0 0 0 17 0 0 0 8 0 0 8070896 8075904 23384064 140735848247748 140735848247848 140735848247848 140735848251342 0 /proc/15267/statm: 309078 244680 805 435 0 302441 0 Current children cumulated CPU time: 12.6 s Current children cumulated vsize: 1236312 KiB Current children cumulated memory: 978720 KiB [startup+25.5004 s] /proc/loadavg: 1.89 2.00 2.04 3/185 15268 /proc/meminfo: memFree=30137128/32770624 swapFree=67108860/67108860 [pid=15267] ppid=15264 vsize=1236312 memory=978728 CPUtime=25.4 cores=0,2,4,6 /proc/15267/stat : 15267 (cosoco) R 15264 15267 12395 0 -1 4202496 153003 0 0 0 2512 28 0 0 20 0 1 0 100073246 1265983488 244682 18446744073709551615 4194304 5972588 140735848246336 140735848243640 5099648 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 8070896 8075904 23384064 140735848247748 140735848247848 140735848247848 140735848251342 0 /proc/15267/statm: 309078 244682 805 435 0 302441 0 Current children cumulated CPU time: 25.4 s Current children cumulated vsize: 1236312 KiB Current children cumulated memory: 978728 KiB [startup+51.1093 s] /proc/loadavg: 1.93 2.00 2.04 3/185 15268 /proc/meminfo: memFree=30137468/32770624 swapFree=67108860/67108860 [pid=15267] ppid=15264 vsize=1236312 memory=978732 CPUtime=51 cores=0,2,4,6 /proc/15267/stat : 15267 (cosoco) R 15264 15267 12395 0 -1 4202496 161225 0 0 0 5072 28 0 0 20 0 1 0 100073246 1265983488 244683 18446744073709551615 4194304 5972588 140735848246336 140735848243640 5328624 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 8070896 8075904 23384064 140735848247748 140735848247848 140735848247848 140735848251342 0 /proc/15267/statm: 309078 244683 805 435 0 302441 0 Current children cumulated CPU time: 51 s Current children cumulated vsize: 1236312 KiB Current children cumulated memory: 978732 KiB [startup+102.3 s] /proc/loadavg: 1.97 2.00 2.04 3/185 15270 /proc/meminfo: memFree=30137520/32770624 swapFree=67108860/67108860 [pid=15267] ppid=15264 vsize=1236312 memory=978732 CPUtime=102.19 cores=0,2,4,6 /proc/15267/stat : 15267 (cosoco) R 15264 15267 12395 0 -1 4202496 166889 0 0 0 10190 29 0 0 20 0 1 0 100073246 1265983488 244683 18446744073709551615 4194304 5972588 140735848246336 140735848243640 5099648 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 8070896 8075904 23384064 140735848247748 140735848247848 140735848247848 140735848251342 0 /proc/15267/statm: 309078 244683 805 435 0 302441 0 Current children cumulated CPU time: 102.19 s Current children cumulated vsize: 1236312 KiB Current children cumulated memory: 978732 KiB [startup+162.3 s] /proc/loadavg: 1.99 2.00 2.04 3/185 15272 /proc/meminfo: memFree=30138348/32770624 swapFree=67108860/67108860 [pid=15267] ppid=15264 vsize=1236312 memory=978736 CPUtime=162.19 cores=0,2,4,6 /proc/15267/stat : 15267 (cosoco) R 15264 15267 12395 0 -1 4202496 171613 0 0 0 16190 29 0 0 20 0 1 0 100073246 1265983488 244684 18446744073709551615 4194304 5972588 140735848246336 140735848243640 5040154 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 8070896 8075904 23384064 140735848247748 140735848247848 140735848247848 140735848251342 0 /proc/15267/statm: 309078 244684 805 435 0 302441 0 Current children cumulated CPU time: 162.19 s Current children cumulated vsize: 1236312 KiB Current children cumulated memory: 978736 KiB [startup+222.3 s] /proc/loadavg: 2.00 2.00 2.04 3/186 15275 /proc/meminfo: memFree=30138252/32770624 swapFree=67108860/67108860 [pid=15267] ppid=15264 vsize=1236312 memory=978736 CPUtime=222.19 cores=0,2,4,6 /proc/15267/stat : 15267 (cosoco) R 15264 15267 12395 0 -1 4202496 176069 0 0 0 22190 29 0 0 20 0 1 0 100073246 1265983488 244684 18446744073709551615 4194304 5972588 140735848246336 140735848243640 5323001 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 8070896 8075904 23384064 140735848247748 140735848247848 140735848247848 140735848251342 0 /proc/15267/statm: 309078 244684 805 435 0 302441 0 Current children cumulated CPU time: 222.19 s Current children cumulated vsize: 1236312 KiB Current children cumulated memory: 978736 KiB [startup+282.3 s] /proc/loadavg: 2.06 2.01 2.05 3/186 15277 /proc/meminfo: memFree=30137992/32770624 swapFree=67108860/67108860 [pid=15267] ppid=15264 vsize=1236312 memory=978736 CPUtime=282.19 cores=0,2,4,6 /proc/15267/stat : 15267 (cosoco) R 15264 15267 12395 0 -1 4202496 179732 0 0 0 28190 29 0 0 20 0 1 0 100073246 1265983488 244684 18446744073709551615 4194304 5972588 140735848246336 140735848243640 4971923 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 8070896 8075904 23384064 140735848247748 140735848247848 140735848247848 140735848251342 0 /proc/15267/statm: 309078 244684 805 435 0 302441 0 Current children cumulated CPU time: 282.19 s Current children cumulated vsize: 1236312 KiB Current children cumulated memory: 978736 KiB [startup+342.3 s] /proc/loadavg: 2.02 2.01 2.05 3/186 15279 /proc/meminfo: memFree=30137736/32770624 swapFree=67108860/67108860 [pid=15267] ppid=15264 vsize=1236312 memory=978736 CPUtime=342.19 cores=0,2,4,6 /proc/15267/stat : 15267 (cosoco) R 15264 15267 12395 0 -1 4202496 182936 0 0 0 34190 29 0 0 20 0 1 0 100073246 1265983488 244684 18446744073709551615 4194304 5972588 140735848246336 140735848243640 5099616 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 8070896 8075904 23384064 140735848247748 140735848247848 140735848247848 140735848251342 0 /proc/15267/statm: 309078 244684 805 435 0 302441 0 Current children cumulated CPU time: 342.19 s Current children cumulated vsize: 1236312 KiB Current children cumulated memory: 978736 KiB [startup+402.3 s] /proc/loadavg: 2.01 2.01 2.05 3/186 15281 /proc/meminfo: memFree=30137740/32770624 swapFree=67108860/67108860 [pid=15267] ppid=15264 vsize=1236312 memory=978740 CPUtime=402.2 cores=0,2,4,6 /proc/15267/stat : 15267 (cosoco) R 15264 15267 12395 0 -1 4202496 186113 0 0 0 40190 30 0 0 20 0 1 0 100073246 1265983488 244685 18446744073709551615 4194304 5972588 140735848246336 140735848243640 5040154 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 8070896 8075904 23384064 140735848247748 140735848247848 140735848247848 140735848251342 0 /proc/15267/statm: 309078 244685 805 435 0 302441 0 Current children cumulated CPU time: 402.2 s Current children cumulated vsize: 1236312 KiB Current children cumulated memory: 978740 KiB [startup+462.3 s] /proc/loadavg: 2.00 2.01 2.05 3/189 15297 /proc/meminfo: memFree=30132812/32770624 swapFree=67108860/67108860 [pid=15267] ppid=15264 vsize=1236312 memory=978740 CPUtime=462.2 cores=0,2,4,6 /proc/15267/stat : 15267 (cosoco) R 15264 15267 12395 0 -1 4202496 188178 0 0 0 46190 30 0 0 20 0 1 0 100073246 1265983488 244685 18446744073709551615 4194304 5972588 140735848246336 140735848243640 5099653 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 8070896 8075904 23384064 140735848247748 140735848247848 140735848247848 140735848251342 0 /proc/15267/statm: 309078 244685 805 435 0 302441 0 Current children cumulated CPU time: 462.2 s Current children cumulated vsize: 1236312 KiB Current children cumulated memory: 978740 KiB ################ # More data... # ################ /proc/15267/statm: 309078 245131 805 435 0 302441 0 Current children cumulated CPU time: 1722.24 s Current children cumulated vsize: 1236312 KiB Current children cumulated memory: 980524 KiB [startup+1782.3 s] /proc/loadavg: 2.13 2.07 2.06 3/187 15527 /proc/meminfo: memFree=26529048/32770624 swapFree=67108860/67108860 [pid=15267] ppid=15264 vsize=1236312 memory=980524 CPUtime=1782.24 cores=0,2,4,6 /proc/15267/stat : 15267 (cosoco) R 15264 15267 12395 0 -1 4202496 215668 0 0 0 178194 30 0 0 20 0 1 0 100073246 1265983488 245131 18446744073709551615 4194304 5972588 140735848246336 140735848243640 4975114 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 8070896 8075904 23384064 140735848247748 140735848247848 140735848247848 140735848251342 0 /proc/15267/statm: 309078 245131 805 435 0 302441 0 Current children cumulated CPU time: 1782.24 s Current children cumulated vsize: 1236312 KiB Current children cumulated memory: 980524 KiB [startup+1842.3 s] /proc/loadavg: 2.80 2.24 2.12 3/187 15551 /proc/meminfo: memFree=26528856/32770624 swapFree=67108860/67108860 [pid=15267] ppid=15264 vsize=1236312 memory=980528 CPUtime=1842.24 cores=0,2,4,6 /proc/15267/stat : 15267 (cosoco) R 15264 15267 12395 0 -1 4202496 216706 0 0 0 184194 30 0 0 20 0 1 0 100073246 1265983488 245132 18446744073709551615 4194304 5972588 140735848246336 140735848243640 4975784 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 8070896 8075904 23384064 140735848247748 140735848247848 140735848247848 140735848251342 0 /proc/15267/statm: 309078 245132 805 435 0 302441 0 Current children cumulated CPU time: 1842.24 s Current children cumulated vsize: 1236312 KiB Current children cumulated memory: 980528 KiB [startup+1902.3 s] /proc/loadavg: 2.48 2.27 2.14 3/187 15553 /proc/meminfo: memFree=26527996/32770624 swapFree=67108860/67108860 [pid=15267] ppid=15264 vsize=1236312 memory=980532 CPUtime=1902.24 cores=0,2,4,6 /proc/15267/stat : 15267 (cosoco) R 15264 15267 12395 0 -1 4202496 217680 0 0 0 190194 30 0 0 20 0 1 0 100073246 1265983488 245133 18446744073709551615 4194304 5972588 140735848246336 140735848243640 5099648 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 8070896 8075904 23384064 140735848247748 140735848247848 140735848247848 140735848251342 0 /proc/15267/statm: 309078 245133 805 435 0 302441 0 Current children cumulated CPU time: 1902.24 s Current children cumulated vsize: 1236312 KiB Current children cumulated memory: 980532 KiB [startup+1962.3 s] /proc/loadavg: 2.18 2.22 2.13 3/186 15556 /proc/meminfo: memFree=26526524/32770624 swapFree=67108860/67108860 [pid=15267] ppid=15264 vsize=1236312 memory=980532 CPUtime=1962.24 cores=0,2,4,6 /proc/15267/stat : 15267 (cosoco) R 15264 15267 12395 0 -1 4202496 218616 0 0 0 196194 30 0 0 20 0 1 0 100073246 1265983488 245133 18446744073709551615 4194304 5972588 140735848246336 140735848243640 5040180 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 8070896 8075904 23384064 140735848247748 140735848247848 140735848247848 140735848251342 0 /proc/15267/statm: 309078 245133 805 435 0 302441 0 Current children cumulated CPU time: 1962.24 s Current children cumulated vsize: 1236312 KiB Current children cumulated memory: 980532 KiB [startup+2022.3 s] /proc/loadavg: 2.11 2.20 2.13 3/185 15558 /proc/meminfo: memFree=26526168/32770624 swapFree=67108860/67108860 [pid=15267] ppid=15264 vsize=1236312 memory=980540 CPUtime=2022.25 cores=0,2,4,6 /proc/15267/stat : 15267 (cosoco) R 15264 15267 12395 0 -1 4202496 219651 0 0 0 202195 30 0 0 20 0 1 0 100073246 1265983488 245135 18446744073709551615 4194304 5972588 140735848246336 140735848243640 5322967 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 8070896 8075904 23384064 140735848247748 140735848247848 140735848247848 140735848251342 0 /proc/15267/statm: 309078 245135 805 435 0 302441 0 Current children cumulated CPU time: 2022.25 s Current children cumulated vsize: 1236312 KiB Current children cumulated memory: 980540 KiB [startup+2082.3 s] /proc/loadavg: 2.04 2.16 2.12 3/185 15560 /proc/meminfo: memFree=26525952/32770624 swapFree=67108860/67108860 [pid=15267] ppid=15264 vsize=1236312 memory=980540 CPUtime=2082.26 cores=0,2,4,6 /proc/15267/stat : 15267 (cosoco) R 15264 15267 12395 0 -1 4202496 220617 0 0 0 208195 31 0 0 20 0 1 0 100073246 1265983488 245135 18446744073709551615 4194304 5972588 140735848246336 140735848243640 5040180 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 8070896 8075904 23384064 140735848247748 140735848247848 140735848247848 140735848251342 0 /proc/15267/statm: 309078 245135 805 435 0 302441 0 Current children cumulated CPU time: 2082.26 s Current children cumulated vsize: 1236312 KiB Current children cumulated memory: 980540 KiB [startup+2142.3 s] /proc/loadavg: 2.01 2.13 2.12 3/186 15563 /proc/meminfo: memFree=26524136/32770624 swapFree=67108860/67108860 [pid=15267] ppid=15264 vsize=1236312 memory=980540 CPUtime=2142.26 cores=0,2,4,6 /proc/15267/stat : 15267 (cosoco) R 15264 15267 12395 0 -1 4202496 221568 0 0 0 214195 31 0 0 20 0 1 0 100073246 1265983488 245135 18446744073709551615 4194304 5972588 140735848246336 140735848243640 5099648 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 8070896 8075904 23384064 140735848247748 140735848247848 140735848247848 140735848251342 0 /proc/15267/statm: 309078 245135 805 435 0 302441 0 Current children cumulated CPU time: 2142.26 s Current children cumulated vsize: 1236312 KiB Current children cumulated memory: 980540 KiB [startup+2202.3 s] /proc/loadavg: 2.01 2.11 2.11 3/186 15565 /proc/meminfo: memFree=26523260/32770624 swapFree=67108860/67108860 [pid=15267] ppid=15264 vsize=1236312 memory=980544 CPUtime=2202.26 cores=0,2,4,6 /proc/15267/stat : 15267 (cosoco) R 15264 15267 12395 0 -1 4202496 222524 0 0 0 220195 31 0 0 20 0 1 0 100073246 1265983488 245136 18446744073709551615 4194304 5972588 140735848246336 140735848243640 4975114 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 8070896 8075904 23384064 140735848247748 140735848247848 140735848247848 140735848251342 0 /proc/15267/statm: 309078 245136 805 435 0 302441 0 Current children cumulated CPU time: 2202.26 s Current children cumulated vsize: 1236312 KiB Current children cumulated memory: 980544 KiB [startup+2262.3 s] /proc/loadavg: 2.00 2.09 2.11 3/190 15582 /proc/meminfo: memFree=26519104/32770624 swapFree=67108860/67108860 [pid=15267] ppid=15264 vsize=1236312 memory=980544 CPUtime=2262.26 cores=0,2,4,6 /proc/15267/stat : 15267 (cosoco) R 15264 15267 12395 0 -1 4202496 223601 0 0 0 226195 31 0 0 20 0 1 0 100073246 1265983488 245136 18446744073709551615 4194304 5972588 140735848246336 140735848243640 5099648 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 8070896 8075904 23384064 140735848247748 140735848247848 140735848247848 140735848251342 0 /proc/15267/statm: 309078 245136 805 435 0 302441 0 Current children cumulated CPU time: 2262.26 s Current children cumulated vsize: 1236312 KiB Current children cumulated memory: 980544 KiB [startup+2322.3 s] /proc/loadavg: 2.00 2.07 2.10 3/187 15584 /proc/meminfo: memFree=26521464/32770624 swapFree=67108860/67108860 [pid=15267] ppid=15264 vsize=1236312 memory=980544 CPUtime=2322.26 cores=0,2,4,6 /proc/15267/stat : 15267 (cosoco) R 15264 15267 12395 0 -1 4202496 224552 0 0 0 232195 31 0 0 20 0 1 0 100073246 1265983488 245136 18446744073709551615 4194304 5972588 140735848246336 140735848243640 4971953 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 8070896 8075904 23384064 140735848247748 140735848247848 140735848247848 140735848251342 0 /proc/15267/statm: 309078 245136 805 435 0 302441 0 Current children cumulated CPU time: 2322.26 s Current children cumulated vsize: 1236312 KiB Current children cumulated memory: 980544 KiB [startup+2382.3 s] /proc/loadavg: 2.07 2.08 2.10 3/187 15586 /proc/meminfo: memFree=26522064/32770624 swapFree=67108860/67108860 [pid=15267] ppid=15264 vsize=1236312 memory=980544 CPUtime=2382.27 cores=0,2,4,6 /proc/15267/stat : 15267 (cosoco) R 15264 15267 12395 0 -1 4202496 225505 0 0 0 238196 31 0 0 20 0 1 0 100073246 1265983488 245136 18446744073709551615 4194304 5972588 140735848246336 140735848243640 4979352 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 8070896 8075904 23384064 140735848247748 140735848247848 140735848247848 140735848251342 0 /proc/15267/statm: 309078 245136 805 435 0 302441 0 Current children cumulated CPU time: 2382.27 s Current children cumulated vsize: 1236312 KiB Current children cumulated memory: 980544 KiB [startup+2442.3 s] /proc/loadavg: 2.03 2.06 2.09 3/186 15589 /proc/meminfo: memFree=26521740/32770624 swapFree=67108860/67108860 [pid=15267] ppid=15264 vsize=1236312 memory=980544 CPUtime=2442.27 cores=0,2,4,6 /proc/15267/stat : 15267 (cosoco) R 15264 15267 12395 0 -1 4202496 226464 0 0 0 244196 31 0 0 20 0 1 0 100073246 1265983488 245136 18446744073709551615 4194304 5972588 140735848246336 140735848243640 5099648 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 8070896 8075904 23384064 140735848247748 140735848247848 140735848247848 140735848251342 0 /proc/15267/statm: 309078 245136 805 435 0 302441 0 Current children cumulated CPU time: 2442.27 s Current children cumulated vsize: 1236312 KiB Current children cumulated memory: 980544 KiB [startup+2502.3 s] /proc/loadavg: 2.01 2.05 2.09 3/185 15591 /proc/meminfo: memFree=26523572/32770624 swapFree=67108860/67108860 [pid=15267] ppid=15264 vsize=1236312 memory=980564 CPUtime=2502.27 cores=0,2,4,6 /proc/15267/stat : 15267 (cosoco) R 15264 15267 12395 0 -1 4202496 227528 0 0 0 250196 31 0 0 20 0 1 0 100073246 1265983488 245141 18446744073709551615 4194304 5972588 140735848246336 140735848243640 5099648 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 8070896 8075904 23384064 140735848247748 140735848247848 140735848247848 140735848251342 0 /proc/15267/statm: 309078 245141 805 435 0 302441 0 Current children cumulated CPU time: 2502.27 s Current children cumulated vsize: 1236312 KiB Current children cumulated memory: 980564 KiB Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+2520 s]* /proc/loadavg: 2.01 2.05 2.09 3/186 15592 /proc/meminfo: memFree=26522408/32770624 swapFree=67108860/67108860 [pid=15267] ppid=15264 vsize=1236312 memory=980564 CPUtime=2519.98 cores=0,2,4,6 /proc/15267/stat : 15267 (cosoco) R 15264 15267 12395 0 -1 4202496 227575 0 0 0 251967 31 0 0 20 0 1 0 100073246 1265983488 245141 18446744073709551615 4194304 5972588 140735848246336 140735848243640 5040162 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 8070896 8075904 23384064 140735848247748 140735848247848 140735848247848 140735848251342 0 /proc/15267/statm: 309078 245141 805 435 0 302441 0 Current children cumulated CPU time: 2519.98 s Current children cumulated vsize: 1236312 KiB Current children cumulated memory: 980564 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2520.01 s] # the end of solver process 15267 was just reported to runsolver # cumulated CPU time of all completed processes: user=2519.67 s, system=0.316009 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples Child status: 1 Real time (s): 2520.01 CPU time (s): 2519.99 CPU user time (s): 2519.67 CPU system time (s): 0.316009 CPU usage (%): 99.999 Max. virtual memory (cumulated for all children) (KiB): 1236312 Max. memory (cumulated for all children) (KiB): 980564 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2519.67 system time used= 0.316009 maximum resident set size= 980644 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 227627 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= 29 involuntary context switches= 3177 # summary of solver processes directly reported to runsolver: # pid: 15267 # total CPU time (s): 2519.99 # total CPU user time (s): 2519.67 # total CPU system time (s): 0.316009 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 9.23796 second user time and 16.3564 second system time The end
Begin job on node135 at 2017-08-13 01:33:06 IDJOB=4266141 IDBENCH=133537 IDSOLVER=2655 FILE ID=node135/4266141-1502581620 RUNJOBID= node135-1502565212-12458 PBS_JOBID= Free space on /tmp= 62028 MiB SOLVER NAME= cosoco-sat 1.12 BENCH NAME= XCSP17/MagicHexagon/MagicHexagon-m1-s1/MagicHexagon-11-m186.xml COMMAND LINE= cosoco -lc -model -restarts -sat BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4266141-1502581620/watcher-4266141-1502581620 -o /tmp/evaluation-result-4266141-1502581620/solver-4266141-1502581620 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1502565212-12458 --watchdog 2580 cosoco -lc -model -restarts -sat HOME/instance-4266141-1502581620.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 2292861bb3d975c21318ff2a994feaed RANDOM SEED=685264937 node135.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.21 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.21 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.21 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.21 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: 31118552 kB MemAvailable: 31971164 kB Buffers: 307476 kB Cached: 843708 kB SwapCached: 0 kB Active: 674044 kB Inactive: 535776 kB Active(anon): 58952 kB Inactive(anon): 41332 kB Active(file): 615092 kB Inactive(file): 494444 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 2408 kB Writeback: 0 kB AnonPages: 70576 kB Mapped: 55312 kB Shmem: 41656 kB Slab: 145292 kB SReclaimable: 117824 kB SUnreclaim: 27468 kB KernelStack: 3552 kB PageTables: 5280 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 345896 kB VmallocTotal: 34359738367 kB VmallocUsed: 354332 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 18432 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 122240 kB DirectMap2M: 33423360 kB Free space on /tmp at the end= 62028 MiB End job on node135 at 2017-08-13 02:15:06