| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| R1: cosoco-sat 1.1 | ? (TO) | 2400.07 | 2401.5 |
| Name | KnightTour/KnightTour-ext-s1/ KnightTour-10-ext06.xml |
| MD5SUM | fdf6f730d724673eeb55be8d6417f725 |
| Bench Category | CSP (decision problem) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | 19.8256 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 100 |
| Number of constraints | 22 |
| Number of domains | 1 |
| Minimum domain size | 100 |
| Maximum domain size | 100 |
| Distribution of domain sizes | [{"size":100,"count":100}] |
| Minimum variable degree | 2 |
| Maximum variable degree | 3 |
| Distribution of variable degrees | [{"degree":2,"count":98},{"degree":3,"count":2}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 100 |
| Distribution of constraint arities | [{"arity":2,"count":1},{"arity":6,"count":20},{"arity":100,"count":1}] |
| Number of extensional constraints | 20 |
| Number of intensional constraints | 0 |
| Distribution of constraint types | [{"type":"extension","count":20},{"type":"allDifferent","count":1},{"type":"instantiation","count":1}] |
| Optimization problem | NO |
| Type of objective |
3.40/3.42 c SAT : Variables: 10000 -- Clauses: 495100 3.68/3.77 c root propagations : 5291 3.68/3.77 c restarts enabled, print stats at every restarts 3.68/3.77 c 3.68/3.77 c 3.68/3.77 c 3.68/3.77 c This is cosoco 1.0 -- 3.68/3.77 c 3.68/3.77 c ========================================[ Problem Statistics ]=========================================== 3.68/3.77 c | 3.68/3.77 c | Parse time : 3.37 s 3.68/3.77 c | 3.68/3.77 c | Variables: 100 3.68/3.77 c | Domain Sizes: 100..100 3.68/3.77 c | 3.68/3.77 c | Constraints: 23 3.68/3.77 c | Arity: 1..100 -- Unary: 2 3.68/3.77 c | 3.68/3.77 c | Types: 3.68/3.77 c | All Different: 1 3.68/3.77 c | Extension: 20 (nb tuples: 498320..498320) -- (shared: 19) 3.68/3.77 c | Unary: 2 3.68/3.77 c | 3.68/3.77 c ========================================================================================================= 3.68/3.77 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 4.59/4.65 c 10 107 830 11328 100 6 78 87 74 5.99/6.00 c 20 197 1568 18700 100 12 70 75 66 7.59/7.67 c 30 299 2442 25902 100 20 32 84 67 9.59/9.69 c 40 387 3273 33516 100 27 29 76 56 11.49/11.59 c 50 496 4169 40854 100 34 32 87 66 12.88/12.98 c 60 581 4864 47816 100 40 60 73 62 14.98/15.02 c 70 668 5631 56443 100 45 43 76 60 17.08/17.11 c 80 773 6445 64383 100 53 39 83 61 19.18/19.21 c 90 879 7352 71555 100 59 33 86 67 20.68/20.77 c 100 983 8222 78372 100 62 75 88 74 22.48/22.51 c 101 1045 8733 81936 100 63 62 62 31 24.37/24.43 c 110 1136 9504 88589 100 68 57 80 65 25.97/26.01 c 120 1226 10229 95564 100 74 60 78 66 27.67/27.79 c 130 1321 11003 101937 100 79 60 82 67 29.57/29.62 c 140 1407 11795 110111 100 83 50 75 63 31.07/31.12 c 150 1509 12617 117834 100 89 57 80 66 33.17/33.28 c 160 1595 13352 124813 100 96 36 76 59 34.97/35.00 c 170 1704 14225 130854 100 98 75 84 72 36.87/36.90 c 180 1795 15004 138578 100 104 63 79 68 38.87/38.93 c 190 1890 15797 146457 100 112 36 80 65 40.96/41.09 c 200 1982 16641 153713 100 120 49 83 64 43.07/43.13 c 210 2079 17438 160248 100 127 42 83 60 44.87/44.92 c 211 2139 17913 163727 100 128 60 60 30 46.76/46.83 c 220 2234 18814 174034 100 131 74 76 67 48.26/48.33 c 230 2336 19657 181876 100 137 62 79 67 49.86/49.99 c 240 2438 20519 189551 100 140 70 79 69 51.96/52.01 c 250 2540 21429 198964 100 144 39 82 67 53.76/53.86 c 260 2639 22195 204621 100 150 77 83 72 55.46/55.50 c 270 2736 22997 210486 100 155 55 84 66 57.16/57.23 c 280 2838 23782 216066 100 161 72 87 74 59.26/59.31 c 290 2933 24576 225144 100 163 39 77 65 60.85/60.92 c 300 3029 25314 231026 100 172 62 83 69 62.95/63.09 c 310 3130 26228 238963 100 179 47 83 65 64.75/64.88 c 320 3234 27053 245241 100 185 75 83 73 66.65/66.70 c 330 3329 27787 252819 100 194 42 82 63 68.35/68.42 c 332 3414 28415 257206 100 196 76 84 53 69.94/70.03 c 340 3506 29151 263734 100 200 71 81 69 71.55/71.63 c 350 3594 29949 270677 100 205 67 73 63 73.34/73.41 c 360 3691 30720 277472 100 209 40 85 69 75.14/75.21 c 370 3788 31625 286890 100 216 40 74 60 77.84/77.96 c 380 3875 32529 298240 100 226 29 76 49 79.54/79.63 c 390 3962 33235 303250 100 236 60 76 63 81.24/81.40 c 400 4055 34020 310531 100 240 60 83 70 83.34/83.45 c 410 4147 34782 318419 100 246 39 78 63 85.14/85.22 c 420 4243 35563 325365 100 249 78 79 71 86.85/86.97 c 430 4335 36383 334033 100 254 48 76 61 88.54/88.68 c 440 4416 37057 340289 100 260 52 72 60 90.63/90.73 c 450 4506 37885 348869 100 269 39 77 61 92.44/92.51 c 460 4597 38618 355402 100 278 40 78 58 94.03/94.19 c 465 4697 39388 360477 100 282 82 89 71 95.53/95.62 c 470 4783 40027 366103 100 285 72 82 66 97.53/97.63 c 480 4889 40878 375083 100 291 39 82 63 99.33/99.40 c 490 4983 41635 381809 100 299 57 82 69 100.83/100.98 c 500 5084 42408 387752 100 300 70 76 66 102.43/102.56 c 510 5178 43159 394126 100 304 50 82 67 104.13/104.28 c 520 5284 44074 400344 100 308 79 85 75 105.83/105.94 c 530 5382 44846 405792 100 316 79 84 73 107.52/107.60 c 540 5473 45636 413950 100 323 40 76 58 109.32/109.40 c 550 5569 46471 421892 100 327 71 79 70 110.82/110.99 c 560 5664 47292 427860 100 335 71 83 72 112.52/112.66 c 570 5761 48065 434924 100 340 71 81 70 114.02/114.19 c 580 5834 48666 441392 100 344 60 63 56 115.72/115.83 c 590 5941 49561 450226 100 346 79 83 73 117.32/117.41 c 600 6038 50344 456576 100 353 60 84 65 119.31/119.45 c 610 6129 51068 462540 100 360 39 79 61 120.92/121.01 c 611 6207 51670 466580 100 361 78 78 39 122.51/122.61 c 620 6292 52413 473693 100 368 40 76 59 124.61/124.71 c 630 6388 53177 481995 100 371 36 78 64 126.31/126.43 c 640 6491 54031 487749 100 375 74 88 74 127.71/127.88 c 650 6597 54835 493882 100 382 75 84 72 129.31/129.47 c 660 6707 55749 501157 100 384 76 86 75 131.41/131.51 c 670 6794 56509 508414 100 393 27 78 51 133.01/133.20 c 680 6904 57388 515083 100 400 76 84 72 135.01/135.11 c 690 7003 58120 521516 100 404 36 84 71 136.50/136.69 c 700 7109 59066 528213 100 408 78 83 73 138.20/138.36 c 710 7205 59815 534102 100 413 76 81 71 139.90/140.09 c 720 7304 60608 539415 100 418 55 82 68 141.50/141.69 c 730 7409 61473 546333 100 421 80 83 74 143.20/143.32 c 740 7515 62351 552106 100 426 82 87 76 144.70/144.87 c 750 7609 63112 557788 100 435 46 85 65 146.40/146.56 c 760 7703 63871 563321 100 443 75 81 70 147.80/147.95 c 770 7808 64696 568628 100 449 80 88 75 149.39/149.52 c 771 7887 65267 572886 100 450 79 79 39 151.49/151.61 c 780 7979 66051 581057 100 454 39 78 62 152.99/153.14 c 790 8078 66814 587495 100 456 76 81 70 154.69/154.81 c 800 8182 67681 594804 100 461 74 82 72 157.09/157.22 c 810 8268 68527 603599 100 471 36 77 46 158.79/158.99 c 820 8366 69406 612511 100 476 70 75 66 160.79/160.94 c 830 8466 70228 619693 100 482 39 81 64 162.39/162.54 c 840 8563 71053 626892 100 486 72 77 68 163.99/164.18 c 850 8665 71840 632857 100 488 73 85 73 165.88/166.04 c 860 8750 72556 639964 100 492 39 73 61 167.68/167.83 c 870 8840 73264 646183 100 498 42 80 62 169.98/170.19 c 880 8928 74108 654951 100 508 36 79 50 171.88/172.03 c 890 9027 74922 664373 100 514 39 82 63 173.38/173.56 c 900 9125 75728 671475 100 518 74 82 70 175.08/175.27 c 910 9209 76473 678449 100 526 42 72 56 176.99/177.16 c 920 9308 77388 686745 100 533 72 78 68 178.58/178.79 c 930 9402 78175 693138 100 538 71 76 68 180.18/180.40 c 940 9502 78933 699444 100 546 72 79 70 181.88/182.08 c 947 9586 79693 706560 100 550 65 74 62 183.58/183.74 c 950 9678 80416 711749 100 552 79 83 61 185.67/185.83 c 960 9771 81198 719427 100 560 39 78 59 187.17/187.38 c 970 9862 81993 726523 100 565 58 80 69 189.57/189.74 c 980 9948 82827 734988 100 575 36 77 46 191.07/191.28 c 990 10041 83621 742068 100 580 74 78 69 192.87/193.00 c 1000 10129 84371 749503 100 586 48 74 60 194.47/194.63 c 1010 10231 85220 756299 100 590 76 82 71 196.07/196.23 c 1020 10333 86029 762222 100 593 82 86 76 197.97/198.17 c 1030 10420 86754 769763 100 600 39 76 64 199.56/199.74 c 1040 10520 87551 776421 100 603 78 83 73 201.17/201.37 c 1050 10619 88379 783353 100 610 78 84 72 202.96/203.12 c 1060 10724 89231 789257 100 614 66 86 74 205.06/205.25 c 1070 10821 90046 798410 100 622 39 78 59 206.77/206.93 c 1080 10915 90879 806957 100 624 73 74 67 208.36/208.58 c 1090 11024 91776 814047 100 627 79 87 74 210.36/210.53 c 1100 11133 92660 823109 100 629 75 84 71 212.06/212.22 c 1110 11233 93454 829637 100 633 73 79 70 213.66/213.85 c 1120 11341 94310 836198 100 640 78 86 74 215.05/215.29 c 1130 11444 95144 844007 100 643 58 83 71 216.75/216.96 c 1140 11540 95958 851330 100 650 64 82 70 218.25/218.47 c 1141 11604 96463 854961 100 651 64 64 32 219.86/220.03 c 1150 11697 97200 861823 100 658 53 81 64 221.45/221.61 c 1160 11792 97968 868721 100 664 72 78 67 223.05/223.27 c 1170 11894 98737 874327 100 670 77 87 75 224.45/224.68 c 1180 11994 99544 881539 100 673 70 78 69 226.35/226.55 c 1190 12081 100336 891149 100 680 40 72 58 228.05/228.20 c 1200 12171 101076 897273 100 682 74 77 68 229.75/229.94 c 1210 12287 102010 906737 100 685 80 83 74 231.54/231.75 c 1220 12392 102877 915868 100 688 70 82 67 233.44/233.66 c 1230 12497 103807 924659 100 691 73 80 70 235.04/235.28 c 1240 12594 104616 932150 100 694 72 76 68 236.64/236.84 c 1250 12679 105324 938461 100 700 52 74 62 238.34/238.50 c 1260 12771 106069 943904 100 703 72 81 71 240.24/240.41 c 1270 12861 106845 951530 100 708 36 77 63 241.74/241.94 c 1280 12964 107665 957195 100 710 80 84 73 243.34/243.57 c 1290 13051 108405 964043 100 718 66 75 65 245.04/245.29 c 1300 13142 109150 971392 100 723 44 79 66 246.64/246.84 c 1310 13245 110050 978541 100 728 81 86 76 248.44/248.64 c 1320 13352 110878 984042 100 733 74 88 75 250.03/250.27 c 1330 13448 111667 992276 100 735 75 78 70 251.74/251.94 c 1340 13547 112493 999244 100 738 67 80 70 253.53/253.76 c 1350 13639 113321 1006107 100 744 73 78 68 254.93/255.10 c 1352 13692 113733 1009398 100 746 47 52 33 256.53/256.78 c 1360 13771 114397 1014695 100 754 40 72 52 258.23/258.50 c 1370 13860 115127 1021702 100 758 75 77 69 259.83/260.06 c 1380 13957 115878 1027884 100 761 63 82 68 261.53/261.74 c 1390 14051 116651 1037652 100 766 42 74 59 264.43/264.66 c 1400 14132 117725 1048377 100 776 16 71 48 265.92/266.20 c 1410 14220 118466 1054346 100 783 66 75 65 267.72/267.94 c 1420 14336 119355 1060408 100 787 80 87 77 269.12/269.35 c 1430 14424 120081 1066498 100 793 72 78 68 270.62/270.86 c 1440 14522 120889 1072921 100 796 62 83 70 272.52/272.70 c 1450 14605 121525 1084655 100 806 27 70 48 274.22/274.44 c 1460 14698 122287 1092374 100 814 46 77 65 275.82/276.09 c 1470 14797 123106 1098382 100 817 75 83 72 278.02/278.29 c 1480 14886 123890 1106013 100 826 36 80 51 279.62/279.80 c 1490 14982 124651 1113934 100 832 73 78 69 281.22/281.46 c 1500 15073 125433 1121277 100 841 40 79 58 282.91/283.13 c 1510 15170 126229 1129409 100 848 67 78 66 284.61/284.80 c 1520 15279 127069 1138619 100 851 81 85 75 286.21/286.42 c 1530 15383 127898 1146101 100 856 76 82 73 287.81/288.09 c 1540 15474 128731 1155201 100 861 68 74 64 289.51/289.76 c 1550 15584 129557 1163079 100 867 76 85 74 291.51/291.76 c 1560 15670 130268 1169394 100 876 36 76 56 293.52/293.71 c 1570 15761 131019 1177566 100 883 36 79 65 295.21/295.48 c 1580 15865 131919 1185974 100 886 80 83 74 297.11/297.39 c 1585 15932 132474 1191804 100 891 36 63 36 299.01/299.26 c 1590 16017 133209 1197777 100 896 68 77 58 301.31/301.56 c 1600 16129 134121 1209293 100 902 36 83 64 302.80/303.07 c 1610 16224 134844 1215432 100 909 74 79 69 304.40/304.63 c 1620 16314 135580 1222237 100 913 73 76 68 306.00/306.25 c 1630 16414 136442 1228435 100 917 76 82 72 307.60/307.81 c 1640 16524 137254 1234290 100 922 82 90 77 309.20/309.45 c 1650 16629 138114 1240152 100 927 75 82 72 310.80/311.00 c 1660 16737 138915 1245681 100 936 80 88 75 312.60/312.82 c 1670 16823 139657 1253475 100 941 63 74 64 314.10/314.35 c 1680 16917 140416 1259878 100 946 74 78 69 316.60/316.82 c 1690 16992 141257 1270591 100 954 27 64 45 318.09/318.31 c 1700 17083 141979 1277105 100 963 60 81 64 320.19/320.48 c 1710 17188 142909 1286773 100 968 72 80 69 321.89/322.17 c 1720 17284 143701 1292856 100 976 79 85 72 323.39/323.66 c 1730 17390 144540 1298657 100 983 74 87 75 324.79/325.08 c 1740 17503 145458 1305052 100 987 80 88 75 326.60/326.89 c 1750 17593 146194 1311273 100 995 40 81 62 328.19/328.49 c 1760 17686 147000 1318131 100 1002 66 80 67 330.19/330.42 c 1770 17780 147787 1326126 100 1006 71 77 67 331.79/332.00 c 1780 17877 148618 1332947 100 1010 60 80 68 333.28/333.57 c 1790 17965 149319 1339383 100 1017 76 78 69 335.39/335.61 c 1800 18054 150047 1346159 100 1024 39 78 58 337.08/337.31 c 1810 18156 150879 1354139 100 1026 74 78 69 338.59/338.89 c 1820 18256 151702 1361418 100 1032 71 82 70 340.08/340.37 c 1830 18361 152492 1367761 100 1039 72 81 69 341.68/341.93 c 1840 18453 153202 1374089 100 1044 64 77 65 343.18/343.45 c 1841 18513 153663 1377653 100 1045 60 60 30 345.28/345.53 c 1850 18604 154378 1386035 100 1048 36 78 64 346.88/347.16 c 1860 18701 155209 1393334 100 1050 73 80 69 348.48/348.74 c 1870 18802 156009 1399242 100 1051 78 85 73 350.27/350.52 c 1880 18904 156842 1405235 100 1058 78 82 72 351.78/352.03 c 1890 19006 157621 1410473 100 1061 80 87 76 353.67/353.91 c 1900 19107 158444 1417339 100 1064 36 82 67 355.37/355.66 c 1910 19206 159258 1424123 100 1070 78 82 73 356.97/357.23 c 1920 19293 160013 1430801 100 1074 72 76 67 358.57/358.83 c 1930 19397 160820 1436454 100 1081 77 84 72 360.27/360.58 c 1940 19491 161629 1443813 100 1085 71 76 67 361.87/362.20 c 1950 19592 162477 1449685 100 1086 76 81 71 364.06/364.30 c 1960 19674 163225 1460520 100 1095 27 72 47 365.86/366.19 c 1970 19775 164140 1469089 100 1098 75 79 70 367.66/367.97 c 1980 19880 165007 1476807 100 1105 54 83 66 369.66/369.98 c 1990 19980 165845 1485537 100 1112 39 81 64 371.86/372.13 c 2000 20079 166765 1493048 100 1120 39 83 62 373.77/374.04 c 2010 20188 167637 1499384 100 1124 74 82 71 375.46/375.76 c 2020 20276 168403 1506321 100 1132 40 77 57 377.46/377.70 c 2030 20367 169144 1514923 100 1142 27 81 51 379.06/379.38 c 2040 20456 169884 1520623 100 1149 63 78 66 380.85/381.13 c 2050 20556 170746 1528181 100 1150 77 80 72 382.35/382.69 c 2060 20658 171581 1536647 100 1158 49 77 65 384.05/384.31 c 2070 20752 172364 1543802 100 1163 48 80 65 385.65/385.91 c 2080 20840 173086 1550930 100 1167 63 73 64 387.25/387.53 c 2090 20935 173920 1557540 100 1170 76 80 69 388.75/389.03 c 2100 21047 174782 1563720 100 1171 79 89 74 390.45/390.75 c 2110 21152 175641 1571204 100 1175 80 83 73 392.05/392.32 c 2120 21249 176402 1578184 100 1180 69 76 67 393.85/394.11 c 2122 21329 177018 1582466 100 1182 76 77 51 395.65/395.91 c 2130 21425 177802 1588828 100 1184 77 82 70 397.34/397.65 c 2140 21525 178605 1594784 100 1190 76 84 73 399.15/399.46 c 2150 21639 179478 1600449 100 1194 82 88 78 400.54/400.86 c 2160 21746 180300 1605921 100 1198 77 90 75 402.14/402.45 c 2170 21834 181067 1613701 100 1203 57 74 64 403.84/404.12 c 2180 21947 181936 1622384 100 1206 83 85 76 405.65/406.00 c 2190 22056 182849 1629249 100 1208 72 82 72 407.24/407.52 c 2200 22153 183660 1636779 100 1211 70 77 67 409.14/409.40 c 2210 22245 184368 1647467 100 1221 27 80 51 410.94/411.21 c 2220 22350 185246 1653653 100 1226 78 85 73 412.43/412.77 c 2230 22451 186077 1659815 100 1232 77 84 74 414.13/414.41 c 2240 22542 186863 1667438 100 1238 50 77 61 415.83/416.11 c 2250 22639 187687 1673561 100 1244 76 82 72 417.53/417.83 c 2260 22728 188402 1679405 100 1252 56 79 65 419.03/419.34 c 2270 22834 189239 1685199 100 1256 74 88 73 420.63/420.92 c 2280 22934 190048 1691726 100 1263 73 82 69 422.63/422.97 c 2290 23035 190873 1700367 100 1270 59 79 65 424.34/424.68 c 2300 23134 191711 1707263 100 1272 79 82 73 426.03/426.39 c 2310 23235 192569 1713822 100 1277 73 84 72 427.63/427.96 c 2320 23341 193406 1721330 100 1281 75 82 73 429.63/429.92 c 2330 23440 194212 1727195 100 1285 63 83 70 431.42/431.73 c 2340 23540 195004 1734115 100 1289 71 82 69 433.02/433.38 c 2350 23651 195880 1742818 100 1293 76 85 73 434.92/435.21 c 2360 23745 196625 1749324 100 1299 74 79 69 436.43/436.76 c 2370 23838 197473 1757153 100 1303 72 76 67 437.92/438.27 c 2380 23938 198222 1762629 100 1312 79 86 73 439.62/439.98 c 2390 24036 199018 1769131 100 1317 79 83 74 441.22/441.52 c 2400 24124 199744 1775551 100 1321 72 76 67 443.02/443.35 c 2410 24230 200624 1783680 100 1325 76 82 73 444.51/444.85 c 2420 24303 201223 1790112 100 1329 60 63 56 446.21/446.56 c 2430 24395 201993 1796816 100 1336 62 80 66 447.52/447.87 c 2431 24467 202533 1800754 100 1337 72 72 36 449.21/449.57 c 2440 24571 203369 1806356 100 1344 73 87 73 450.82/451.16 c 2450 24664 204155 1814316 100 1347 73 74 66 452.41/452.74 c 2460 24753 204849 1820285 100 1353 68 74 66 454.21/454.51 c 2470 24850 205621 1826007 100 1361 46 87 65 455.61/455.91 c 2480 24942 206457 1833822 100 1365 70 75 66 457.11/457.46 c 2490 25047 207291 1840135 100 1371 76 86 74 459.10/459.40 c 2500 25155 208192 1848706 100 1378 73 81 69 461.00/461.37 c 2510 25255 208973 1854729 100 1380 79 85 73 462.60/462.99 c 2520 25342 209710 1862259 100 1388 48 76 63 464.20/464.53 c 2530 25450 210576 1869468 100 1391 76 81 72 465.90/466.24 c 2540 25556 211455 1875786 100 1395 81 83 74 467.70/468.03 c 2550 25662 212255 1882726 100 1401 40 86 66 469.20/469.59 c 2560 25761 213050 1888362 100 1405 77 85 75 471.10/471.47 c 2570 25875 213906 1895020 100 1410 75 83 73 472.80/473.17 c 2580 25983 214768 1902585 100 1413 77 83 72 474.50/474.88 c 2590 26081 215591 1908079 100 1421 69 83 70 476.10/476.41 c 2600 26177 216380 1913838 100 1426 79 84 73 478.09/478.46 c 2610 26280 217222 1924364 100 1429 59 76 66 479.69/480.06 c 2620 26389 218153 1933969 100 1433 78 80 72 481.39/481.72 c 2630 26489 218972 1939970 100 1438 78 82 72 483.09/483.42 c 2640 26590 219832 1946513 100 1442 78 83 72 485.09/485.47 c 2650 26692 220665 1955011 100 1448 39 84 65 486.79/487.12 c 2660 26800 221511 1963445 100 1453 77 84 73 488.49/488.84 c 2670 26900 222277 1968912 100 1459 77 85 73 490.49/490.83 c 2680 26994 223021 1975548 100 1467 39 82 64 492.09/492.48 c 2690 27099 223836 1981583 100 1470 78 87 75 494.08/494.43 c 2700 27195 224593 1988447 100 1478 36 84 67 495.68/496.07 c 2710 27313 225489 1994332 100 1479 80 89 77 497.68/498.02 c 2720 27417 226355 2002713 100 1485 75 84 73 499.19/499.53 conflict 130lvl : 84 bt84-7292:0(4209)X2104218 499.19/499.53 c 2730 27536 227274 2009063 100 1486 77 88 76 500.88/501.26 c 2740 27624 228045 2015475 100 1496 46 77 59 502.49/502.83 c 2750 27723 228859 2022478 100 1501 73 78 69 504.08/504.42 c 2760 27818 229684 2029822 100 1503 71 75 67 505.58/505.96 c 2770 27926 230602 2036810 100 1506 78 82 73 507.38/507.71 c 2771 28001 231220 2041012 100 1507 75 75 37 509.18/509.51 c 2780 28095 231948 2047375 100 1511 79 83 72 510.77/511.11 c 2790 28196 232716 2052978 100 1517 79 83 73 513.48/513.82 c 2800 28263 233535 2064166 100 1525 27 51 41 514.97/515.38 c 2810 28354 234257 2070644 100 1534 60 81 64 516.87/517.24 c 2820 28454 235073 2079806 100 1540 73 79 68 518.88/519.23 c 2830 28555 235933 2087423 100 1547 36 80 65 520.47/520.86 c 2840 28647 236741 2094567 100 1551 70 76 66 522.37/522.71 c 2850 28740 237529 2101078 100 1553 74 77 69 523.87/524.21 c 2860 28860 238441 2106817 100 1560 76 88 75 525.37/525.80 c 2870 28959 239351 2115655 100 1562 74 76 68 527.06/527.48 c 2880 29077 240246 2124593 100 1563 80 84 75 528.46/528.85 c 2890 29182 241094 2130963 100 1566 74 82 70 530.06/530.49 c 2900 29290 241966 2139612 100 1571 76 83 72 531.56/531.99 c 2910 29381 242721 2147423 100 1573 70 76 67 533.96/534.39 c 2920 29460 243582 2158538 100 1583 27 66 44 535.96/536.31 c 2930 29557 244348 2164093 100 1587 65 85 72 537.57/537.99 c 2940 29660 245119 2169327 100 1593 77 87 74 539.36/539.75 c 2950 29755 245901 2175659 100 1598 74 78 69 540.96/541.32 c 2960 29853 246651 2180917 100 1605 78 85 74 542.66/543.01 c 2970 29938 247368 2188177 100 1611 56 76 63 544.26/544.63 c 2980 30038 248161 2195512 100 1617 76 81 71 545.85/546.22 c 2990 30147 249111 2202695 100 1622 80 85 74 547.46/547.87 c 3000 30245 249915 2208623 100 1625 74 83 73 549.15/549.55 c 3010 30345 250720 2214177 100 1630 81 86 75 550.65/551.07 c 3020 30439 251507 2220314 100 1639 54 82 67 552.05/552.45 c 3030 30534 252217 2227040 100 1644 76 84 72 553.75/554.18 c 3040 30638 253098 2234901 100 1649 75 82 70 555.35/555.79 c 3050 30732 253933 2242193 100 1650 74 78 68 557.05/557.47 c 3060 30838 254778 2248963 100 1652 79 86 75 558.65/559.02 c 3070 30939 255607 2255267 100 1654 72 82 70 560.25/560.65 c 3080 31046 256422 2262332 100 1660 76 82 71 561.85/562.23 c 3090 31133 257235 2269356 100 1661 71 75 66 563.44/563.81 c 3100 31237 258122 2276078 100 1666 57 87 70 565.34/565.74 c 3110 31343 258983 2283963 100 1671 76 85 74 566.84/567.27 c 3120 31439 259807 2290990 100 1677 73 76 68 568.84/569.22 c 3130 31544 260679 2299697 100 1680 75 82 71 570.34/570.74 c 3140 31639 261491 2306523 100 1682 73 79 68 571.94/572.30 c 3142 31717 262097 2310535 100 1683 76 77 51 573.74/574.15 c 3150 31813 262887 2317551 100 1687 72 82 69 575.34/575.70 c 3160 31907 263633 2322952 100 1696 65 84 71 576.94/577.33 c 3170 32011 264467 2329482 100 1700 78 83 72 578.83/579.24 c 3180 32111 265298 2337493 100 1707 72 82 71 580.54/580.91 c 3190 32213 266130 2342914 100 1712 78 84 73 582.33/582.78 c 3200 32299 266861 2349537 100 1721 54 76 60 583.93/584.31 c 3210 32393 267697 2357466 100 1724 74 76 68 585.43/585.87 c 3220 32490 268448 2363575 100 1731 75 81 69 586.93/587.39 c 3230 32576 269159 2370303 100 1735 68 73 64 588.53/588.91 c 3240 32682 270008 2376613 100 1737 82 86 76 590.33/590.75 c 3250 32783 270881 2385560 100 1740 75 80 70 592.23/592.64 c 3260 32895 271774 2393293 100 1741 75 83 72 593.92/594.34 c 3270 32998 272563 2398471 100 1747 78 86 73 595.72/596.10 c 3280 33108 273559 2407285 100 1749 76 81 71 597.22/597.63 c 3290 33204 274393 2414996 100 1750 72 76 67 598.72/599.14 c 3300 33321 275273 2420652 100 1753 78 88 76 600.33/600.75 c 3310 33425 276082 2427666 100 1755 74 80 70 602.02/602.41 c 3320 33523 276862 2433666 100 1760 76 83 72 604.32/604.79 c 3330 33601 277658 2441741 100 1770 36 69 45 606.02/606.42 c 3340 33707 278507 2448271 100 1772 75 86 71 607.92/608.37 c 3350 33805 279363 2456263 100 1773 74 80 69 609.52/609.91 c 3360 33891 280021 2461849 100 1780 63 77 66 611.11/611.50 c 3370 33993 280813 2468300 100 1785 76 82 71 612.61/613.05 c 3380 34088 281567 2474572 100 1791 67 81 67 614.41/614.80 c 3390 34182 282398 2482247 100 1796 75 79 69 616.01/616.40 c 3400 34273 283149 2488388 100 1800 73 78 68 617.82/618.27 c 3410 34381 284015 2494275 100 1804 83 90 78 619.61/620.06 c 3420 34478 284785 2500691 100 1807 80 84 74 621.22/621.60 c 3430 34579 285615 2508469 100 1811 71 78 68 623.11/623.50 c 3440 34682 286551 2518288 100 1814 75 79 70 624.71/625.10 c 3450 34778 287354 2525623 100 1819 75 80 71 626.51/626.93 c 3460 34874 288170 2534548 100 1824 76 82 71 628.20/628.60 c 3470 34972 288976 2541774 100 1829 74 81 70 629.91/630.36 c 3480 35069 289795 2549958 100 1833 73 77 67 631.90/632.35 c 3490 35160 290564 2557737 100 1842 39 76 60 633.50/633.97 c 3500 35269 291390 2565147 100 1847 78 84 74 635.60/636.00 c 3510 35362 292193 2572698 100 1856 39 81 62 637.40/637.89 c 3520 35455 293051 2581093 100 1861 71 77 67 638.90/639.31 c 3530 35554 293845 2588403 100 1864 77 78 70 640.50/640.92 c 3540 35645 294541 2595048 100 1871 59 75 63 642.20/642.60 c 3550 35750 295388 2601711 100 1877 78 85 74 643.90/644.33 c 3551 35822 295926 2605323 100 1878 72 72 36 645.49/645.99 c 3560 35926 296767 2611292 100 1880 78 83 72 647.19/647.67 c 3570 36024 297566 2616759 100 1883 73 82 72 648.99/649.48 c 3580 36130 298444 2624542 100 1887 78 81 72 650.80/651.24 c 3590 36239 299315 2631931 100 1894 71 83 69 652.49/652.92 c 3600 36365 300218 2637609 100 1896 75 89 74 654.29/654.76 c 3610 36469 301108 2648336 100 1898 69 78 68 656.19/656.69 c 3620 36566 301841 2654461 100 1904 39 82 67 658.09/658.54 c 3630 36674 302721 2663162 100 1908 78 82 72 659.69/660.13 c 3640 36766 303505 2670281 100 1909 73 77 67 661.48/661.91 c 3650 36875 304478 2679773 100 1911 75 79 70 663.18/663.62 c 3660 36990 305478 2686607 100 1917 68 87 75 664.78/665.30 c 3670 37085 306265 2692649 100 1924 76 82 71 666.58/667.01 c 3680 37177 307017 2697736 100 1930 74 79 69 668.18/668.64 c 3690 37288 307896 2704539 100 1935 80 84 74 669.88/670.32 c 3700 37389 308653 2709327 100 1936 79 85 74 671.58/672.08 c 3710 37478 309380 2715148 100 1938 75 78 69 674.08/674.52 c 3720 37563 310464 2727980 100 1944 64 71 59 675.78/676.21 c 3730 37650 311175 2734182 100 1954 56 78 63 677.18/677.65 c 3740 37744 311954 2740655 100 1957 72 76 68 678.67/679.12 c 3750 37843 312698 2746602 100 1962 79 84 73 680.27/680.74 c 3760 37955 313598 2753310 100 1968 80 84 74 682.27/682.72 c 3770 38047 314344 2762232 100 1970 73 77 68 683.67/684.19 c 3780 38151 315177 2768420 100 1973 83 86 76 685.27/685.79 c 3790 38265 316022 2777059 100 1976 76 84 74 687.18/687.63 c 3800 38361 316807 2783947 100 1980 73 79 69 688.87/689.30 c 3810 38471 317660 2789494 100 1985 77 87 74 690.27/690.80 c 3820 38560 318420 2797242 100 1990 69 72 64 691.87/692.36 c 3830 38655 319211 2804427 100 1997 71 76 66 693.47/693.95 c 3840 38756 320063 2811747 100 2001 74 81 69 695.06/695.54 c 3850 38856 320847 2818256 100 2005 73 81 69 696.66/697.19 c 3860 38967 321809 2825274 100 2010 80 86 76 698.46/698.93 c 3870 39068 322660 2832278 100 2016 79 82 73 699.96/700.45 c 3880 39161 323373 2838555 100 2017 74 74 67 701.86/702.32 c 3890 39254 324108 2847007 100 2019 75 77 69 703.46/703.93 c 3900 39343 324850 2855360 100 2022 65 71 63 704.96/705.47 c 3910 39430 325589 2862510 100 2026 69 74 65 706.56/707.09 c 3920 39545 326496 2871252 100 2029 77 85 75 708.46/708.99 c 3930 39659 327377 2879449 100 2034 78 83 73 710.16/710.68 c 3940 39769 328255 2885228 100 2037 78 87 75 711.66/712.17 c 3950 39857 329021 2893238 100 2039 70 72 65 713.35/713.87 c 3960 39959 329869 2900610 100 2043 76 83 72 714.85/715.37 c 3970 40054 330622 2906346 100 2048 70 78 67 716.76/717.30 c 3980 40140 331352 2913038 100 2057 36 76 55 718.55/719.08 c 3990 40236 332140 2920036 100 2060 74 79 70 720.25/720.78 c 4000 40339 333012 2925902 100 2068 81 87 75 721.65/722.17 c 4001 40399 333509 2929470 100 2069 60 60 30 723.55/724.04 c 4010 40490 334252 2936178 100 2076 29 78 59 725.15/725.63 c 4020 40591 335117 2943210 100 2081 72 78 68 726.75/727.27 c 4030 40713 336100 2952943 100 2084 76 85 74 728.64/729.14 c 4040 40805 336884 2959843 100 2088 74 79 69 730.34/730.81 c 4050 40914 337738 2965488 100 2090 78 85 75 732.04/732.59 c 4060 41019 338637 2973605 100 2096 76 81 71 734.04/734.55 c 4070 41129 339516 2982206 100 2100 45 84 68 735.55/736.06 c 4080 41248 340385 2988063 100 2106 77 90 74 737.44/737.91 c 4090 41344 341219 2994027 100 2113 77 82 72 738.94/739.48 c 4100 41433 342003 2998832 100 2116 69 72 64 740.74/741.28 c 4110 41528 342758 3003849 100 2119 71 80 69 742.44/742.95 c 4120 41637 343644 3010566 100 2125 76 82 72 744.24/744.71 c 4130 41752 344606 3016757 100 2127 81 89 77 745.73/746.24 c 4140 41863 345525 3025671 100 2130 72 82 68 747.54/748.09 c 4150 41961 346300 3031214 100 2135 80 85 74 749.13/749.66 c 4160 42052 347006 3037431 100 2140 74 74 67 750.94/751.42 c 4170 42155 347852 3043915 100 2146 79 86 75 752.93/753.41 c 4180 42284 348879 3054692 100 2150 74 83 72 754.83/755.39 c 4190 42366 349738 3063370 100 2153 64 68 59 756.44/756.96 c 4200 42463 350533 3069860 100 2157 76 80 71 758.03/758.56 c 4210 42562 351390 3078774 100 2162 74 82 70 759.73/760.26 c 4220 42666 352199 3084659 100 2170 80 89 74 761.72/762.25 c 4230 42776 353095 3094295 100 2176 78 84 73 763.42/763.98 c 4240 42872 353918 3100479 100 2178 73 83 70 765.02/765.55 c 4250 42973 354777 3108182 100 2179 77 81 72 766.52/767.08 c 4260 43075 355653 3114368 100 2181 73 83 72 768.22/768.78 c 4270 43186 356560 3120737 100 2184 78 85 74 770.22/770.80 c 4280 43287 357368 3126113 100 2186 80 86 74 772.12/772.68 c 4290 43393 358227 3133834 100 2187 76 82 72 773.72/774.21 c 4300 43509 359108 3139751 100 2193 73 88 75 775.62/776.10 c 4310 43618 359976 3148108 100 2201 74 82 70 777.12/777.61 conflict 88lvl : 80 bt80-7281:0(4220)X2156755 777.12/777.62 c 4320 43729 360848 3153872 100 2206 80 90 75 778.51/779.02 c 4330 43829 361589 3160421 100 2211 77 83 73 780.21/780.73 c 4340 43924 362352 3167568 100 2217 70 81 69 781.81/782.32 c 4350 44029 363190 3173451 100 2220 77 86 73 783.41/783.95 c 4360 44134 364062 3179851 100 2226 76 85 73 785.11/785.66 c 4370 44246 364916 3185618 100 2230 77 86 76 787.01/787.54 c 4380 44340 365704 3194407 100 2234 74 79 69 788.91/789.43 c 4390 44447 366661 3204469 100 2238 76 80 71 790.81/791.32 c 4400 44554 367462 3210638 100 2244 76 85 73 792.51/793.06 c 4410 44659 368314 3216913 100 2250 76 86 74 794.41/794.96 c 4420 44756 369142 3225672 100 2256 76 82 71 796.20/796.80 c 4430 44858 369898 3231427 100 2264 27 86 69 797.80/798.32 c 4440 44951 370675 3237975 100 2269 60 78 64 799.50/800.00 c 4450 45059 371547 3245104 100 2272 77 85 74 801.20/801.76 c 4460 45165 372378 3250993 100 2277 77 84 72 802.90/803.45 c 4470 45257 373167 3258901 100 2279 72 74 66 804.50/805.08 c 4480 45377 374107 3265887 100 2285 76 84 73 806.40/806.98 c 4490 45484 374940 3273927 100 2291 74 79 70 808.10/808.69 c 4493 45575 375664 3278622 100 2294 80 86 62 809.50/810.08 c 4500 45659 376353 3285418 100 2296 71 73 63 811.00/811.58 c 4510 45765 377189 3290948 100 2300 80 85 75 812.69/813.21 c 4520 45879 378074 3299877 100 2304 78 85 73 814.29/814.81 c 4530 45973 378923 3308267 100 2308 76 80 71 816.09/816.61 c 4540 46072 379681 3314209 100 2313 79 84 73 817.69/818.28 c 4550 46165 380389 3320423 100 2321 78 83 72 819.69/820.22 c 4560 46258 381149 3328288 100 2326 70 78 68 820.99/821.59 c 4570 46358 381889 3335329 100 2329 76 83 72 822.69/823.26 c 4580 46460 382693 3342369 100 2335 75 81 70 824.39/824.99 c 4590 46574 383579 3348462 100 2338 82 87 76 826.49/827.09 c 4600 46676 384412 3355970 100 2345 34 84 64 828.08/828.67 c 4610 46776 385239 3363150 100 2351 75 82 70 829.78/830.36 c 4620 46874 386042 3368660 100 2356 73 84 74 831.48/832.02 c 4630 46979 386886 3374718 100 2359 79 84 73 832.98/833.57 c 4640 47089 387810 3381709 100 2362 82 86 76 834.68/835.26 c 4650 47201 388702 3387651 100 2366 80 87 75 836.69/837.24 c 4660 47318 389654 3393722 100 2369 82 87 76 838.68/839.24 c 4670 47423 390522 3404452 100 2372 72 76 67 840.18/840.75 c 4680 47540 391460 3410220 100 2378 82 85 76 841.98/842.55 c 4690 47642 392310 3418019 100 2383 78 82 72 843.48/844.09 c 4700 47735 393055 3424906 100 2390 67 79 67 845.17/845.77 c 4710 47831 393942 3433824 100 2394 68 79 69 846.87/847.41 c 4720 47924 394738 3440367 100 2396 71 77 68 848.47/849.03 c 4730 48036 395671 3446619 100 2398 82 88 77 850.17/850.79 c 4740 48142 396550 3454489 100 2404 78 83 73 851.77/852.33 c 4750 48260 397457 3460620 100 2408 79 92 76 853.57/854.15 c 4760 48352 398279 3469655 100 2413 71 75 66 855.17/855.77 c 4770 48454 399093 3477733 100 2418 80 84 74 856.67/857.22 c 4780 48578 400071 3484595 100 2423 82 91 78 858.47/859.03 c 4790 48679 401004 3494011 100 2427 75 80 70 860.07/860.66 c 4800 48773 401782 3500098 100 2432 63 76 65 861.56/862.19 c 4810 48883 402673 3506397 100 2436 76 87 76 863.46/864.03 c 4820 48979 403458 3512885 100 2443 80 84 73 865.06/865.69 c 4830 49081 404290 3518797 100 2449 79 85 74 866.86/867.43 c 4840 49186 405148 3525867 100 2451 80 84 74 868.26/868.88 c 4850 49284 405950 3533199 100 2453 73 82 72 870.16/870.71 c 4860 49380 406735 3540633 100 2456 71 79 69 872.06/872.66 c 4870 49482 407582 3549260 100 2458 77 82 72 873.56/874.14 c 4880 49607 408570 3555302 100 2461 82 86 76 875.36/875.97 c 4890 49702 409364 3563471 100 2463 71 75 66 876.86/877.43 c 4900 49804 410194 3569042 100 2467 74 85 73 878.65/879.29 c 4910 49903 411013 3577718 100 2470 70 79 68 880.25/880.90 c 4920 49996 411754 3583453 100 2478 78 84 72 881.95/882.53 c 4930 50087 412485 3589048 100 2485 71 76 67 883.65/884.22 c 4940 50190 413349 3595156 100 2493 76 85 73 884.96/885.59 c 4950 50296 414176 3601501 100 2498 70 85 71 886.85/887.40 c 4960 50390 414906 3606265 100 2505 73 79 69 888.65/889.27 c 4970 50478 415634 3613125 100 2514 72 79 66 890.56/891.14 c 4980 50574 416405 3617927 100 2519 75 80 70 892.05/892.67 c 4990 50666 417131 3625034 100 2522 69 75 65 893.75/894.37 c 5035 50834 418602 3641070 100 2537 70 80 75 899.94/900.54 c 5631 53088 435666 3909862 100 2560 38 84 81 909.74/910.31 c 6286 55165 454144 4185378 100 2578 58 84 78 913.13/913.79 c 7006 57260 471834 4374266 100 2590 69 86 78 917.33/917.93 c 7798 59503 491377 4511183 100 2605 70 87 79 921.53/922.17 c 8669 61891 512051 4796618 100 2622 59 87 78 930.92/931.55 c 9627 65372 543792 5283119 100 2650 42 78 75 953.51/954.16 c 10680 68485 575663 5813168 100 2668 67 82 76 973.60/974.24 c 11838 71863 605944 6077278 100 2683 72 88 81 992.99/993.66 c 13111 76088 640946 6552984 100 2693 36 85 80 1009.28/1009.97 c 14511 80501 674337 7024573 100 2709 67 85 78 1018.17/1018.80 c 16051 85778 718819 7369976 100 2727 72 90 81 1034.96/1035.68 c 17745 90368 762294 7929090 100 2741 60 82 75 1040.66/1041.31 c 19608 96192 809046 8381391 100 2759 68 86 78 1054.55/1055.23 c 21657 102242 862864 9240748 100 2779 67 84 77 1058.15/1058.84 c 23910 109470 921442 9610590 100 2788 71 91 81 1096.73/1097.41 c 26388 116904 987444 10167163 100 2808 73 88 81 1137.91/1138.62 c 29113 125354 1062126 11300119 100 2832 58 82 78 1181.27/1182.06 c 32110 135143 1140998 12685121 100 2847 36 82 78 1197.47/1198.27 c 35406 145915 1224914 13663530 100 2874 60 83 79 1218.75/1219.52 c 39031 158255 1336818 14554963 100 2894 70 91 80 1229.65/1230.40 c 43018 169214 1436665 15722908 100 2916 70 87 80 1237.25/1238.06 c 47403 184041 1562743 16487655 100 2942 74 93 83 1252.25/1253.08 c 52226 196679 1669491 17696481 100 2972 67 81 75 1257.04/1257.81 c 57531 213511 1806037 18467122 100 2979 72 92 81 1360.27/1361.17 c 63366 230596 1954989 21211193 100 2995 66 84 78 1454.02/1454.97 c 69784 248979 2125935 22629702 100 3029 36 84 76 1484.11/1485.09 c 76843 270827 2299127 24882971 100 3061 68 84 79 1532.48/1533.46 c 84607 298181 2546197 26771121 100 3071 69 90 81 1710.16/1711.21 c 93147 324314 2789044 29895243 100 3094 67 88 80 1733.45/1734.50 c 102541 350309 3040014 32633053 100 3116 68 83 78 1928.14/1929.39 c 112874 378922 3318571 35508558 100 3142 12 84 75 2059.66/2060.91 c 124240 416406 3612466 39621323 100 3173 64 84 76 2122.53/2123.80 c 136742 451144 3923199 44106938 100 3196 68 88 79 2157.51/2158.88 c 150494 487943 4222352 47606814 100 3224 64 86 75 2277.34/2278.73 c 165621 536512 4620237 53999273 100 3238 68 86 80
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-4242533-1500658462/watcher-4242533-1500658462 -o /tmp/evaluation-result-4242533-1500658462/solver-4242533-1500658462 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node146-1500648174-9860 --watchdog 2560 HOME/cosoco -lc -model -restarts -sat HOME/instance-4242533-1500658462.xml pid=11205 running on 8 cores: 0,2,4,6,8,10,12,14 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 2.04 2.04 2.05 3/242 11208 /proc/meminfo: memFree=32000296/32770624 swapFree=5756/198144 [pid=11208] ppid=11205 vsize=27124 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/11208/stat : 11208 (cosoco) R 11205 11208 9829 0 -1 4202496 1006 0 0 0 0 0 0 0 20 0 1 0 1111599 27774976 832 33554432000 4194304 5970956 140735787199328 140735787195928 5417044 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 8070896 8075904 28991488 140735787201724 140735787201859 140735787201859 140735787204558 0 /proc/11208/statm: 6781 832 714 434 0 145 0 [startup+0.100117 s] /proc/loadavg: 2.04 2.04 2.05 3/242 11208 /proc/meminfo: memFree=32000296/32770624 swapFree=5756/198144 [pid=11208] ppid=11205 vsize=27948 CPUtime=0.09 cores=0,2,4,6,8,10,12,14 /proc/11208/stat : 11208 (cosoco) R 11205 11208 9829 0 -1 4202496 1204 0 0 0 9 0 0 0 20 0 1 0 1111599 28618752 947 33554432000 4194304 5970956 140735787199328 140735787195928 140463370410814 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 8070896 8075904 28991488 140735787201724 140735787201859 140735787201859 140735787204558 0 /proc/11208/statm: 6987 947 714 434 0 351 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 27948 [startup+0.20035 s] /proc/loadavg: 2.04 2.04 2.05 3/242 11208 /proc/meminfo: memFree=32000296/32770624 swapFree=5756/198144 [pid=11208] ppid=11205 vsize=28728 CPUtime=0.19 cores=0,2,4,6,8,10,12,14 /proc/11208/stat : 11208 (cosoco) R 11205 11208 9829 0 -1 4202496 1491 0 0 0 19 0 0 0 20 0 1 0 1111599 29417472 1124 33554432000 4194304 5970956 140735787199328 140735787195928 5378246 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 8070896 8075904 28991488 140735787201724 140735787201859 140735787201859 140735787204558 0 /proc/11208/statm: 7182 1124 714 434 0 546 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 28728 [startup+0.300328 s] /proc/loadavg: 2.04 2.04 2.05 3/242 11208 /proc/meminfo: memFree=32000296/32770624 swapFree=5756/198144 [pid=11208] ppid=11205 vsize=29892 CPUtime=0.29 cores=0,2,4,6,8,10,12,14 /proc/11208/stat : 11208 (cosoco) R 11205 11208 9829 0 -1 4202496 1897 0 0 0 29 0 0 0 20 0 1 0 1111599 30609408 1348 33554432000 4194304 5970956 140735787199328 140735787195928 5673389 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 8070896 8075904 28991488 140735787201724 140735787201859 140735787201859 140735787204558 0 /proc/11208/statm: 7473 1348 714 434 0 837 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 29892 [startup+0.700292 s] /proc/loadavg: 2.04 2.04 2.05 3/242 11208 /proc/meminfo: memFree=32000296/32770624 swapFree=5756/198144 [pid=11208] ppid=11205 vsize=33408 CPUtime=0.69 cores=0,2,4,6,8,10,12,14 /proc/11208/stat : 11208 (cosoco) R 11205 11208 9829 0 -1 4202496 2691 0 0 0 69 0 0 0 20 0 1 0 1111599 34209792 2281 33554432000 4194304 5970956 140735787199328 140735787195928 5672402 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 8070896 8075904 28991488 140735787201724 140735787201859 140735787201859 140735787204558 0 /proc/11208/statm: 8352 2281 714 434 0 1716 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 33408 [startup+1.50028 s] /proc/loadavg: 2.04 2.04 2.05 3/243 11209 /proc/meminfo: memFree=31989852/32770624 swapFree=5756/198252 [pid=11208] ppid=11205 vsize=40440 CPUtime=1.49 cores=0,2,4,6,8,10,12,14 /proc/11208/stat : 11208 (cosoco) R 11205 11208 9829 0 -1 4202496 4086 0 0 0 149 0 0 0 20 0 1 0 1111599 41410560 3900 33554432000 4194304 5970956 140735787199328 140735787195928 5417044 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 8070896 8075904 28991488 140735787201724 140735787201859 140735787201859 140735787204558 0 /proc/11208/statm: 10110 3966 714 434 0 3474 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 40440 [startup+3.10028 s] /proc/loadavg: 2.04 2.04 2.05 3/243 11209 /proc/meminfo: memFree=31980300/32770624 swapFree=5756/198252 [pid=11208] ppid=11205 vsize=54372 CPUtime=3.08 cores=0,2,4,6,8,10,12,14 /proc/11208/stat : 11208 (cosoco) R 11205 11208 9829 0 -1 4202496 6506 0 0 0 307 1 0 0 20 0 1 0 1111599 55676928 7352 33554432000 4194304 5970956 140735787199328 140735787195928 5417055 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 8070896 8075904 28991488 140735787201724 140735787201859 140735787201859 140735787204558 0 /proc/11208/statm: 13593 7352 714 434 0 6957 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 54372 [startup+6.30034 s] /proc/loadavg: 2.04 2.04 2.05 3/243 11209 /proc/meminfo: memFree=31865536/32770624 swapFree=5756/198448 [pid=11208] ppid=11205 vsize=165088 CPUtime=6.29 cores=0,2,4,6,8,10,12,14 /proc/11208/stat : 11208 (cosoco) R 11205 11208 9829 0 -1 4202496 47518 0 0 0 624 5 0 0 20 0 1 0 1111599 169050112 34198 33554432000 4194304 5970956 140735787199328 140735787196664 4934318 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 28991488 140735787201724 140735787201859 140735787201859 140735787204558 0 /proc/11208/statm: 41272 34198 779 434 0 34636 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 165088 [startup+12.7003 s] /proc/loadavg: 2.03 2.04 2.05 3/243 11209 /proc/meminfo: memFree=31865120/32770624 swapFree=5756/198452 [pid=11208] ppid=11205 vsize=165088 CPUtime=12.68 cores=0,2,4,6,8,10,12,14 /proc/11208/stat : 11208 (cosoco) R 11205 11208 9829 0 -1 4202496 61990 0 0 0 1262 6 0 0 20 0 1 0 1111599 169050112 34198 33554432000 4194304 5970956 140735787199328 140735787196664 4934318 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 28991488 140735787201724 140735787201859 140735787201859 140735787204558 0 /proc/11208/statm: 41272 34198 779 434 0 34636 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 165088 [startup+25.5004 s] /proc/loadavg: 2.03 2.04 2.05 3/243 11209 /proc/meminfo: memFree=31865244/32770624 swapFree=5756/198464 [pid=11208] ppid=11205 vsize=165088 CPUtime=25.47 cores=0,2,4,6,8,10,12,14 /proc/11208/stat : 11208 (cosoco) R 11205 11208 9829 0 -1 4202496 90885 0 0 0 2540 7 0 0 20 0 1 0 1111599 169050112 34198 33554432000 4194304 5970956 140735787199328 140735787196664 4934318 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 28991488 140735787201724 140735787201859 140735787201859 140735787204558 0 /proc/11208/statm: 41272 34198 779 434 0 34636 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 165088 [startup+51.1004 s] /proc/loadavg: 2.02 2.03 2.05 3/243 11209 /proc/meminfo: memFree=31865244/32770624 swapFree=5756/198508 [pid=11208] ppid=11205 vsize=165088 CPUtime=51.06 cores=0,2,4,6,8,10,12,14 /proc/11208/stat : 11208 (cosoco) R 11205 11208 9829 0 -1 4202496 106023 0 0 0 5097 9 0 0 20 0 1 0 1111599 169050112 34198 33554432000 4194304 5970956 140735787199328 140735787196664 4934327 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 28991488 140735787201724 140735787201859 140735787201859 140735787204558 0 /proc/11208/statm: 41272 34198 779 434 0 34636 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 165088 [startup+102.3 s] /proc/loadavg: 2.01 2.03 2.05 3/243 11210 /proc/meminfo: memFree=31861472/32770624 swapFree=5756/198584 [pid=11208] ppid=11205 vsize=165088 CPUtime=102.24 cores=0,2,4,6,8,10,12,14 /proc/11208/stat : 11208 (cosoco) R 11205 11208 9829 0 -1 4202496 118602 0 0 0 10214 10 0 0 20 0 1 0 1111599 169050112 34198 33554432000 4194304 5970956 140735787199328 140735787196664 4934327 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 28991488 140735787201724 140735787201859 140735787201859 140735787204558 0 /proc/11208/statm: 41272 34198 779 434 0 34636 0 Current children cumulated CPU time (s) 102.24 Current children cumulated vsize (KiB) 165088 [startup+162.3 s] /proc/loadavg: 2.00 2.02 2.05 3/243 11211 /proc/meminfo: memFree=31861364/32770624 swapFree=5756/198688 [pid=11208] ppid=11205 vsize=165088 CPUtime=162.19 cores=0,2,4,6,8,10,12,14 /proc/11208/stat : 11208 (cosoco) R 11205 11208 9829 0 -1 4202496 120854 0 0 0 16209 10 0 0 20 0 1 0 1111599 169050112 34199 33554432000 4194304 5970956 140735787199328 140735787196664 4934318 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 28991488 140735787201724 140735787201859 140735787201859 140735787204558 0 /proc/11208/statm: 41272 34199 779 434 0 34636 0 Current children cumulated CPU time (s) 162.19 Current children cumulated vsize (KiB) 165088 [startup+222.308 s] /proc/loadavg: 2.00 2.02 2.05 3/243 11212 /proc/meminfo: memFree=31862580/32770624 swapFree=5756/198764 [pid=11208] ppid=11205 vsize=165088 CPUtime=222.16 cores=0,2,4,6,8,10,12,14 /proc/11208/stat : 11208 (cosoco) R 11205 11208 9829 0 -1 4202496 121115 0 0 0 22206 10 0 0 20 0 1 0 1111599 169050112 34199 33554432000 4194304 5970956 140735787199328 140735787196664 4934318 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 28991488 140735787201724 140735787201859 140735787201859 140735787204558 0 /proc/11208/statm: 41272 34199 779 434 0 34636 0 Current children cumulated CPU time (s) 222.16 Current children cumulated vsize (KiB) 165088 [startup+282.3 s] /proc/loadavg: 2.00 2.01 2.05 3/243 11213 /proc/meminfo: memFree=31862936/32770624 swapFree=5756/198852 [pid=11208] ppid=11205 vsize=165088 CPUtime=282.12 cores=0,2,4,6,8,10,12,14 /proc/11208/stat : 11208 (cosoco) R 11205 11208 9829 0 -1 4202496 121378 0 0 0 28202 10 0 0 20 0 1 0 1111599 169050112 34199 33554432000 4194304 5970956 140735787199328 140735787196664 4934327 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 28991488 140735787201724 140735787201859 140735787201859 140735787204558 0 /proc/11208/statm: 41272 34199 779 434 0 34636 0 Current children cumulated CPU time (s) 282.12 Current children cumulated vsize (KiB) 165088 [startup+342.3 s] /proc/loadavg: 2.00 2.01 2.05 3/243 11221 /proc/meminfo: memFree=31863100/32770624 swapFree=5756/198952 [pid=11208] ppid=11205 vsize=165088 CPUtime=342.08 cores=0,2,4,6,8,10,12,14 /proc/11208/stat : 11208 (cosoco) R 11205 11208 9829 0 -1 4202496 121640 0 0 0 34198 10 0 0 20 0 1 0 1111599 169050112 34199 33554432000 4194304 5970956 140735787199328 140735787196664 4934327 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 28991488 140735787201724 140735787201859 140735787201859 140735787204558 0 /proc/11208/statm: 41272 34199 779 434 0 34636 0 Current children cumulated CPU time (s) 342.08 Current children cumulated vsize (KiB) 165088 [startup+402.3 s] /proc/loadavg: 2.00 2.01 2.05 3/243 11222 /proc/meminfo: memFree=31862596/32770624 swapFree=5756/199056 [pid=11208] ppid=11205 vsize=165088 CPUtime=402.04 cores=0,2,4,6,8,10,12,14 /proc/11208/stat : 11208 (cosoco) R 11205 11208 9829 0 -1 4202496 121902 0 0 0 40194 10 0 0 20 0 1 0 1111599 169050112 34199 33554432000 4194304 5970956 140735787199328 140735787196664 4934327 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 28991488 140735787201724 140735787201859 140735787201859 140735787204558 0 /proc/11208/statm: 41272 34199 779 434 0 34636 0 Current children cumulated CPU time (s) 402.04 Current children cumulated vsize (KiB) 165088 [startup+462.3 s] /proc/loadavg: 2.00 2.01 2.05 3/243 11223 /proc/meminfo: memFree=31863112/32770624 swapFree=5756/199148 [pid=11208] ppid=11205 vsize=165088 CPUtime=462 cores=0,2,4,6,8,10,12,14 /proc/11208/stat : 11208 (cosoco) R 11205 11208 9829 0 -1 4202496 122164 0 0 0 46190 10 0 0 20 0 1 0 1111599 169050112 34199 33554432000 4194304 5970956 140735787199328 140735787196664 4934327 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 28991488 140735787201724 140735787201859 140735787201859 140735787204558 0 /proc/11208/statm: 41272 34199 779 434 0 34636 0 Current children cumulated CPU time (s) 462 Current children cumulated vsize (KiB) 165088 [startup+522.3 s] /proc/loadavg: 2.00 2.01 2.05 3/243 11224 /proc/meminfo: memFree=31864004/32770624 swapFree=5756/199236 [pid=11208] ppid=11205 vsize=165088 CPUtime=521.97 cores=0,2,4,6,8,10,12,14 /proc/11208/stat : 11208 (cosoco) R 11205 11208 9829 0 -1 4202496 122430 0 0 0 52187 10 0 0 20 0 1 0 1111599 169050112 34200 33554432000 4194304 5970956 140735787199328 140735787196664 4934366 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 28991488 140735787201724 140735787201859 140735787201859 140735787204558 0 /proc/11208/statm: 41272 34200 779 434 0 34636 0 Current children cumulated CPU time (s) 521.97 Current children cumulated vsize (KiB) 165088 [startup+582.3 s] /proc/loadavg: 2.00 2.01 2.05 3/243 11225 /proc/meminfo: memFree=31864044/32770624 swapFree=5756/199324 [pid=11208] ppid=11205 vsize=165088 CPUtime=581.93 cores=0,2,4,6,8,10,12,14 /proc/11208/stat : 11208 (cosoco) R 11205 11208 9829 0 -1 4202496 122692 0 0 0 58183 10 0 0 20 0 1 0 1111599 169050112 34204 33554432000 4194304 5970956 140735787199328 140735787196664 4934327 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 28991488 140735787201724 140735787201859 140735787201859 140735787204558 0 /proc/11208/statm: 41272 34204 783 434 0 34636 0 Current children cumulated CPU time (s) 581.93 Current children cumulated vsize (KiB) 165088 ################ # More data... # ################ [startup+1542.31 s] /proc/loadavg: 2.01 2.02 2.05 3/244 11259 /proc/meminfo: memFree=31858552/32770624 swapFree=5756/200204 [pid=11208] ppid=11205 vsize=165088 CPUtime=1541.38 cores=0,2,4,6,8,10,12,14 /proc/11208/stat : 11208 (cosoco) R 11205 11208 9829 0 -1 4202496 126754 0 0 0 154128 10 0 0 20 0 1 0 1111599 169050112 34837 33554432000 4194304 5970956 140735787199328 140735787196664 4934357 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 28991488 140735787201724 140735787201859 140735787201859 140735787204558 0 /proc/11208/statm: 41272 34837 783 434 0 34636 0 Current children cumulated CPU time (s) 1541.38 Current children cumulated vsize (KiB) 165088 [startup+1602.3 s] /proc/loadavg: 2.00 2.02 2.05 3/245 11283 /proc/meminfo: memFree=31857012/32770624 swapFree=5756/200256 [pid=11208] ppid=11205 vsize=165088 CPUtime=1601.33 cores=0,2,4,6,8,10,12,14 /proc/11208/stat : 11208 (cosoco) R 11205 11208 9829 0 -1 4202496 126879 0 0 0 160123 10 0 0 20 0 1 0 1111599 169050112 34837 33554432000 4194304 5970956 140735787199328 140735787196664 4934327 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 28991488 140735787201724 140735787201859 140735787201859 140735787204558 0 /proc/11208/statm: 41272 34837 783 434 0 34636 0 Current children cumulated CPU time (s) 1601.33 Current children cumulated vsize (KiB) 165088 [startup+1662.3 s] /proc/loadavg: 2.00 2.01 2.05 3/245 11284 /proc/meminfo: memFree=31856984/32770624 swapFree=5756/200292 [pid=11208] ppid=11205 vsize=165088 CPUtime=1661.29 cores=0,2,4,6,8,10,12,14 /proc/11208/stat : 11208 (cosoco) R 11205 11208 9829 0 -1 4202496 127005 0 0 0 166119 10 0 0 20 0 1 0 1111599 169050112 34837 33554432000 4194304 5970956 140735787199328 140735787196664 4934357 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 28991488 140735787201724 140735787201859 140735787201859 140735787204558 0 /proc/11208/statm: 41272 34837 783 434 0 34636 0 Current children cumulated CPU time (s) 1661.29 Current children cumulated vsize (KiB) 165088 [startup+1722.3 s] /proc/loadavg: 2.00 2.01 2.05 3/245 11285 /proc/meminfo: memFree=31857048/32770624 swapFree=5756/200332 [pid=11208] ppid=11205 vsize=165088 CPUtime=1721.26 cores=0,2,4,6,8,10,12,14 /proc/11208/stat : 11208 (cosoco) R 11205 11208 9829 0 -1 4202496 127266 0 0 0 172116 10 0 0 20 0 1 0 1111599 169050112 34837 33554432000 4194304 5970956 140735787199328 140735787196664 4934366 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 28991488 140735787201724 140735787201859 140735787201859 140735787204558 0 /proc/11208/statm: 41272 34837 783 434 0 34636 0 Current children cumulated CPU time (s) 1721.26 Current children cumulated vsize (KiB) 165088 [startup+1782.3 s] /proc/loadavg: 2.11 2.04 2.05 3/245 11286 /proc/meminfo: memFree=31857100/32770624 swapFree=5756/200372 [pid=11208] ppid=11205 vsize=165088 CPUtime=1781.22 cores=0,2,4,6,8,10,12,14 /proc/11208/stat : 11208 (cosoco) R 11205 11208 9829 0 -1 4202496 127404 0 0 0 178112 10 0 0 20 0 1 0 1111599 169050112 34837 33554432000 4194304 5970956 140735787199328 140735787196664 4934318 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 28991488 140735787201724 140735787201859 140735787201859 140735787204558 0 /proc/11208/statm: 41272 34837 783 434 0 34636 0 Current children cumulated CPU time (s) 1781.22 Current children cumulated vsize (KiB) 165088 [startup+1842.3 s] /proc/loadavg: 2.04 2.04 2.05 3/244 11287 /proc/meminfo: memFree=31857336/32770624 swapFree=5756/200416 [pid=11208] ppid=11205 vsize=165088 CPUtime=1841.19 cores=0,2,4,6,8,10,12,14 /proc/11208/stat : 11208 (cosoco) R 11205 11208 9829 0 -1 4202496 127541 0 0 0 184108 11 0 0 20 0 1 0 1111599 169050112 34837 33554432000 4194304 5970956 140735787199328 140735787196664 4934327 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 28991488 140735787201724 140735787201859 140735787201859 140735787204558 0 /proc/11208/statm: 41272 34837 783 434 0 34636 0 Current children cumulated CPU time (s) 1841.19 Current children cumulated vsize (KiB) 165088 [startup+1902.3 s] /proc/loadavg: 2.01 2.03 2.05 3/243 11288 /proc/meminfo: memFree=31858364/32770624 swapFree=5756/200448 [pid=11208] ppid=11205 vsize=165088 CPUtime=1901.16 cores=0,2,4,6,8,10,12,14 /proc/11208/stat : 11208 (cosoco) R 11205 11208 9829 0 -1 4202496 127677 0 0 0 190105 11 0 0 20 0 1 0 1111599 169050112 34837 33554432000 4194304 5970956 140735787199328 140735787196664 4934460 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 28991488 140735787201724 140735787201859 140735787201859 140735787204558 0 /proc/11208/statm: 41272 34837 783 434 0 34636 0 Current children cumulated CPU time (s) 1901.16 Current children cumulated vsize (KiB) 165088 [startup+1962.3 s] /proc/loadavg: 2.01 2.03 2.05 3/243 11289 /proc/meminfo: memFree=31858720/32770624 swapFree=5756/200492 [pid=11208] ppid=11205 vsize=165088 CPUtime=1961.12 cores=0,2,4,6,8,10,12,14 /proc/11208/stat : 11208 (cosoco) R 11205 11208 9829 0 -1 4202496 127938 0 0 0 196101 11 0 0 20 0 1 0 1111599 169050112 34837 33554432000 4194304 5970956 140735787199328 140735787196664 4934327 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 28991488 140735787201724 140735787201859 140735787201859 140735787204558 0 /proc/11208/statm: 41272 34837 783 434 0 34636 0 Current children cumulated CPU time (s) 1961.12 Current children cumulated vsize (KiB) 165088 [startup+2022.3 s] /proc/loadavg: 2.00 2.02 2.05 3/243 11290 /proc/meminfo: memFree=31857232/32770624 swapFree=5756/200524 [pid=11208] ppid=11205 vsize=165088 CPUtime=2021.08 cores=0,2,4,6,8,10,12,14 /proc/11208/stat : 11208 (cosoco) R 11205 11208 9829 0 -1 4202496 128039 0 0 0 202097 11 0 0 20 0 1 0 1111599 169050112 34837 33554432000 4194304 5970956 140735787199328 140735787196664 4934327 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 28991488 140735787201724 140735787201859 140735787201859 140735787204558 0 /proc/11208/statm: 41272 34837 783 434 0 34636 0 Current children cumulated CPU time (s) 2021.08 Current children cumulated vsize (KiB) 165088 [startup+2082.3 s] /proc/loadavg: 2.00 2.01 2.05 3/243 11291 /proc/meminfo: memFree=31857976/32770624 swapFree=5756/200560 [pid=11208] ppid=11205 vsize=165088 CPUtime=2081.06 cores=0,2,4,6,8,10,12,14 /proc/11208/stat : 11208 (cosoco) R 11205 11208 9829 0 -1 4202496 128301 0 0 0 208095 11 0 0 20 0 1 0 1111599 169050112 34837 33554432000 4194304 5970956 140735787199328 140735787196664 4934342 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 28991488 140735787201724 140735787201859 140735787201859 140735787204558 0 /proc/11208/statm: 41272 34837 783 434 0 34636 0 Current children cumulated CPU time (s) 2081.06 Current children cumulated vsize (KiB) 165088 [startup+2142.3 s] /proc/loadavg: 2.00 2.01 2.05 3/244 11366 /proc/meminfo: memFree=31843800/32770624 swapFree=5756/200552 [pid=11208] ppid=11205 vsize=165088 CPUtime=2141.02 cores=0,2,4,6,8,10,12,14 /proc/11208/stat : 11208 (cosoco) R 11205 11208 9829 0 -1 4202496 128563 0 0 0 214091 11 0 0 20 0 1 0 1111599 169050112 34837 33554432000 4194304 5970956 140735787199328 140735787196664 4934327 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 28991488 140735787201724 140735787201859 140735787201859 140735787204558 0 /proc/11208/statm: 41272 34837 783 434 0 34636 0 Current children cumulated CPU time (s) 2141.02 Current children cumulated vsize (KiB) 165088 [startup+2202.31 s] /proc/loadavg: 2.00 2.01 2.05 3/244 11367 /proc/meminfo: memFree=31842820/32770624 swapFree=5756/200736 [pid=11208] ppid=11205 vsize=165088 CPUtime=2200.99 cores=0,2,4,6,8,10,12,14 /proc/11208/stat : 11208 (cosoco) R 11205 11208 9829 0 -1 4202496 128825 0 0 0 220088 11 0 0 20 0 1 0 1111599 169050112 34837 33554432000 4194304 5970956 140735787199328 140735787196664 4934327 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 28991488 140735787201724 140735787201859 140735787201859 140735787204558 0 /proc/11208/statm: 41272 34837 783 434 0 34636 0 Current children cumulated CPU time (s) 2200.99 Current children cumulated vsize (KiB) 165088 [startup+2262.3 s] /proc/loadavg: 2.00 2.01 2.05 3/244 11368 /proc/meminfo: memFree=31841432/32770624 swapFree=5756/200784 [pid=11208] ppid=11205 vsize=165088 CPUtime=2260.95 cores=0,2,4,6,8,10,12,14 /proc/11208/stat : 11208 (cosoco) R 11205 11208 9829 0 -1 4202496 128912 0 0 0 226084 11 0 0 20 0 1 0 1111599 169050112 34837 33554432000 4194304 5970956 140735787199328 140735787196664 4934318 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 28991488 140735787201724 140735787201859 140735787201859 140735787204558 0 /proc/11208/statm: 41272 34837 783 434 0 34636 0 Current children cumulated CPU time (s) 2260.95 Current children cumulated vsize (KiB) 165088 [startup+2322.3 s] /proc/loadavg: 2.00 2.01 2.05 3/244 11369 /proc/meminfo: memFree=31838584/32770624 swapFree=5756/200832 [pid=11208] ppid=11205 vsize=165088 CPUtime=2320.91 cores=0,2,4,6,8,10,12,14 /proc/11208/stat : 11208 (cosoco) R 11205 11208 9829 0 -1 4202496 129174 0 0 0 232080 11 0 0 20 0 1 0 1111599 169050112 34837 33554432000 4194304 5970956 140735787199328 140735787196664 4934318 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 28991488 140735787201724 140735787201859 140735787201859 140735787204558 0 /proc/11208/statm: 41272 34837 783 434 0 34636 0 Current children cumulated CPU time (s) 2320.91 Current children cumulated vsize (KiB) 165088 [startup+2382.3 s] /proc/loadavg: 2.00 2.01 2.05 3/244 11370 /proc/meminfo: memFree=31838832/32770624 swapFree=5756/200872 [pid=11208] ppid=11205 vsize=165088 CPUtime=2380.87 cores=0,2,4,6,8,10,12,14 /proc/11208/stat : 11208 (cosoco) R 11205 11208 9829 0 -1 4202496 129266 0 0 0 238076 11 0 0 20 0 1 0 1111599 169050112 34837 33554432000 4194304 5970956 140735787199328 140735787196664 4934357 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 28991488 140735787201724 140735787201859 140735787201859 140735787204558 0 /proc/11208/statm: 41272 34837 783 434 0 34636 0 Current children cumulated CPU time (s) 2380.87 Current children cumulated vsize (KiB) 165088 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2401.5 s] /proc/loadavg: 2.00 2.01 2.05 3/244 11370 /proc/meminfo: memFree=31838832/32770624 swapFree=5756/200880 [pid=11208] ppid=11205 vsize=165088 CPUtime=2400.06 cores=0,2,4,6,8,10,12,14 /proc/11208/stat : 11208 (cosoco) R 11205 11208 9829 0 -1 4202496 129355 0 0 0 239995 11 0 0 20 0 1 0 1111599 169050112 34837 33554432000 4194304 5970956 140735787199328 140735787196664 4933171 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 28991488 140735787201724 140735787201859 140735787201859 140735787204558 0 /proc/11208/statm: 41272 34837 783 434 0 34636 0 Current children cumulated CPU time (s) 2400.06 Current children cumulated vsize (KiB) 165088 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 11208 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+2401.5 s] /proc/loadavg: 2.00 2.01 2.05 3/244 11370 /proc/meminfo: memFree=31838832/32770624 swapFree=5756/200880 [pid=11208] ppid=11205 vsize=165088 CPUtime=2400.06 cores=0,2,4,6,8,10,12,14 /proc/11208/stat : 11208 (cosoco) R 11205 11208 9829 0 -1 4202496 129355 0 0 0 239995 11 0 0 20 0 1 0 1111599 169050112 34837 33554432000 4194304 5970956 140735787199328 140735787196664 4933171 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 28991488 140735787201724 140735787201859 140735787201859 140735787204558 0 /proc/11208/statm: 41272 34837 783 434 0 34636 0 Current children cumulated CPU time (s) 2400.06 Current children cumulated vsize (KiB) 165088 Child status: 1 Real time (s): 2401.5 CPU time (s): 2400.07 CPU user time (s): 2399.96 CPU system time (s): 0.113932 CPU usage (%): 99.9405 Max. virtual memory (cumulated for all children) (KiB): 165088 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2399.96 system time used= 0.113932 maximum resident set size= 139396 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 129383 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= 22 involuntary context switches= 121888 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 7.73713 second user time and 12.9444 second system time The end
Begin job on node146 at 2017-07-21 19:34:23 IDJOB=4242533 IDBENCH=134624 IDSOLVER=2621 FILE ID=node146/4242533-1500658462 RUNJOBID= node146-1500648174-9860 PBS_JOBID= 20623275 Free space on /tmp= 61784 MiB SOLVER NAME= cosoco-sat 1.1 BENCH NAME= XCSP17/KnightTour/KnightTour-ext-s1/KnightTour-10-ext06.xml COMMAND LINE= DIR/cosoco -lc -model -restarts -sat BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4242533-1500658462/watcher-4242533-1500658462 -o /tmp/evaluation-result-4242533-1500658462/solver-4242533-1500658462 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node146-1500648174-9860 --watchdog 2560 HOME/cosoco -lc -model -restarts -sat HOME/instance-4242533-1500658462.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 8 MD5SUM BENCH= fdf6f730d724673eeb55be8d6417f725 RANDOM SEED=1954809878 node146.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 : 1733.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.96 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.96 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.96 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.96 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 : 2400.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.96 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 : 2668.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.96 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 : 2000.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.96 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 13 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 2 cpu cores : 4 apicid : 21 initial apicid : 21 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 14 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 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.96 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: 31999976 kB MemAvailable: 32006284 kB Buffers: 40884 kB Cached: 276236 kB SwapCached: 0 kB Active: 192000 kB Inactive: 207000 kB Active(anon): 84936 kB Inactive(anon): 8856 kB Active(file): 107064 kB Inactive(file): 198144 kB Unevictable: 5756 kB Mlocked: 5788 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 11456 kB Writeback: 8 kB AnonPages: 87212 kB Mapped: 31916 kB Shmem: 8852 kB Slab: 65420 kB SReclaimable: 33872 kB SUnreclaim: 31548 kB KernelStack: 4192 kB PageTables: 5040 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 354936 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 24576 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= 61780 MiB End job on node146 at 2017-07-21 20:14:24