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.0701 | 2453.3501 |
| Name | Ramsey/Ramsey-int-s1/ Ramsey-int-40.xml |
| MD5SUM | d153897c9dbbbf34794d1a29a7a79358 |
| 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.03 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 1600 |
| Number of constraints | 9880 |
| Number of domains | 1 |
| Minimum domain size | 780 |
| Maximum domain size | 780 |
| Distribution of domain sizes | [{"size":780,"count":780}] |
| Minimum variable degree | 0 |
| Maximum variable degree | 39 |
| Distribution of variable degrees | [{"degree":0,"count":820},{"degree":39,"count":780}] |
| Minimum constraint arity | 3 |
| Maximum constraint arity | 3 |
| Distribution of constraint arities | [{"arity":3,"count":9880}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 9880 |
| Distribution of constraint types | [{"type":"intension","count":9880}] |
| Optimization problem | YES |
| Type of objective | min MAXIMUM |
3.43/2.22 c Concrete v3.4 running 48.38/25.17 o 779 52.38/27.75 o 778 55.04/30.15 o 777 57.68/32.60 o 776 60.22/35.04 o 775 62.49/37.24 o 774 65.08/39.62 o 773 67.55/42.00 o 772 69.79/44.14 o 771 72.25/46.55 o 770 74.84/48.96 o 769 77.04/51.09 o 768 79.16/53.20 o 767 81.57/55.57 o 766 83.78/57.71 o 765 86.22/60.10 o 764 88.33/62.22 o 763 90.43/64.31 o 762 92.54/66.40 o 761 94.64/68.52 o 760 96.94/70.84 o 759 99.16/73.02 o 758 101.61/75.43 o 757 103.91/77.79 o 756 106.32/80.15 o 755 108.72/82.53 o 754 111.02/84.88 o 753 113.23/87.01 o 752 115.68/89.41 o 751 117.68/91.49 o 750 120.08/93.83 o 749 122.48/96.20 o 748 124.79/98.54 o 747 126.90/100.61 o 746 129.20/102.95 o 745 131.65/105.34 o 744 133.75/107.45 o 743 135.85/109.55 o 742 138.25/111.90 o 741 140.26/113.99 o 740 142.36/116.09 o 739 144.76/118.42 o 738 147.20/120.82 o 737 149.32/122.93 o 736 151.62/125.29 o 735 154.02/127.64 o 734 156.12/129.74 o 733 158.22/131.82 o 732 160.52/134.18 o 731 162.77/136.34 o 730 164.87/138.44 o 729 167.17/140.79 o 728 169.37/142.90 o 727 171.68/145.25 o 726 174.09/147.62 o 725 176.50/150.02 o 724 178.60/152.15 o 723 181.03/154.50 o 722 183.14/156.62 o 721 185.24/158.72 o 720 187.54/161.07 o 719 189.74/163.20 o 718 191.84/165.32 o 717 193.95/167.41 o 716 196.10/169.53 o 715 198.40/171.89 o 714 200.80/174.25 o 713 202.90/176.36 o 712 205.00/178.47 o 711 207.40/180.84 o 710 209.80/183.21 o 709 212.24/185.61 o 708 214.54/187.98 o 707 216.95/190.36 o 706 219.35/192.73 o 705 221.45/194.86 o 704 223.85/197.21 o 703 225.95/199.34 o 702 228.25/201.69 o 701 230.69/204.09 o 700 232.89/206.22 o 699 235.19/208.59 o 698 237.59/210.94 o 697 239.99/213.32 o 696 242.09/215.45 o 695 244.19/217.56 o 694 246.65/219.92 o 693 248.96/222.27 o 692 251.06/224.39 o 691 253.46/226.74 o 690 255.57/228.84 o 689 257.66/230.92 o 688 260.10/233.37 o 687 262.20/235.50 o 686 264.60/237.87 o 685 266.71/239.97 o 684 268.81/242.07 o 683 270.90/244.18 o 682 273.31/246.53 o 681 275.74/248.91 o 680 278.04/251.29 o 679 280.44/253.66 o 678 282.84/256.01 o 677 284.94/258.13 o 676 287.24/260.47 o 675 289.48/262.60 o 674 291.49/264.68 o 673 293.89/267.04 o 672 295.99/269.15 o 671 298.09/271.25 o 670 300.39/273.59 o 669 302.53/275.69 o 668 304.93/278.04 o 667 307.03/280.17 o 666 309.13/282.29 o 665 311.53/284.66 o 664 313.67/286.80 o 663 316.07/289.15 o 662 318.17/291.26 o 661 320.58/293.61 o 660 322.89/295.98 o 659 324.99/298.09 o 658 327.43/300.44 o 657 329.53/302.54 o 656 331.93/304.91 o 655 334.23/307.29 o 654 336.64/309.65 o 653 338.78/311.78 o 652 341.18/314.12 o 651 343.28/316.22 o 650 345.39/318.31 o 649 347.39/320.38 o 648 349.82/322.75 o 647 352.22/325.11 o 646 354.32/327.23 o 645 356.62/329.58 o 644 358.76/331.69 o 643 360.86/333.77 o 642 363.26/336.12 o 641 365.57/338.47 o 640 367.87/340.79 o 639 370.01/342.88 o 638 372.41/345.22 o 637 374.71/347.56 o 636 377.11/349.91 o 635 379.24/352.02 o 634 381.54/354.37 o 633 383.74/356.50 o 632 386.03/358.86 o 631 388.17/360.97 o 630 390.27/363.07 o 629 392.37/365.15 o 628 394.68/367.49 o 627 396.92/369.61 o 626 399.02/371.72 o 625 401.33/374.09 o 624 403.53/376.20 o 623 405.65/378.32 o 622 407.96/380.67 o 621 410.35/383.01 o 620 412.69/385.39 o 619 415.09/387.74 o 618 417.50/390.10 o 617 419.53/392.20 o 616 421.63/394.29 o 615 424.03/396.63 o 614 426.33/398.99 o 613 428.77/401.32 o 612 431.08/403.66 o 611 433.18/405.75 o 610 435.51/408.10 o 609 437.92/410.44 o 608 440.02/412.54 o 607 442.45/414.92 o 606 444.56/417.02 o 605 446.66/419.13 o 604 448.99/421.49 o 603 451.39/423.86 o 602 453.83/426.20 o 601 456.14/428.55 o 600 458.24/430.64 o 599 460.57/432.98 o 598 462.67/435.08 o 597 464.81/437.17 o 596 466.91/439.26 o 595 469.21/441.57 o 594 471.64/443.96 o 593 473.94/446.29 o 592 476.37/448.66 o 591 478.58/450.80 o 590 480.92/453.19 o 589 483.33/455.54 o 588 485.47/457.69 o 587 487.86/460.03 o 586 490.01/462.17 o 585 492.41/464.55 o 584 494.55/466.69 o 583 496.65/468.78 o 582 499.10/471.15 o 581 501.20/473.24 o 580 503.64/475.61 o 579 505.94/477.97 o 578 508.39/480.33 o 577 510.49/482.47 o 576 512.96/484.84 o 575 515.42/487.24 o 574 517.82/489.61 o 573 520.27/492.00 o 572 522.62/494.37 o 571 524.93/496.50 o 570 527.03/498.61 o 569 529.20/500.74 o 568 531.65/503.12 o 567 533.95/505.46 o 566 536.12/507.59 o 565 538.58/509.98 o 564 541.08/512.38 o 563 543.54/514.75 o 562 545.94/517.12 o 561 548.10/519.27 o 560 550.55/521.64 o 559 553.02/524.03 o 558 555.12/526.16 o 557 557.60/528.53 o 556 559.76/530.69 o 555 562.02/532.82 o 554 564.32/535.18 o 553 566.81/537.55 o 552 568.97/539.68 o 551 571.07/541.79 o 550 573.54/544.16 o 549 576.02/546.54 o 548 578.12/548.65 o 547 580.33/550.80 o 546 582.79/553.17 o 545 584.89/555.29 o 544 587.37/557.68 o 543 589.57/559.80 o 542 591.75/561.95 o 541 594.27/564.34 o 540 596.66/566.70 o 539 598.85/568.84 o 538 601.25/571.21 o 537 603.43/573.36 o 536 605.54/575.47 o 535 607.73/577.59 o 534 610.12/579.94 o 533 612.36/582.07 o 532 614.75/584.42 o 531 616.93/586.53 o 530 619.24/588.87 o 529 621.53/591.02 o 528 623.63/593.13 o 527 625.84/595.27 o 526 628.24/597.62 o 525 630.59/599.80 o 524 632.69/601.90 o 523 635.07/604.30 o 522 637.27/606.41 o 521 639.76/608.81 o 520 642.07/611.19 o 519 644.36/613.33 o 518 646.66/615.69 o 517 649.18/618.07 o 516 651.28/620.18 o 515 653.77/622.56 o 514 655.87/624.68 o 513 658.16/626.82 o 512 660.46/629.17 o 511 662.77/631.30 o 510 665.07/633.64 o 509 667.29/635.77 o 508 669.72/638.17 o 507 672.21/640.53 o 506 674.69/642.91 o 505 676.79/645.03 o 504 679.28/647.45 o 503 681.37/649.57 o 502 683.89/651.95 o 501 686.29/654.33 o 500 688.79/656.71 o 499 690.89/658.86 o 498 693.21/661.01 o 497 695.53/663.35 o 496 698.38/665.68 o 495 700.78/668.04 o 494 703.23/670.42 o 493 705.33/672.52 o 492 707.68/674.88 o 491 710.09/677.24 o 490 712.55/679.62 o 489 714.65/681.76 o 488 716.92/683.91 o 487 719.02/686.02 o 486 721.31/688.38 o 485 723.79/690.77 o 484 725.89/692.88 o 483 728.00/694.99 o 482 730.50/697.38 o 481 732.91/699.76 o 480 735.42/702.15 o 479 737.82/704.53 o 478 740.12/706.87 o 477 742.40/709.01 o 476 744.50/711.12 o 475 746.80/713.49 o 474 749.00/715.63 o 473 751.20/717.73 o 472 753.50/720.08 o 471 755.90/722.44 o 470 758.40/724.87 o 469 760.50/726.97 o 468 762.61/729.09 o 467 764.87/731.24 o 466 767.36/733.62 o 465 769.46/735.74 o 464 771.76/738.10 o 463 774.25/740.49 o 462 776.46/742.61 o 461 778.76/744.98 o 460 780.87/747.07 o 459 783.17/749.21 o 458 785.46/751.57 o 457 787.66/753.70 o 456 789.96/756.07 o 455 792.27/758.25 o 454 794.67/760.61 o 453 796.77/762.75 o 452 798.87/764.87 o 451 801.28/767.26 o 450 803.83/769.68 o 449 806.23/772.05 o 448 808.64/774.43 o 447 810.73/776.55 o 446 813.23/778.94 o 445 815.53/781.29 o 444 817.73/783.43 o 443 819.84/785.54 o 442 822.23/787.91 o 441 824.77/790.32 o 440 826.88/792.41 o 439 829.18/794.79 o 438 831.38/796.92 o 437 833.78/799.36 o 436 836.00/801.46 o 435 838.44/803.83 o 434 840.84/806.21 o 433 842.94/808.31 o 432 845.57/810.77 o 431 847.66/812.90 o 430 850.07/815.24 o 429 852.46/817.60 o 428 854.56/819.70 o 427 857.20/822.15 o 426 859.30/824.28 o 425 861.41/826.37 o 424 863.81/828.73 o 423 866.11/831.08 o 422 868.58/833.29 o 421 870.78/835.40 o 420 873.08/837.77 o 419 875.18/839.86 o 418 877.58/842.23 o 417 879.88/844.59 o 416 882.66/847.03 o 415 885.06/849.40 o 414 887.36/851.77 o 413 889.56/853.91 o 412 891.66/856.03 o 411 894.47/858.50 o 410 896.57/860.63 o 409 898.67/862.73 o 408 900.97/865.08 o 407 903.18/867.21 o 406 905.79/869.68 o 405 908.31/872.03 o 404 910.41/874.13 o 403 912.71/876.49 o 402 915.11/878.86 o 401 917.52/881.24 o 400 920.40/883.79 o 399 922.60/885.92 o 398 924.90/888.28 o 397 927.12/890.41 o 396 929.22/892.51 o 395 931.32/894.61 o 394 934.20/897.10 o 393 936.50/899.46 o 392 938.60/901.56 o 391 940.70/903.65 o 390 943.11/906.01 o 389 945.41/908.38 o 388 948.33/910.88 o 387 950.43/912.98 o 386 952.53/915.08 o 385 954.93/917.41 o 384 957.24/919.77 o 383 959.64/922.15 o 382 962.33/924.41 o 381 964.63/926.78 o 380 967.03/929.14 o 379 969.33/931.48 o 378 971.73/933.84 o 377 974.04/936.19 o 376 976.24/938.30 o 375 979.23/940.82 o 374 981.53/943.18 o 373 983.93/945.54 o 372 986.34/947.94 o 371 988.44/950.06 o 370 990.84/952.44 o 369 993.51/954.70 o 368 995.51/956.78 o 367 997.91/959.13 o 366 1000.31/961.49 o 365 1002.70/963.85 o 364 1004.81/965.97 o 363 1007.21/968.33 o 362 1010.09/970.80 o 361 1012.39/973.16 o 360 1014.49/975.28 o 359 1016.59/977.38 o 358 1018.69/979.48 o 357 1021.09/981.84 o 356 1023.67/984.07 o 355 1025.77/986.16 o 354 1028.17/988.54 o 353 1030.28/990.66 o 352 1032.38/992.74 o 351 1034.68/995.09 o 350 1036.88/997.20 o 349 1039.48/999.44 o 348 1041.78/1001.78 o 347 1043.88/1003.87 o 346 1045.98/1005.98 o 345 1048.09/1008.07 o 344 1050.49/1010.41 o 343 1053.39/1012.90 o 342 1055.49/1015.01 o 341 1057.59/1017.12 o 340 1059.89/1019.46 o 339 1061.99/1021.56 o 338 1064.40/1023.91 o 337 1066.70/1026.28 o 336 1069.40/1028.50 o 335 1071.70/1030.86 o 334 1073.81/1032.92 o 333 1075.90/1035.01 o 332 1078.00/1037.11 o 331 1080.31/1039.47 o 330 1083.04/1041.72 o 329 1085.34/1044.06 o 328 1087.44/1046.17 o 327 1089.53/1048.29 o 326 1091.94/1050.66 o 325 1094.04/1052.75 o 324 1096.34/1055.08 o 323 1099.26/1057.54 o 322 1101.36/1059.64 o 321 1103.46/1061.75 o 320 1105.76/1064.09 o 319 1107.86/1066.19 o 318 1110.26/1068.53 o 317 1112.90/1070.77 o 316 1115.44/1073.10 o 315 1117.55/1075.21 o 314 1119.85/1077.56 o 313 1122.25/1079.90 o 312 1124.27/1081.99 o 311 1127.19/1084.46 o 310 1129.30/1086.58 o 309 1131.40/1088.66 o 308 1133.50/1090.75 o 307 1135.80/1093.09 o 306 1138.20/1095.42 o 305 1140.84/1097.66 o 304 1143.16/1099.99 o 303 1145.57/1102.31 o 302 1147.86/1104.63 o 301 1150.16/1106.97 o 300 1152.56/1109.30 o 299 1155.41/1111.78 o 298 1157.51/1113.88 o 297 1159.91/1116.21 o 296 1162.01/1118.31 o 295 1164.11/1120.40 o 294 1166.42/1122.74 o 293 1168.72/1125.07 o 292 1171.45/1127.31 o 291 1173.45/1129.39 o 290 1175.57/1131.49 o 289 1177.97/1133.84 o 288 1180.26/1136.17 o 287 1182.39/1138.26 o 286 1185.34/1140.74 o 285 1187.43/1142.87 o 284 1189.53/1144.96 o 283 1191.83/1147.30 o 282 1194.24/1149.64 o 281 1196.34/1151.75 o 280 1198.98/1153.98 o 279 1201.37/1156.31 o 278 1203.48/1158.42 o 277 1205.58/1160.51 o 276 1207.88/1162.86 o 275 1209.98/1164.98 o 274 1212.70/1167.22 o 273 1215.02/1169.58 o 272 1217.14/1171.67 o 271 1219.53/1174.01 o 270 1221.84/1176.37 o 269 1223.94/1178.47 o 268 1226.05/1180.58 o 267 1228.79/1182.83 o 266 1230.89/1184.92 o 265 1233.20/1187.28 o 264 1235.60/1189.63 o 263 1237.70/1191.74 o 262 1239.80/1193.83 o 261 1242.44/1196.07 o 260 1244.84/1198.41 o 259 1246.94/1200.52 o 258 1249.04/1202.62 o 257 1251.15/1204.74 o 256 1253.55/1207.10 o 255 1256.50/1209.60 o 254 1258.50/1211.69 o 253 1260.60/1213.78 o 252 1262.70/1215.87 o 251 1265.10/1218.22 o 250 1267.20/1220.32 o 249 1269.31/1222.42 o 248 1272.24/1224.91 o 247 1274.54/1227.24 o 246 1276.84/1229.57 o 245 1278.94/1231.66 o 244 1281.04/1233.74 o 243 1283.14/1235.82 o 242 1285.80/1238.03 o 241 1288.10/1240.34 o 240 1290.20/1242.43 o 239 1292.50/1244.77 o 238 1294.90/1247.11 o 237 1297.20/1249.45 o 236 1300.14/1251.92 o 235 1302.44/1254.25 o 234 1304.74/1256.59 o 233 1307.14/1258.93 o 232 1309.24/1261.04 o 231 1311.35/1263.13 o 230 1313.45/1265.20 o 229 1316.29/1267.67 o 228 1318.69/1270.04 o 227 1320.79/1272.13 o 226 1322.92/1274.21 o 225 1325.22/1276.56 o 224 1327.63/1278.90 o 223 1330.94/1281.32 o 222 1333.05/1283.40 o 221 1335.35/1285.75 o 220 1337.65/1288.09 o 219 1339.85/1290.21 o 218 1342.15/1292.56 o 217 1344.32/1294.66 o 216 1346.42/1296.73 o 215 1348.72/1299.03 o 214 1351.03/1301.36 o 213 1353.12/1303.45 o 212 1355.53/1305.81 o 211 1358.02/1308.20 o 210 1360.03/1310.29 o 209 1362.42/1312.64 o 208 1364.53/1314.73 o 207 1366.83/1317.06 o 206 1368.93/1319.15 o 205 1371.23/1321.48 o 204 1373.75/1323.86 o 203 1376.16/1326.21 o 202 1378.46/1328.57 o 201 1380.56/1330.68 o 200 1382.66/1332.77 o 199 1384.76/1334.88 o 198 1387.31/1337.25 o 197 1389.61/1339.59 o 196 1392.01/1341.92 o 195 1394.01/1343.99 o 194 1396.41/1346.33 o 193 1398.51/1348.41 o 192 1400.97/1350.80 o 191 1403.38/1353.17 o 190 1405.77/1355.53 o 189 1407.87/1357.62 o 188 1410.17/1359.97 o 187 1412.27/1362.08 o 186 1414.86/1364.48 o 185 1417.26/1366.81 o 184 1419.56/1369.17 o 183 1421.67/1371.28 o 182 1424.07/1373.62 o 181 1426.37/1375.98 o 180 1428.77/1378.16 o 179 1431.18/1380.51 o 178 1433.48/1382.84 o 177 1435.78/1385.19 o 176 1437.89/1387.30 o 175 1439.99/1389.37 o 174 1442.71/1391.80 o 173 1445.01/1394.16 o 172 1447.11/1396.25 o 171 1449.41/1398.58 o 170 1451.52/1400.68 o 169 1453.62/1402.77 o 168 1455.72/1404.87 o 167 1458.47/1407.31 o 166 1460.47/1409.38 o 165 1462.88/1411.72 o 164 1464.98/1413.81 o 163 1467.28/1416.18 o 162 1469.38/1418.28 o 161 1472.15/1420.72 o 160 1474.26/1422.85 o 159 1476.36/1424.96 o 158 1478.46/1427.06 o 157 1480.56/1429.14 o 156 1482.86/1431.47 o 155 1484.96/1433.60 o 154 1487.46/1435.79 o 153 1489.57/1437.88 o 152 1491.67/1439.99 o 151 1493.77/1442.07 o 150 1496.18/1444.42 o 149 1498.47/1446.77 o 148 1501.01/1448.96 o 147 1503.11/1451.05 o 146 1505.21/1453.13 o 145 1507.51/1455.45 o 144 1509.61/1457.55 o 143 1511.71/1459.65 o 142 1514.01/1461.99 o 141 1516.57/1464.20 o 140 1518.78/1466.31 o 139 1520.88/1468.42 o 138 1522.99/1470.51 o 137 1525.29/1472.86 o 136 1527.39/1474.96 o 135 1530.27/1477.44 o 134 1532.57/1479.78 o 133 1534.97/1482.13 o 132 1537.07/1484.24 o 131 1539.37/1486.59 o 130 1541.77/1488.93 o 129 1543.87/1491.04 o 128 1546.68/1493.48 o 127 1548.98/1495.78 o 126 1551.28/1498.08 o 125 1553.69/1500.40 o 124 1555.68/1502.50 o 123 1557.79/1504.56 o 122 1560.09/1506.88 o 121 1563.03/1509.33 o 120 1565.13/1511.41 o 119 1567.43/1513.71 o 118 1569.72/1516.02 o 117 1571.73/1518.05 o 116 1574.03/1520.35 o 115 1576.33/1522.67 o 114 1578.97/1524.88 o 113 1581.28/1527.19 o 112 1583.68/1529.51 o 111 1585.68/1531.58 o 110 1587.98/1533.89 o 109 1590.38/1536.21 o 108 1592.48/1538.30 o 107 1595.12/1540.51 o 106 1597.12/1542.57 o 105 1599.42/1544.88 o 104 1601.82/1547.21 o 103 1603.83/1549.29 o 102 1605.93/1551.35 o 101 1608.23/1553.66 o 100 1611.17/1556.10 o 99 1613.17/1558.18 o 98 1615.47/1560.49 o 97 1617.58/1562.56 o 96 1619.68/1564.61 o 95 1621.88/1566.89 o 94 1624.18/1569.19 o 93 1627.13/1571.64 o 92 1629.43/1573.96 o 91 1631.53/1576.02 o 90 1633.63/1578.10 o 89 1635.93/1580.43 o 88 1638.03/1582.52 o 87 1640.33/1584.83 o 86 1642.99/1587.02 o 85 1644.99/1589.06 o 84 1647.29/1591.36 o 83 1649.59/1593.67 o 82 1651.89/1595.99 o 81 1653.99/1598.07 o 80 1656.29/1600.39 o 79 1659.25/1602.86 o 78 1661.35/1604.93 o 77 1663.65/1607.25 o 76 1665.65/1609.30 o 75 1667.75/1611.35 o 74 1669.85/1613.42 o 73 1672.16/1615.70 o 72 1675.02/1618.16 o 71 1677.32/1620.46 o 70 1679.42/1622.53 o 69 1681.72/1624.84 o 68 1684.01/1627.16 o 67 1686.12/1629.23 o 66 1688.13/1631.29 o 65 1690.97/1633.51 o 64 1693.14/1635.59 o 63 1695.45/1637.89 o 62 1697.56/1639.96 o 61 1699.66/1642.02 o 60 1701.66/1644.09 o 59 1703.96/1646.37 o 58 1706.62/1648.56 o 57 1708.72/1650.62 o 56 1711.02/1652.91 o 55 1713.32/1655.22 o 54 1715.62/1657.54 o 53 1717.72/1659.62 o 52 1720.03/1661.95 o 51 1723.00/1664.42 o 50 1724.99/1666.49 o 49 1727.30/1668.79 o 48 1729.39/1670.87 o 47 1731.49/1672.94 o 46 1733.50/1674.98 o 45 1735.80/1677.29 o 44 1738.57/1679.53 o 43 1740.87/1681.84 o 42 1743.17/1684.16 o 41 1745.48/1686.47 o 40 1747.77/1688.79 o 39 1750.17/1691.11 o 38 1752.28/1693.20 o 37 1754.94/1695.41 o 36 1757.24/1697.70 o 35 1759.24/1699.77 o 34 1761.54/1702.08 o 33 1763.84/1704.39 o 32 1765.95/1706.44 o 31 1767.95/1708.49 o 30 1770.92/1710.93 o 29 1773.22/1713.24 o 28 1775.52/1715.56 o 27 1777.62/1717.64 o 26 1779.72/1719.71 o 25 1782.02/1722.02 o 24 1784.02/1724.09 o 23 1786.99/1726.53 o 22 1789.29/1728.82 o 21 1791.29/1730.88 o 20 1793.59/1733.15 o 19 1795.70/1735.20 o 18 1798.00/1737.52 o 17 1800.85/1740.05 o 16 1803.08/1742.12 o 15 1805.38/1744.47 o 14 1807.48/1746.54 o 13 1809.58/1748.60 o 12 1811.89/1750.92 o 11 1814.19/1753.24 o 10 1816.29/1755.30 o 9 1818.96/1757.52 o 8 1821.26/1759.81 o 7 1823.56/1762.15 o 6 1825.87/1764.47 o 5 2520.00/2453.30 java.util.concurrent.TimeoutException 2520.00/2453.30 at concrete.MAC.mac(MAC.scala:74) 2520.00/2453.30 at concrete.MAC.$anonfun$oneRun$1(MAC.scala:145) 2520.00/2453.30 at scala.util.Try$.apply(Try.scala:209) 2520.00/2453.30 at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194) 2520.00/2453.30 at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182) 2520.00/2453.30 at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12) 2520.00/2453.30 at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61) 2520.00/2453.30 at org.scalameter.Measurer$Default.measure(Measurer.scala:131) 2520.00/2453.30 at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51) 2520.00/2453.30 at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61) 2520.00/2453.30 at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181) 2520.00/2453.30 at cspom.StatisticsManager$.measure(StatisticsManager.scala:194) 2520.00/2453.30 at concrete.MAC.oneRun(MAC.scala:146) 2520.00/2453.30 at concrete.MAC.nextSolution(MAC.scala:166) 2520.00/2453.30 at concrete.MAC.$anonfun$nextSolution$2(MAC.scala:196) 2520.00/2453.30 at concrete.ProblemState.map(ProblemState.scala:203) 2520.00/2453.30 at concrete.ProblemState.map(ProblemState.scala:188) 2520.00/2453.30 at concrete.MAC.nextSolution(MAC.scala:195) 2520.00/2453.30 at concrete.Solver.hasNext(Solver.scala:202) 2520.00/2453.30 at scala.collection.Iterator.toStream(Iterator.scala:1403) 2520.00/2453.30 at scala.collection.Iterator.toStream$(Iterator.scala:1402) 2520.00/2453.30 at concrete.Solver.toStream(Solver.scala:73) 2520.00/2453.30 at scala.collection.Iterator.$anonfun$toStream$1(Iterator.scala:1403) 2520.00/2453.30 at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1169) 2520.00/2453.30 at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1159) 2520.00/2453.30 at scala.collection.immutable.Stream.foreach(Stream.scala:531) 2520.00/2453.30 at concrete.runner.ConcreteRunner.$anonfun$run$10(ConcreteRunner.scala:157) 2520.00/2453.30 at scala.util.Success.$anonfun$map$1(Try.scala:251) 2520.00/2453.30 at scala.util.Success.map(Try.scala:209) 2520.00/2453.30 at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:154) 2520.00/2453.30 at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:72) 2520.00/2453.30 at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:17) 2520.00/2453.30 at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:119) 2520.00/2453.30 at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:17) 2520.00/2453.30 at scala.Function0.apply$mcV$sp(Function0.scala:34) 2520.00/2453.30 at scala.Function0.apply$mcV$sp$(Function0.scala:34) 2520.00/2453.30 at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12) 2520.00/2453.30 at scala.App.$anonfun$main$1$adapted(App.scala:76) 2520.00/2453.30 at scala.collection.immutable.List.foreach(List.scala:389) 2520.00/2453.30 at scala.App.main(App.scala:76) 2520.00/2453.30 at scala.App.main$(App.scala:74) 2520.00/2453.30 at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:17) 2520.00/2453.30 at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala) 2520.00/2453.31 v <instantiation cost="5"> 2520.00/2453.31 v <list> 2520.00/2453.31 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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[31][32] x[31][33] x[31][34] x[31][35] x[31][36] x[31][37] x[31][38] x[31][39] x[32][33] x[32][34] x[32][35] x[32][36] x[32][37] x[32][38] x[32][39] x[33][34] x[33][35] x[33][36] x[33][37] x[33][38] x[33][39] x[34][35] x[34][36] x[34][37] x[34][38] x[34][39] x[35][36] x[35][37] x[35][38] x[35][39] x[36][37] x[36][38] x[36][39] x[37][38] x[37][39] x[38][39] 2520.00/2453.31 v </list> 2520.00/2453.31 v <values> 2520.00/2453.31 v 5 4 1 5 5 3 1 4 5 3 3 4 2 1 4 4 3 3 3 1 2 2 5 2 4 5 2 3 2 2 5 4 3 4 4 3 2 5 5 4 0 2 3 1 3 3 4 3 4 1 5 5 5 0 5 4 5 3 4 5 2 1 5 4 5 2 2 2 2 3 3 4 2 4 3 3 4 4 4 5 4 5 3 2 3 5 3 2 4 5 1 1 3 4 4 3 3 3 4 0 5 5 3 2 5 1 2 4 5 3 3 5 2 3 5 3 1 4 4 2 3 3 3 4 3 4 4 3 4 2 3 5 5 4 5 2 5 3 5 2 2 5 4 5 2 4 3 2 4 5 4 5 5 3 2 5 5 4 4 3 5 4 4 4 5 5 2 4 3 2 5 3 2 4 3 0 1 4 3 4 4 3 1 2 1 5 4 1 3 5 4 1 1 4 4 5 2 3 3 2 5 3 4 4 3 4 2 5 3 4 3 5 5 3 0 4 4 2 4 4 5 5 0 4 5 4 5 4 2 2 5 1 3 3 3 4 3 2 4 1 1 1 2 3 1 2 3 5 4 5 4 4 5 4 2 3 3 1 0 2 5 4 3 4 4 4 5 5 2 4 3 4 5 2 3 5 5 5 2 3 2 0 2 5 3 5 3 2 2 2 3 3 4 0 5 4 5 2 2 4 3 4 1 1 5 3 0 2 4 1 1 5 4 2 4 4 5 3 4 3 5 2 5 2 5 1 3 5 4 5 5 3 3 3 4 5 2 4 2 1 3 5 4 4 2 4 1 5 4 4 3 5 4 1 1 4 2 5 4 3 4 5 1 3 4 4 2 2 4 2 4 5 1 2 5 3 5 2 4 4 1 4 4 5 3 0 3 4 1 4 2 3 2 3 4 5 3 5 2 3 5 5 3 4 2 1 2 2 4 5 1 5 5 5 3 5 2 5 3 2 5 3 4 5 2 4 4 4 4 1 3 3 2 3 4 4 5 1 3 5 4 5 4 3 1 3 2 1 5 2 5 2 1 5 5 3 5 4 3 1 5 2 4 5 2 4 5 4 5 4 3 5 5 2 5 4 2 3 1 3 2 4 5 3 3 5 4 2 3 2 2 4 5 4 1 3 5 5 3 3 3 2 3 1 3 5 5 3 3 3 0 5 5 1 2 2 4 4 4 2 1 3 5 4 5 2 3 5 2 1 5 2 4 1 3 5 1 5 2 3 3 3 5 0 3 4 3 4 5 4 5 2 5 5 3 4 2 3 1 2 1 5 3 4 5 1 2 2 1 1 0 3 4 5 2 1 5 3 4 4 3 5 2 2 5 4 2 3 5 3 2 4 3 2 3 3 5 3 3 5 4 2 2 4 4 2 5 5 1 4 2 1 3 1 5 2 4 5 2 4 3 5 4 0 5 4 1 4 4 2 4 1 2 5 4 2 3 4 2 5 4 5 3 4 3 5 1 4 4 1 5 3 3 2 4 5 5 3 3 2 4 3 4 4 5 3 2 5 3 1 4 1 1 4 2 5 3 1 5 4 1 2 5 5 2 4 4 5 5 4 4 4 2 3 4 2 3 4 5 3 3 2 0 3 4 3 5 4 3 5 5 4 3 4 5 4 4 3 2 0 5 5 5 5 2 5 5 0 4 4 3 1 0 1 4 1 4 1 3 4 3 1 4 5 4 3 1 5 5 4 4 4 4 3 1 4 5 5 3 3 4 5 5 2 3 2 5 4 4 2 4 4 2 4 3 0 5 2 5 3 2520.00/2453.31 v </values> 2520.00/2453.31 v </instantiation> 2520.00/2453.31 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-4262767-1502490946/watcher-4262767-1502490946 -o /tmp/evaluation-result-4262767-1502490946/solver-4262767-1502490946 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1502411438-1524 --watchdog 2580 bin/concrete HOME/instance-4262767-1502490946.xml pid=23651 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 1.68 1.65 1.59 2/198 23654 /proc/meminfo: memFree=27186600/32770624 swapFree=0/580332 [pid=23654] ppid=23651 vsize=23672 CPUtime=0 cores=1,3,5,7 /proc/23654/stat : 23654 (runsolver) D 23651 23654 1460 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 96600926 24240128 108 18446744073709551615 4194304 4338465 140724363378736 140724363376376 140217698955991 0 0 1 24578 18446744071580418449 0 0 17 7 0 0 0 0 0 6438912 6441760 9052160 140724363387089 140724363387465 140724363387465 140724363390922 0 /proc/23654/statm: 5918 108 54 36 0 2156 0 [startup+0.100155 s] /proc/loadavg: 1.68 1.65 1.59 2/198 23654 /proc/meminfo: memFree=27186600/32770624 swapFree=0/580332 [pid=23654] ppid=23651 vsize=9508 CPUtime=0 cores=1,3,5,7 /proc/23654/stat : 23654 (bash) S 23651 23654 1460 0 -1 4202496 649 0 0 0 0 0 0 0 20 0 1 0 96600926 9736192 351 18446744073709551615 4194304 5098028 140727458369376 140727458367016 139977073224704 0 0 5 65536 18446744071580971376 0 0 17 3 0 0 9 0 0 7196144 7232144 16461824 140727458374164 140727458374249 140727458374249 140727458377706 0 /proc/23654/statm: 2377 351 278 221 0 86 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9508 [startup+0.200284 s] /proc/loadavg: 1.68 1.65 1.59 2/198 23654 /proc/meminfo: memFree=27186600/32770624 swapFree=0/580332 [pid=23654] ppid=23651 vsize=9636 CPUtime=0.01 cores=1,3,5,7 /proc/23654/stat : 23654 (bash) S 23651 23654 1460 0 -1 4202496 891 6483 0 0 0 0 0 1 20 0 1 0 96600926 9867264 377 18446744073709551615 4194304 5098028 140727458369376 140727458363384 139977073224704 0 0 5 65536 18446744071580971376 0 0 17 3 0 0 9 0 0 7196144 7232144 16461824 140727458374164 140727458374249 140727458374249 140727458377706 0 /proc/23654/statm: 2409 377 296 221 0 118 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 9636 [startup+0.300216 s] /proc/loadavg: 1.68 1.65 1.59 2/198 23654 /proc/meminfo: memFree=27186600/32770624 swapFree=0/580332 [pid=23654] ppid=23651 vsize=13907308 CPUtime=0.13 cores=1,3,5,7 /proc/23654/stat : 23654 (java) S 23651 23654 1460 0 -1 1077944320 5823 12361 0 0 5 1 5 2 20 0 14 0 96600926 14241083392 5502 18446744073709551615 4194304 4196468 140728856105056 140728856087600 140604863614711 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 39182336 140728856106960 140728856109745 140728856109745 140728856113103 0 /proc/23654/statm: 3476827 5502 2548 1 0 3466324 0 Current children cumulated CPU time (s) 0.13 Current children cumulated vsize (KiB) 13907308 [startup+0.705016 s] /proc/loadavg: 1.68 1.65 1.59 2/198 23654 /proc/meminfo: memFree=27186600/32770624 swapFree=0/580332 [pid=23654] ppid=23651 vsize=13974784 CPUtime=0.63 cores=1,3,5,7 /proc/23654/stat : 23654 (java) S 23651 23654 1460 0 -1 1077944320 13800 12361 0 0 52 4 5 2 20 0 15 0 96600926 14310178816 14247 18446744073709551615 4194304 4196468 140728856105056 140728856087600 140604863614711 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 39182336 140728856106960 140728856109745 140728856109745 140728856113103 0 /proc/23654/statm: 3493696 14247 3118 1 0 3482965 0 Current children cumulated CPU time (s) 0.63 Current children cumulated vsize (KiB) 13974784 [startup+1.50054 s] /proc/loadavg: 1.68 1.65 1.59 3/213 23717 /proc/meminfo: memFree=27094372/32770624 swapFree=0/580624 [pid=23654] ppid=23651 vsize=13985408 CPUtime=1.85 cores=1,3,5,7 /proc/23654/stat : 23654 (java) S 23651 23654 1460 0 -1 1077944320 26965 12361 0 0 170 8 5 2 20 0 15 0 96600926 14321057792 33851 18446744073709551615 4194304 4196468 140728856105056 140728856087600 140604863614711 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 39182336 140728856106960 140728856109745 140728856109745 140728856113103 0 /proc/23654/statm: 3496352 33851 3339 1 0 3485525 0 [pid=23654/tid=23704] ppid=23651 vsize=13985408 CPUtime=1.27 cores=1,3,5,7 /proc/23654/task/23704/stat : 23704 (java) R 23651 23654 1460 0 -1 4202560 21845 12361 0 0 114 6 5 2 20 0 15 0 96600949 14321057792 33851 18446744073709551615 4194304 4196468 140728856105056 140604867845776 140604495441165 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 39182336 140728856106960 140728856109745 140728856109745 140728856113103 0 [pid=23654/tid=23705] ppid=23651 vsize=13985408 CPUtime=0.07 cores=1,3,5,7 /proc/23654/task/23705/stat : 23705 (java) S 23651 23654 1460 0 -1 1077944384 1 12361 0 0 0 0 5 2 20 0 15 0 96600950 14321057792 33851 18446744073709551615 4194304 4196468 140728856105056 140604820580752 140604863624917 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39182336 140728856106960 140728856109745 140728856109745 140728856113103 0 [pid=23654/tid=23706] ppid=23651 vsize=13985408 CPUtime=0.07 cores=1,3,5,7 /proc/23654/task/23706/stat : 23706 (java) S 23651 23654 1460 0 -1 1077944384 1 12361 0 0 0 0 5 2 20 0 15 0 96600950 14321057792 33851 18446744073709551615 4194304 4196468 140728856105056 140604819527952 140604863624917 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39182336 140728856106960 140728856109745 140728856109745 140728856113103 0 [pid=23654/tid=23707] ppid=23651 vsize=13985408 CPUtime=0.07 cores=1,3,5,7 /proc/23654/task/23707/stat : 23707 (java) S 23651 23654 1460 0 -1 1077944384 1 12361 0 0 0 0 5 2 20 0 15 0 96600950 14321057792 33851 18446744073709551615 4194304 4196468 140728856105056 140604818475664 140604863624917 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39182336 140728856106960 140728856109745 140728856109745 140728856113103 0 [pid=23654/tid=23708] ppid=23651 vsize=13985408 CPUtime=0.07 cores=1,3,5,7 /proc/23654/task/23708/stat : 23708 (java) S 23651 23654 1460 0 -1 1077944384 2 12361 0 0 0 0 5 2 20 0 15 0 96600950 14321057792 33851 18446744073709551615 4194304 4196468 140728856105056 140604817422864 140604863624917 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39182336 140728856106960 140728856109745 140728856109745 140728856113103 0 [pid=23654/tid=23709] ppid=23651 vsize=13985408 CPUtime=0.07 cores=1,3,5,7 /proc/23654/task/23709/stat : 23709 (java) S 23651 23654 1460 0 -1 1077944384 5 12361 0 0 0 0 5 2 20 0 15 0 96600951 14321057792 33851 18446744073709551615 4194304 4196468 140728856105056 140604341205616 140604863625858 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39182336 140728856106960 140728856109745 140728856109745 140728856113103 0 [pid=23654/tid=23710] ppid=23651 vsize=13985408 CPUtime=0.07 cores=1,3,5,7 /proc/23654/task/23710/stat : 23710 (java) S 23651 23654 1460 0 -1 1077944384 33 12361 0 0 0 0 5 2 20 0 15 0 96600952 14321057792 33851 18446744073709551615 4194304 4196468 140728856105056 140604340151584 140604863624917 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39182336 140728856106960 140728856109745 140728856109745 140728856113103 0 [pid=23654/tid=23711] ppid=23651 vsize=13985408 CPUtime=0.07 cores=1,3,5,7 /proc/23654/task/23711/stat : 23711 (java) S 23651 23654 1460 0 -1 1077944384 21 12361 0 0 0 0 5 2 20 0 15 0 96600952 14321057792 33851 18446744073709551615 4194304 4196468 140728856105056 140604339099248 140604863624917 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39182336 140728856106960 140728856109745 140728856109745 140728856113103 0 [pid=23654/tid=23712] ppid=23651 vsize=13985408 CPUtime=0.07 cores=1,3,5,7 /proc/23654/task/23712/stat : 23712 (java) S 23651 23654 1460 0 -1 1077944384 3 12361 0 0 0 0 5 2 20 0 15 0 96600955 14321057792 33851 18446744073709551615 4194304 4196468 140728856105056 140604338047568 140604863633307 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39182336 140728856106960 140728856109745 140728856109745 140728856113103 0 [pid=23654/tid=23713] ppid=23651 vsize=13985408 CPUtime=0.24 cores=1,3,5,7 /proc/23654/task/23713/stat : 23713 (java) S 23651 23654 1460 0 -1 1077944384 778 12361 0 0 17 0 5 2 20 0 15 0 96600955 14321057792 33851 18446744073709551615 4194304 4196468 140728856105056 140604336994416 140604863625858 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39182336 140728856106960 140728856109745 140728856109745 140728856113103 0 [pid=23654/tid=23714] ppid=23651 vsize=13985408 CPUtime=0.23 cores=1,3,5,7 /proc/23654/task/23714/stat : 23714 (java) S 23651 23654 1460 0 -1 1077944384 1157 12361 0 0 16 0 5 2 20 0 15 0 96600955 14321057792 33851 18446744073709551615 4194304 4196468 140728856105056 140604335941616 140604863625858 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39182336 140728856106960 140728856109745 140728856109745 140728856113103 0 [pid=23654/tid=23715] ppid=23651 vsize=13985408 CPUtime=0.29 cores=1,3,5,7 /proc/23654/task/23715/stat : 23715 (java) S 23651 23654 1460 0 -1 1077944384 954 12361 0 0 22 0 5 2 20 0 15 0 96600955 14321057792 33851 18446744073709551615 4194304 4196468 140728856105056 140604334889328 140604863625858 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39182336 140728856106960 140728856109745 140728856109745 140728856113103 0 [pid=23654/tid=23716] ppid=23651 vsize=13985408 CPUtime=0.07 cores=1,3,5,7 /proc/23654/task/23716/stat : 23716 (java) S 23651 23654 1460 0 -1 1077944384 3 12361 0 0 0 0 5 2 20 0 15 0 96600955 14321057792 33851 18446744073709551615 4194304 4196468 140728856105056 140604333836768 140604863624917 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39182336 140728856106960 140728856109745 140728856109745 140728856113103 0 [pid=23654/tid=23717] ppid=23651 vsize=13985408 CPUtime=0.07 cores=1,3,5,7 /proc/23654/task/23717/stat : 23717 (java) S 23651 23654 1460 0 -1 1077944384 10 12361 0 0 0 0 5 2 20 0 15 0 96600960 14321057792 33851 18446744073709551615 4194304 4196468 140728856105056 140604332784560 140604863625858 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39182336 140728856106960 140728856109745 140728856109745 140728856113103 0 Current children cumulated CPU time (s) 1.85 Current children cumulated vsize (KiB) 13985408 [startup+3.10156 s] /proc/loadavg: 1.68 1.65 1.59 5/213 23717 /proc/meminfo: memFree=27016632/32770624 swapFree=0/580624 [pid=23654] ppid=23651 vsize=13995836 CPUtime=6.19 cores=1,3,5,7 /proc/23654/stat : 23654 (java) S 23651 23654 1460 0 -1 1077944320 43110 12361 0 0 596 16 5 2 20 0 15 0 96600926 14331736064 71155 18446744073709551615 4194304 4196468 140728856105056 140728856087600 140604863614711 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 39182336 140728856106960 140728856109745 140728856109745 140728856113103 0 /proc/23654/statm: 3498959 71155 3466 1 0 3487573 0 [pid=23654/tid=23704] ppid=23651 vsize=13995836 CPUtime=2.82 cores=1,3,5,7 /proc/23654/task/23704/stat : 23704 (java) R 23651 23654 1460 0 -1 4202560 27584 12361 0 0 267 8 5 2 20 0 15 0 96600949 14331736064 71155 18446744073709551615 4194304 4196468 140728856105056 140604867843744 140604504852263 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 39182336 140728856106960 140728856109745 140728856109745 140728856113103 0 [pid=23654/tid=23705] ppid=23651 vsize=13995836 CPUtime=0.08 cores=1,3,5,7 /proc/23654/task/23705/stat : 23705 (java) S 23651 23654 1460 0 -1 1077944384 88 12361 0 0 1 0 5 2 20 0 15 0 96600950 14331736064 71155 18446744073709551615 4194304 4196468 140728856105056 140604820580752 140604863624917 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39182336 140728856106960 140728856109745 140728856109745 140728856113103 0 [pid=23654/tid=23706] ppid=23651 vsize=13995836 CPUtime=0.08 cores=1,3,5,7 /proc/23654/task/23706/stat : 23706 (java) S 23651 23654 1460 0 -1 1077944384 52 12361 0 0 1 0 5 2 20 0 15 0 96600950 14331736064 71155 18446744073709551615 4194304 4196468 140728856105056 140604819527952 140604863624917 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39182336 140728856106960 140728856109745 140728856109745 140728856113103 0 [pid=23654/tid=23707] ppid=23651 vsize=13995836 CPUtime=0.08 cores=1,3,5,7 /proc/23654/task/23707/stat : 23707 (java) S 23651 23654 1460 0 -1 1077944384 81 12361 0 0 1 0 5 2 20 0 15 0 96600950 14331736064 71155 18446744073709551615 4194304 4196468 140728856105056 140604818475664 140604863624917 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39182336 140728856106960 140728856109745 140728856109745 140728856113103 0 [pid=23654/tid=23708] ppid=23651 vsize=13995836 CPUtime=0.08 cores=1,3,5,7 /proc/23654/task/23708/stat : 23708 (java) S 23651 23654 1460 0 -1 1077944384 323 12361 0 0 1 0 5 2 20 0 15 0 96600950 14331736064 71155 18446744073709551615 4194304 4196468 140728856105056 140604817422864 140604863624917 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39182336 140728856106960 140728856109745 140728856109745 140728856113103 0 [pid=23654/tid=23709] ppid=23651 vsize=13995836 CPUtime=0.08 cores=1,3,5,7 /proc/23654/task/23709/stat : 23709 (java) S 23651 23654 1460 0 -1 1077944384 2025 12361 0 0 1 0 5 2 20 0 15 0 96600951 14331736064 71155 18446744073709551615 4194304 4196468 140728856105056 140604341205616 140604863625858 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39182336 140728856106960 140728856109745 140728856109745 140728856113103 0 [pid=23654/tid=23710] ppid=23651 vsize=13995836 CPUtime=0.07 cores=1,3,5,7 /proc/23654/task/23710/stat : 23710 (java) S 23651 23654 1460 0 -1 1077944384 55 12361 0 0 0 0 5 2 20 0 15 0 96600952 14331736064 71155 18446744073709551615 4194304 4196468 140728856105056 140604340151648 140604863624917 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39182336 140728856106960 140728856109745 140728856109745 140728856113103 0 [pid=23654/tid=23711] ppid=23651 vsize=13995836 CPUtime=0.07 cores=1,3,5,7 /proc/23654/task/23711/stat : 23711 (java) S 23651 23654 1460 0 -1 1077944384 43 12361 0 0 0 0 5 2 20 0 15 0 96600952 14331736064 71155 18446744073709551615 4194304 4196468 140728856105056 140604339099264 140604863624917 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39182336 140728856106960 140728856109745 140728856109745 140728856113103 0 [pid=23654/tid=23712] ppid=23651 vsize=13995836 CPUtime=0.07 cores=1,3,5,7 /proc/23654/task/23712/stat : 23712 (java) S 23651 23654 1460 0 -1 1077944384 3 12361 0 0 0 0 5 2 20 0 15 0 96600955 14331736064 71155 18446744073709551615 4194304 4196468 140728856105056 140604338047568 140604863633307 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39182336 140728856106960 140728856109745 140728856109745 140728856113103 0 [pid=23654/tid=23713] ppid=23651 vsize=13995836 CPUtime=1.11 cores=1,3,5,7 /proc/23654/task/23713/stat : 23713 (java) R 23651 23654 1460 0 -1 4202560 2465 12361 0 0 103 1 5 2 20 0 15 0 96600955 14331736064 71155 18446744073709551615 4194304 4196468 140728856105056 140604336980440 140604848738531 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 39182336 140728856106960 140728856109745 140728856109745 140728856113103 0 [pid=23654/tid=23714] ppid=23651 vsize=13995836 CPUtime=1.22 cores=1,3,5,7 /proc/23654/task/23714/stat : 23714 (java) R 23651 23654 1460 0 -1 4202560 4591 12361 0 0 114 1 5 2 20 0 15 0 96600955 14331736064 71155 18446744073709551615 4194304 4196468 140728856105056 140604335931744 140604848493136 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39182336 140728856106960 140728856109745 140728856109745 140728856113103 0 [pid=23654/tid=23715] ppid=23651 vsize=13995836 CPUtime=1.07 cores=1,3,5,7 /proc/23654/task/23715/stat : 23715 (java) S 23651 23654 1460 0 -1 1077944384 3633 12361 0 0 99 1 5 2 20 0 15 0 96600955 14331736064 71155 18446744073709551615 4194304 4196468 140728856105056 140604334889328 140604863625858 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39182336 140728856106960 140728856109745 140728856109745 140728856113103 0 [pid=23654/tid=23716] ppid=23651 vsize=13995836 CPUtime=0.07 cores=1,3,5,7 /proc/23654/task/23716/stat : 23716 (java) S 23651 23654 1460 0 -1 1077944384 3 12361 0 0 0 0 5 2 20 0 15 0 96600955 14331736064 71155 18446744073709551615 4194304 4196468 140728856105056 140604333836768 140604863624917 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39182336 140728856106960 140728856109745 140728856109745 140728856113103 0 [pid=23654/tid=23717] ppid=23651 vsize=13995836 CPUtime=0.07 cores=1,3,5,7 /proc/23654/task/23717/stat : 23717 (java) S 23651 23654 1460 0 -1 1077944384 13 12361 0 0 0 0 5 2 20 0 15 0 96600960 14331736064 71155 18446744073709551615 4194304 4196468 140728856105056 140604332784560 140604863625858 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39182336 140728856106960 140728856109745 140728856109745 140728856113103 0 Current children cumulated CPU time (s) 6.19 Current children cumulated vsize (KiB) 13995836 [startup+6.30157 s] /proc/loadavg: 1.87 1.69 1.61 3/213 23717 /proc/meminfo: memFree=26781744/32770624 swapFree=0/580616 [pid=23654] ppid=23651 vsize=13997884 CPUtime=14.41 cores=1,3,5,7 /proc/23654/stat : 23654 (java) S 23651 23654 1460 0 -1 1077944320 64887 12361 0 0 1395 39 5 2 20 0 15 0 96600926 14333833216 154152 18446744073709551615 4194304 4196468 140728856105056 140728856087600 140604863614711 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 39182336 140728856106960 140728856109745 140728856109745 140728856113103 0 /proc/23654/statm: 3499471 154152 3480 1 0 3488085 0 [pid=23654/tid=23704] ppid=23651 vsize=13997884 CPUtime=5.75 cores=1,3,5,7 /proc/23654/task/23704/stat : 23704 (java) R 23651 23654 1460 0 -1 4202560 30629 12361 0 0 557 11 5 2 20 0 15 0 96600949 14333833216 154152 18446744073709551615 4194304 4196468 140728856105056 140604867849544 140604495701530 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 39182336 140728856106960 140728856109745 140728856109745 140728856113103 0 [pid=23654/tid=23705] ppid=23651 vsize=13997884 CPUtime=0.3 cores=1,3,5,7 /proc/23654/task/23705/stat : 23705 (java) S 23651 23654 1460 0 -1 1077944384 555 12361 0 0 18 5 5 2 20 0 15 0 96600950 14333833216 154152 18446744073709551615 4194304 4196468 140728856105056 140604820580752 140604863624917 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39182336 140728856106960 140728856109745 140728856109745 140728856113103 0 [pid=23654/tid=23706] ppid=23651 vsize=13997884 CPUtime=0.28 cores=1,3,5,7 /proc/23654/task/23706/stat : 23706 (java) S 23651 23654 1460 0 -1 1077944384 513 12361 0 0 17 4 5 2 20 0 15 0 96600950 14333833216 154152 18446744073709551615 4194304 4196468 140728856105056 140604819527952 140604863624917 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39182336 140728856106960 140728856109745 140728856109745 140728856113103 0 [pid=23654/tid=23707] ppid=23651 vsize=13997884 CPUtime=0.32 cores=1,3,5,7 /proc/23654/task/23707/stat : 23707 (java) S 23651 23654 1460 0 -1 1077944384 369 12361 0 0 20 5 5 2 20 0 15 0 96600950 14333833216 154152 18446744073709551615 4194304 4196468 140728856105056 140604818475664 140604863624917 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39182336 140728856106960 140728856109745 140728856109745 140728856113103 0 [pid=23654/tid=23708] ppid=23651 vsize=13997884 CPUtime=0.29 cores=1,3,5,7 /proc/23654/task/23708/stat : 23708 (java) S 23651 23654 1460 0 -1 1077944384 598 12361 0 0 17 5 5 2 20 0 15 0 96600950 14333833216 154152 18446744073709551615 4194304 4196468 140728856105056 140604817422864 140604863624917 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39182336 140728856106960 140728856109745 140728856109745 140728856113103 0 [pid=23654/tid=23709] ppid=23651 vsize=13997884 CPUtime=0.1 cores=1,3,5,7 /proc/23654/task/23709/stat : 23709 (java) S 23651 23654 1460 0 -1 1077944384 2953 12361 0 0 3 0 5 2 20 0 15 0 96600951 14333833216 154152 18446744073709551615 4194304 4196468 140728856105056 140604341205616 140604863625858 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39182336 140728856106960 140728856109745 140728856109745 140728856113103 0 [pid=23654/tid=23710] ppid=23651 vsize=13997884 CPUtime=0.07 cores=1,3,5,7 /proc/23654/task/23710/stat : 23710 (java) S 23651 23654 1460 0 -1 1077944384 60 12361 0 0 0 0 5 2 20 0 15 0 96600952 14333833216 154152 18446744073709551615 4194304 4196468 140728856105056 140604340151648 140604863624917 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39182336 140728856106960 140728856109745 140728856109745 140728856113103 0 [pid=23654/tid=23711] ppid=23651 vsize=13997884 CPUtime=0.07 cores=1,3,5,7 /proc/23654/task/23711/stat : 23711 (java) S 23651 23654 1460 0 -1 1077944384 50 12361 0 0 0 0 5 2 20 0 15 0 96600952 14333833216 154152 18446744073709551615 4194304 4196468 140728856105056 140604339099264 140604863624917 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39182336 140728856106960 140728856109745 140728856109745 140728856113103 0 [pid=23654/tid=23712] ppid=23651 vsize=13997884 CPUtime=0.07 cores=1,3,5,7 /proc/23654/task/23712/stat : 23712 (java) S 23651 23654 1460 0 -1 1077944384 3 12361 0 0 0 0 5 2 20 0 15 0 96600955 14333833216 154152 18446744073709551615 4194304 4196468 140728856105056 140604338047568 140604863633307 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39182336 140728856106960 140728856109745 140728856109745 140728856113103 0 [pid=23654/tid=23713] ppid=23651 vsize=13997884 CPUtime=3.13 cores=1,3,5,7 /proc/23654/task/23713/stat : 23713 (java) R 23651 23654 1460 0 -1 4202560 7068 12361 0 0 305 1 5 2 20 0 15 0 96600955 14333833216 154152 18446744073709551615 4194304 4196468 140728856105056 140604336975744 140604842008048 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 39182336 140728856106960 140728856109745 140728856109745 140728856113103 0 [pid=23654/tid=23714] ppid=23651 vsize=13997884 CPUtime=3.19 cores=1,3,5,7 /proc/23654/task/23714/stat : 23714 (java) R 23651 23654 1460 0 -1 4202560 8576 12361 0 0 310 2 5 2 20 0 15 0 96600955 14333833216 154152 18446744073709551615 4194304 4196468 140728856105056 140604335941616 140604847109196 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39182336 140728856106960 140728856109745 140728856109745 140728856113103 0 [pid=23654/tid=23715] ppid=23651 vsize=13997884 CPUtime=1.53 cores=1,3,5,7 /proc/23654/task/23715/stat : 23715 (java) S 23651 23654 1460 0 -1 1077944384 11323 12361 0 0 143 3 5 2 20 0 15 0 96600955 14333833216 154152 18446744073709551615 4194304 4196468 140728856105056 140604334889328 140604863625858 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39182336 140728856106960 140728856109745 140728856109745 140728856113103 0 [pid=23654/tid=23716] ppid=23651 vsize=13997884 CPUtime=0.07 cores=1,3,5,7 /proc/23654/task/23716/stat : 23716 (java) S 23651 23654 1460 0 -1 1077944384 3 12361 0 0 0 0 5 2 20 0 15 0 96600955 14333833216 154152 18446744073709551615 4194304 4196468 140728856105056 140604333836768 140604863624917 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39182336 140728856106960 140728856109745 140728856109745 140728856113103 0 [pid=23654/tid=23717] ppid=23651 vsize=13997884 CPUtime=0.07 cores=1,3,5,7 /proc/23654/task/23717/stat : 23717 (java) S 23651 23654 1460 0 -1 1077944384 36 12361 0 0 0 0 5 2 20 0 15 0 96600960 14333833216 154152 18446744073709551615 4194304 4196468 140728856105056 140604332784560 140604863625858 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39182336 140728856106960 140728856109745 140728856109745 140728856113103 0 Current children cumulated CPU time (s) 14.41 Current children cumulated vsize (KiB) 13997884 [startup+12.7007 s] /proc/loadavg: 1.88 1.70 1.61 3/213 23717 /proc/meminfo: memFree=26038380/32770624 swapFree=0/580616 [pid=23654] ppid=23651 vsize=13999932 CPUtime=25.18 cores=1,3,5,7 /proc/23654/stat : 23654 (java) S 23651 23654 1460 0 -1 1077944320 73371 12361 0 0 2443 68 5 2 20 0 15 0 96600926 14335930368 383143 18446744073709551615 4194304 4196468 140728856105056 140728856087600 140604863614711 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 39182336 140728856106960 140728856109745 140728856109745 140728856113103 0 /proc/23654/statm: 3499983 383143 3481 1 0 3488597 0 [pid=23654/tid=23704] ppid=23651 vsize=13999932 CPUtime=11.97 cores=1,3,5,7 /proc/23654/task/23704/stat : 23704 (java) R 23651 23654 1460 0 -1 4202560 33665 12361 0 0 1166 24 5 2 20 0 15 0 96600949 14335930368 383143 18446744073709551615 4194304 4196468 140728856105056 140604867846968 140604507087668 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 39182336 140728856106960 140728856109745 140728856109745 140728856113103 0 [pid=23654/tid=23705] ppid=23651 vsize=13999932 CPUtime=0.46 cores=1,3,5,7 /proc/23654/task/23705/stat : 23705 (java) S 23651 23654 1460 0 -1 1077944384 719 12361 0 0 30 9 5 2 20 0 15 0 96600950 14335930368 383143 18446744073709551615 4194304 4196468 140728856105056 140604820580752 140604863624917 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39182336 140728856106960 140728856109745 140728856109745 140728856113103 0 [pid=23654/tid=23706] ppid=23651 vsize=13999932 CPUtime=0.45 cores=1,3,5,7 /proc/23654/task/23706/stat : 23706 (java) S 23651 23654 1460 0 -1 1077944384 678 12361 0 0 30 8 5 2 20 0 15 0 96600950 14335930368 383143 18446744073709551615 4194304 4196468 140728856105056 140604819527952 140604863624917 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39182336 140728856106960 140728856109745 140728856109745 140728856113103 0 [pid=23654/tid=23707] ppid=23651 vsize=13999932 CPUtime=0.49 cores=1,3,5,7 /proc/23654/task/23707/stat : 23707 (java) S 23651 23654 1460 0 -1 1077944384 499 12361 0 0 33 9 5 2 20 0 15 0 96600950 14335930368 383143 18446744073709551615 4194304 4196468 140728856105056 140604818475664 140604863624917 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39182336 140728856106960 140728856109745 140728856109745 140728856113103 0 [pid=23654/tid=23708] ppid=23651 vsize=13999932 CPUtime=0.45 cores=1,3,5,7 /proc/23654/task/23708/stat : 23708 (java) S 23651 23654 1460 0 -1 1077944384 712 12361 0 0 30 8 5 2 20 0 15 0 96600950 14335930368 383143 18446744073709551615 4194304 4196468 140728856105056 140604817422864 140604863624917 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39182336 140728856106960 140728856109745 140728856109745 140728856113103 0 [pid=23654/tid=23709] ppid=23651 vsize=13999932 CPUtime=0.1 cores=1,3,5,7 /proc/23654/task/23709/stat : 23709 (java) S 23651 23654 1460 0 -1 1077944384 3289 12361 0 0 3 0 5 2 20 0 15 0 96600951 14335930368 383143 18446744073709551615 4194304 4196468 140728856105056 140604341205616 140604863625858 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39182336 140728856106960 140728856109745 140728856109745 140728856113103 0 [pid=23654/tid=23710] ppid=23651 vsize=13999932 CPUtime=0.07 cores=1,3,5,7 /proc/23654/task/23710/stat : 23710 (java) S 23651 23654 1460 0 -1 1077944384 60 12361 0 0 0 0 5 2 20 0 15 0 96600952 14335930368 383143 18446744073709551615 4194304 4196468 140728856105056 140604340151648 140604863624917 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39182336 140728856106960 140728856109745 140728856109745 140728856113103 0 [pid=23654/tid=23711] ppid=23651 vsize=13999932 CPUtime=0.07 cores=1,3,5,7 /proc/23654/task/23711/stat : 23711 (java) S 23651 23654 1460 0 -1 1077944384 51 12361 0 0 0 0 5 2 20 0 15 0 96600952 14335930368 383143 18446744073709551615 4194304 4196468 140728856105056 140604339099264 140604863624917 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39182336 140728856106960 140728856109745 140728856109745 140728856113103 0 [pid=23654/tid=23712] ppid=23651 vsize=13999932 CPUtime=0.07 cores=1,3,5,7 /proc/23654/task/23712/stat : 23712 (java) S 23651 23654 1460 0 -1 1077944384 3 12361 0 0 0 0 5 2 20 0 15 0 96600955 14335930368 383143 18446744073709551615 4194304 4196468 140728856105056 140604338047568 140604863633307 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39182336 140728856106960 140728856109745 140728856109745 140728856113103 0 ################ # More data... # ################ /proc/23654/task/23716/stat : 23716 (java) S 23651 23654 1460 0 -1 1077944384 3 12361 0 0 0 0 5 2 20 0 15 0 96600955 14407233536 1140041 18446744073709551615 4194304 4196468 140728856105056 140604333836768 140604863624917 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39182336 140728856106960 140728856109745 140728856109745 140728856113103 0 [pid=23654/tid=23717] ppid=23651 vsize=14069564 CPUtime=1.36 cores=1,3,5,7 /proc/23654/task/23717/stat : 23717 (java) S 23651 23654 1460 0 -1 1077944384 2008 12361 0 0 62 67 5 2 20 0 15 0 96600960 14407233536 1140041 18446744073709551615 4194304 4196468 140728856105056 140604332784560 140604863625858 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39182336 140728856106960 140728856109745 140728856109745 140728856113103 0 Current children cumulated CPU time (s) 2388.77 Current children cumulated vsize (KiB) 14069564 [startup+2382.3 s] /proc/loadavg: 1.81 1.83 1.79 3/218 24024 /proc/meminfo: memFree=21757380/32770624 swapFree=0/580868 [pid=23654] ppid=23651 vsize=14069564 CPUtime=2448.88 cores=1,3,5,7 /proc/23654/stat : 23654 (java) S 23651 23654 1460 0 -1 1077944320 580390 12361 0 0 244446 435 5 2 20 0 15 0 96600926 14407233536 1142111 18446744073709551615 4194304 4196468 140728856105056 140728856087600 140604863614711 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 39182336 140728856106960 140728856109745 140728856109745 140728856113103 0 /proc/23654/statm: 3517391 1142111 3506 1 0 3506005 0 [pid=23654/tid=23704] ppid=23651 vsize=14069564 CPUtime=2366.88 cores=1,3,5,7 /proc/23654/task/23704/stat : 23704 (java) R 23651 23654 1460 0 -1 4202560 262191 12361 0 0 236595 86 5 2 20 0 15 0 96600949 14407233536 1142111 18446744073709551615 4194304 4196468 140728856105056 140604867850336 140604502079279 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 39182336 140728856106960 140728856109745 140728856109745 140728856113103 0 [pid=23654/tid=23705] ppid=23651 vsize=14069564 CPUtime=14.55 cores=1,3,5,7 /proc/23654/task/23705/stat : 23705 (java) S 23651 23654 1460 0 -1 1077944384 29873 12361 0 0 1383 65 5 2 20 0 15 0 96600950 14407233536 1142111 18446744073709551615 4194304 4196468 140728856105056 140604820580752 140604863624917 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39182336 140728856106960 140728856109745 140728856109745 140728856113103 0 [pid=23654/tid=23706] ppid=23651 vsize=14069564 CPUtime=14.48 cores=1,3,5,7 /proc/23654/task/23706/stat : 23706 (java) S 23651 23654 1460 0 -1 1077944384 29595 12361 0 0 1376 65 5 2 20 0 15 0 96600950 14407233536 1142111 18446744073709551615 4194304 4196468 140728856105056 140604819527952 140604863624917 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39182336 140728856106960 140728856109745 140728856109745 140728856113103 0 [pid=23654/tid=23707] ppid=23651 vsize=14069564 CPUtime=14.57 cores=1,3,5,7 /proc/23654/task/23707/stat : 23707 (java) S 23651 23654 1460 0 -1 1077944384 30287 12361 0 0 1383 67 5 2 20 0 15 0 96600950 14407233536 1142111 18446744073709551615 4194304 4196468 140728856105056 140604818475664 140604863624917 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39182336 140728856106960 140728856109745 140728856109745 140728856113103 0 [pid=23654/tid=23708] ppid=23651 vsize=14069564 CPUtime=14.49 cores=1,3,5,7 /proc/23654/task/23708/stat : 23708 (java) S 23651 23654 1460 0 -1 1077944384 31058 12361 0 0 1377 65 5 2 20 0 15 0 96600950 14407233536 1142111 18446744073709551615 4194304 4196468 140728856105056 140604817422864 140604863624917 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39182336 140728856106960 140728856109745 140728856109745 140728856113103 0 [pid=23654/tid=23709] ppid=23651 vsize=14069564 CPUtime=0.64 cores=1,3,5,7 /proc/23654/task/23709/stat : 23709 (java) S 23651 23654 1460 0 -1 1077944384 43919 12361 0 0 48 9 5 2 20 0 15 0 96600951 14407233536 1142111 18446744073709551615 4194304 4196468 140728856105056 140604341205616 140604863625858 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39182336 140728856106960 140728856109745 140728856109745 140728856113103 0 [pid=23654/tid=23710] ppid=23651 vsize=14069564 CPUtime=0.08 cores=1,3,5,7 /proc/23654/task/23710/stat : 23710 (java) S 23651 23654 1460 0 -1 1077944384 228 12361 0 0 1 0 5 2 20 0 15 0 96600952 14407233536 1142111 18446744073709551615 4194304 4196468 140728856105056 140604340151648 140604863624917 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39182336 140728856106960 140728856109745 140728856109745 140728856113103 0 [pid=23654/tid=23711] ppid=23651 vsize=14069564 CPUtime=0.07 cores=1,3,5,7 /proc/23654/task/23711/stat : 23711 (java) S 23651 23654 1460 0 -1 1077944384 63 12361 0 0 0 0 5 2 20 0 15 0 96600952 14407233536 1142111 18446744073709551615 4194304 4196468 140728856105056 140604339099264 140604863624917 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39182336 140728856106960 140728856109745 140728856109745 140728856113103 0 [pid=23654/tid=23712] ppid=23651 vsize=14069564 CPUtime=0.07 cores=1,3,5,7 /proc/23654/task/23712/stat : 23712 (java) S 23651 23654 1460 0 -1 1077944384 3 12361 0 0 0 0 5 2 20 0 15 0 96600955 14407233536 1142111 18446744073709551615 4194304 4196468 140728856105056 140604338047568 140604863633307 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39182336 140728856106960 140728856109745 140728856109745 140728856113103 0 [pid=23654/tid=23713] ppid=23651 vsize=14069564 CPUtime=8.97 cores=1,3,5,7 /proc/23654/task/23713/stat : 23713 (java) S 23651 23654 1460 0 -1 1077944384 40465 12361 0 0 885 5 5 2 20 0 15 0 96600955 14407233536 1142111 18446744073709551615 4194304 4196468 140728856105056 140604336994416 140604863625858 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39182336 140728856106960 140728856109745 140728856109745 140728856113103 0 [pid=23654/tid=23714] ppid=23651 vsize=14069564 CPUtime=10.45 cores=1,3,5,7 /proc/23654/task/23714/stat : 23714 (java) S 23651 23654 1460 0 -1 1077944384 48510 12361 0 0 1032 6 5 2 20 0 15 0 96600955 14407233536 1142111 18446744073709551615 4194304 4196468 140728856105056 140604335941616 140604863625858 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39182336 140728856106960 140728856109745 140728856109745 140728856113103 0 [pid=23654/tid=23715] ppid=23651 vsize=14069564 CPUtime=2.98 cores=1,3,5,7 /proc/23654/task/23715/stat : 23715 (java) S 23651 23654 1460 0 -1 1077944384 59998 12361 0 0 283 8 5 2 20 0 15 0 96600955 14407233536 1142111 18446744073709551615 4194304 4196468 140728856105056 140604334889328 140604863625858 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39182336 140728856106960 140728856109745 140728856109745 140728856113103 0 [pid=23654/tid=23716] ppid=23651 vsize=14069564 CPUtime=0.07 cores=1,3,5,7 /proc/23654/task/23716/stat : 23716 (java) S 23651 23654 1460 0 -1 1077944384 3 12361 0 0 0 0 5 2 20 0 15 0 96600955 14407233536 1142111 18446744073709551615 4194304 4196468 140728856105056 140604333836768 140604863624917 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39182336 140728856106960 140728856109745 140728856109745 140728856113103 0 [pid=23654/tid=23717] ppid=23651 vsize=14069564 CPUtime=1.4 cores=1,3,5,7 /proc/23654/task/23717/stat : 23717 (java) S 23651 23654 1460 0 -1 1077944384 2046 12361 0 0 64 69 5 2 20 0 15 0 96600960 14407233536 1142111 18446744073709551615 4194304 4196468 140728856105056 140604332784560 140604863625858 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39182336 140728856106960 140728856109745 140728856109745 140728856113103 0 Current children cumulated CPU time (s) 2448.88 Current children cumulated vsize (KiB) 14069564 [startup+2442.3 s] /proc/loadavg: 1.68 1.78 1.78 3/216 24026 /proc/meminfo: memFree=21758252/32770624 swapFree=0/580880 [pid=23654] ppid=23651 vsize=14069564 CPUtime=2508.99 cores=1,3,5,7 /proc/23654/stat : 23654 (java) S 23651 23654 1460 0 -1 1077944320 589042 12361 0 0 250454 438 5 2 20 0 15 0 96600926 14407233536 1145194 18446744073709551615 4194304 4196468 140728856105056 140728856087600 140604863614711 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 39182336 140728856106960 140728856109745 140728856109745 140728856113103 0 /proc/23654/statm: 3517391 1145194 3506 1 0 3506005 0 [pid=23654/tid=23704] ppid=23651 vsize=14069564 CPUtime=2426.85 cores=1,3,5,7 /proc/23654/task/23704/stat : 23704 (java) R 23651 23654 1460 0 -1 4202560 266893 12361 0 0 242592 86 5 2 20 0 15 0 96600949 14407233536 1145194 18446744073709551615 4194304 4196468 140728856105056 140604867850448 140604512115692 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 39182336 140728856106960 140728856109745 140728856109745 140728856113103 0 [pid=23654/tid=23705] ppid=23651 vsize=14069564 CPUtime=14.57 cores=1,3,5,7 /proc/23654/task/23705/stat : 23705 (java) S 23651 23654 1460 0 -1 1077944384 30282 12361 0 0 1385 65 5 2 20 0 15 0 96600950 14407233536 1145194 18446744073709551615 4194304 4196468 140728856105056 140604820580752 140604863624917 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39182336 140728856106960 140728856109745 140728856109745 140728856113103 0 [pid=23654/tid=23706] ppid=23651 vsize=14069564 CPUtime=14.5 cores=1,3,5,7 /proc/23654/task/23706/stat : 23706 (java) S 23651 23654 1460 0 -1 1077944384 31548 12361 0 0 1378 65 5 2 20 0 15 0 96600950 14407233536 1145194 18446744073709551615 4194304 4196468 140728856105056 140604819527952 140604863624917 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39182336 140728856106960 140728856109745 140728856109745 140728856113103 0 [pid=23654/tid=23707] ppid=23651 vsize=14069564 CPUtime=14.59 cores=1,3,5,7 /proc/23654/task/23707/stat : 23707 (java) S 23651 23654 1460 0 -1 1077944384 30908 12361 0 0 1385 67 5 2 20 0 15 0 96600950 14407233536 1145194 18446744073709551615 4194304 4196468 140728856105056 140604818475664 140604863624917 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39182336 140728856106960 140728856109745 140728856109745 140728856113103 0 [pid=23654/tid=23708] ppid=23651 vsize=14069564 CPUtime=14.51 cores=1,3,5,7 /proc/23654/task/23708/stat : 23708 (java) S 23651 23654 1460 0 -1 1077944384 31646 12361 0 0 1379 65 5 2 20 0 15 0 96600950 14407233536 1145194 18446744073709551615 4194304 4196468 140728856105056 140604817422864 140604863624917 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39182336 140728856106960 140728856109745 140728856109745 140728856113103 0 [pid=23654/tid=23709] ppid=23651 vsize=14069564 CPUtime=0.64 cores=1,3,5,7 /proc/23654/task/23709/stat : 23709 (java) S 23651 23654 1460 0 -1 1077944384 44268 12361 0 0 48 9 5 2 20 0 15 0 96600951 14407233536 1145194 18446744073709551615 4194304 4196468 140728856105056 140604341205616 140604863625858 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39182336 140728856106960 140728856109745 140728856109745 140728856113103 0 [pid=23654/tid=23710] ppid=23651 vsize=14069564 CPUtime=0.08 cores=1,3,5,7 /proc/23654/task/23710/stat : 23710 (java) S 23651 23654 1460 0 -1 1077944384 228 12361 0 0 1 0 5 2 20 0 15 0 96600952 14407233536 1145194 18446744073709551615 4194304 4196468 140728856105056 140604340151648 140604863624917 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39182336 140728856106960 140728856109745 140728856109745 140728856113103 0 [pid=23654/tid=23711] ppid=23651 vsize=14069564 CPUtime=0.07 cores=1,3,5,7 /proc/23654/task/23711/stat : 23711 (java) S 23651 23654 1460 0 -1 1077944384 63 12361 0 0 0 0 5 2 20 0 15 0 96600952 14407233536 1145194 18446744073709551615 4194304 4196468 140728856105056 140604339099264 140604863624917 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39182336 140728856106960 140728856109745 140728856109745 140728856113103 0 [pid=23654/tid=23712] ppid=23651 vsize=14069564 CPUtime=0.07 cores=1,3,5,7 /proc/23654/task/23712/stat : 23712 (java) S 23651 23654 1460 0 -1 1077944384 3 12361 0 0 0 0 5 2 20 0 15 0 96600955 14407233536 1145194 18446744073709551615 4194304 4196468 140728856105056 140604338047568 140604863633307 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39182336 140728856106960 140728856109745 140728856109745 140728856113103 0 [pid=23654/tid=23713] ppid=23651 vsize=14069564 CPUtime=8.97 cores=1,3,5,7 /proc/23654/task/23713/stat : 23713 (java) S 23651 23654 1460 0 -1 1077944384 40468 12361 0 0 885 5 5 2 20 0 15 0 96600955 14407233536 1145194 18446744073709551615 4194304 4196468 140728856105056 140604336994416 140604863625858 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39182336 140728856106960 140728856109745 140728856109745 140728856113103 0 [pid=23654/tid=23714] ppid=23651 vsize=14069564 CPUtime=10.46 cores=1,3,5,7 /proc/23654/task/23714/stat : 23714 (java) S 23651 23654 1460 0 -1 1077944384 48512 12361 0 0 1033 6 5 2 20 0 15 0 96600955 14407233536 1145194 18446744073709551615 4194304 4196468 140728856105056 140604335941616 140604863625858 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39182336 140728856106960 140728856109745 140728856109745 140728856113103 0 [pid=23654/tid=23715] ppid=23651 vsize=14069564 CPUtime=2.98 cores=1,3,5,7 /proc/23654/task/23715/stat : 23715 (java) S 23651 23654 1460 0 -1 1077944384 60000 12361 0 0 283 8 5 2 20 0 15 0 96600955 14407233536 1145194 18446744073709551615 4194304 4196468 140728856105056 140604334889328 140604863625858 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39182336 140728856106960 140728856109745 140728856109745 140728856113103 0 [pid=23654/tid=23716] ppid=23651 vsize=14069564 CPUtime=0.07 cores=1,3,5,7 /proc/23654/task/23716/stat : 23716 (java) S 23651 23654 1460 0 -1 1077944384 3 12361 0 0 0 0 5 2 20 0 15 0 96600955 14407233536 1145194 18446744073709551615 4194304 4196468 140728856105056 140604333836768 140604863624917 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39182336 140728856106960 140728856109745 140728856109745 140728856113103 0 [pid=23654/tid=23717] ppid=23651 vsize=14069564 CPUtime=1.42 cores=1,3,5,7 /proc/23654/task/23717/stat : 23717 (java) S 23651 23654 1460 0 -1 1077944384 2069 12361 0 0 64 71 5 2 20 0 15 0 96600960 14407233536 1145194 18446744073709551615 4194304 4196468 140728856105056 140604332784560 140604863625858 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39182336 140728856106960 140728856109745 140728856109745 140728856113103 0 Current children cumulated CPU time (s) 2508.99 Current children cumulated vsize (KiB) 14069564 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2453.3 s] /proc/loadavg: 1.72 1.79 1.78 3/214 24026 /proc/meminfo: memFree=21759904/32770624 swapFree=0/580872 [pid=23654] ppid=23651 vsize=14069564 CPUtime=2520 cores=1,3,5,7 /proc/23654/stat : 23654 (java) S 23651 23654 1460 0 -1 1077944320 589095 12361 0 0 251555 438 5 2 20 0 15 0 96600926 14407233536 1145194 18446744073709551615 4194304 4196468 140728856105056 140728856087600 140604863614711 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 39182336 140728856106960 140728856109745 140728856109745 140728856113103 0 /proc/23654/statm: 3517391 1145194 3506 1 0 3506005 0 [pid=23654/tid=23704] ppid=23651 vsize=14069564 CPUtime=2437.85 cores=1,3,5,7 /proc/23654/task/23704/stat : 23704 (java) R 23651 23654 1460 0 -1 4202560 266944 12361 0 0 243692 86 5 2 20 0 15 0 96600949 14407233536 1145194 18446744073709551615 4194304 4196468 140728856105056 140604867850336 140604506036866 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 39182336 140728856106960 140728856109745 140728856109745 140728856113103 0 [pid=23654/tid=23705] ppid=23651 vsize=14069564 CPUtime=14.57 cores=1,3,5,7 /proc/23654/task/23705/stat : 23705 (java) S 23651 23654 1460 0 -1 1077944384 30282 12361 0 0 1385 65 5 2 20 0 15 0 96600950 14407233536 1145194 18446744073709551615 4194304 4196468 140728856105056 140604820580752 140604863624917 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39182336 140728856106960 140728856109745 140728856109745 140728856113103 0 [pid=23654/tid=23706] ppid=23651 vsize=14069564 CPUtime=14.5 cores=1,3,5,7 /proc/23654/task/23706/stat : 23706 (java) S 23651 23654 1460 0 -1 1077944384 31548 12361 0 0 1378 65 5 2 20 0 15 0 96600950 14407233536 1145194 18446744073709551615 4194304 4196468 140728856105056 140604819527952 140604863624917 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39182336 140728856106960 140728856109745 140728856109745 140728856113103 0 [pid=23654/tid=23707] ppid=23651 vsize=14069564 CPUtime=14.59 cores=1,3,5,7 /proc/23654/task/23707/stat : 23707 (java) S 23651 23654 1460 0 -1 1077944384 30908 12361 0 0 1385 67 5 2 20 0 15 0 96600950 14407233536 1145194 18446744073709551615 4194304 4196468 140728856105056 140604818475664 140604863624917 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39182336 140728856106960 140728856109745 140728856109745 140728856113103 0 [pid=23654/tid=23708] ppid=23651 vsize=14069564 CPUtime=14.51 cores=1,3,5,7 /proc/23654/task/23708/stat : 23708 (java) S 23651 23654 1460 0 -1 1077944384 31646 12361 0 0 1379 65 5 2 20 0 15 0 96600950 14407233536 1145194 18446744073709551615 4194304 4196468 140728856105056 140604817422864 140604863624917 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39182336 140728856106960 140728856109745 140728856109745 140728856113103 0 [pid=23654/tid=23709] ppid=23651 vsize=14069564 CPUtime=0.64 cores=1,3,5,7 /proc/23654/task/23709/stat : 23709 (java) S 23651 23654 1460 0 -1 1077944384 44268 12361 0 0 48 9 5 2 20 0 15 0 96600951 14407233536 1145194 18446744073709551615 4194304 4196468 140728856105056 140604341205616 140604863625858 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39182336 140728856106960 140728856109745 140728856109745 140728856113103 0 [pid=23654/tid=23710] ppid=23651 vsize=14069564 CPUtime=0.08 cores=1,3,5,7 /proc/23654/task/23710/stat : 23710 (java) S 23651 23654 1460 0 -1 1077944384 228 12361 0 0 1 0 5 2 20 0 15 0 96600952 14407233536 1145194 18446744073709551615 4194304 4196468 140728856105056 140604340151648 140604863624917 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39182336 140728856106960 140728856109745 140728856109745 140728856113103 0 [pid=23654/tid=23711] ppid=23651 vsize=14069564 CPUtime=0.07 cores=1,3,5,7 /proc/23654/task/23711/stat : 23711 (java) S 23651 23654 1460 0 -1 1077944384 63 12361 0 0 0 0 5 2 20 0 15 0 96600952 14407233536 1145194 18446744073709551615 4194304 4196468 140728856105056 140604339099264 140604863624917 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39182336 140728856106960 140728856109745 140728856109745 140728856113103 0 [pid=23654/tid=23712] ppid=23651 vsize=14069564 CPUtime=0.07 cores=1,3,5,7 /proc/23654/task/23712/stat : 23712 (java) S 23651 23654 1460 0 -1 1077944384 3 12361 0 0 0 0 5 2 20 0 15 0 96600955 14407233536 1145194 18446744073709551615 4194304 4196468 140728856105056 140604338047568 140604863633307 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39182336 140728856106960 140728856109745 140728856109745 140728856113103 0 [pid=23654/tid=23713] ppid=23651 vsize=14069564 CPUtime=8.97 cores=1,3,5,7 /proc/23654/task/23713/stat : 23713 (java) S 23651 23654 1460 0 -1 1077944384 40468 12361 0 0 885 5 5 2 20 0 15 0 96600955 14407233536 1145194 18446744073709551615 4194304 4196468 140728856105056 140604336994416 140604863625858 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39182336 140728856106960 140728856109745 140728856109745 140728856113103 0 [pid=23654/tid=23714] ppid=23651 vsize=14069564 CPUtime=10.46 cores=1,3,5,7 /proc/23654/task/23714/stat : 23714 (java) S 23651 23654 1460 0 -1 1077944384 48512 12361 0 0 1033 6 5 2 20 0 15 0 96600955 14407233536 1145194 18446744073709551615 4194304 4196468 140728856105056 140604335941616 140604863625858 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39182336 140728856106960 140728856109745 140728856109745 140728856113103 0 [pid=23654/tid=23715] ppid=23651 vsize=14069564 CPUtime=2.98 cores=1,3,5,7 /proc/23654/task/23715/stat : 23715 (java) S 23651 23654 1460 0 -1 1077944384 60000 12361 0 0 283 8 5 2 20 0 15 0 96600955 14407233536 1145194 18446744073709551615 4194304 4196468 140728856105056 140604334889328 140604863625858 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39182336 140728856106960 140728856109745 140728856109745 140728856113103 0 [pid=23654/tid=23716] ppid=23651 vsize=14069564 CPUtime=0.07 cores=1,3,5,7 /proc/23654/task/23716/stat : 23716 (java) S 23651 23654 1460 0 -1 1077944384 3 12361 0 0 0 0 5 2 20 0 15 0 96600955 14407233536 1145194 18446744073709551615 4194304 4196468 140728856105056 140604333836768 140604863624917 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39182336 140728856106960 140728856109745 140728856109745 140728856113103 0 [pid=23654/tid=23717] ppid=23651 vsize=14069564 CPUtime=1.44 cores=1,3,5,7 /proc/23654/task/23717/stat : 23717 (java) S 23651 23654 1460 0 -1 1077944384 2071 12361 0 0 65 72 5 2 20 0 15 0 96600960 14407233536 1145194 18446744073709551615 4194304 4196468 140728856105056 140604332784560 140604863625858 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39182336 140728856106960 140728856109745 140728856109745 140728856113103 0 Current children cumulated CPU time (s) 2520 Current children cumulated vsize (KiB) 14069564 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 23654 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+2453.3 s] /proc/loadavg: 1.72 1.79 1.78 3/214 24026 /proc/meminfo: memFree=21759904/32770624 swapFree=0/580872 [pid=23654] ppid=23651 vsize=14069564 CPUtime=2520 cores=1,3,5,7 /proc/23654/stat : 23654 (java) S 23651 23654 1460 0 -1 1077944320 589095 12361 0 0 251555 438 5 2 20 0 15 0 96600926 14407233536 1145194 18446744073709551615 4194304 4196468 140728856105056 140728856087600 140604863614711 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 39182336 140728856106960 140728856109745 140728856109745 140728856113103 0 /proc/23654/statm: 3517391 1145194 3506 1 0 3506005 0 [pid=23654/tid=23704] ppid=23651 vsize=14069564 CPUtime=2437.85 cores=1,3,5,7 /proc/23654/task/23704/stat : 23704 (java) R 23651 23654 1460 0 -1 4202560 266944 12361 0 0 243692 86 5 2 20 0 15 0 96600949 14407233536 1145194 18446744073709551615 4194304 4196468 140728856105056 140604867850336 140604506036866 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 39182336 140728856106960 140728856109745 140728856109745 140728856113103 0 [pid=23654/tid=23705] ppid=23651 vsize=14069564 CPUtime=14.57 cores=1,3,5,7 /proc/23654/task/23705/stat : 23705 (java) S 23651 23654 1460 0 -1 1077944384 30282 12361 0 0 1385 65 5 2 20 0 15 0 96600950 14407233536 1145194 18446744073709551615 4194304 4196468 140728856105056 140604820580752 140604863624917 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39182336 140728856106960 140728856109745 140728856109745 140728856113103 0 [pid=23654/tid=23706] ppid=23651 vsize=14069564 CPUtime=14.5 cores=1,3,5,7 /proc/23654/task/23706/stat : 23706 (java) S 23651 23654 1460 0 -1 1077944384 31548 12361 0 0 1378 65 5 2 20 0 15 0 96600950 14407233536 1145194 18446744073709551615 4194304 4196468 140728856105056 140604819527952 140604863624917 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39182336 140728856106960 140728856109745 140728856109745 140728856113103 0 [pid=23654/tid=23707] ppid=23651 vsize=14069564 CPUtime=14.59 cores=1,3,5,7 /proc/23654/task/23707/stat : 23707 (java) S 23651 23654 1460 0 -1 1077944384 30908 12361 0 0 1385 67 5 2 20 0 15 0 96600950 14407233536 1145194 18446744073709551615 4194304 4196468 140728856105056 140604818475664 140604863624917 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39182336 140728856106960 140728856109745 140728856109745 140728856113103 0 [pid=23654/tid=23708] ppid=23651 vsize=14069564 CPUtime=14.51 cores=1,3,5,7 /proc/23654/task/23708/stat : 23708 (java) S 23651 23654 1460 0 -1 1077944384 31646 12361 0 0 1379 65 5 2 20 0 15 0 96600950 14407233536 1145194 18446744073709551615 4194304 4196468 140728856105056 140604817422864 140604863624917 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39182336 140728856106960 140728856109745 140728856109745 140728856113103 0 [pid=23654/tid=23709] ppid=23651 vsize=14069564 CPUtime=0.64 cores=1,3,5,7 /proc/23654/task/23709/stat : 23709 (java) S 23651 23654 1460 0 -1 1077944384 44268 12361 0 0 48 9 5 2 20 0 15 0 96600951 14407233536 1145194 18446744073709551615 4194304 4196468 140728856105056 140604341205616 140604863625858 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39182336 140728856106960 140728856109745 140728856109745 140728856113103 0 [pid=23654/tid=23710] ppid=23651 vsize=14069564 CPUtime=0.08 cores=1,3,5,7 /proc/23654/task/23710/stat : 23710 (java) S 23651 23654 1460 0 -1 1077944384 228 12361 0 0 1 0 5 2 20 0 15 0 96600952 14407233536 1145194 18446744073709551615 4194304 4196468 140728856105056 140604340151648 140604863624917 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39182336 140728856106960 140728856109745 140728856109745 140728856113103 0 [pid=23654/tid=23711] ppid=23651 vsize=14069564 CPUtime=0.07 cores=1,3,5,7 /proc/23654/task/23711/stat : 23711 (java) S 23651 23654 1460 0 -1 1077944384 63 12361 0 0 0 0 5 2 20 0 15 0 96600952 14407233536 1145194 18446744073709551615 4194304 4196468 140728856105056 140604339099264 140604863624917 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39182336 140728856106960 140728856109745 140728856109745 140728856113103 0 [pid=23654/tid=23712] ppid=23651 vsize=14069564 CPUtime=0.07 cores=1,3,5,7 /proc/23654/task/23712/stat : 23712 (java) S 23651 23654 1460 0 -1 1077944384 3 12361 0 0 0 0 5 2 20 0 15 0 96600955 14407233536 1145194 18446744073709551615 4194304 4196468 140728856105056 140604338047568 140604863633307 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39182336 140728856106960 140728856109745 140728856109745 140728856113103 0 [pid=23654/tid=23713] ppid=23651 vsize=14069564 CPUtime=8.97 cores=1,3,5,7 /proc/23654/task/23713/stat : 23713 (java) S 23651 23654 1460 0 -1 1077944384 40468 12361 0 0 885 5 5 2 20 0 15 0 96600955 14407233536 1145194 18446744073709551615 4194304 4196468 140728856105056 140604336994416 140604863625858 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39182336 140728856106960 140728856109745 140728856109745 140728856113103 0 [pid=23654/tid=23714] ppid=23651 vsize=14069564 CPUtime=10.46 cores=1,3,5,7 /proc/23654/task/23714/stat : 23714 (java) S 23651 23654 1460 0 -1 1077944384 48512 12361 0 0 1033 6 5 2 20 0 15 0 96600955 14407233536 1145194 18446744073709551615 4194304 4196468 140728856105056 140604335941616 140604863625858 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39182336 140728856106960 140728856109745 140728856109745 140728856113103 0 [pid=23654/tid=23715] ppid=23651 vsize=14069564 CPUtime=2.98 cores=1,3,5,7 /proc/23654/task/23715/stat : 23715 (java) S 23651 23654 1460 0 -1 1077944384 60000 12361 0 0 283 8 5 2 20 0 15 0 96600955 14407233536 1145194 18446744073709551615 4194304 4196468 140728856105056 140604334889328 140604863625858 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39182336 140728856106960 140728856109745 140728856109745 140728856113103 0 [pid=23654/tid=23716] ppid=23651 vsize=14069564 CPUtime=0.07 cores=1,3,5,7 /proc/23654/task/23716/stat : 23716 (java) S 23651 23654 1460 0 -1 1077944384 3 12361 0 0 0 0 5 2 20 0 15 0 96600955 14407233536 1145194 18446744073709551615 4194304 4196468 140728856105056 140604333836768 140604863624917 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39182336 140728856106960 140728856109745 140728856109745 140728856113103 0 [pid=23654/tid=23717] ppid=23651 vsize=14069564 CPUtime=1.44 cores=1,3,5,7 /proc/23654/task/23717/stat : 23717 (java) S 23651 23654 1460 0 -1 1077944384 2071 12361 0 0 65 72 5 2 20 0 15 0 96600960 14407233536 1145194 18446744073709551615 4194304 4196468 140728856105056 140604332784560 140604863625858 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39182336 140728856106960 140728856109745 140728856109745 140728856113103 0 Current children cumulated CPU time (s) 2520 Current children cumulated vsize (KiB) 14069564 Child status: 143 Real time (s): 2453.35 CPU time (s): 2520.07 CPU user time (s): 2515.63 CPU system time (s): 4.44568 CPU usage (%): 102.72 Max. virtual memory (cumulated for all children) (KiB): 14070036 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2515.63 system time used= 4.44568 maximum resident set size= 4586744 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 605105 page faults= 0 swaps= 0 block input operations= 0 block output operations= 3152 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 68740 involuntary context switches= 2271 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 10.6035 second user time and 16.3458 second system time The end
Begin job on node134 at 2017-08-12 00:21:50 IDJOB=4262767 IDBENCH=140585 IDSOLVER=2650 FILE ID=node134/4262767-1502490946 RUNJOBID= node134-1502411438-1524 PBS_JOBID= Free space on /tmp= 62008 MiB SOLVER NAME= Concrete 3.4 BENCH NAME= XCSP17/Ramsey/Ramsey-int-s1/Ramsey-int-40.xml COMMAND LINE= bin/concrete BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4262767-1502490946/watcher-4262767-1502490946 -o /tmp/evaluation-result-4262767-1502490946/solver-4262767-1502490946 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1502411438-1524 --watchdog 2580 bin/concrete HOME/instance-4262767-1502490946.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= d153897c9dbbbf34794d1a29a7a79358 RANDOM SEED=2111350004 node134.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.43 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.43 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.43 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.43 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: 27186340 kB MemAvailable: 28196004 kB Buffers: 296924 kB Cached: 1005976 kB SwapCached: 0 kB Active: 4526036 kB Inactive: 611548 kB Active(anon): 3837448 kB Inactive(anon): 31216 kB Active(file): 688588 kB Inactive(file): 580332 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 24904 kB Writeback: 0 kB AnonPages: 3839040 kB Mapped: 65228 kB Shmem: 33468 kB Slab: 139700 kB SReclaimable: 113156 kB SUnreclaim: 26544 kB KernelStack: 3488 kB PageTables: 12348 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 4481736 kB VmallocTotal: 34359738367 kB VmallocUsed: 354332 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 3622912 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 101760 kB DirectMap2M: 33443840 kB Free space on /tmp at the end= 61980 MiB End job on node134 at 2017-08-12 01:02:44