Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Concrete 3.4 | SAT (TO) | 5 | 2520.1101 | 2445.54 |
| Name | Ramsey/Ramsey-int-s1/ Ramsey-int-41.xml |
| MD5SUM | 85969bfc3f0409b7eeff9db7f7011033 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT TO |
| Best value of the objective obtained on this benchmark | 4 |
| Best CPU time to get the best result obtained on this benchmark | 2400.0601 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 1681 |
| Number of constraints | 10660 |
| Number of domains | 1 |
| Minimum domain size | 820 |
| Maximum domain size | 820 |
| Distribution of domain sizes | [{"size":820,"count":820}] |
| Minimum variable degree | 0 |
| Maximum variable degree | 40 |
| Distribution of variable degrees | [{"degree":0,"count":861},{"degree":40,"count":820}] |
| Minimum constraint arity | 3 |
| Maximum constraint arity | 3 |
| Distribution of constraint arities | [{"arity":3,"count":10660}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 10660 |
| Distribution of constraint types | [{"type":"intension","count":10660}] |
| Optimization problem | YES |
| Type of objective | min MAXIMUM |
3.45/2.21 c Concrete v3.4 running 50.48/27.57 o 819 55.58/30.34 o 818 58.15/32.82 o 817 60.83/35.36 o 816 63.55/37.92 o 815 66.31/40.51 o 814 68.95/42.99 o 813 71.50/45.45 o 812 73.93/47.89 o 811 76.68/50.42 o 810 79.13/52.89 o 809 81.84/55.39 o 808 84.34/57.87 o 807 86.86/60.36 o 806 89.07/62.57 o 805 91.27/64.78 o 804 93.87/67.30 o 803 96.42/69.84 o 802 98.92/72.32 o 801 101.43/74.84 o 800 103.86/77.29 o 799 106.37/79.76 o 798 108.87/82.22 o 797 111.07/84.44 o 796 113.62/86.92 o 795 116.02/89.38 o 794 118.52/91.84 o 793 120.72/94.03 o 792 123.13/96.45 o 791 125.63/98.91 o 790 128.05/101.39 o 789 130.60/103.88 o 788 133.10/106.31 o 787 135.50/108.76 o 786 137.91/111.19 o 785 140.41/113.64 o 784 142.92/116.10 o 783 145.32/118.56 o 782 147.56/120.79 o 781 150.07/123.24 o 780 152.57/125.70 o 779 154.97/128.18 o 778 157.48/130.66 o 777 159.68/132.89 o 776 162.29/135.43 o 775 164.73/137.89 o 774 167.23/140.35 o 773 169.44/142.54 o 772 171.84/144.98 o 771 174.34/147.43 o 770 176.74/149.90 o 769 179.29/152.36 o 768 181.85/154.84 o 767 184.05/157.04 o 766 186.45/159.48 o 765 188.95/161.90 o 764 191.36/164.37 o 763 193.86/166.80 o 762 196.26/169.24 o 761 198.82/171.71 o 760 201.03/173.91 o 759 203.42/176.36 o 758 205.63/178.54 o 757 208.03/180.98 o 756 210.53/183.45 o 755 212.73/185.64 o 754 215.29/188.10 o 753 217.69/190.57 o 752 220.20/193.05 o 751 222.70/195.51 o 750 224.90/197.70 o 749 227.30/200.13 o 748 229.80/202.60 o 747 232.20/205.08 o 746 234.76/207.52 o 745 237.16/209.96 o 744 239.66/212.42 o 743 242.06/214.86 o 742 244.56/217.31 o 741 246.97/219.75 o 740 249.53/222.22 o 739 251.92/224.69 o 738 254.53/227.20 o 737 256.93/229.69 o 736 259.43/232.16 o 735 261.93/234.62 o 734 264.43/237.10 o 733 266.98/239.62 o 732 269.39/242.09 o 731 271.89/244.55 o 730 274.09/246.77 o 729 276.29/248.99 o 728 278.79/251.45 o 727 281.29/253.92 o 726 283.73/256.38 o 725 286.23/258.85 o 724 288.73/261.30 o 723 291.13/263.77 o 722 293.64/266.25 o 721 296.14/268.71 o 720 298.57/271.18 o 719 301.07/273.63 o 718 303.47/276.08 o 717 305.67/278.28 o 716 308.17/280.73 o 715 310.68/283.21 o 714 313.11/285.67 o 713 315.61/288.13 o 712 318.03/290.57 o 711 320.52/293.04 o 710 322.92/295.49 o 709 325.16/297.69 o 708 327.66/300.14 o 707 330.17/302.62 o 706 332.56/305.07 o 705 335.06/307.52 o 704 337.50/309.99 o 703 340.00/312.46 o 702 342.50/314.91 o 701 344.90/317.39 o 700 347.40/319.87 o 699 349.96/322.33 o 698 352.35/324.78 o 697 354.85/327.26 o 696 357.35/329.74 o 695 359.86/332.21 o 694 362.39/334.70 o 693 364.81/337.16 o 692 367.32/339.64 o 691 369.52/341.84 o 690 371.92/344.28 o 689 374.46/346.76 o 688 376.96/349.24 o 687 379.36/351.69 o 686 381.87/354.14 o 685 384.41/356.61 o 684 386.81/359.09 o 683 389.31/361.57 o 682 391.81/364.02 o 681 394.35/366.51 o 680 396.75/368.99 o 679 399.26/371.41 o 678 401.66/373.86 o 677 404.07/376.30 o 676 406.32/378.49 o 675 408.82/380.93 o 674 411.22/383.38 o 673 413.76/385.87 o 672 415.97/388.05 o 671 418.38/390.49 o 670 420.88/392.98 o 669 423.43/395.47 o 668 425.93/397.91 o 667 428.33/400.36 o 666 430.83/402.82 o 665 433.36/405.30 o 664 435.77/407.75 o 663 438.17/410.19 o 662 440.71/412.67 o 661 443.20/415.13 o 660 445.61/417.59 o 659 448.15/420.07 o 658 450.66/422.56 o 657 453.15/425.04 o 656 455.69/427.52 o 655 458.20/430.01 o 654 460.60/432.48 o 653 463.15/434.97 o 652 465.34/437.15 o 651 467.85/439.62 o 650 470.38/442.11 o 649 472.59/444.33 o 648 475.09/446.83 o 647 477.63/449.32 o 646 480.03/451.79 o 645 482.53/454.24 o 644 484.97/456.68 o 643 487.47/459.15 o 642 490.01/461.67 o 641 492.51/464.16 o 640 495.05/466.65 o 639 497.54/469.15 o 638 499.75/471.35 o 637 502.29/473.83 o 636 504.80/476.32 o 635 507.23/478.79 o 634 509.73/481.28 o 633 512.07/483.50 o 632 514.47/485.93 o 631 517.01/488.46 o 630 519.51/490.92 o 629 521.96/493.37 o 628 524.16/495.56 o 627 526.73/498.00 o 626 529.13/500.43 o 625 531.58/502.90 o 624 534.08/505.35 o 623 536.32/507.57 o 622 538.86/510.05 o 621 541.37/512.53 o 620 543.93/515.04 o 619 546.33/517.47 o 618 548.88/519.96 o 617 551.43/522.47 o 616 554.05/524.98 o 615 556.55/527.42 o 614 559.11/529.91 o 613 561.69/532.40 o 612 563.89/534.62 o 611 566.35/537.08 o 610 568.91/539.58 o 609 571.28/541.83 o 608 573.76/544.29 o 607 576.35/546.77 o 606 578.85/549.23 o 605 581.43/551.70 o 604 584.02/554.20 o 603 586.22/556.42 o 602 588.71/558.88 o 601 591.28/561.33 o 600 593.78/563.80 o 599 596.26/566.29 o 598 598.56/568.50 o 597 601.04/570.98 o 596 603.62/573.46 o 595 606.12/575.93 o 594 608.39/578.18 o 593 610.89/580.67 o 592 613.48/583.16 o 591 616.07/585.67 o 590 618.57/588.16 o 589 621.16/590.63 o 588 623.73/593.12 o 587 626.23/595.60 o 586 628.70/598.09 o 585 631.26/600.58 o 584 633.77/603.03 o 583 636.33/605.52 o 582 638.89/608.01 o 581 641.30/610.50 o 580 643.86/612.95 o 579 646.41/615.44 o 578 648.66/617.68 o 577 651.21/620.13 o 576 653.62/622.59 o 575 656.16/625.04 o 574 658.71/627.51 o 573 661.15/629.97 o 572 663.69/632.44 o 571 666.23/634.93 o 570 668.77/637.41 o 569 671.31/639.90 o 568 673.75/642.36 o 567 676.28/644.84 o 566 678.86/647.33 o 565 681.40/649.80 o 564 683.84/652.28 o 563 686.38/654.77 o 562 688.95/657.27 o 561 691.48/659.72 o 560 693.98/662.19 o 559 696.51/664.64 o 558 698.89/666.90 o 557 701.33/669.35 o 556 703.86/671.85 o 555 706.45/674.30 o 554 708.89/676.77 o 553 711.13/678.97 o 552 713.69/681.43 o 551 716.23/683.92 o 550 718.70/686.40 o 549 721.24/688.86 o 548 723.82/691.33 o 547 726.36/693.80 o 546 728.83/696.28 o 545 731.38/698.77 o 544 733.91/701.21 o 543 736.38/703.68 o 542 738.92/706.14 o 541 741.49/708.60 o 540 744.07/711.11 o 539 746.49/713.59 o 538 749.04/716.07 o 537 751.63/718.53 o 536 754.08/720.99 o 535 756.64/723.46 o 534 759.20/725.92 o 533 761.47/728.14 o 532 764.04/730.62 o 531 766.61/733.12 o 530 769.19/735.61 o 529 771.60/738.08 o 528 774.18/740.53 o 527 776.76/743.04 o 526 779.13/745.30 o 525 781.53/747.76 o 524 784.09/750.22 o 523 786.57/752.70 o 522 789.08/755.14 o 521 791.35/757.38 o 520 793.61/759.60 o 519 796.19/762.05 o 518 798.68/764.53 o 517 801.24/767.02 o 516 803.70/769.49 o 515 806.26/771.94 o 514 808.83/774.42 o 513 811.28/776.87 o 512 813.83/779.34 o 511 816.39/781.82 o 510 818.83/784.29 o 509 821.38/786.77 o 508 823.92/789.24 o 507 826.17/791.46 o 506 828.72/793.91 o 505 830.95/796.10 o 504 833.39/798.57 o 503 835.97/801.06 o 502 838.51/803.57 o 501 841.05/806.01 o 500 843.52/808.48 o 499 846.21/811.01 o 498 848.74/813.50 o 497 851.32/816.00 o 496 853.76/818.48 o 495 856.01/820.67 o 494 858.57/823.12 o 493 861.01/825.56 o 492 863.59/828.03 o 491 866.16/830.52 o 490 868.59/832.97 o 489 871.13/835.46 o 488 873.71/837.96 o 487 876.28/840.41 o 486 878.72/842.87 o 485 881.29/845.35 o 484 883.52/847.58 o 483 886.10/850.06 o 482 888.67/852.50 o 481 891.11/854.97 o 480 893.71/857.45 o 479 896.27/859.91 o 478 898.72/862.37 o 477 901.26/864.86 o 476 903.83/867.31 o 475 906.39/869.82 o 474 908.95/872.33 o 473 911.21/874.57 o 472 913.77/877.08 o 471 916.35/879.56 o 470 918.94/882.05 o 469 921.53/884.53 o 468 924.02/887.01 o 467 926.48/889.46 o 466 929.04/891.96 o 465 931.61/894.46 o 464 933.83/896.68 o 463 936.39/899.16 o 462 938.96/901.66 o 461 941.53/904.13 o 460 944.83/906.83 o 459 947.39/909.31 o 458 949.63/911.52 o 457 952.05/913.97 o 456 954.30/916.18 o 455 956.86/918.65 o 454 959.36/921.10 o 453 961.83/923.59 o 452 964.33/926.04 o 451 966.91/928.54 o 450 969.47/931.02 o 449 971.87/933.46 o 448 974.43/935.94 o 447 976.84/938.39 o 446 979.40/940.85 o 445 981.90/943.31 o 444 984.49/945.82 o 443 986.90/948.26 o 442 989.49/950.78 o 441 992.08/953.31 o 440 994.49/955.78 o 439 997.08/958.28 o 438 999.57/960.74 o 437 1002.17/963.24 o 436 1004.68/965.73 o 435 1007.09/968.19 o 434 1009.50/970.41 o 433 1011.90/972.86 o 432 1014.41/975.30 o 431 1016.98/977.81 o 430 1019.39/980.29 o 429 1022.12/982.80 o 428 1024.52/985.28 o 427 1027.02/987.74 o 426 1029.47/990.00 o 425 1031.58/992.19 o 424 1034.08/994.61 o 423 1036.74/997.13 o 422 1039.14/999.59 o 421 1041.34/1001.79 o 420 1044.13/1004.31 o 419 1046.53/1006.79 o 418 1048.73/1008.98 o 417 1051.23/1011.44 o 416 1054.04/1014.00 o 415 1056.24/1016.21 o 414 1058.65/1018.65 o 413 1061.46/1021.21 o 412 1063.86/1023.67 o 411 1066.06/1025.87 o 410 1068.91/1028.42 o 409 1071.31/1030.87 o 408 1073.81/1033.32 o 407 1076.32/1035.80 o 406 1078.75/1038.09 o 405 1081.26/1040.52 o 404 1083.46/1042.72 o 403 1086.23/1045.25 o 402 1088.73/1047.73 o 401 1090.93/1049.94 o 400 1093.43/1052.42 o 399 1096.31/1055.01 o 398 1098.51/1057.22 o 397 1101.00/1059.71 o 396 1103.50/1062.18 o 395 1106.41/1064.75 o 394 1108.61/1066.93 o 393 1111.02/1069.39 o 392 1113.52/1071.83 o 391 1116.29/1074.39 o 390 1118.80/1076.87 o 389 1121.30/1079.35 o 388 1123.80/1081.84 o 387 1126.45/1084.16 o 386 1128.66/1086.36 o 385 1131.06/1088.77 o 384 1133.56/1091.21 o 383 1135.95/1093.68 o 382 1138.88/1096.27 o 381 1141.38/1098.73 o 380 1143.79/1101.20 o 379 1146.29/1103.68 o 378 1149.00/1105.98 o 377 1151.40/1108.39 o 376 1153.90/1110.83 o 375 1156.31/1113.28 o 374 1158.80/1115.75 o 373 1161.73/1118.31 o 372 1164.13/1120.79 o 371 1166.43/1123.01 o 370 1168.84/1125.46 o 369 1171.34/1127.91 o 368 1174.51/1130.51 o 367 1176.94/1132.95 o 366 1179.35/1135.39 o 365 1181.85/1137.83 o 364 1184.25/1140.27 o 363 1187.19/1142.86 o 362 1189.60/1145.30 o 361 1192.09/1147.75 o 360 1194.50/1150.18 o 359 1196.70/1152.36 o 358 1199.76/1154.93 o 357 1202.19/1157.39 o 356 1204.69/1159.86 o 355 1207.19/1162.31 o 354 1209.70/1164.80 o 353 1212.46/1167.38 o 352 1215.07/1169.82 o 351 1217.47/1172.27 o 350 1219.97/1174.73 o 349 1222.38/1177.19 o 348 1224.88/1179.61 o 347 1227.99/1182.23 o 346 1230.39/1184.68 o 345 1232.89/1187.17 o 344 1235.39/1189.62 o 343 1237.79/1192.06 o 342 1240.29/1194.54 o 341 1243.29/1197.13 o 340 1245.69/1199.60 o 339 1248.19/1202.06 o 338 1250.69/1204.53 o 337 1252.89/1206.71 o 336 1255.30/1209.14 o 335 1258.37/1211.73 o 334 1260.77/1214.18 o 333 1262.97/1216.38 o 332 1265.48/1218.83 o 331 1267.89/1221.28 o 330 1270.41/1223.72 o 329 1273.43/1226.30 o 328 1275.83/1228.76 o 327 1278.33/1231.22 o 326 1280.54/1233.41 o 325 1282.94/1235.88 o 324 1285.44/1238.34 o 323 1287.64/1240.54 o 322 1290.63/1243.11 o 321 1293.02/1245.54 o 320 1295.43/1247.99 o 319 1297.93/1250.46 o 318 1300.44/1252.95 o 317 1302.93/1255.43 o 316 1305.82/1257.99 o 315 1308.02/1260.16 o 314 1310.52/1262.61 o 313 1312.93/1265.07 o 312 1315.42/1267.53 o 311 1317.82/1269.99 o 310 1320.62/1272.33 o 309 1323.03/1274.79 o 308 1325.34/1277.01 o 307 1327.74/1279.48 o 306 1330.24/1281.96 o 305 1332.44/1284.15 o 304 1335.45/1286.72 o 303 1337.85/1289.13 o 302 1340.36/1291.60 o 301 1342.47/1293.80 o 300 1344.97/1296.26 o 299 1347.47/1298.73 o 298 1350.49/1301.34 o 297 1352.89/1303.79 o 296 1355.39/1306.28 o 295 1357.89/1308.74 o 294 1360.29/1311.17 o 293 1362.80/1313.62 o 292 1365.72/1316.19 o 291 1368.22/1318.65 o 290 1370.72/1321.12 o 289 1373.12/1323.58 o 288 1375.32/1325.76 o 287 1377.73/1328.19 o 286 1380.03/1330.41 o 285 1382.97/1332.97 o 284 1385.17/1335.14 o 283 1387.57/1337.58 o 282 1389.78/1339.77 o 281 1392.18/1342.18 o 280 1394.68/1344.62 o 279 1397.71/1347.21 o 278 1400.12/1349.66 o 277 1402.62/1352.11 o 276 1405.02/1354.56 o 275 1407.52/1357.01 o 274 1409.92/1359.48 o 273 1412.97/1362.09 o 272 1415.47/1364.56 o 271 1418.00/1367.03 o 270 1420.40/1369.50 o 269 1422.90/1371.95 o 268 1425.40/1374.42 o 267 1428.45/1377.03 o 266 1430.96/1379.50 o 265 1433.36/1381.96 o 264 1435.86/1384.43 o 263 1438.36/1386.91 o 262 1440.77/1389.40 o 261 1443.62/1391.73 o 260 1446.03/1394.17 o 259 1448.23/1396.36 o 258 1450.73/1398.81 o 257 1453.13/1401.26 o 256 1455.65/1403.71 o 255 1458.71/1406.33 o 254 1461.11/1408.78 o 253 1463.61/1411.24 o 252 1465.81/1413.42 o 251 1468.22/1415.86 o 250 1470.71/1418.31 o 249 1473.78/1420.92 o 248 1475.98/1423.15 o 247 1478.49/1425.63 o 246 1480.98/1428.11 o 245 1483.18/1430.31 o 244 1485.58/1432.77 o 243 1488.74/1435.41 o 242 1491.15/1437.88 o 241 1493.64/1440.34 o 240 1495.84/1442.53 o 239 1498.25/1444.98 o 238 1500.75/1447.45 o 237 1503.81/1450.04 o 236 1506.32/1452.51 o 235 1508.72/1454.97 o 234 1511.23/1457.45 o 233 1513.43/1459.65 o 232 1515.92/1462.10 o 231 1518.89/1464.68 o 230 1521.39/1467.13 o 229 1523.79/1469.58 o 228 1526.30/1472.01 o 227 1528.69/1474.47 o 226 1531.20/1476.92 o 225 1534.26/1479.51 o 224 1536.66/1481.97 o 223 1539.16/1484.41 o 222 1541.26/1486.60 o 221 1543.77/1489.02 o 220 1546.17/1491.48 o 219 1550.06/1494.32 o 218 1552.56/1496.80 o 217 1554.96/1499.26 o 216 1557.46/1501.73 o 215 1559.96/1504.20 o 214 1562.16/1506.42 o 213 1564.73/1508.91 o 212 1567.24/1511.42 o 211 1569.44/1513.63 o 210 1571.84/1516.07 o 209 1574.35/1518.52 o 208 1576.75/1520.98 o 207 1579.15/1523.21 o 206 1581.55/1525.68 o 205 1584.05/1528.11 o 204 1586.25/1530.31 o 203 1588.65/1532.77 o 202 1591.15/1535.24 o 201 1593.77/1537.72 o 200 1596.18/1540.19 o 199 1598.68/1542.65 o 198 1601.19/1545.11 o 197 1603.59/1547.59 o 196 1606.09/1550.07 o 195 1608.73/1552.58 o 194 1611.23/1555.03 o 193 1613.63/1557.49 o 192 1616.14/1559.96 o 191 1618.63/1562.42 o 190 1620.89/1564.65 o 189 1623.41/1567.09 o 188 1625.91/1569.56 o 187 1628.32/1572.00 o 186 1630.81/1574.46 o 185 1633.22/1576.89 o 184 1636.01/1579.41 o 183 1638.42/1581.86 o 182 1640.91/1584.31 o 181 1643.31/1586.77 o 180 1645.84/1589.26 o 179 1648.34/1591.71 o 178 1650.76/1593.97 o 177 1653.26/1596.40 o 176 1655.67/1598.88 o 175 1658.17/1601.32 o 174 1660.57/1603.79 o 173 1663.07/1606.22 o 172 1665.82/1608.76 o 171 1668.32/1611.21 o 170 1670.72/1613.67 o 169 1673.22/1616.17 o 168 1675.72/1618.65 o 167 1678.22/1621.10 o 166 1680.69/1623.40 o 165 1683.20/1625.87 o 164 1685.69/1628.33 o 163 1687.89/1630.54 o 162 1690.30/1632.98 o 161 1692.80/1635.42 o 160 1695.60/1637.96 o 159 1698.10/1640.43 o 158 1700.50/1642.89 o 157 1702.70/1645.07 o 156 1705.20/1647.50 o 155 1707.60/1649.93 o 154 1710.52/1652.50 o 153 1712.73/1654.71 o 152 1715.13/1657.17 o 151 1717.63/1659.61 o 150 1720.03/1662.06 o 149 1722.23/1664.25 o 148 1725.14/1666.81 o 147 1727.28/1669.00 o 146 1729.78/1671.43 o 145 1732.18/1673.89 o 144 1734.68/1676.36 o 143 1737.18/1678.85 o 142 1739.69/1681.32 o 141 1742.55/1683.89 o 140 1745.06/1686.35 o 139 1747.45/1688.79 o 138 1749.95/1691.26 o 137 1752.46/1693.74 o 136 1754.96/1696.21 o 135 1757.67/1698.55 o 134 1760.06/1701.00 o 133 1762.56/1703.44 o 132 1764.97/1705.89 o 131 1767.47/1708.35 o 130 1769.97/1710.85 o 129 1772.98/1713.44 o 128 1775.38/1715.84 o 127 1777.79/1718.26 o 126 1780.29/1720.70 o 125 1782.69/1723.15 o 124 1785.09/1725.56 o 123 1787.29/1727.73 o 122 1790.24/1730.30 o 121 1792.75/1732.70 o 120 1795.15/1735.12 o 119 1797.56/1737.56 o 118 1799.96/1739.98 o 117 1802.16/1742.15 o 116 1804.56/1744.56 o 115 1807.61/1747.14 o 114 1810.01/1749.59 o 113 1812.51/1752.02 o 112 1814.91/1754.44 o 111 1817.32/1756.85 o 110 1819.52/1759.01 o 109 1822.47/1761.57 o 108 1824.97/1764.00 o 107 1827.37/1766.45 o 106 1829.58/1768.63 o 105 1831.99/1771.03 o 104 1834.38/1773.44 o 103 1836.78/1775.88 o 102 1839.85/1778.49 o 101 1842.35/1780.93 o 100 1844.75/1783.35 o 99 1847.15/1785.77 o 98 1849.65/1788.22 o 97 1851.75/1790.39 o 96 1854.25/1792.80 o 95 1857.22/1795.39 o 94 1859.72/1797.85 o 93 1862.12/1800.29 o 92 1864.63/1802.73 o 91 1867.04/1805.16 o 90 1869.43/1807.56 o 89 1871.83/1809.98 o 88 1874.89/1812.53 o 87 1877.29/1814.96 o 86 1879.71/1817.38 o 85 1882.20/1819.81 o 84 1884.60/1822.24 o 83 1886.80/1824.42 o 82 1889.77/1826.99 o 81 1892.28/1829.44 o 80 1894.48/1831.62 o 79 1896.88/1834.03 o 78 1899.28/1836.46 o 77 1901.68/1838.87 o 76 1904.18/1841.32 o 75 1906.97/1843.66 o 74 1909.37/1846.09 o 73 1911.87/1848.50 o 72 1914.27/1850.94 o 71 1916.67/1853.36 o 70 1919.08/1855.77 o 69 1921.57/1858.21 o 68 1924.45/1860.56 o 67 1926.85/1862.97 o 66 1929.62/1865.44 o 65 1932.06/1867.86 o 64 1934.57/1870.04 o 63 1936.97/1872.44 o 62 1939.37/1874.88 o 61 1942.45/1877.47 o 60 1944.95/1879.91 o 59 1947.35/1882.35 o 58 1949.75/1884.79 o 57 1952.25/1887.26 o 56 1954.75/1889.73 o 55 1957.83/1892.30 o 54 1960.03/1894.59 o 53 1962.54/1897.00 o 52 1964.65/1899.18 o 51 1967.15/1901.60 o 50 1969.55/1904.02 o 49 1971.96/1906.44 o 48 1975.05/1909.05 o 47 1977.45/1911.46 o 46 1979.85/1913.89 o 45 1982.05/1916.05 o 44 1984.45/1918.46 o 43 1986.66/1920.63 o 42 1988.75/1922.80 o 41 1991.84/1925.34 o 40 1994.25/1927.76 o 39 1996.64/1930.16 o 38 1999.04/1932.59 o 37 2001.55/1935.03 o 36 2003.66/1937.20 o 35 2006.15/1939.61 o 34 2009.24/1942.20 o 33 2011.34/1944.39 o 32 2013.84/1946.80 o 31 2016.24/1949.21 o 30 2018.64/1951.61 o 29 2020.75/1953.78 o 28 2023.14/1956.19 o 27 2026.23/1958.75 o 26 2028.64/1961.17 o 25 2030.84/1963.34 o 24 2033.25/1965.74 o 23 2035.65/1968.16 o 22 2038.05/1970.60 o 21 2041.24/1973.21 o 20 2043.34/1975.40 o 19 2045.84/1977.81 o 18 2047.94/1979.96 o 17 2050.35/1982.36 o 16 2052.84/1984.80 o 15 2055.25/1987.21 o 14 2058.05/1989.56 o 13 2060.45/1991.99 o 12 2062.96/1994.43 o 11 2065.35/1996.83 o 10 2067.75/1999.22 o 9 2069.85/2001.37 o 8 2072.06/2003.51 o 7 2075.05/2006.08 o 6 2077.45/2008.47 o 5 2520.06/2445.50 java.util.concurrent.TimeoutException 2520.06/2445.50 at concrete.MAC.mac(MAC.scala:74) 2520.06/2445.50 at concrete.MAC.$anonfun$oneRun$1(MAC.scala:145) 2520.06/2445.50 at scala.util.Try$.apply(Try.scala:209) 2520.06/2445.50 at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194) 2520.06/2445.50 at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182) 2520.06/2445.50 at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12) 2520.06/2445.50 at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61) 2520.06/2445.50 at org.scalameter.Measurer$Default.measure(Measurer.scala:131) 2520.06/2445.50 at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51) 2520.06/2445.50 at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61) 2520.06/2445.50 at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181) 2520.06/2445.50 at cspom.StatisticsManager$.measure(StatisticsManager.scala:194) 2520.06/2445.50 at concrete.MAC.oneRun(MAC.scala:146) 2520.06/2445.50 at concrete.MAC.nextSolution(MAC.scala:166) 2520.06/2445.50 at concrete.MAC.$anonfun$nextSolution$2(MAC.scala:196) 2520.06/2445.50 at concrete.ProblemState.map(ProblemState.scala:203) 2520.06/2445.50 at concrete.ProblemState.map(ProblemState.scala:188) 2520.06/2445.50 at concrete.MAC.nextSolution(MAC.scala:195) 2520.06/2445.50 at concrete.Solver.hasNext(Solver.scala:202) 2520.06/2445.50 at scala.collection.Iterator.toStream(Iterator.scala:1403) 2520.06/2445.50 at scala.collection.Iterator.toStream$(Iterator.scala:1402) 2520.06/2445.50 at concrete.Solver.toStream(Solver.scala:73) 2520.06/2445.50 at scala.collection.Iterator.$anonfun$toStream$1(Iterator.scala:1403) 2520.06/2445.50 at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1169) 2520.06/2445.50 at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1159) 2520.06/2445.50 at scala.collection.immutable.Stream.foreach(Stream.scala:531) 2520.06/2445.50 at concrete.runner.ConcreteRunner.$anonfun$run$10(ConcreteRunner.scala:157) 2520.06/2445.50 at scala.util.Success.$anonfun$map$1(Try.scala:251) 2520.06/2445.50 at scala.util.Success.map(Try.scala:209) 2520.06/2445.50 at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:154) 2520.06/2445.50 at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:72) 2520.06/2445.50 at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:17) 2520.06/2445.50 at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:119) 2520.06/2445.50 at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:17) 2520.06/2445.50 at scala.Function0.apply$mcV$sp(Function0.scala:34) 2520.06/2445.50 at scala.Function0.apply$mcV$sp$(Function0.scala:34) 2520.06/2445.50 at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12) 2520.06/2445.50 at scala.App.$anonfun$main$1$adapted(App.scala:76) 2520.06/2445.50 at scala.collection.immutable.List.foreach(List.scala:389) 2520.06/2445.50 at scala.App.main(App.scala:76) 2520.06/2445.50 at scala.App.main$(App.scala:74) 2520.06/2445.50 at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:17) 2520.06/2445.50 at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala) 2520.06/2445.51 v <instantiation cost="5"> 2520.06/2445.51 v <list> 2520.06/2445.51 v x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][30] x[0][31] x[0][32] x[0][33] x[0][34] x[0][35] x[0][36] x[0][37] x[0][38] x[0][39] x[0][40] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[1][30] x[1][31] x[1][32] x[1][33] x[1][34] x[1][35] x[1][36] x[1][37] x[1][38] x[1][39] x[1][40] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[2][30] x[2][31] x[2][32] x[2][33] x[2][34] x[2][35] x[2][36] x[2][37] x[2][38] x[2][39] x[2][40] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][28] x[3][29] x[3][30] x[3][31] x[3][32] x[3][33] x[3][34] x[3][35] x[3][36] x[3][37] x[3][38] x[3][39] x[3][40] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[4][28] x[4][29] x[4][30] x[4][31] x[4][32] x[4][33] x[4][34] x[4][35] x[4][36] x[4][37] x[4][38] x[4][39] x[4][40] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[5][28] x[5][29] x[5][30] x[5][31] x[5][32] x[5][33] x[5][34] x[5][35] x[5][36] x[5][37] x[5][38] x[5][39] x[5][40] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[6][28] x[6][29] x[6][30] x[6][31] x[6][32] x[6][33] x[6][34] x[6][35] x[6][36] x[6][37] x[6][38] x[6][39] x[6][40] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[7][28] x[7][29] x[7][30] x[7][31] x[7][32] x[7][33] x[7][34] x[7][35] x[7][36] x[7][37] x[7][38] x[7][39] x[7][40] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[8][28] x[8][29] x[8][30] x[8][31] x[8][32] x[8][33] x[8][34] x[8][35] x[8][36] x[8][37] x[8][38] x[8][39] x[8][40] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[9][28] x[9][29] x[9][30] x[9][31] x[9][32] x[9][33] x[9][34] x[9][35] x[9][36] x[9][37] x[9][38] x[9][39] x[9][40] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[10][27] x[10][28] x[10][29] x[10][30] x[10][31] x[10][32] x[10][33] x[10][34] x[10][35] x[10][36] x[10][37] x[10][38] x[10][39] x[10][40] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[11][27] x[11][28] x[11][29] x[11][30] x[11][31] x[11][32] x[11][33] x[11][34] x[11][35] x[11][36] x[11][37] x[11][38] x[11][39] x[11][40] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[12][26] x[12][27] x[12][28] x[12][29] x[12][30] x[12][31] x[12][32] x[12][33] x[12][34] x[12][35] x[12][36] x[12][37] x[12][38] x[12][39] x[12][40] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[13][26] x[13][27] x[13][28] x[13][29] x[13][30] x[13][31] x[13][32] x[13][33] x[13][34] x[13][35] x[13][36] x[13][37] x[13][38] x[13][39] x[13][40] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[14][26] x[14][27] x[14][28] x[14][29] x[14][30] x[14][31] x[14][32] x[14][33] x[14][34] x[14][35] x[14][36] x[14][37] x[14][38] x[14][39] x[14][40] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[15][26] x[15][27] x[15][28] x[15][29] x[15][30] x[15][31] x[15][32] x[15][33] x[15][34] x[15][35] x[15][36] x[15][37] x[15][38] x[15][39] x[15][40] x[16][17] x[16][18] x[16][19] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[16][26] x[16][27] x[16][28] x[16][29] x[16][30] x[16][31] x[16][32] x[16][33] x[16][34] x[16][35] x[16][36] x[16][37] x[16][38] x[16][39] x[16][40] x[17][18] x[17][19] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[17][26] x[17][27] x[17][28] x[17][29] x[17][30] x[17][31] x[17][32] x[17][33] x[17][34] x[17][35] x[17][36] x[17][37] x[17][38] x[17][39] x[17][40] x[18][19] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[18][26] x[18][27] x[18][28] x[18][29] x[18][30] x[18][31] x[18][32] x[18][33] x[18][34] x[18][35] x[18][36] x[18][37] x[18][38] x[18][39] x[18][40] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[19][26] x[19][27] x[19][28] x[19][29] x[19][30] x[19][31] x[19][32] x[19][33] x[19][34] x[19][35] x[19][36] x[19][37] x[19][38] x[19][39] x[19][40] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[20][26] x[20][27] x[20][28] x[20][29] x[20][30] x[20][31] x[20][32] x[20][33] x[20][34] x[20][35] x[20][36] x[20][37] x[20][38] x[20][39] x[20][40] x[21][22] x[21][23] x[21][24] x[21][25] x[21][26] x[21][27] x[21][28] x[21][29] x[21][30] x[21][31] x[21][32] x[21][33] x[21][34] x[21][35] x[21][36] x[21][37] x[21][38] x[21][39] x[21][40] x[22][23] x[22][24] x[22][25] x[22][26] x[22][27] x[22][28] x[22][29] x[22][30] x[22][31] x[22][32] x[22][33] x[22][34] x[22][35] x[22][36] x[22][37] x[22][38] x[22][39] x[22][40] x[23][24] x[23][25] x[23][26] x[23][27] x[23][28] x[23][29] x[23][30] x[23][31] x[23][32] x[23][33] x[23][34] x[23][35] x[23][36] x[23][37] x[23][38] x[23][39] x[23][40] x[24][25] x[24][26] x[24][27] x[24][28] x[24][29] x[24][30] x[24][31] x[24][32] x[24][33] x[24][34] x[24][35] x[24][36] x[24][37] x[24][38] x[24][39] x[24][40] x[25][26] x[25][27] x[25][28] x[25][29] x[25][30] x[25][31] x[25][32] x[25][33] x[25][34] x[25][35] x[25][36] x[25][37] x[25][38] x[25][39] x[25][40] x[26][27] x[26][28] x[26][29] x[26][30] x[26][31] x[26][32] x[26][33] x[26][34] x[26][35] x[26][36] x[26][37] x[26][38] x[26][39] x[26][40] x[27][28] x[27][29] x[27][30] x[27][31] x[27][32] x[27][33] x[27][34] x[27][35] x[27][36] x[27][37] x[27][38] x[27][39] x[27][40] x[28][29] x[28][30] x[28][31] x[28][32] x[28][33] x[28][34] x[28][35] x[28][36] x[28][37] x[28][38] x[28][39] x[28][40] x[29][30] x[29][31] x[29][32] x[29][33] x[29][34] x[29][35] x[29][36] x[29][37] x[29][38] x[29][39] x[29][40] x[30][31] x[30][32] x[30][33] x[30][34] x[30][35] x[30][36] x[30][37] x[30][38] x[30][39] x[30][40] x[31][32] x[31][33] x[31][34] x[31][35] x[31][36] x[31][37] x[31][38] x[31][39] x[31][40] x[32][33] x[32][34] x[32][35] x[32][36] x[32][37] x[32][38] x[32][39] x[32][40] x[33][34] x[33][35] x[33][36] x[33][37] x[33][38] x[33][39] x[33][40] x[34][35] x[34][36] x[34][37] x[34][38] x[34][39] x[34][40] x[35][36] x[35][37] x[35][38] x[35][39] x[35][40] x[36][37] x[36][38] x[36][39] x[36][40] x[37][38] x[37][39] x[37][40] x[38][39] x[38][40] x[39][40] 2520.06/2445.51 v </list> 2520.06/2445.51 v <values> 2520.06/2445.51 v 4 5 5 5 5 4 3 5 1 4 3 3 3 0 4 5 5 1 3 3 3 0 1 4 4 2 3 3 3 2 5 4 1 2 2 4 3 2 5 1 2 4 3 5 5 3 4 4 3 5 4 5 5 3 4 5 1 5 2 4 2 1 2 5 2 4 5 4 4 4 3 3 1 4 1 4 2 1 5 4 1 2 3 0 4 4 3 5 4 3 4 5 4 2 2 5 5 3 5 4 1 3 4 4 3 4 4 4 5 3 3 4 2 4 3 2 5 2 2 4 5 1 5 5 3 5 2 3 5 3 3 2 2 4 5 2 3 1 3 2 2 3 3 5 3 5 5 4 1 4 2 4 2 4 1 4 1 2 4 1 5 4 4 3 4 0 2 1 5 4 4 3 3 4 2 3 1 5 5 3 4 2 5 3 1 2 4 5 3 5 3 2 2 5 5 3 5 3 2 3 4 4 5 1 0 5 5 3 5 3 1 5 3 3 4 4 5 4 3 0 4 3 5 1 4 2 4 5 5 4 5 0 4 5 4 2 1 3 3 5 3 4 3 2 5 5 1 4 4 3 5 4 1 2 2 2 5 3 3 4 3 4 5 1 2 5 4 4 1 2 5 5 2 3 3 2 5 3 4 5 4 3 4 2 4 3 0 4 5 5 3 4 1 5 1 2 2 3 3 3 4 4 4 3 1 4 3 3 5 1 5 5 3 5 3 5 2 4 0 1 2 5 3 5 3 2 2 5 5 2 1 4 0 3 5 3 4 5 3 5 2 3 5 3 2 1 4 4 2 5 3 3 2 2 5 5 4 5 5 1 1 2 3 5 3 1 4 4 0 1 3 2 4 5 4 3 2 2 5 4 5 4 2 3 3 5 2 2 4 1 2 5 1 4 5 4 5 3 1 0 5 2 1 5 5 1 3 1 3 3 4 4 5 4 5 3 1 1 5 4 5 5 2 3 3 3 4 3 2 5 5 1 2 4 1 4 3 5 0 3 4 3 3 5 2 4 4 4 2 1 4 4 3 4 5 4 1 2 1 3 1 5 4 2 2 5 4 3 3 5 5 4 5 4 2 4 4 1 2 4 2 3 1 2 5 5 3 1 4 2 3 3 2 5 4 2 1 4 4 2 3 2 4 5 2 4 3 4 5 4 1 2 2 5 4 3 1 3 1 3 2 1 4 4 5 3 2 4 0 5 5 4 5 2 2 4 5 5 3 3 2 3 4 3 5 3 4 5 3 5 5 1 4 5 4 2 5 0 3 1 3 3 3 4 5 4 3 3 5 4 3 3 4 2 5 0 3 5 2 4 3 4 5 5 5 4 3 0 4 2 5 1 5 2 3 3 5 2 4 5 4 0 4 2 5 4 4 2 5 1 5 1 4 5 4 1 5 1 4 5 5 3 5 3 4 3 2 3 2 2 3 4 1 5 4 1 5 2 3 3 3 2 2 2 4 5 4 4 0 1 4 3 4 3 5 3 5 5 1 5 2 2 4 3 1 4 2 4 1 2 3 2 0 0 1 5 5 2 2 3 1 2 2 4 3 5 4 3 1 4 2 3 2 4 5 5 5 4 2 2 5 2 2 5 4 4 0 4 5 3 3 4 2 2 3 3 5 3 5 2 4 2 4 1 3 3 1 5 5 4 2 3 1 4 3 3 3 5 5 1 4 1 2 3 4 2 2 5 1 4 2 4 3 4 5 2 5 3 4 3 0 1 4 4 2 1 4 2 5 1 3 5 3 4 3 5 3 4 3 3 3 5 4 5 1 5 2 5 5 4 3 4 4 4 5 1 4 4 3 1 2 4 5 5 5 4 1 5 3 4 1 5 5 5 3 5 5 3 2 4 2520.06/2445.51 v </values> 2520.06/2445.51 v </instantiation> 2520.06/2445.51 s SATISFIABLE
OK 5
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-4262768-1502491091/watcher-4262768-1502491091 -o /tmp/evaluation-result-4262768-1502491091/solver-4262768-1502491091 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1502411443-13071 --watchdog 2580 bin/concrete HOME/instance-4262768-1502491091.xml pid=542 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 Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 1.44 1.45 1.48 2/200 547 /proc/meminfo: memFree=30319964/32770624 swapFree=0/474992 [pid=547] ppid=542 vsize=23672 CPUtime=0 cores=0,2,4,6 /proc/547/stat : 547 (runsolver) D 542 547 13007 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 91020306 24240128 106 18446744073709551615 4194304 4338465 140724566603584 140724566601224 140220020962007 0 0 1 24578 18446744071580418449 0 0 17 6 0 0 0 0 0 6438912 6441760 22843392 140724566610128 140724566610505 140724566610505 140724566613962 0 /proc/547/statm: 5918 106 53 36 0 2156 0 [startup+0.100162 s] /proc/loadavg: 1.44 1.45 1.48 2/200 547 /proc/meminfo: memFree=30319964/32770624 swapFree=0/474992 [pid=547] ppid=542 vsize=9636 CPUtime=0.01 cores=0,2,4,6 /proc/547/stat : 547 (bash) S 542 547 13007 0 -1 4202496 892 6484 0 0 0 0 0 1 20 0 1 0 91020306 9867264 377 18446744073709551615 4194304 5098028 140730165068016 140730165062024 140343288712192 0 0 5 65536 18446744071580971376 0 0 17 2 0 0 7 0 0 7196144 7232144 15568896 140730165072404 140730165072489 140730165072489 140730165075946 0 /proc/547/statm: 2409 377 296 221 0 118 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 9636 [startup+0.200329 s] /proc/loadavg: 1.44 1.45 1.48 2/200 547 /proc/meminfo: memFree=30319964/32770624 swapFree=0/474992 [pid=547] ppid=542 vsize=9636 CPUtime=0.01 cores=0,2,4,6 /proc/547/stat : 547 (bash) S 542 547 13007 0 -1 4202496 892 6484 0 0 0 0 0 1 20 0 1 0 91020306 9867264 377 18446744073709551615 4194304 5098028 140730165068016 140730165062024 140343288712192 0 0 5 65536 18446744071580971376 0 0 17 2 0 0 7 0 0 7196144 7232144 15568896 140730165072404 140730165072489 140730165072489 140730165075946 0 /proc/547/statm: 2409 377 296 221 0 118 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 9636 [startup+0.300372 s] /proc/loadavg: 1.44 1.45 1.48 2/200 547 /proc/meminfo: memFree=30319964/32770624 swapFree=0/474992 [pid=547] ppid=542 vsize=13907308 CPUtime=0.14 cores=0,2,4,6 /proc/547/stat : 547 (java) S 542 547 13007 0 -1 1077944320 5832 12506 0 0 4 2 5 3 20 0 14 0 91020306 14241083392 5502 18446744073709551615 4194304 4196468 140736115479328 140736115461872 139847802167031 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 7 0 0 6293624 6294260 21495808 140736115484624 140736115487409 140736115487409 140736115490767 0 /proc/547/statm: 3476827 5502 2564 1 0 3466324 0 Current children cumulated CPU time (s) 0.14 Current children cumulated vsize (KiB) 13907308 [startup+0.700282 s] /proc/loadavg: 1.44 1.45 1.48 2/200 547 /proc/meminfo: memFree=30319964/32770624 swapFree=0/474992 [pid=547] ppid=542 vsize=13974784 CPUtime=0.69 cores=0,2,4,6 /proc/547/stat : 547 (java) S 542 547 13007 0 -1 1077944320 13865 12506 0 0 56 5 5 3 20 0 15 0 91020306 14310178816 14279 18446744073709551615 4194304 4196468 140736115479328 140736115461872 139847802167031 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 7 0 0 6293624 6294260 21495808 140736115484624 140736115487409 140736115487409 140736115490767 0 /proc/547/statm: 3493696 14279 3131 1 0 3482965 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 13974784 [startup+1.50156 s] /proc/loadavg: 1.44 1.45 1.48 3/215 633 /proc/meminfo: memFree=30227356/32770624 swapFree=0/475024 [pid=547] ppid=542 vsize=13985408 CPUtime=1.88 cores=0,2,4,6 /proc/547/stat : 547 (java) S 542 547 13007 0 -1 1077944320 28070 12506 0 0 171 9 5 3 20 0 15 0 91020306 14321057792 38098 18446744073709551615 4194304 4196468 140736115479328 140736115461872 139847802167031 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 7 0 0 6293624 6294260 21495808 140736115484624 140736115487409 140736115487409 140736115490767 0 /proc/547/statm: 3496352 38098 3340 1 0 3485525 0 [pid=547/tid=606] ppid=542 vsize=13985408 CPUtime=1.3 cores=0,2,4,6 /proc/547/task/606/stat : 606 (java) S 542 547 13007 0 -1 1077944384 22351 12506 0 0 116 6 5 3 20 0 15 0 91020327 14321057792 38098 18446744073709551615 4194304 4196468 140736115479328 139847806387760 139847802177237 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 4 0 0 6293624 6294260 21495808 140736115484624 140736115487409 140736115487409 140736115490767 0 [pid=547/tid=607] ppid=542 vsize=13985408 CPUtime=0.08 cores=0,2,4,6 /proc/547/task/607/stat : 607 (java) R 542 547 13007 0 -1 4202560 43 12506 0 0 0 0 5 3 20 0 15 0 91020328 14321057792 38098 18446744073709551615 4194304 4196468 140736115479328 139847402711824 139847786864665 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21495808 140736115484624 140736115487409 140736115487409 140736115490767 0 [pid=547/tid=608] ppid=542 vsize=13985408 CPUtime=0.08 cores=0,2,4,6 /proc/547/task/608/stat : 608 (java) R 542 547 13007 0 -1 4202560 43 12506 0 0 0 0 5 3 20 0 15 0 91020328 14321057792 38098 18446744073709551615 4194304 4196468 140736115479328 139847401659280 139847786864665 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21495808 140736115484624 140736115487409 140736115487409 140736115490767 0 [pid=547/tid=609] ppid=542 vsize=13985408 CPUtime=0.08 cores=0,2,4,6 /proc/547/task/609/stat : 609 (java) R 542 547 13007 0 -1 1077944384 178 12506 0 0 0 0 5 3 20 0 15 0 91020328 14321057792 38098 18446744073709551615 4194304 4196468 140736115479328 139847400606736 139847802177237 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21495808 140736115484624 140736115487409 140736115487409 140736115490767 0 [pid=547/tid=610] ppid=542 vsize=13985408 CPUtime=0.08 cores=0,2,4,6 /proc/547/task/610/stat : 610 (java) R 542 547 13007 0 -1 4202560 41 12506 0 0 0 0 5 3 20 0 15 0 91020328 14321057792 38098 18446744073709551615 4194304 4196468 140736115479328 139847399554192 139847786864665 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21495808 140736115484624 140736115487409 140736115487409 140736115490767 0 [pid=547/tid=612] ppid=542 vsize=13985408 CPUtime=0.08 cores=0,2,4,6 /proc/547/task/612/stat : 612 (java) S 542 547 13007 0 -1 1077944384 61 12506 0 0 0 0 5 3 20 0 15 0 91020329 14321057792 38098 18446744073709551615 4194304 4196468 140736115479328 139847280709952 139847802177237 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21495808 140736115484624 140736115487409 140736115487409 140736115490767 0 [pid=547/tid=613] ppid=542 vsize=13985408 CPUtime=0.08 cores=0,2,4,6 /proc/547/task/613/stat : 613 (java) S 542 547 13007 0 -1 1077944384 33 12506 0 0 0 0 5 3 20 0 15 0 91020330 14321057792 38098 18446744073709551615 4194304 4196468 140736115479328 139847279657888 139847802177237 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21495808 140736115484624 140736115487409 140736115487409 140736115490767 0 [pid=547/tid=615] ppid=542 vsize=13985408 CPUtime=0.08 cores=0,2,4,6 /proc/547/task/615/stat : 615 (java) S 542 547 13007 0 -1 1077944384 21 12506 0 0 0 0 5 3 20 0 15 0 91020330 14321057792 38098 18446744073709551615 4194304 4196468 140736115479328 139847278605296 139847802177237 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21495808 140736115484624 140736115487409 140736115487409 140736115490767 0 [pid=547/tid=617] ppid=542 vsize=13985408 CPUtime=0.08 cores=0,2,4,6 /proc/547/task/617/stat : 617 (java) S 542 547 13007 0 -1 1077944384 3 12506 0 0 0 0 5 3 20 0 15 0 91020333 14321057792 38098 18446744073709551615 4194304 4196468 140736115479328 139847277553872 139847802185627 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21495808 140736115484624 140736115487409 140736115487409 140736115490767 0 [pid=547/tid=618] ppid=542 vsize=13985408 CPUtime=0.23 cores=0,2,4,6 /proc/547/task/618/stat : 618 (java) S 542 547 13007 0 -1 1077944384 1008 12506 0 0 15 0 5 3 20 0 15 0 91020333 14321057792 38098 18446744073709551615 4194304 4196468 140736115479328 139847276501488 139847802178178 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21495808 140736115484624 140736115487409 140736115487409 140736115490767 0 [pid=547/tid=624] ppid=542 vsize=13985408 CPUtime=0.21 cores=0,2,4,6 /proc/547/task/624/stat : 624 (java) S 542 547 13007 0 -1 1077944384 762 12506 0 0 13 0 5 3 20 0 15 0 91020333 14321057792 38098 18446744073709551615 4194304 4196468 140736115479328 139847275448944 139847802178178 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21495808 140736115484624 140736115487409 140736115487409 140736115490767 0 [pid=547/tid=631] ppid=542 vsize=13985408 CPUtime=0.31 cores=0,2,4,6 /proc/547/task/631/stat : 631 (java) S 542 547 13007 0 -1 1077944384 1361 12506 0 0 23 0 5 3 20 0 15 0 91020333 14321057792 38098 18446744073709551615 4194304 4196468 140736115479328 139847274391888 139847802177237 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21495808 140736115484624 140736115487409 140736115487409 140736115490767 0 [pid=547/tid=632] ppid=542 vsize=13985408 CPUtime=0.08 cores=0,2,4,6 /proc/547/task/632/stat : 632 (java) S 542 547 13007 0 -1 1077944384 3 12506 0 0 0 0 5 3 20 0 15 0 91020333 14321057792 38098 18446744073709551615 4194304 4196468 140736115479328 139847273344096 139847802177237 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21495808 140736115484624 140736115487409 140736115487409 140736115490767 0 [pid=547/tid=633] ppid=542 vsize=13985408 CPUtime=0.08 cores=0,2,4,6 /proc/547/task/633/stat : 633 (java) S 542 547 13007 0 -1 1077944384 10 12506 0 0 0 0 5 3 20 0 15 0 91020337 14321057792 38098 18446744073709551615 4194304 4196468 140736115479328 139847272290608 139847802178178 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21495808 140736115484624 140736115487409 140736115487409 140736115490767 0 Current children cumulated CPU time (s) 1.88 Current children cumulated vsize (KiB) 13985408 [startup+3.10125 s] /proc/loadavg: 1.44 1.45 1.48 5/215 633 /proc/meminfo: memFree=30149800/32770624 swapFree=0/475024 [pid=547] ppid=542 vsize=13995836 CPUtime=6.37 cores=0,2,4,6 /proc/547/stat : 547 (java) S 542 547 13007 0 -1 1077944320 43209 12506 0 0 614 15 5 3 20 0 15 0 91020306 14331736064 71122 18446744073709551615 4194304 4196468 140736115479328 140736115461872 139847802167031 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 7 0 0 6293624 6294260 21495808 140736115484624 140736115487409 140736115487409 140736115490767 0 /proc/547/statm: 3498959 71122 3465 1 0 3487573 0 [pid=547/tid=606] ppid=542 vsize=13995836 CPUtime=2.85 cores=0,2,4,6 /proc/547/task/606/stat : 606 (java) R 542 547 13007 0 -1 4202560 27350 12506 0 0 269 8 5 3 20 0 15 0 91020327 14331736064 71122 18446744073709551615 4194304 4196468 140736115479328 139847806397504 139847449009376 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 21495808 140736115484624 140736115487409 140736115487409 140736115490767 0 [pid=547/tid=607] ppid=542 vsize=13995836 CPUtime=0.09 cores=0,2,4,6 /proc/547/task/607/stat : 607 (java) S 542 547 13007 0 -1 1077944384 105 12506 0 0 1 0 5 3 20 0 15 0 91020328 14331736064 71122 18446744073709551615 4194304 4196468 140736115479328 139847402711824 139847802177237 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21495808 140736115484624 140736115487409 140736115487409 140736115490767 0 [pid=547/tid=608] ppid=542 vsize=13995836 CPUtime=0.09 cores=0,2,4,6 /proc/547/task/608/stat : 608 (java) S 542 547 13007 0 -1 1077944384 182 12506 0 0 1 0 5 3 20 0 15 0 91020328 14331736064 71122 18446744073709551615 4194304 4196468 140736115479328 139847401659280 139847802177237 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21495808 140736115484624 140736115487409 140736115487409 140736115490767 0 [pid=547/tid=609] ppid=542 vsize=13995836 CPUtime=0.09 cores=0,2,4,6 /proc/547/task/609/stat : 609 (java) S 542 547 13007 0 -1 1077944384 181 12506 0 0 1 0 5 3 20 0 15 0 91020328 14331736064 71122 18446744073709551615 4194304 4196468 140736115479328 139847400606736 139847802177237 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21495808 140736115484624 140736115487409 140736115487409 140736115490767 0 [pid=547/tid=610] ppid=542 vsize=13995836 CPUtime=0.09 cores=0,2,4,6 /proc/547/task/610/stat : 610 (java) S 542 547 13007 0 -1 1077944384 69 12506 0 0 1 0 5 3 20 0 15 0 91020328 14331736064 71122 18446744073709551615 4194304 4196468 140736115479328 139847399554192 139847802177237 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21495808 140736115484624 140736115487409 140736115487409 140736115490767 0 [pid=547/tid=612] ppid=542 vsize=13995836 CPUtime=0.09 cores=0,2,4,6 /proc/547/task/612/stat : 612 (java) S 542 547 13007 0 -1 1077944384 1724 12506 0 0 1 0 5 3 20 0 15 0 91020329 14331736064 71122 18446744073709551615 4194304 4196468 140736115479328 139847280711664 139847802178178 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21495808 140736115484624 140736115487409 140736115487409 140736115490767 0 [pid=547/tid=613] ppid=542 vsize=13995836 CPUtime=0.08 cores=0,2,4,6 /proc/547/task/613/stat : 613 (java) S 542 547 13007 0 -1 1077944384 55 12506 0 0 0 0 5 3 20 0 15 0 91020330 14331736064 71122 18446744073709551615 4194304 4196468 140736115479328 139847279657952 139847802177237 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21495808 140736115484624 140736115487409 140736115487409 140736115490767 0 [pid=547/tid=615] ppid=542 vsize=13995836 CPUtime=0.08 cores=0,2,4,6 /proc/547/task/615/stat : 615 (java) S 542 547 13007 0 -1 1077944384 44 12506 0 0 0 0 5 3 20 0 15 0 91020330 14331736064 71122 18446744073709551615 4194304 4196468 140736115479328 139847278605312 139847802177237 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21495808 140736115484624 140736115487409 140736115487409 140736115490767 0 [pid=547/tid=617] ppid=542 vsize=13995836 CPUtime=0.08 cores=0,2,4,6 /proc/547/task/617/stat : 617 (java) S 542 547 13007 0 -1 1077944384 3 12506 0 0 0 0 5 3 20 0 15 0 91020333 14331736064 71122 18446744073709551615 4194304 4196468 140736115479328 139847277553872 139847802185627 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21495808 140736115484624 140736115487409 140736115487409 140736115490767 0 [pid=547/tid=618] ppid=542 vsize=13995836 CPUtime=1.16 cores=0,2,4,6 /proc/547/task/618/stat : 618 (java) R 542 547 13007 0 -1 4202560 2845 12506 0 0 108 0 5 3 20 0 15 0 91020333 14331736064 71122 18446744073709551615 4194304 4196468 140736115479328 139847276494680 139847787292400 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 21495808 140736115484624 140736115487409 140736115487409 140736115490767 0 [pid=547/tid=624] ppid=542 vsize=13995836 CPUtime=1.33 cores=0,2,4,6 /proc/547/task/624/stat : 624 (java) R 542 547 13007 0 -1 4202560 4559 12506 0 0 125 0 5 3 20 0 15 0 91020333 14331736064 71122 18446744073709551615 4194304 4196468 140736115479328 139847275437056 139847781413562 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21495808 140736115484624 140736115487409 140736115487409 140736115490767 0 [pid=547/tid=631] ppid=542 vsize=13995836 CPUtime=1.11 cores=0,2,4,6 /proc/547/task/631/stat : 631 (java) R 542 547 13007 0 -1 4202560 3925 12506 0 0 102 1 5 3 20 0 15 0 91020333 14331736064 71122 18446744073709551615 4194304 4196468 140736115479328 139847274396400 139847783730591 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21495808 140736115484624 140736115487409 140736115487409 140736115490767 0 [pid=547/tid=632] ppid=542 vsize=13995836 CPUtime=0.08 cores=0,2,4,6 /proc/547/task/632/stat : 632 (java) S 542 547 13007 0 -1 1077944384 3 12506 0 0 0 0 5 3 20 0 15 0 91020333 14331736064 71122 18446744073709551615 4194304 4196468 140736115479328 139847273344096 139847802177237 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21495808 140736115484624 140736115487409 140736115487409 140736115490767 0 [pid=547/tid=633] ppid=542 vsize=13995836 CPUtime=0.08 cores=0,2,4,6 /proc/547/task/633/stat : 633 (java) S 542 547 13007 0 -1 1077944384 12 12506 0 0 0 0 5 3 20 0 15 0 91020337 14331736064 71122 18446744073709551615 4194304 4196468 140736115479328 139847272290608 139847802178178 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21495808 140736115484624 140736115487409 140736115487409 140736115490767 0 Current children cumulated CPU time (s) 6.37 Current children cumulated vsize (KiB) 13995836 [startup+6.30124 s] /proc/loadavg: 1.64 1.49 1.49 3/215 633 /proc/meminfo: memFree=29910408/32770624 swapFree=0/475024 [pid=547] ppid=542 vsize=13997884 CPUtime=14.27 cores=0,2,4,6 /proc/547/stat : 547 (java) S 542 547 13007 0 -1 1077944320 55692 12506 0 0 1377 42 5 3 20 0 15 0 91020306 14333833216 157623 18446744073709551615 4194304 4196468 140736115479328 140736115461872 139847802167031 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 7 0 0 6293624 6294260 21495808 140736115484624 140736115487409 140736115487409 140736115490767 0 /proc/547/statm: 3499471 157623 3481 1 0 3488085 0 [pid=547/tid=606] ppid=542 vsize=13997884 CPUtime=5.79 cores=0,2,4,6 /proc/547/task/606/stat : 606 (java) R 542 547 13007 0 -1 4202560 28650 12506 0 0 560 11 5 3 20 0 15 0 91020327 14333833216 157623 18446744073709551615 4194304 4196468 140736115479328 139847806399080 139847450486045 0 4 1 16800974 0 0 0 -1 6 0 0 4 0 0 6293624 6294260 21495808 140736115484624 140736115487409 140736115487409 140736115490767 0 [pid=547/tid=607] ppid=542 vsize=13997884 CPUtime=0.33 cores=0,2,4,6 /proc/547/task/607/stat : 607 (java) S 542 547 13007 0 -1 1077944384 365 12506 0 0 20 5 5 3 20 0 15 0 91020328 14333833216 157623 18446744073709551615 4194304 4196468 140736115479328 139847402711824 139847802177237 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21495808 140736115484624 140736115487409 140736115487409 140736115490767 0 [pid=547/tid=608] ppid=542 vsize=13997884 CPUtime=0.33 cores=0,2,4,6 /proc/547/task/608/stat : 608 (java) S 542 547 13007 0 -1 1077944384 625 12506 0 0 19 6 5 3 20 0 15 0 91020328 14333833216 157623 18446744073709551615 4194304 4196468 140736115479328 139847401659280 139847802177237 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21495808 140736115484624 140736115487409 140736115487409 140736115490767 0 [pid=547/tid=609] ppid=542 vsize=13997884 CPUtime=0.32 cores=0,2,4,6 /proc/547/task/609/stat : 609 (java) S 542 547 13007 0 -1 1077944384 467 12506 0 0 19 5 5 3 20 0 15 0 91020328 14333833216 157623 18446744073709551615 4194304 4196468 140736115479328 139847400606736 139847802177237 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21495808 140736115484624 140736115487409 140736115487409 140736115490767 0 [pid=547/tid=610] ppid=542 vsize=13997884 CPUtime=0.3 cores=0,2,4,6 /proc/547/task/610/stat : 610 (java) S 542 547 13007 0 -1 1077944384 266 12506 0 0 17 5 5 3 20 0 15 0 91020328 14333833216 157623 18446744073709551615 4194304 4196468 140736115479328 139847399554192 139847802177237 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21495808 140736115484624 140736115487409 140736115487409 140736115490767 0 [pid=547/tid=612] ppid=542 vsize=13997884 CPUtime=0.1 cores=0,2,4,6 /proc/547/task/612/stat : 612 (java) S 542 547 13007 0 -1 1077944384 2506 12506 0 0 2 0 5 3 20 0 15 0 91020329 14333833216 157623 18446744073709551615 4194304 4196468 140736115479328 139847280711664 139847802178178 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21495808 140736115484624 140736115487409 140736115487409 140736115490767 0 [pid=547/tid=613] ppid=542 vsize=13997884 CPUtime=0.08 cores=0,2,4,6 /proc/547/task/613/stat : 613 (java) S 542 547 13007 0 -1 1077944384 55 12506 0 0 0 0 5 3 20 0 15 0 91020330 14333833216 157623 18446744073709551615 4194304 4196468 140736115479328 139847279657952 139847802177237 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21495808 140736115484624 140736115487409 140736115487409 140736115490767 0 [pid=547/tid=615] ppid=542 vsize=13997884 CPUtime=0.08 cores=0,2,4,6 /proc/547/task/615/stat : 615 (java) S 542 547 13007 0 -1 1077944384 44 12506 0 0 0 0 5 3 20 0 15 0 91020330 14333833216 157623 18446744073709551615 4194304 4196468 140736115479328 139847278605312 139847802177237 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21495808 140736115484624 140736115487409 140736115487409 140736115490767 0 [pid=547/tid=617] ppid=542 vsize=13997884 CPUtime=0.08 cores=0,2,4,6 /proc/547/task/617/stat : 617 (java) S 542 547 13007 0 -1 1077944384 3 12506 0 0 0 0 5 3 20 0 15 0 91020333 14333833216 157623 18446744073709551615 4194304 4196468 140736115479328 139847277553872 139847802185627 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21495808 140736115484624 140736115487409 140736115487409 140736115490767 0 [pid=547/tid=618] ppid=542 vsize=13997884 CPUtime=2.93 cores=0,2,4,6 /proc/547/task/618/stat : 618 (java) S 542 547 13007 0 -1 1077944384 4460 12506 0 0 284 1 5 3 20 0 15 0 91020333 14333833216 157623 18446744073709551615 4194304 4196468 140736115479328 139847276501488 139847802178178 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21495808 140736115484624 140736115487409 140736115487409 140736115490767 0 [pid=547/tid=624] ppid=542 vsize=13997884 CPUtime=3.2 cores=0,2,4,6 /proc/547/task/624/stat : 624 (java) S 542 547 13007 0 -1 1077944384 7186 12506 0 0 309 3 5 3 20 0 15 0 91020333 14333833216 157623 18446744073709551615 4194304 4196468 140736115479328 139847275448944 139847802178178 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21495808 140736115484624 140736115487409 140736115487409 140736115490767 0 [pid=547/tid=631] ppid=542 vsize=13997884 CPUtime=1.53 cores=0,2,4,6 /proc/547/task/631/stat : 631 (java) S 542 547 13007 0 -1 1077944384 8742 12506 0 0 142 3 5 3 20 0 15 0 91020333 14333833216 157623 18446744073709551615 4194304 4196468 140736115479328 139847274396400 139847802178178 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21495808 140736115484624 140736115487409 140736115487409 140736115490767 0 [pid=547/tid=632] ppid=542 vsize=13997884 CPUtime=0.08 cores=0,2,4,6 /proc/547/task/632/stat : 632 (java) S 542 547 13007 0 -1 1077944384 3 12506 0 0 0 0 5 3 20 0 15 0 91020333 14333833216 157623 18446744073709551615 4194304 4196468 140736115479328 139847273344096 139847802177237 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21495808 140736115484624 140736115487409 140736115487409 140736115490767 0 [pid=547/tid=633] ppid=542 vsize=13997884 CPUtime=0.08 cores=0,2,4,6 /proc/547/task/633/stat : 633 (java) S 542 547 13007 0 -1 1077944384 168 12506 0 0 0 0 5 3 20 0 15 0 91020337 14333833216 157623 18446744073709551615 4194304 4196468 140736115479328 139847272290608 139847802178178 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21495808 140736115484624 140736115487409 140736115487409 140736115490767 0 Current children cumulated CPU time (s) 14.27 Current children cumulated vsize (KiB) 13997884 [startup+12.7008 s] /proc/loadavg: 1.59 1.48 1.49 5/215 633 /proc/meminfo: memFree=29071072/32770624 swapFree=0/475024 [pid=547] ppid=542 vsize=13999932 CPUtime=25.45 cores=0,2,4,6 /proc/547/stat : 547 (java) S 542 547 13007 0 -1 1077944320 71964 12506 0 0 2459 78 5 3 20 0 15 0 91020306 14335930368 406965 18446744073709551615 4194304 4196468 140736115479328 140736115461872 139847802167031 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 7 0 0 6293624 6294260 21495808 140736115484624 140736115487409 140736115487409 140736115490767 0 /proc/547/statm: 3499983 406965 3481 1 0 3488597 0 [pid=547/tid=606] ppid=542 vsize=13999932 CPUtime=11.96 cores=0,2,4,6 /proc/547/task/606/stat : 606 (java) R 542 547 13007 0 -1 4202560 32959 12506 0 0 1160 28 5 3 20 0 15 0 91020327 14335930368 406965 18446744073709551615 4194304 4196468 140736115479328 139847806401904 139847452068477 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 21495808 140736115484624 140736115487409 140736115487409 140736115490767 0 [pid=547/tid=607] ppid=542 vsize=13999932 CPUtime=0.54 cores=0,2,4,6 /proc/547/task/607/stat : 607 (java) S 542 547 13007 0 -1 1077944384 558 12506 0 0 36 10 5 3 20 0 15 0 91020328 14335930368 406965 18446744073709551615 4194304 4196468 140736115479328 139847402711824 139847802177237 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21495808 140736115484624 140736115487409 140736115487409 140736115490767 0 [pid=547/tid=608] ppid=542 vsize=13999932 CPUtime=0.54 cores=0,2,4,6 /proc/547/task/608/stat : 608 (java) S 542 547 13007 0 -1 1077944384 799 12506 0 0 36 10 5 3 20 0 15 0 91020328 14335930368 406965 18446744073709551615 4194304 4196468 140736115479328 139847401659280 139847802177237 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21495808 140736115484624 140736115487409 140736115487409 140736115490767 0 [pid=547/tid=609] ppid=542 vsize=13999932 CPUtime=0.52 cores=0,2,4,6 /proc/547/task/609/stat : 609 (java) S 542 547 13007 0 -1 1077944384 1043 12506 0 0 35 9 5 3 20 0 15 0 91020328 14335930368 406965 18446744073709551615 4194304 4196468 140736115479328 139847400606736 139847802177237 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21495808 140736115484624 140736115487409 140736115487409 140736115490767 0 [pid=547/tid=610] ppid=542 vsize=13999932 CPUtime=0.51 cores=0,2,4,6 /proc/547/task/610/stat : 610 (java) S 542 547 13007 0 -1 1077944384 398 12506 0 0 34 9 5 3 20 0 15 0 91020328 14335930368 406965 18446744073709551615 4194304 4196468 140736115479328 139847399554192 139847802177237 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21495808 140736115484624 140736115487409 140736115487409 140736115490767 0 [pid=547/tid=612] ppid=542 vsize=13999932 CPUtime=0.11 cores=0,2,4,6 /proc/547/task/612/stat : 612 (java) S 542 547 13007 0 -1 1077944384 3345 12506 0 0 3 0 5 3 20 0 15 0 91020329 14335930368 406965 18446744073709551615 4194304 4196468 140736115479328 139847280711664 139847802178178 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21495808 140736115484624 140736115487409 140736115487409 140736115490767 0 [pid=547/tid=613] ppid=542 vsize=13999932 CPUtime=0.08 cores=0,2,4,6 /proc/547/task/613/stat : 613 (java) S 542 547 13007 0 -1 1077944384 58 12506 0 0 0 0 5 3 20 0 15 0 91020330 14335930368 406965 18446744073709551615 4194304 4196468 140736115479328 139847279657952 139847802177237 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21495808 140736115484624 140736115487409 140736115487409 140736115490767 0 [pid=547/tid=615] ppid=542 vsize=13999932 CPUtime=0.08 cores=0,2,4,6 /proc/547/task/615/stat : 615 (java) S 542 547 13007 0 -1 1077944384 49 12506 0 0 0 0 5 3 20 0 15 0 91020330 14335930368 406965 18446744073709551615 4194304 4196468 140736115479328 139847278605312 139847802177237 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21495808 140736115484624 140736115487409 140736115487409 140736115490767 0 [pid=547/tid=617] ppid=542 vsize=13999932 CPUtime=0.08 cores=0,2,4,6 /proc/547/task/617/stat : 617 (java) S 542 547 13007 0 -1 1077944384 3 12506 0 0 0 0 5 3 20 0 15 0 91020333 14335930368 406965 18446744073709551615 4194304 4196468 140736115479328 139847277553872 139847802185627 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21495808 140736115484624 140736115487409 140736115487409 140736115490767 0 ################ # More data... # ################ /proc/547/task/632/stat : 632 (java) S 542 547 13007 0 -1 1077944384 3 12506 0 0 0 0 5 3 20 0 15 0 91020333 14340124672 936797 18446744073709551615 4194304 4196468 140736115479328 139847273344096 139847802177237 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21495808 140736115484624 140736115487409 140736115487409 140736115490767 0 [pid=547/tid=633] ppid=542 vsize=14004028 CPUtime=1.47 cores=0,2,4,6 /proc/547/task/633/stat : 633 (java) S 542 547 13007 0 -1 1077944384 2422 12506 0 0 72 67 5 3 20 0 15 0 91020337 14340124672 936797 18446744073709551615 4194304 4196468 140736115479328 139847272290608 139847802178178 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21495808 140736115484624 140736115487409 140736115487409 140736115490767 0 Current children cumulated CPU time (s) 2396.56 Current children cumulated vsize (KiB) 14004028 [startup+2382.3 s] /proc/loadavg: 1.88 1.74 1.63 3/215 1069 /proc/meminfo: memFree=27167076/32770624 swapFree=0/475512 [pid=547] ppid=542 vsize=14004028 CPUtime=2456.69 cores=0,2,4,6 /proc/547/stat : 547 (java) S 542 547 13007 0 -1 1077944320 608575 12506 0 0 245109 552 5 3 20 0 15 0 91020306 14340124672 756371 18446744073709551615 4194304 4196468 140736115479328 140736115461872 139847802167031 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 7 0 0 6293624 6294260 21495808 140736115484624 140736115487409 140736115487409 140736115490767 0 /proc/547/statm: 3501007 756371 3505 1 0 3489621 0 [pid=547/tid=606] ppid=542 vsize=14004028 CPUtime=2364.29 cores=0,2,4,6 /proc/547/task/606/stat : 606 (java) R 542 547 13007 0 -1 4202560 270459 12506 0 0 236326 95 5 3 20 0 15 0 91020327 14340124672 756371 18446744073709551615 4194304 4196468 140736115479328 139847806402096 139847444361483 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 21495808 140736115484624 140736115487409 140736115487409 140736115490767 0 [pid=547/tid=607] ppid=542 vsize=14004028 CPUtime=16.92 cores=0,2,4,6 /proc/547/task/607/stat : 607 (java) S 542 547 13007 0 -1 1077944384 29483 12506 0 0 1591 93 5 3 20 0 15 0 91020328 14340124672 756371 18446744073709551615 4194304 4196468 140736115479328 139847402711824 139847802177237 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21495808 140736115484624 140736115487409 140736115487409 140736115490767 0 [pid=547/tid=608] ppid=542 vsize=14004028 CPUtime=16.93 cores=0,2,4,6 /proc/547/task/608/stat : 608 (java) S 542 547 13007 0 -1 1077944384 31375 12506 0 0 1592 93 5 3 20 0 15 0 91020328 14340124672 756371 18446744073709551615 4194304 4196468 140736115479328 139847401659280 139847802177237 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21495808 140736115484624 140736115487409 140736115487409 140736115490767 0 [pid=547/tid=609] ppid=542 vsize=14004028 CPUtime=16.85 cores=0,2,4,6 /proc/547/task/609/stat : 609 (java) S 542 547 13007 0 -1 1077944384 28873 12506 0 0 1586 91 5 3 20 0 15 0 91020328 14340124672 756371 18446744073709551615 4194304 4196468 140736115479328 139847400606736 139847802177237 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21495808 140736115484624 140736115487409 140736115487409 140736115490767 0 [pid=547/tid=610] ppid=542 vsize=14004028 CPUtime=16.9 cores=0,2,4,6 /proc/547/task/610/stat : 610 (java) S 542 547 13007 0 -1 1077944384 29964 12506 0 0 1588 94 5 3 20 0 15 0 91020328 14340124672 756371 18446744073709551615 4194304 4196468 140736115479328 139847399554192 139847802177237 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21495808 140736115484624 140736115487409 140736115487409 140736115490767 0 [pid=547/tid=612] ppid=542 vsize=14004028 CPUtime=0.79 cores=0,2,4,6 /proc/547/task/612/stat : 612 (java) S 542 547 13007 0 -1 1077944384 60947 12506 0 0 58 13 5 3 20 0 15 0 91020329 14340124672 756371 18446744073709551615 4194304 4196468 140736115479328 139847280711664 139847802178178 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21495808 140736115484624 140736115487409 140736115487409 140736115490767 0 [pid=547/tid=613] ppid=542 vsize=14004028 CPUtime=0.09 cores=0,2,4,6 /proc/547/task/613/stat : 613 (java) S 542 547 13007 0 -1 1077944384 683 12506 0 0 1 0 5 3 20 0 15 0 91020330 14340124672 756371 18446744073709551615 4194304 4196468 140736115479328 139847279658080 139847802177237 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21495808 140736115484624 140736115487409 140736115487409 140736115490767 0 [pid=547/tid=615] ppid=542 vsize=14004028 CPUtime=0.08 cores=0,2,4,6 /proc/547/task/615/stat : 615 (java) S 542 547 13007 0 -1 1077944384 62 12506 0 0 0 0 5 3 20 0 15 0 91020330 14340124672 756371 18446744073709551615 4194304 4196468 140736115479328 139847278605312 139847802177237 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21495808 140736115484624 140736115487409 140736115487409 140736115490767 0 [pid=547/tid=617] ppid=542 vsize=14004028 CPUtime=0.08 cores=0,2,4,6 /proc/547/task/617/stat : 617 (java) S 542 547 13007 0 -1 1077944384 3 12506 0 0 0 0 5 3 20 0 15 0 91020333 14340124672 756371 18446744073709551615 4194304 4196468 140736115479328 139847277553872 139847802185627 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21495808 140736115484624 140736115487409 140736115487409 140736115490767 0 [pid=547/tid=618] ppid=542 vsize=14004028 CPUtime=9.92 cores=0,2,4,6 /proc/547/task/618/stat : 618 (java) S 542 547 13007 0 -1 1077944384 41963 12506 0 0 980 4 5 3 20 0 15 0 91020333 14340124672 756371 18446744073709551615 4194304 4196468 140736115479328 139847276501488 139847802178178 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21495808 140736115484624 140736115487409 140736115487409 140736115490767 0 [pid=547/tid=624] ppid=542 vsize=14004028 CPUtime=10.24 cores=0,2,4,6 /proc/547/task/624/stat : 624 (java) S 542 547 13007 0 -1 1077944384 51135 12506 0 0 1009 7 5 3 20 0 15 0 91020333 14340124672 756371 18446744073709551615 4194304 4196468 140736115479328 139847275448944 139847802178178 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21495808 140736115484624 140736115487409 140736115487409 140736115490767 0 [pid=547/tid=631] ppid=542 vsize=14004028 CPUtime=2.96 cores=0,2,4,6 /proc/547/task/631/stat : 631 (java) S 542 547 13007 0 -1 1077944384 58977 12506 0 0 281 7 5 3 20 0 15 0 91020333 14340124672 756371 18446744073709551615 4194304 4196468 140736115479328 139847274396400 139847802178178 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21495808 140736115484624 140736115487409 140736115487409 140736115490767 0 [pid=547/tid=632] ppid=542 vsize=14004028 CPUtime=0.08 cores=0,2,4,6 /proc/547/task/632/stat : 632 (java) S 542 547 13007 0 -1 1077944384 3 12506 0 0 0 0 5 3 20 0 15 0 91020333 14340124672 756371 18446744073709551615 4194304 4196468 140736115479328 139847273344096 139847802177237 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21495808 140736115484624 140736115487409 140736115487409 140736115490767 0 [pid=547/tid=633] ppid=542 vsize=14004028 CPUtime=1.5 cores=0,2,4,6 /proc/547/task/633/stat : 633 (java) S 542 547 13007 0 -1 1077944384 2496 12506 0 0 73 69 5 3 20 0 15 0 91020337 14340124672 756371 18446744073709551615 4194304 4196468 140736115479328 139847272290608 139847802178178 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21495808 140736115484624 140736115487409 140736115487409 140736115490767 0 Current children cumulated CPU time (s) 2456.69 Current children cumulated vsize (KiB) 14004028 [startup+2442.3 s] /proc/loadavg: 1.74 1.74 1.64 3/215 1071 /proc/meminfo: memFree=27807064/32770624 swapFree=0/475512 [pid=547] ppid=542 vsize=14004028 CPUtime=2516.85 cores=0,2,4,6 /proc/547/stat : 547 (java) S 542 547 13007 0 -1 1077944320 612998 12506 0 0 251122 555 5 3 20 0 15 0 91020306 14340124672 596019 18446744073709551615 4194304 4196468 140736115479328 140736115461872 139847802167031 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 7 0 0 6293624 6294260 21495808 140736115484624 140736115487409 140736115487409 140736115490767 0 /proc/547/statm: 3501007 596019 3505 1 0 3489621 0 [pid=547/tid=606] ppid=542 vsize=14004028 CPUtime=2424.22 cores=0,2,4,6 /proc/547/task/606/stat : 606 (java) R 542 547 13007 0 -1 4202560 272836 12506 0 0 242319 95 5 3 20 0 15 0 91020327 14340124672 596019 18446744073709551615 4194304 4196468 140736115479328 139847806402720 139847460013600 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 21495808 140736115484624 140736115487409 140736115487409 140736115490767 0 [pid=547/tid=607] ppid=542 vsize=14004028 CPUtime=16.97 cores=0,2,4,6 /proc/547/task/607/stat : 607 (java) S 542 547 13007 0 -1 1077944384 29648 12506 0 0 1596 93 5 3 20 0 15 0 91020328 14340124672 596019 18446744073709551615 4194304 4196468 140736115479328 139847402711824 139847802177237 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21495808 140736115484624 140736115487409 140736115487409 140736115490767 0 [pid=547/tid=608] ppid=542 vsize=14004028 CPUtime=16.98 cores=0,2,4,6 /proc/547/task/608/stat : 608 (java) S 542 547 13007 0 -1 1077944384 32362 12506 0 0 1597 93 5 3 20 0 15 0 91020328 14340124672 596019 18446744073709551615 4194304 4196468 140736115479328 139847401659280 139847802177237 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21495808 140736115484624 140736115487409 140736115487409 140736115490767 0 [pid=547/tid=609] ppid=542 vsize=14004028 CPUtime=16.9 cores=0,2,4,6 /proc/547/task/609/stat : 609 (java) S 542 547 13007 0 -1 1077944384 29192 12506 0 0 1590 92 5 3 20 0 15 0 91020328 14340124672 596019 18446744073709551615 4194304 4196468 140736115479328 139847400606736 139847802177237 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21495808 140736115484624 140736115487409 140736115487409 140736115490767 0 [pid=547/tid=610] ppid=542 vsize=14004028 CPUtime=16.94 cores=0,2,4,6 /proc/547/task/610/stat : 610 (java) S 542 547 13007 0 -1 1077944384 30051 12506 0 0 1592 94 5 3 20 0 15 0 91020328 14340124672 596019 18446744073709551615 4194304 4196468 140736115479328 139847399554192 139847802177237 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21495808 140736115484624 140736115487409 140736115487409 140736115490767 0 [pid=547/tid=612] ppid=542 vsize=14004028 CPUtime=0.8 cores=0,2,4,6 /proc/547/task/612/stat : 612 (java) S 542 547 13007 0 -1 1077944384 61390 12506 0 0 58 14 5 3 20 0 15 0 91020329 14340124672 596019 18446744073709551615 4194304 4196468 140736115479328 139847280711664 139847802178178 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21495808 140736115484624 140736115487409 140736115487409 140736115490767 0 [pid=547/tid=613] ppid=542 vsize=14004028 CPUtime=0.09 cores=0,2,4,6 /proc/547/task/613/stat : 613 (java) S 542 547 13007 0 -1 1077944384 683 12506 0 0 1 0 5 3 20 0 15 0 91020330 14340124672 596019 18446744073709551615 4194304 4196468 140736115479328 139847279658080 139847802177237 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21495808 140736115484624 140736115487409 140736115487409 140736115490767 0 [pid=547/tid=615] ppid=542 vsize=14004028 CPUtime=0.08 cores=0,2,4,6 /proc/547/task/615/stat : 615 (java) S 542 547 13007 0 -1 1077944384 62 12506 0 0 0 0 5 3 20 0 15 0 91020330 14340124672 596019 18446744073709551615 4194304 4196468 140736115479328 139847278605312 139847802177237 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21495808 140736115484624 140736115487409 140736115487409 140736115490767 0 [pid=547/tid=617] ppid=542 vsize=14004028 CPUtime=0.08 cores=0,2,4,6 /proc/547/task/617/stat : 617 (java) S 542 547 13007 0 -1 1077944384 3 12506 0 0 0 0 5 3 20 0 15 0 91020333 14340124672 596019 18446744073709551615 4194304 4196468 140736115479328 139847277553872 139847802185627 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21495808 140736115484624 140736115487409 140736115487409 140736115490767 0 [pid=547/tid=618] ppid=542 vsize=14004028 CPUtime=9.92 cores=0,2,4,6 /proc/547/task/618/stat : 618 (java) S 542 547 13007 0 -1 1077944384 41966 12506 0 0 980 4 5 3 20 0 15 0 91020333 14340124672 596019 18446744073709551615 4194304 4196468 140736115479328 139847276501488 139847802178178 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21495808 140736115484624 140736115487409 140736115487409 140736115490767 0 [pid=547/tid=624] ppid=542 vsize=14004028 CPUtime=10.24 cores=0,2,4,6 /proc/547/task/624/stat : 624 (java) S 542 547 13007 0 -1 1077944384 51137 12506 0 0 1009 7 5 3 20 0 15 0 91020333 14340124672 596019 18446744073709551615 4194304 4196468 140736115479328 139847275448944 139847802178178 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21495808 140736115484624 140736115487409 140736115487409 140736115490767 0 [pid=547/tid=631] ppid=542 vsize=14004028 CPUtime=2.96 cores=0,2,4,6 /proc/547/task/631/stat : 631 (java) S 542 547 13007 0 -1 1077944384 58979 12506 0 0 281 7 5 3 20 0 15 0 91020333 14340124672 596019 18446744073709551615 4194304 4196468 140736115479328 139847274396400 139847802178178 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21495808 140736115484624 140736115487409 140736115487409 140736115490767 0 [pid=547/tid=632] ppid=542 vsize=14004028 CPUtime=0.08 cores=0,2,4,6 /proc/547/task/632/stat : 632 (java) S 542 547 13007 0 -1 1077944384 3 12506 0 0 0 0 5 3 20 0 15 0 91020333 14340124672 596019 18446744073709551615 4194304 4196468 140736115479328 139847273344096 139847802177237 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21495808 140736115484624 140736115487409 140736115487409 140736115490767 0 [pid=547/tid=633] ppid=542 vsize=14004028 CPUtime=1.53 cores=0,2,4,6 /proc/547/task/633/stat : 633 (java) S 542 547 13007 0 -1 1077944384 2534 12506 0 0 74 71 5 3 20 0 15 0 91020337 14340124672 596019 18446744073709551615 4194304 4196468 140736115479328 139847272290608 139847802178178 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21495808 140736115484624 140736115487409 140736115487409 140736115490767 0 Current children cumulated CPU time (s) 2516.85 Current children cumulated vsize (KiB) 14004028 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2445.5 s] /proc/loadavg: 1.76 1.74 1.64 3/214 1071 /proc/meminfo: memFree=27837968/32770624 swapFree=0/475512 [pid=547] ppid=542 vsize=14004028 CPUtime=2520.06 cores=0,2,4,6 /proc/547/stat : 547 (java) S 542 547 13007 0 -1 1077944320 613105 12506 0 0 251443 555 5 3 20 0 15 0 91020306 14340124672 588324 18446744073709551615 4194304 4196468 140736115479328 140736115461872 139847802167031 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 7 0 0 6293624 6294260 21495808 140736115484624 140736115487409 140736115487409 140736115490767 0 /proc/547/statm: 3501007 588324 3505 1 0 3489621 0 [pid=547/tid=606] ppid=542 vsize=14004028 CPUtime=2427.41 cores=0,2,4,6 /proc/547/task/606/stat : 606 (java) R 542 547 13007 0 -1 4202560 272938 12506 0 0 242638 95 5 3 20 0 15 0 91020327 14340124672 588324 18446744073709551615 4194304 4196468 140736115479328 139847806402384 139847458006048 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 21495808 140736115484624 140736115487409 140736115487409 140736115490767 0 [pid=547/tid=607] ppid=542 vsize=14004028 CPUtime=16.97 cores=0,2,4,6 /proc/547/task/607/stat : 607 (java) S 542 547 13007 0 -1 1077944384 29648 12506 0 0 1596 93 5 3 20 0 15 0 91020328 14340124672 588324 18446744073709551615 4194304 4196468 140736115479328 139847402711824 139847802177237 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21495808 140736115484624 140736115487409 140736115487409 140736115490767 0 [pid=547/tid=608] ppid=542 vsize=14004028 CPUtime=16.98 cores=0,2,4,6 /proc/547/task/608/stat : 608 (java) S 542 547 13007 0 -1 1077944384 32363 12506 0 0 1597 93 5 3 20 0 15 0 91020328 14340124672 588324 18446744073709551615 4194304 4196468 140736115479328 139847401659280 139847802177237 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21495808 140736115484624 140736115487409 140736115487409 140736115490767 0 [pid=547/tid=609] ppid=542 vsize=14004028 CPUtime=16.9 cores=0,2,4,6 /proc/547/task/609/stat : 609 (java) S 542 547 13007 0 -1 1077944384 29193 12506 0 0 1590 92 5 3 20 0 15 0 91020328 14340124672 588324 18446744073709551615 4194304 4196468 140736115479328 139847400606736 139847802177237 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21495808 140736115484624 140736115487409 140736115487409 140736115490767 0 [pid=547/tid=610] ppid=542 vsize=14004028 CPUtime=16.94 cores=0,2,4,6 /proc/547/task/610/stat : 610 (java) S 542 547 13007 0 -1 1077944384 30051 12506 0 0 1592 94 5 3 20 0 15 0 91020328 14340124672 588324 18446744073709551615 4194304 4196468 140736115479328 139847399554192 139847802177237 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21495808 140736115484624 140736115487409 140736115487409 140736115490767 0 [pid=547/tid=612] ppid=542 vsize=14004028 CPUtime=0.8 cores=0,2,4,6 /proc/547/task/612/stat : 612 (java) S 542 547 13007 0 -1 1077944384 61393 12506 0 0 58 14 5 3 20 0 15 0 91020329 14340124672 588324 18446744073709551615 4194304 4196468 140736115479328 139847280711664 139847802178178 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21495808 140736115484624 140736115487409 140736115487409 140736115490767 0 [pid=547/tid=613] ppid=542 vsize=14004028 CPUtime=0.09 cores=0,2,4,6 /proc/547/task/613/stat : 613 (java) S 542 547 13007 0 -1 1077944384 683 12506 0 0 1 0 5 3 20 0 15 0 91020330 14340124672 588324 18446744073709551615 4194304 4196468 140736115479328 139847279658080 139847802177237 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21495808 140736115484624 140736115487409 140736115487409 140736115490767 0 [pid=547/tid=615] ppid=542 vsize=14004028 CPUtime=0.08 cores=0,2,4,6 /proc/547/task/615/stat : 615 (java) S 542 547 13007 0 -1 1077944384 62 12506 0 0 0 0 5 3 20 0 15 0 91020330 14340124672 588324 18446744073709551615 4194304 4196468 140736115479328 139847278605312 139847802177237 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21495808 140736115484624 140736115487409 140736115487409 140736115490767 0 [pid=547/tid=617] ppid=542 vsize=14004028 CPUtime=0.08 cores=0,2,4,6 /proc/547/task/617/stat : 617 (java) S 542 547 13007 0 -1 1077944384 3 12506 0 0 0 0 5 3 20 0 15 0 91020333 14340124672 588324 18446744073709551615 4194304 4196468 140736115479328 139847277553872 139847802185627 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21495808 140736115484624 140736115487409 140736115487409 140736115490767 0 [pid=547/tid=618] ppid=542 vsize=14004028 CPUtime=9.92 cores=0,2,4,6 /proc/547/task/618/stat : 618 (java) S 542 547 13007 0 -1 1077944384 41966 12506 0 0 980 4 5 3 20 0 15 0 91020333 14340124672 588324 18446744073709551615 4194304 4196468 140736115479328 139847276501488 139847802178178 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21495808 140736115484624 140736115487409 140736115487409 140736115490767 0 [pid=547/tid=624] ppid=542 vsize=14004028 CPUtime=10.24 cores=0,2,4,6 /proc/547/task/624/stat : 624 (java) S 542 547 13007 0 -1 1077944384 51137 12506 0 0 1009 7 5 3 20 0 15 0 91020333 14340124672 588324 18446744073709551615 4194304 4196468 140736115479328 139847275448944 139847802178178 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21495808 140736115484624 140736115487409 140736115487409 140736115490767 0 [pid=547/tid=631] ppid=542 vsize=14004028 CPUtime=2.96 cores=0,2,4,6 /proc/547/task/631/stat : 631 (java) S 542 547 13007 0 -1 1077944384 58979 12506 0 0 281 7 5 3 20 0 15 0 91020333 14340124672 588324 18446744073709551615 4194304 4196468 140736115479328 139847274396400 139847802178178 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21495808 140736115484624 140736115487409 140736115487409 140736115490767 0 [pid=547/tid=632] ppid=542 vsize=14004028 CPUtime=0.08 cores=0,2,4,6 /proc/547/task/632/stat : 632 (java) S 542 547 13007 0 -1 1077944384 3 12506 0 0 0 0 5 3 20 0 15 0 91020333 14340124672 588324 18446744073709551615 4194304 4196468 140736115479328 139847273344096 139847802177237 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21495808 140736115484624 140736115487409 140736115487409 140736115490767 0 [pid=547/tid=633] ppid=542 vsize=14004028 CPUtime=1.53 cores=0,2,4,6 /proc/547/task/633/stat : 633 (java) S 542 547 13007 0 -1 1077944384 2534 12506 0 0 74 71 5 3 20 0 15 0 91020337 14340124672 588324 18446744073709551615 4194304 4196468 140736115479328 139847272290608 139847802178178 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21495808 140736115484624 140736115487409 140736115487409 140736115490767 0 Current children cumulated CPU time (s) 2520.06 Current children cumulated vsize (KiB) 14004028 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 547 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+2445.5 s] /proc/loadavg: 1.76 1.74 1.64 3/214 1071 /proc/meminfo: memFree=27837968/32770624 swapFree=0/475512 [pid=547] ppid=542 vsize=14004028 CPUtime=2520.06 cores=0,2,4,6 /proc/547/stat : 547 (java) S 542 547 13007 0 -1 1077944320 613105 12506 0 0 251443 555 5 3 20 0 15 0 91020306 14340124672 588324 18446744073709551615 4194304 4196468 140736115479328 140736115461872 139847802167031 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 7 0 0 6293624 6294260 21495808 140736115484624 140736115487409 140736115487409 140736115490767 0 /proc/547/statm: 3501007 588324 3505 1 0 3489621 0 [pid=547/tid=606] ppid=542 vsize=14004028 CPUtime=2427.41 cores=0,2,4,6 /proc/547/task/606/stat : 606 (java) R 542 547 13007 0 -1 4202560 272938 12506 0 0 242638 95 5 3 20 0 15 0 91020327 14340124672 588324 18446744073709551615 4194304 4196468 140736115479328 139847806402384 139847458006048 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 21495808 140736115484624 140736115487409 140736115487409 140736115490767 0 [pid=547/tid=607] ppid=542 vsize=14004028 CPUtime=16.97 cores=0,2,4,6 /proc/547/task/607/stat : 607 (java) S 542 547 13007 0 -1 1077944384 29648 12506 0 0 1596 93 5 3 20 0 15 0 91020328 14340124672 588324 18446744073709551615 4194304 4196468 140736115479328 139847402711824 139847802177237 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21495808 140736115484624 140736115487409 140736115487409 140736115490767 0 [pid=547/tid=608] ppid=542 vsize=14004028 CPUtime=16.98 cores=0,2,4,6 /proc/547/task/608/stat : 608 (java) S 542 547 13007 0 -1 1077944384 32363 12506 0 0 1597 93 5 3 20 0 15 0 91020328 14340124672 588324 18446744073709551615 4194304 4196468 140736115479328 139847401659280 139847802177237 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21495808 140736115484624 140736115487409 140736115487409 140736115490767 0 [pid=547/tid=609] ppid=542 vsize=14004028 CPUtime=16.9 cores=0,2,4,6 /proc/547/task/609/stat : 609 (java) S 542 547 13007 0 -1 1077944384 29193 12506 0 0 1590 92 5 3 20 0 15 0 91020328 14340124672 588324 18446744073709551615 4194304 4196468 140736115479328 139847400606736 139847802177237 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21495808 140736115484624 140736115487409 140736115487409 140736115490767 0 [pid=547/tid=610] ppid=542 vsize=14004028 CPUtime=16.94 cores=0,2,4,6 /proc/547/task/610/stat : 610 (java) S 542 547 13007 0 -1 1077944384 30051 12506 0 0 1592 94 5 3 20 0 15 0 91020328 14340124672 588324 18446744073709551615 4194304 4196468 140736115479328 139847399554192 139847802177237 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21495808 140736115484624 140736115487409 140736115487409 140736115490767 0 [pid=547/tid=612] ppid=542 vsize=14004028 CPUtime=0.8 cores=0,2,4,6 /proc/547/task/612/stat : 612 (java) S 542 547 13007 0 -1 1077944384 61393 12506 0 0 58 14 5 3 20 0 15 0 91020329 14340124672 588324 18446744073709551615 4194304 4196468 140736115479328 139847280711664 139847802178178 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21495808 140736115484624 140736115487409 140736115487409 140736115490767 0 [pid=547/tid=613] ppid=542 vsize=14004028 CPUtime=0.09 cores=0,2,4,6 /proc/547/task/613/stat : 613 (java) S 542 547 13007 0 -1 1077944384 683 12506 0 0 1 0 5 3 20 0 15 0 91020330 14340124672 588324 18446744073709551615 4194304 4196468 140736115479328 139847279658080 139847802177237 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21495808 140736115484624 140736115487409 140736115487409 140736115490767 0 [pid=547/tid=615] ppid=542 vsize=14004028 CPUtime=0.08 cores=0,2,4,6 /proc/547/task/615/stat : 615 (java) S 542 547 13007 0 -1 1077944384 62 12506 0 0 0 0 5 3 20 0 15 0 91020330 14340124672 588324 18446744073709551615 4194304 4196468 140736115479328 139847278605312 139847802177237 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21495808 140736115484624 140736115487409 140736115487409 140736115490767 0 [pid=547/tid=617] ppid=542 vsize=14004028 CPUtime=0.08 cores=0,2,4,6 /proc/547/task/617/stat : 617 (java) S 542 547 13007 0 -1 1077944384 3 12506 0 0 0 0 5 3 20 0 15 0 91020333 14340124672 588324 18446744073709551615 4194304 4196468 140736115479328 139847277553872 139847802185627 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21495808 140736115484624 140736115487409 140736115487409 140736115490767 0 [pid=547/tid=618] ppid=542 vsize=14004028 CPUtime=9.92 cores=0,2,4,6 /proc/547/task/618/stat : 618 (java) S 542 547 13007 0 -1 1077944384 41966 12506 0 0 980 4 5 3 20 0 15 0 91020333 14340124672 588324 18446744073709551615 4194304 4196468 140736115479328 139847276501488 139847802178178 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21495808 140736115484624 140736115487409 140736115487409 140736115490767 0 [pid=547/tid=624] ppid=542 vsize=14004028 CPUtime=10.24 cores=0,2,4,6 /proc/547/task/624/stat : 624 (java) S 542 547 13007 0 -1 1077944384 51137 12506 0 0 1009 7 5 3 20 0 15 0 91020333 14340124672 588324 18446744073709551615 4194304 4196468 140736115479328 139847275448944 139847802178178 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21495808 140736115484624 140736115487409 140736115487409 140736115490767 0 [pid=547/tid=631] ppid=542 vsize=14004028 CPUtime=2.96 cores=0,2,4,6 /proc/547/task/631/stat : 631 (java) S 542 547 13007 0 -1 1077944384 58979 12506 0 0 281 7 5 3 20 0 15 0 91020333 14340124672 588324 18446744073709551615 4194304 4196468 140736115479328 139847274396400 139847802178178 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21495808 140736115484624 140736115487409 140736115487409 140736115490767 0 [pid=547/tid=632] ppid=542 vsize=14004028 CPUtime=0.08 cores=0,2,4,6 /proc/547/task/632/stat : 632 (java) S 542 547 13007 0 -1 1077944384 3 12506 0 0 0 0 5 3 20 0 15 0 91020333 14340124672 588324 18446744073709551615 4194304 4196468 140736115479328 139847273344096 139847802177237 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21495808 140736115484624 140736115487409 140736115487409 140736115490767 0 [pid=547/tid=633] ppid=542 vsize=14004028 CPUtime=1.53 cores=0,2,4,6 /proc/547/task/633/stat : 633 (java) S 542 547 13007 0 -1 1077944384 2534 12506 0 0 74 71 5 3 20 0 15 0 91020337 14340124672 588324 18446744073709551615 4194304 4196468 140736115479328 139847272290608 139847802178178 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21495808 140736115484624 140736115487409 140736115487409 140736115490767 0 Current children cumulated CPU time (s) 2520.06 Current children cumulated vsize (KiB) 14004028 Child status: 143 Real time (s): 2445.54 CPU time (s): 2520.11 CPU user time (s): 2514.5 CPU system time (s): 5.60745 CPU usage (%): 103.049 Max. virtual memory (cumulated for all children) (KiB): 14004028 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2514.5 system time used= 5.60745 maximum resident set size= 4609620 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 628170 page faults= 0 swaps= 0 block input operations= 0 block output operations= 3160 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 70154 involuntary context switches= 4085 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 12.2088 second user time and 14.4743 second system time The end
Begin job on node135 at 2017-08-12 00:24:16 IDJOB=4262768 IDBENCH=140586 IDSOLVER=2650 FILE ID=node135/4262768-1502491091 RUNJOBID= node135-1502411443-13071 PBS_JOBID= Free space on /tmp= 62008 MiB SOLVER NAME= Concrete 3.4 BENCH NAME= XCSP17/Ramsey/Ramsey-int-s1/Ramsey-int-41.xml COMMAND LINE= bin/concrete BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4262768-1502491091/watcher-4262768-1502491091 -o /tmp/evaluation-result-4262768-1502491091/solver-4262768-1502491091 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1502411443-13071 --watchdog 2580 bin/concrete HOME/instance-4262768-1502491091.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 85969bfc3f0409b7eeff9db7f7011033 RANDOM SEED=1377772493 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: 30320492 kB MemAvailable: 31175148 kB Buffers: 299488 kB Cached: 846656 kB SwapCached: 0 kB Active: 1500192 kB Inactive: 508132 kB Active(anon): 862784 kB Inactive(anon): 33140 kB Active(file): 637408 kB Inactive(file): 474992 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 24972 kB Writeback: 4 kB AnonPages: 862528 kB Mapped: 64120 kB Shmem: 33464 kB Slab: 143676 kB SReclaimable: 116184 kB SUnreclaim: 27492 kB KernelStack: 3488 kB PageTables: 6612 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1790256 kB VmallocTotal: 34359738367 kB VmallocUsed: 354332 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 638976 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= 61984 MiB End job on node135 at 2017-08-12 01:05:02