Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| R1: Concrete 3.4 | SAT (TO) | 5 | 2400.1699 | 2324.8501 |
| 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.16/2.19 c Concrete v3.4 running 51.72/25.06 o 779 56.56/27.59 o 778 59.31/29.87 o 777 61.70/32.16 o 776 64.08/34.46 o 775 66.45/36.54 o 774 68.86/38.82 o 773 71.17/41.07 o 772 73.20/43.07 o 771 75.79/45.35 o 770 78.03/47.60 o 769 80.51/49.63 o 768 82.55/51.61 o 767 84.75/53.85 o 766 86.82/55.87 o 765 89.13/58.10 o 764 91.13/60.11 o 763 93.06/62.09 o 762 95.06/64.07 o 761 97.10/66.05 o 760 99.30/68.25 o 759 101.32/70.24 o 758 103.52/72.48 o 757 105.85/74.71 o 756 108.06/76.93 o 755 110.26/79.17 o 754 112.46/81.39 o 753 114.46/83.38 o 752 116.80/85.61 o 751 118.70/87.57 o 750 120.91/89.78 o 749 123.21/92.00 o 748 125.43/94.21 o 747 127.37/96.18 o 746 129.58/98.39 o 745 131.88/100.61 o 744 133.78/102.60 o 743 135.79/104.57 o 742 138.00/106.78 o 741 140.03/108.77 o 740 142.05/110.74 o 739 144.25/112.95 o 738 146.47/115.18 o 737 148.48/117.17 o 736 150.84/119.43 o 735 153.04/121.65 o 734 155.04/123.63 o 733 157.04/125.60 o 732 159.24/127.82 o 731 161.24/129.81 o 730 163.28/131.81 o 729 165.48/134.02 o 728 167.49/136.01 o 727 169.69/138.23 o 726 171.89/140.46 o 725 174.19/142.72 o 724 176.22/144.71 o 723 178.42/146.92 o 722 180.42/148.91 o 721 182.33/150.88 o 720 184.53/153.09 o 719 186.57/155.09 o 718 188.57/157.09 o 717 190.57/159.04 o 716 192.58/161.01 o 715 194.78/163.23 o 714 196.98/165.45 o 713 199.02/167.43 o 712 201.03/169.40 o 711 203.23/171.62 o 710 205.43/173.84 o 709 207.63/176.07 o 708 209.96/178.31 o 707 212.16/180.54 o 706 214.36/182.77 o 705 216.35/184.76 o 704 218.55/186.97 o 703 220.56/188.96 o 702 222.80/191.18 o 701 225.11/193.41 o 700 227.11/195.40 o 699 229.31/197.62 o 698 231.51/199.82 o 697 233.75/202.05 o 696 235.76/204.05 o 695 237.76/206.02 o 694 239.97/208.23 o 693 242.17/210.44 o 692 244.18/212.42 o 691 246.41/214.64 o 690 248.41/216.61 o 689 250.31/218.56 o 688 252.61/220.83 o 687 254.61/222.82 o 686 256.84/225.04 o 685 258.85/227.01 o 684 260.76/228.99 o 683 262.75/230.96 o 682 264.95/233.17 o 681 267.19/235.39 o 680 269.49/237.62 o 679 271.70/239.85 o 678 273.91/242.06 o 677 275.90/244.04 o 676 278.14/246.25 o 675 280.14/248.24 o 674 282.14/250.20 o 673 284.34/252.42 o 672 286.38/254.41 o 671 288.28/256.38 o 670 290.48/258.58 o 669 292.48/260.55 o 668 294.68/262.76 o 667 296.72/264.75 o 666 298.72/266.73 o 665 300.92/268.96 o 664 302.92/270.95 o 663 305.14/273.18 o 662 307.15/275.15 o 661 309.35/277.37 o 660 311.64/279.60 o 659 313.59/281.58 o 658 315.79/283.78 o 657 317.79/285.75 o 656 320.02/288.00 o 655 322.32/290.23 o 654 324.52/292.45 o 653 326.53/294.44 o 652 328.77/296.66 o 651 330.77/298.64 o 650 332.77/300.60 o 649 334.67/302.58 o 648 336.92/304.79 o 647 339.22/307.02 o 646 341.22/309.02 o 645 343.45/311.25 o 644 345.46/313.24 o 643 347.46/315.20 o 642 349.70/317.42 o 641 351.90/319.64 o 640 354.10/321.84 o 639 356.13/323.81 o 638 358.33/326.02 o 637 360.53/328.23 o 636 362.76/330.44 o 635 364.76/332.43 o 634 367.00/334.66 o 633 369.01/336.67 o 632 371.22/338.89 o 631 373.24/340.87 o 630 375.24/342.85 o 629 377.24/344.81 o 628 379.48/347.03 o 627 381.48/349.03 o 626 383.53/351.04 o 625 385.73/353.27 o 624 387.73/355.26 o 623 389.76/357.25 o 622 391.96/359.47 o 621 394.20/361.69 o 620 396.50/363.92 o 619 398.74/366.16 o 618 400.95/368.38 o 617 402.99/370.36 o 616 404.99/372.34 o 615 407.23/374.57 o 614 409.43/376.79 o 613 411.77/379.02 o 612 413.98/381.22 o 611 416.01/383.20 o 610 418.21/385.42 o 609 420.46/387.64 o 608 422.50/389.64 o 607 424.70/391.88 o 606 426.75/393.88 o 605 428.74/395.87 o 604 431.09/398.10 o 603 433.33/400.35 o 602 435.53/402.55 o 601 437.77/404.77 o 600 439.80/406.75 o 599 442.06/408.97 o 598 444.06/410.96 o 597 446.12/412.94 o 596 448.18/414.92 o 595 450.38/417.13 o 594 452.66/419.37 o 593 455.02/421.60 o 592 457.28/423.85 o 591 459.29/425.86 o 590 461.64/428.12 o 589 463.92/430.35 o 588 465.93/432.35 o 587 468.20/434.60 o 586 470.36/436.61 o 585 472.56/438.85 o 584 474.62/440.86 o 583 476.62/442.82 o 582 478.89/445.06 o 581 480.89/447.02 o 580 483.14/449.26 o 579 485.49/451.50 o 578 487.69/453.71 o 577 489.74/455.71 o 576 491.99/457.95 o 575 494.20/460.19 o 574 496.56/462.45 o 573 498.81/464.69 o 572 501.17/466.94 o 571 503.22/468.94 o 570 505.25/470.92 o 569 507.34/472.93 o 568 509.60/475.17 o 567 511.85/477.39 o 566 514.00/479.40 o 565 516.24/481.65 o 564 518.48/483.89 o 563 520.82/486.12 o 562 523.07/488.37 o 561 525.12/490.39 o 560 527.47/492.63 o 559 529.73/494.87 o 558 531.73/496.85 o 557 533.98/499.09 o 556 536.12/501.12 o 555 538.18/503.12 o 554 540.42/505.35 o 553 542.66/507.58 o 552 544.66/509.56 o 551 546.71/511.55 o 550 548.96/513.77 o 549 551.20/516.00 o 548 553.24/517.99 o 547 555.29/519.99 o 546 557.64/522.23 o 545 559.68/524.23 o 544 561.93/526.46 o 543 563.98/528.46 o 542 566.02/530.46 o 541 568.25/532.68 o 540 570.59/534.91 o 539 572.53/536.90 o 538 574.87/539.15 o 537 576.95/541.14 o 536 578.99/543.15 o 535 581.03/545.13 o 534 583.27/547.34 o 533 585.30/549.32 o 532 587.56/551.54 o 531 589.61/553.51 o 530 591.84/555.72 o 529 593.88/557.72 o 528 595.91/559.71 o 527 597.87/561.69 o 526 600.21/563.91 o 525 602.26/565.93 o 524 604.33/567.92 o 523 606.58/570.16 o 522 608.62/572.16 o 521 610.86/574.38 o 520 613.19/576.63 o 519 615.23/578.65 o 518 617.53/580.89 o 517 619.88/583.11 o 516 621.92/585.11 o 515 624.18/587.35 o 514 626.25/589.35 o 513 628.25/591.33 o 512 630.52/593.54 o 511 632.59/595.54 o 510 634.85/597.76 o 509 636.85/599.73 o 508 639.16/601.98 o 507 641.53/604.22 o 506 643.73/606.46 o 505 645.82/608.46 o 504 648.19/610.73 o 503 650.20/612.71 o 502 652.49/614.95 o 501 654.69/617.18 o 500 657.07/619.42 o 499 659.07/621.42 o 498 661.15/623.42 o 497 663.35/625.62 o 496 665.44/627.63 o 495 667.64/629.86 o 494 670.01/632.11 o 493 671.91/634.08 o 492 674.30/636.31 o 491 676.50/638.53 o 490 678.82/640.77 o 489 680.97/642.82 o 488 683.01/644.81 o 487 684.91/646.80 o 486 687.30/649.04 o 485 689.50/651.27 o 484 691.58/653.27 o 483 693.58/655.25 o 482 696.00/657.51 o 481 698.21/659.74 o 480 700.49/661.96 o 479 702.87/664.22 o 478 705.07/666.43 o 477 707.16/668.44 o 476 709.16/670.42 o 475 711.47/672.67 o 474 713.47/674.65 o 473 715.56/676.65 o 472 717.76/678.86 o 471 720.16/681.11 o 470 722.36/683.36 o 469 724.46/685.35 o 468 726.45/687.35 o 467 728.54/689.34 o 466 730.74/691.58 o 465 732.94/693.60 o 464 735.14/695.81 o 463 738.13/698.25 o 462 740.13/700.24 o 461 742.38/702.46 o 460 744.38/704.42 o 459 746.44/706.42 o 458 748.64/708.65 o 457 750.71/710.68 o 456 752.91/712.90 o 455 755.01/714.92 o 454 757.28/717.15 o 453 759.28/719.15 o 452 761.36/721.17 o 451 763.66/723.41 o 450 765.86/725.64 o 449 768.30/727.90 o 448 770.50/730.13 o 447 772.50/732.11 o 446 774.80/734.36 o 445 777.00/736.56 o 444 779.26/738.62 o 443 781.26/740.61 o 442 783.46/742.83 o 441 785.93/745.10 o 440 787.83/747.06 o 439 790.03/749.29 o 438 792.32/751.35 o 437 794.52/753.60 o 436 796.55/755.57 o 435 799.04/757.86 o 434 801.24/760.09 o 433 803.24/762.07 o 432 805.78/764.39 o 431 807.78/766.38 o 430 809.98/768.58 o 429 812.38/770.88 o 428 814.51/772.86 o 427 816.71/775.08 o 426 818.71/777.08 o 425 821.09/779.13 o 424 823.29/781.35 o 423 825.50/783.56 o 422 827.84/785.63 o 421 829.84/787.61 o 420 832.04/789.84 o 419 834.04/791.80 o 418 836.64/794.12 o 417 838.84/796.34 o 416 841.04/798.55 o 415 843.24/800.79 o 414 845.80/803.09 o 413 847.80/805.09 o 412 849.80/807.08 o 411 852.10/809.31 o 410 854.53/811.40 o 409 856.43/813.38 o 408 858.63/815.59 o 407 860.63/817.59 o 406 863.30/819.90 o 405 865.50/822.10 o 404 867.41/824.07 o 403 869.61/826.28 o 402 872.35/828.62 o 401 874.55/830.85 o 400 876.85/833.10 o 399 878.75/835.10 o 398 881.42/837.42 o 397 883.45/839.41 o 396 885.35/841.40 o 395 887.35/843.37 o 394 889.56/845.59 o 393 892.32/847.94 o 392 894.33/849.91 o 391 896.23/851.88 o 390 898.53/854.10 o 389 900.73/856.34 o 388 903.33/858.67 o 387 905.33/860.65 o 386 907.33/862.62 o 385 909.53/864.82 o 384 911.73/867.05 o 383 914.31/869.37 o 382 916.31/871.37 o 381 918.61/873.60 o 380 920.81/875.82 o 379 923.01/878.02 o 378 925.59/880.33 o 377 927.79/882.54 o 376 929.80/884.53 o 375 932.00/886.75 o 374 934.59/889.07 o 373 936.79/891.29 o 372 939.09/893.54 o 371 941.09/895.54 o 370 943.29/897.78 o 369 945.68/899.88 o 368 947.68/901.85 o 367 949.89/904.06 o 366 952.16/906.28 o 365 954.46/908.52 o 364 956.87/910.61 o 363 959.07/912.83 o 362 961.27/915.05 o 361 963.47/917.27 o 360 965.48/919.27 o 359 967.89/921.34 o 358 969.89/923.32 o 357 972.09/925.55 o 356 974.09/927.52 o 355 975.99/929.50 o 354 978.71/931.82 o 353 980.70/933.81 o 352 982.60/935.78 o 351 984.81/937.99 o 350 986.81/939.98 o 349 989.23/942.06 o 348 991.43/944.27 o 347 993.43/946.24 o 346 995.43/948.22 o 345 997.33/950.18 o 344 999.95/952.47 o 343 1002.16/954.69 o 342 1004.16/956.68 o 341 1006.16/958.67 o 340 1008.79/960.99 o 339 1010.79/962.96 o 338 1012.99/965.17 o 337 1015.29/967.40 o 336 1017.19/969.38 o 335 1019.93/971.71 o 334 1021.83/973.65 o 333 1023.83/975.62 o 332 1025.73/977.59 o 331 1028.03/979.82 o 330 1030.45/981.91 o 329 1032.65/984.13 o 328 1034.65/986.12 o 327 1036.66/988.13 o 326 1038.86/990.36 o 325 1041.29/992.43 o 324 1043.49/994.63 o 323 1045.69/996.83 o 322 1047.70/998.81 o 321 1050.14/1000.93 o 320 1052.34/1003.12 o 319 1054.34/1005.11 o 318 1056.54/1007.32 o 317 1058.54/1009.30 o 316 1061.35/1011.62 o 315 1063.36/1013.61 o 314 1065.56/1015.84 o 313 1067.76/1018.05 o 312 1069.79/1020.02 o 311 1072.42/1022.34 o 310 1074.43/1024.35 o 309 1076.43/1026.32 o 308 1078.33/1028.30 o 307 1080.63/1030.51 o 306 1083.26/1032.82 o 305 1085.27/1034.80 o 304 1087.49/1037.00 o 303 1089.69/1039.20 o 302 1092.32/1041.53 o 301 1094.52/1043.74 o 300 1096.73/1045.95 o 299 1098.93/1048.15 o 298 1100.93/1050.14 o 297 1103.56/1052.46 o 296 1105.56/1054.44 o 295 1107.56/1056.41 o 294 1109.77/1058.63 o 293 1111.97/1060.84 o 292 1114.40/1062.93 o 291 1116.42/1064.90 o 290 1118.32/1066.88 o 289 1120.62/1069.10 o 288 1123.27/1071.41 o 287 1125.16/1073.38 o 286 1127.36/1075.59 o 285 1129.46/1077.60 o 284 1131.36/1079.58 o 283 1134.10/1081.90 o 282 1136.30/1084.12 o 281 1138.30/1086.12 o 280 1140.22/1088.08 o 279 1142.42/1090.30 o 278 1144.85/1092.38 o 277 1146.85/1094.36 o 276 1149.06/1096.58 o 275 1151.06/1098.59 o 274 1153.06/1100.57 o 273 1155.70/1102.89 o 272 1157.70/1104.87 o 271 1159.90/1107.09 o 270 1162.20/1109.33 o 269 1164.20/1111.30 o 268 1166.64/1113.41 o 267 1168.55/1115.39 o 266 1170.55/1117.37 o 265 1172.85/1119.60 o 264 1175.05/1121.82 o 263 1177.50/1123.92 o 262 1179.40/1125.89 o 261 1181.40/1127.87 o 260 1183.60/1130.08 o 259 1185.60/1132.07 o 258 1188.05/1134.16 o 257 1190.04/1136.15 o 256 1192.24/1138.39 o 255 1194.54/1140.62 o 254 1196.54/1142.60 o 253 1198.89/1144.68 o 252 1200.89/1146.65 o 251 1203.09/1148.87 o 250 1205.09/1150.85 o 249 1207.10/1152.83 o 248 1209.74/1155.15 o 247 1211.94/1157.35 o 246 1214.14/1159.55 o 245 1216.14/1161.54 o 244 1218.58/1163.62 o 243 1220.49/1165.58 o 242 1222.49/1167.54 o 241 1224.69/1169.73 o 240 1226.69/1171.71 o 239 1229.34/1174.05 o 238 1231.54/1176.25 o 237 1233.74/1178.46 o 236 1235.94/1180.67 o 235 1238.14/1182.88 o 234 1240.89/1185.21 o 233 1243.09/1187.43 o 232 1245.09/1189.43 o 231 1247.10/1191.41 o 230 1248.99/1193.38 o 229 1251.63/1195.70 o 228 1253.94/1197.94 o 227 1255.94/1199.91 o 226 1257.86/1201.89 o 225 1260.16/1204.10 o 224 1262.82/1206.43 o 223 1264.82/1208.40 o 222 1266.72/1210.36 o 221 1268.92/1212.59 o 220 1271.22/1214.81 o 219 1273.68/1216.92 o 218 1275.88/1219.14 o 217 1277.89/1221.11 o 216 1279.78/1223.06 o 215 1281.98/1225.25 o 214 1284.62/1227.56 o 213 1286.62/1229.53 o 212 1288.83/1231.76 o 211 1291.03/1233.99 o 210 1293.03/1235.98 o 209 1295.78/1238.31 o 208 1297.68/1240.29 o 207 1299.88/1242.49 o 206 1301.88/1244.47 o 205 1305.37/1247.01 o 204 1307.57/1249.22 o 203 1309.78/1251.44 o 202 1311.98/1253.68 o 201 1313.98/1255.67 o 200 1316.04/1257.66 o 199 1318.04/1259.65 o 198 1320.25/1261.86 o 197 1322.45/1264.07 o 196 1324.65/1266.27 o 195 1326.72/1268.25 o 194 1328.92/1270.46 o 193 1330.92/1272.43 o 192 1333.12/1274.64 o 191 1335.32/1276.87 o 190 1337.72/1279.13 o 189 1339.72/1281.11 o 188 1341.92/1283.33 o 187 1343.92/1285.33 o 186 1346.12/1287.58 o 185 1348.43/1289.79 o 184 1350.74/1292.02 o 183 1352.74/1294.01 o 182 1354.94/1296.23 o 181 1357.36/1298.50 o 180 1359.36/1300.50 o 179 1361.56/1302.73 o 178 1363.77/1304.94 o 177 1365.97/1307.18 o 176 1368.21/1309.21 o 175 1370.12/1311.17 o 174 1372.32/1313.39 o 173 1374.62/1315.62 o 172 1376.78/1317.65 o 171 1378.98/1319.85 o 170 1380.98/1321.83 o 169 1382.98/1323.81 o 168 1384.88/1325.80 o 167 1387.36/1328.08 o 166 1389.37/1330.04 o 165 1391.56/1332.25 o 164 1393.56/1334.23 o 163 1395.77/1336.46 o 162 1398.06/1338.51 o 161 1400.26/1340.73 o 160 1402.26/1342.74 o 159 1404.26/1344.74 o 158 1406.26/1346.73 o 157 1408.49/1348.76 o 156 1410.69/1350.97 o 155 1412.68/1352.97 o 154 1414.69/1354.94 o 153 1416.69/1356.92 o 152 1418.93/1358.99 o 151 1420.94/1360.95 o 150 1423.14/1363.16 o 149 1425.34/1365.38 o 148 1427.35/1367.36 o 147 1429.69/1369.42 o 146 1431.59/1371.39 o 145 1433.79/1373.59 o 144 1435.79/1375.57 o 143 1437.80/1377.56 o 142 1440.37/1379.85 o 141 1442.37/1381.84 o 140 1444.40/1383.83 o 139 1446.40/1385.82 o 138 1448.40/1387.80 o 137 1450.99/1390.12 o 136 1453.00/1392.10 o 135 1455.19/1394.33 o 134 1457.39/1396.55 o 133 1459.60/1398.78 o 132 1462.02/1400.86 o 131 1464.22/1403.08 o 130 1466.42/1405.29 o 129 1468.42/1407.28 o 128 1471.15/1409.61 o 127 1473.25/1411.79 o 126 1475.46/1413.97 o 125 1477.66/1416.18 o 124 1479.66/1418.17 o 123 1481.67/1420.13 o 122 1484.31/1422.44 o 121 1486.51/1424.63 o 120 1488.51/1426.61 o 119 1490.61/1428.80 o 118 1492.81/1430.99 o 117 1495.25/1433.04 o 116 1497.45/1435.23 o 115 1499.66/1437.42 o 114 1501.66/1439.41 o 113 1503.86/1441.61 o 112 1506.50/1443.93 o 111 1508.40/1445.89 o 110 1510.60/1448.08 o 109 1512.80/1450.28 o 108 1514.81/1452.27 o 107 1516.81/1454.24 o 106 1519.25/1456.30 o 105 1521.35/1458.49 o 104 1523.55/1460.69 o 103 1525.55/1462.67 o 102 1527.55/1464.62 o 101 1530.20/1466.92 o 100 1532.40/1469.10 o 99 1534.30/1471.06 o 98 1536.50/1473.25 o 97 1538.51/1475.21 o 96 1540.75/1477.27 o 95 1543.05/1479.45 o 94 1545.25/1481.63 o 93 1547.46/1483.84 o 92 1549.66/1486.04 o 91 1551.56/1487.99 o 90 1554.01/1490.08 o 89 1556.21/1492.27 o 88 1558.21/1494.26 o 87 1560.41/1496.46 o 86 1562.41/1498.40 o 85 1564.77/1500.46 o 84 1566.97/1502.64 o 83 1569.17/1504.83 o 82 1571.37/1507.04 o 81 1573.37/1509.02 o 80 1576.02/1511.34 o 79 1578.23/1513.55 o 78 1580.23/1515.52 o 77 1582.43/1517.72 o 76 1584.33/1519.67 o 75 1586.33/1521.62 o 74 1588.70/1523.69 o 73 1590.90/1525.86 o 72 1593.10/1528.05 o 71 1595.30/1530.24 o 70 1597.29/1532.21 o 69 1599.95/1534.51 o 68 1602.15/1536.71 o 67 1604.05/1538.68 o 66 1606.74/1540.67 o 65 1608.80/1542.64 o 64 1611.72/1544.76 o 63 1613.92/1546.94 o 62 1615.82/1548.89 o 61 1617.82/1550.85 o 60 1619.82/1552.80 o 59 1621.92/1554.96 o 58 1624.39/1557.01 o 57 1626.29/1558.97 o 56 1628.49/1561.14 o 55 1630.69/1563.33 o 54 1632.89/1565.53 o 53 1635.36/1567.62 o 52 1637.56/1569.82 o 51 1639.76/1572.03 o 50 1641.65/1573.98 o 49 1643.85/1576.17 o 48 1646.32/1578.25 o 47 1648.32/1580.21 o 46 1650.22/1582.14 o 45 1652.41/1584.32 o 44 1654.32/1586.30 o 43 1656.52/1588.49 o 42 1659.28/1590.82 o 41 1661.49/1593.00 o 40 1663.68/1595.20 o 39 1665.80/1597.39 o 38 1667.80/1599.37 o 37 1670.25/1601.44 o 36 1672.45/1603.62 o 35 1674.35/1605.58 o 34 1676.55/1607.78 o 33 1678.75/1609.97 o 32 1681.22/1612.04 o 31 1683.12/1613.97 o 30 1685.32/1616.14 o 29 1687.52/1618.32 o 28 1689.72/1620.52 o 27 1691.62/1622.49 o 26 1694.09/1624.56 o 25 1696.29/1626.75 o 24 1698.29/1628.70 o 23 1700.39/1630.88 o 22 1702.59/1633.06 o 21 1705.06/1635.12 o 20 1707.16/1637.28 o 19 1709.16/1639.23 o 18 1711.36/1641.41 o 17 1713.56/1643.65 o 16 1716.03/1645.74 o 15 1718.23/1647.96 o 14 1720.22/1649.92 o 13 1722.12/1651.88 o 12 1724.34/1654.07 o 11 1726.54/1656.27 o 10 1729.02/1658.35 o 9 1730.92/1660.30 o 8 1733.12/1662.47 o 7 1735.32/1664.69 o 6 1737.52/1666.89 o 5 2400.08/2324.80 java.util.concurrent.TimeoutException 2400.08/2324.80 at concrete.MAC.mac(MAC.scala:74) 2400.08/2324.80 at concrete.MAC.$anonfun$oneRun$1(MAC.scala:145) 2400.08/2324.80 at scala.util.Try$.apply(Try.scala:209) 2400.08/2324.80 at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194) 2400.08/2324.80 at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182) 2400.08/2324.80 at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12) 2400.08/2324.80 at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61) 2400.08/2324.80 at org.scalameter.Measurer$Default.measure(Measurer.scala:131) 2400.08/2324.80 at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51) 2400.08/2324.80 at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61) 2400.08/2324.80 at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181) 2400.08/2324.80 at cspom.StatisticsManager$.measure(StatisticsManager.scala:194) 2400.08/2324.80 at concrete.MAC.oneRun(MAC.scala:146) 2400.08/2324.80 at concrete.MAC.nextSolution(MAC.scala:166) 2400.08/2324.80 at concrete.MAC.$anonfun$nextSolution$2(MAC.scala:196) 2400.08/2324.80 at concrete.ProblemState.map(ProblemState.scala:203) 2400.08/2324.80 at concrete.ProblemState.map(ProblemState.scala:188) 2400.08/2324.80 at concrete.MAC.nextSolution(MAC.scala:195) 2400.08/2324.80 at concrete.Solver.hasNext(Solver.scala:202) 2400.08/2324.80 at scala.collection.Iterator.toStream(Iterator.scala:1403) 2400.08/2324.80 at scala.collection.Iterator.toStream$(Iterator.scala:1402) 2400.08/2324.80 at concrete.Solver.toStream(Solver.scala:73) 2400.08/2324.80 at scala.collection.Iterator.$anonfun$toStream$1(Iterator.scala:1403) 2400.08/2324.80 at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1169) 2400.08/2324.80 at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1159) 2400.08/2324.80 at scala.collection.immutable.Stream.foreach(Stream.scala:531) 2400.08/2324.80 at concrete.runner.ConcreteRunner.$anonfun$run$10(ConcreteRunner.scala:157) 2400.08/2324.80 at scala.util.Success.$anonfun$map$1(Try.scala:251) 2400.08/2324.80 at scala.util.Success.map(Try.scala:209) 2400.08/2324.80 at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:154) 2400.08/2324.80 at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:72) 2400.08/2324.80 at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:17) 2400.08/2324.80 at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:119) 2400.08/2324.80 at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:17) 2400.08/2324.80 at scala.Function0.apply$mcV$sp(Function0.scala:34) 2400.08/2324.80 at scala.Function0.apply$mcV$sp$(Function0.scala:34) 2400.08/2324.80 at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12) 2400.08/2324.80 at scala.App.$anonfun$main$1$adapted(App.scala:76) 2400.08/2324.80 at scala.collection.immutable.List.foreach(List.scala:389) 2400.08/2324.80 at scala.App.main(App.scala:76) 2400.08/2324.80 at scala.App.main$(App.scala:74) 2400.08/2324.80 at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:17) 2400.08/2324.80 at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala) 2400.08/2324.83 v <instantiation cost="5"> 2400.08/2324.83 v <list> 2400.08/2324.83 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] 2400.08/2324.83 v </list> 2400.08/2324.83 v <values> 2400.08/2324.83 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 2400.08/2324.83 v </values> 2400.08/2324.83 v </instantiation> 2400.08/2324.83 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-4248611-1502137666/watcher-4248611-1502137666 -o /tmp/evaluation-result-4248611-1502137666/solver-4248611-1502137666 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node133-1502128909-26537 --watchdog 2560 bin/concrete HOME/instance-4248611-1502137666.xml pid=28427 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 1.42 1.56 1.50 2/199 28430 /proc/meminfo: memFree=30424984/32770624 swapFree=0/357032 [pid=28430] ppid=28427 vsize=23672 CPUtime=0 cores=1,3,5,7 /proc/28430/stat : 28430 (runsolver) D 28427 28430 25100 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 61581854 24240128 106 18446744073709551615 4194304 4338465 140724861135744 140724861133384 140597491274455 0 0 1 24578 18446744071580418449 0 0 17 7 0 0 0 0 0 6438912 6441760 31883264 140724861137104 140724861137481 140724861137481 140724861140938 0 /proc/28430/statm: 5918 106 53 36 0 2156 0 [startup+0.100116 s] /proc/loadavg: 1.42 1.56 1.50 2/199 28430 /proc/meminfo: memFree=30424984/32770624 swapFree=0/357032 [pid=28430] ppid=28427 vsize=9508 CPUtime=0 cores=1,3,5,7 /proc/28430/stat : 28430 (bash) S 28427 28430 25100 0 -1 4202496 679 1545 0 0 0 0 0 0 20 0 1 0 61581854 9736192 351 18446744073709551615 4194304 5098028 140722463996960 140722463994600 139988834163712 0 0 5 65536 18446744071580971376 0 0 17 3 0 0 8 0 0 7196144 7232144 14315520 140722463998484 140722463998569 140722463998569 140722464002026 0 /proc/28430/statm: 2377 351 279 221 0 86 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9508 [startup+0.200302 s] /proc/loadavg: 1.42 1.56 1.50 2/199 28430 /proc/meminfo: memFree=30424984/32770624 swapFree=0/357032 [pid=28430] ppid=28427 vsize=9640 CPUtime=0.01 cores=1,3,5,7 /proc/28430/stat : 28430 (bash) S 28427 28430 25100 0 -1 4202496 881 6455 0 0 0 0 0 1 20 0 1 0 61581854 9871360 375 18446744073709551615 4194304 5098028 140722463996960 140722463990968 139988834163712 0 0 5 65536 18446744071580971376 0 0 17 3 0 0 8 0 0 7196144 7232144 14315520 140722463998484 140722463998569 140722463998569 140722464002026 0 /proc/28430/statm: 2410 375 295 221 0 119 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 9640 [startup+0.300339 s] /proc/loadavg: 1.42 1.56 1.50 2/199 28430 /proc/meminfo: memFree=30424984/32770624 swapFree=0/357032 [pid=28430] ppid=28427 vsize=10485316 CPUtime=0.13 cores=1,3,5,7 /proc/28430/stat : 28430 (java) S 28427 28430 25100 0 -1 1077944320 5789 12440 0 0 5 1 4 3 20 0 14 0 61581854 10736963584 6009 18446744073709551615 4194304 4196468 140736857876816 140736857859360 139700925185783 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 39620608 140736857880539 140736857883313 140736857883313 140736857886671 0 /proc/28430/statm: 2621329 6009 2668 1 0 2610826 0 Current children cumulated CPU time (s) 0.13 Current children cumulated vsize (KiB) 10485316 [startup+0.700511 s] /proc/loadavg: 1.42 1.56 1.50 2/199 28430 /proc/meminfo: memFree=30424984/32770624 swapFree=0/357032 [pid=28430] ppid=28427 vsize=10552792 CPUtime=0.68 cores=1,3,5,7 /proc/28430/stat : 28430 (java) S 28427 28430 25100 0 -1 1077944320 13846 12440 0 0 57 4 4 3 20 0 15 0 61581854 10806059008 14796 18446744073709551615 4194304 4196468 140736857876816 140736857859360 139700925185783 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 39620608 140736857880539 140736857883313 140736857883313 140736857886671 0 /proc/28430/statm: 2638198 14796 3130 1 0 2627467 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 10552792 [startup+1.5006 s] /proc/loadavg: 1.42 1.56 1.50 3/214 28493 /proc/meminfo: memFree=30337992/32770624 swapFree=0/357084 [pid=28430] ppid=28427 vsize=10563416 CPUtime=1.88 cores=1,3,5,7 /proc/28430/stat : 28430 (java) S 28427 28430 25100 0 -1 1077944320 30136 12440 0 0 171 10 4 3 20 0 15 0 61581854 10816937984 41127 18446744073709551615 4194304 4196468 140736857876816 140736857859360 139700925185783 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 39620608 140736857880539 140736857883313 140736857883313 140736857886671 0 /proc/28430/statm: 2640854 41127 3381 1 0 2630027 0 [pid=28430/tid=28480] ppid=28427 vsize=10563416 CPUtime=1.28 cores=1,3,5,7 /proc/28430/task/28480/stat : 28480 (java) S 28427 28430 25100 0 -1 1077944384 23377 12440 0 0 115 6 4 3 20 0 15 0 61581876 10816937984 41127 18446744073709551615 4194304 4196468 140736857876816 139700929406896 139700925195989 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 39620608 140736857880539 140736857883313 140736857883313 140736857886671 0 [pid=28430/tid=28481] ppid=28427 vsize=10563416 CPUtime=0.07 cores=1,3,5,7 /proc/28430/task/28481/stat : 28481 (java) S 28427 28430 25100 0 -1 1077944384 45 12440 0 0 0 0 4 3 20 0 15 0 61581876 10816937984 41127 18446744073709551615 4194304 4196468 140736857876816 139700866222480 139700925195989 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39620608 140736857880539 140736857883313 140736857883313 140736857886671 0 [pid=28430/tid=28482] ppid=28427 vsize=10563416 CPUtime=0.07 cores=1,3,5,7 /proc/28430/task/28482/stat : 28482 (java) S 28427 28430 25100 0 -1 1077944384 56 12440 0 0 0 0 4 3 20 0 15 0 61581876 10816937984 41127 18446744073709551615 4194304 4196468 140736857876816 139700865169680 139700925195989 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39620608 140736857880539 140736857883313 140736857883313 140736857886671 0 [pid=28430/tid=28483] ppid=28427 vsize=10563416 CPUtime=0.07 cores=1,3,5,7 /proc/28430/task/28483/stat : 28483 (java) S 28427 28430 25100 0 -1 1077944384 168 12440 0 0 0 0 4 3 20 0 15 0 61581876 10816937984 41127 18446744073709551615 4194304 4196468 140736857876816 139700864117392 139700925195989 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39620608 140736857880539 140736857883313 140736857883313 140736857886671 0 [pid=28430/tid=28484] ppid=28427 vsize=10563416 CPUtime=0.07 cores=1,3,5,7 /proc/28430/task/28484/stat : 28484 (java) S 28427 28430 25100 0 -1 1077944384 27 12440 0 0 0 0 4 3 20 0 15 0 61581876 10816937984 41127 18446744073709551615 4194304 4196468 140736857876816 139700863064592 139700925195989 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39620608 140736857880539 140736857883313 140736857883313 140736857886671 0 [pid=28430/tid=28485] ppid=28427 vsize=10563416 CPUtime=0.08 cores=1,3,5,7 /proc/28430/task/28485/stat : 28485 (java) R 28427 28430 25100 0 -1 4202560 1328 12440 0 0 1 0 4 3 20 0 15 0 61581878 10816937984 41127 18446744073709551615 4194304 4196468 140736857876816 139700421284800 139700909886436 0 0 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39620608 140736857880539 140736857883313 140736857883313 140736857886671 0 [pid=28430/tid=28486] ppid=28427 vsize=10563416 CPUtime=0.07 cores=1,3,5,7 /proc/28430/task/28486/stat : 28486 (java) S 28427 28430 25100 0 -1 1077944384 33 12440 0 0 0 0 4 3 20 0 15 0 61581878 10816937984 41127 18446744073709551615 4194304 4196468 140736857876816 139700420232480 139700925195989 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39620608 140736857880539 140736857883313 140736857883313 140736857886671 0 [pid=28430/tid=28487] ppid=28427 vsize=10563416 CPUtime=0.07 cores=1,3,5,7 /proc/28430/task/28487/stat : 28487 (java) S 28427 28430 25100 0 -1 1077944384 21 12440 0 0 0 0 4 3 20 0 15 0 61581878 10816937984 41127 18446744073709551615 4194304 4196468 140736857876816 139700419180144 139700925195989 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39620608 140736857880539 140736857883313 140736857883313 140736857886671 0 [pid=28430/tid=28488] ppid=28427 vsize=10563416 CPUtime=0.07 cores=1,3,5,7 /proc/28430/task/28488/stat : 28488 (java) S 28427 28430 25100 0 -1 1077944384 3 12440 0 0 0 0 4 3 20 0 15 0 61581881 10816937984 41127 18446744073709551615 4194304 4196468 140736857876816 139700418128464 139700925204379 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39620608 140736857880539 140736857883313 140736857883313 140736857886671 0 [pid=28430/tid=28489] ppid=28427 vsize=10563416 CPUtime=0.22 cores=1,3,5,7 /proc/28430/task/28489/stat : 28489 (java) S 28427 28430 25100 0 -1 1077944384 1040 12440 0 0 15 0 4 3 20 0 15 0 61581881 10816937984 41127 18446744073709551615 4194304 4196468 140736857876816 139700417075312 139700925196930 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39620608 140736857880539 140736857883313 140736857883313 140736857886671 0 [pid=28430/tid=28490] ppid=28427 vsize=10563416 CPUtime=0.21 cores=1,3,5,7 /proc/28430/task/28490/stat : 28490 (java) S 28427 28430 25100 0 -1 1077944384 563 12440 0 0 14 0 4 3 20 0 15 0 61581881 10816937984 41127 18446744073709551615 4194304 4196468 140736857876816 139700416022512 139700925196930 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39620608 140736857880539 140736857883313 140736857883313 140736857886671 0 [pid=28430/tid=28491] ppid=28427 vsize=10563416 CPUtime=0.29 cores=1,3,5,7 /proc/28430/task/28491/stat : 28491 (java) S 28427 28430 25100 0 -1 1077944384 1330 12440 0 0 22 0 4 3 20 0 15 0 61581881 10816937984 41127 18446744073709551615 4194304 4196468 140736857876816 139700414966096 139700925195989 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39620608 140736857880539 140736857883313 140736857883313 140736857886671 0 [pid=28430/tid=28492] ppid=28427 vsize=10563416 CPUtime=0.07 cores=1,3,5,7 /proc/28430/task/28492/stat : 28492 (java) S 28427 28430 25100 0 -1 1077944384 3 12440 0 0 0 0 4 3 20 0 15 0 61581881 10816937984 41127 18446744073709551615 4194304 4196468 140736857876816 139700413917664 139700925195989 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39620608 140736857880539 140736857883313 140736857883313 140736857886671 0 [pid=28430/tid=28493] ppid=28427 vsize=10563416 CPUtime=0.07 cores=1,3,5,7 /proc/28430/task/28493/stat : 28493 (java) S 28427 28430 25100 0 -1 1077944384 10 12440 0 0 0 0 4 3 20 0 15 0 61581885 10816937984 41127 18446744073709551615 4194304 4196468 140736857876816 139700412865456 139700925196930 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39620608 140736857880539 140736857883313 140736857883313 140736857886671 0 Current children cumulated CPU time (s) 1.88 Current children cumulated vsize (KiB) 10563416 [startup+3.10151 s] /proc/loadavg: 1.42 1.56 1.50 5/214 28493 /proc/meminfo: memFree=30262344/32770624 swapFree=0/357084 [pid=28430] ppid=28427 vsize=10573844 CPUtime=6.23 cores=1,3,5,7 /proc/28430/stat : 28430 (java) S 28427 28430 25100 0 -1 1077944320 43707 12440 0 0 598 18 4 3 20 0 15 0 61581854 10827616256 72376 18446744073709551615 4194304 4196468 140736857876816 140736857859360 139700925185783 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 39620608 140736857880539 140736857883313 140736857883313 140736857886671 0 /proc/28430/statm: 2643461 72376 3468 1 0 2632075 0 [pid=28430/tid=28480] ppid=28427 vsize=10573844 CPUtime=2.85 cores=1,3,5,7 /proc/28430/task/28480/stat : 28480 (java) R 28427 28430 25100 0 -1 4202560 29434 12440 0 0 268 10 4 3 20 0 15 0 61581876 10827616256 72376 18446744073709551615 4194304 4196468 140736857876816 139700929415120 139700547283955 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 39620608 140736857880539 140736857883313 140736857883313 140736857886671 0 [pid=28430/tid=28481] ppid=28427 vsize=10573844 CPUtime=0.08 cores=1,3,5,7 /proc/28430/task/28481/stat : 28481 (java) S 28427 28430 25100 0 -1 1077944384 61 12440 0 0 1 0 4 3 20 0 15 0 61581876 10827616256 72376 18446744073709551615 4194304 4196468 140736857876816 139700866222480 139700925195989 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39620608 140736857880539 140736857883313 140736857883313 140736857886671 0 [pid=28430/tid=28482] ppid=28427 vsize=10573844 CPUtime=0.08 cores=1,3,5,7 /proc/28430/task/28482/stat : 28482 (java) S 28427 28430 25100 0 -1 1077944384 99 12440 0 0 1 0 4 3 20 0 15 0 61581876 10827616256 72376 18446744073709551615 4194304 4196468 140736857876816 139700865169680 139700925195989 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39620608 140736857880539 140736857883313 140736857883313 140736857886671 0 [pid=28430/tid=28483] ppid=28427 vsize=10573844 CPUtime=0.08 cores=1,3,5,7 /proc/28430/task/28483/stat : 28483 (java) S 28427 28430 25100 0 -1 1077944384 176 12440 0 0 1 0 4 3 20 0 15 0 61581876 10827616256 72376 18446744073709551615 4194304 4196468 140736857876816 139700864117392 139700925195989 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39620608 140736857880539 140736857883313 140736857883313 140736857886671 0 [pid=28430/tid=28484] ppid=28427 vsize=10573844 CPUtime=0.08 cores=1,3,5,7 /proc/28430/task/28484/stat : 28484 (java) S 28427 28430 25100 0 -1 1077944384 144 12440 0 0 1 0 4 3 20 0 15 0 61581876 10827616256 72376 18446744073709551615 4194304 4196468 140736857876816 139700863064592 139700925195989 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39620608 140736857880539 140736857883313 140736857883313 140736857886671 0 [pid=28430/tid=28485] ppid=28427 vsize=10573844 CPUtime=0.08 cores=1,3,5,7 /proc/28430/task/28485/stat : 28485 (java) S 28427 28430 25100 0 -1 1077944384 1569 12440 0 0 1 0 4 3 20 0 15 0 61581878 10827616256 72376 18446744073709551615 4194304 4196468 140736857876816 139700421286512 139700925196930 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39620608 140736857880539 140736857883313 140736857883313 140736857886671 0 [pid=28430/tid=28486] ppid=28427 vsize=10573844 CPUtime=0.07 cores=1,3,5,7 /proc/28430/task/28486/stat : 28486 (java) S 28427 28430 25100 0 -1 1077944384 56 12440 0 0 0 0 4 3 20 0 15 0 61581878 10827616256 72376 18446744073709551615 4194304 4196468 140736857876816 139700420232544 139700925195989 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39620608 140736857880539 140736857883313 140736857883313 140736857886671 0 [pid=28430/tid=28487] ppid=28427 vsize=10573844 CPUtime=0.07 cores=1,3,5,7 /proc/28430/task/28487/stat : 28487 (java) S 28427 28430 25100 0 -1 1077944384 43 12440 0 0 0 0 4 3 20 0 15 0 61581878 10827616256 72376 18446744073709551615 4194304 4196468 140736857876816 139700419180160 139700925195989 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39620608 140736857880539 140736857883313 140736857883313 140736857886671 0 [pid=28430/tid=28488] ppid=28427 vsize=10573844 CPUtime=0.07 cores=1,3,5,7 /proc/28430/task/28488/stat : 28488 (java) S 28427 28430 25100 0 -1 1077944384 3 12440 0 0 0 0 4 3 20 0 15 0 61581881 10827616256 72376 18446744073709551615 4194304 4196468 140736857876816 139700418128464 139700925204379 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39620608 140736857880539 140736857883313 140736857883313 140736857886671 0 [pid=28430/tid=28489] ppid=28427 vsize=10573844 CPUtime=1.09 cores=1,3,5,7 /proc/28430/task/28489/stat : 28489 (java) R 28427 28430 25100 0 -1 4202560 2771 12440 0 0 101 1 4 3 20 0 15 0 61581881 10827616256 72376 18446744073709551615 4194304 4196468 140736857876816 139700417061336 139700910107749 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 39620608 140736857880539 140736857883313 140736857883313 140736857886671 0 [pid=28430/tid=28490] ppid=28427 vsize=10573844 CPUtime=1.22 cores=1,3,5,7 /proc/28430/task/28490/stat : 28490 (java) R 28427 28430 25100 0 -1 4202560 3369 12440 0 0 114 1 4 3 20 0 15 0 61581881 10827616256 72376 18446744073709551615 4194304 4196468 140736857876816 139700416006736 139700911214592 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39620608 140736857880539 140736857883313 140736857883313 140736857886671 0 [pid=28430/tid=28491] ppid=28427 vsize=10573844 CPUtime=1.11 cores=1,3,5,7 /proc/28430/task/28491/stat : 28491 (java) S 28427 28430 25100 0 -1 1077944384 3834 12440 0 0 103 1 4 3 20 0 15 0 61581881 10827616256 72376 18446744073709551615 4194304 4196468 140736857876816 139700414970224 139700925196930 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39620608 140736857880539 140736857883313 140736857883313 140736857886671 0 [pid=28430/tid=28492] ppid=28427 vsize=10573844 CPUtime=0.07 cores=1,3,5,7 /proc/28430/task/28492/stat : 28492 (java) S 28427 28430 25100 0 -1 1077944384 3 12440 0 0 0 0 4 3 20 0 15 0 61581881 10827616256 72376 18446744073709551615 4194304 4196468 140736857876816 139700413917664 139700925195989 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39620608 140736857880539 140736857883313 140736857883313 140736857886671 0 [pid=28430/tid=28493] ppid=28427 vsize=10573844 CPUtime=0.07 cores=1,3,5,7 /proc/28430/task/28493/stat : 28493 (java) S 28427 28430 25100 0 -1 1077944384 13 12440 0 0 0 0 4 3 20 0 15 0 61581885 10827616256 72376 18446744073709551615 4194304 4196468 140736857876816 139700412865456 139700925196930 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39620608 140736857880539 140736857883313 140736857883313 140736857886671 0 Current children cumulated CPU time (s) 6.23 Current children cumulated vsize (KiB) 10573844 [startup+6.30069 s] /proc/loadavg: 1.62 1.60 1.51 5/213 28493 /proc/meminfo: memFree=30038916/32770624 swapFree=0/357084 [pid=28430] ppid=28427 vsize=10575892 CPUtime=15.91 cores=1,3,5,7 /proc/28430/stat : 28430 (java) S 28427 28430 25100 0 -1 1077944320 61285 12440 0 0 1550 34 4 3 20 0 15 0 61581854 10829713408 140500 18446744073709551615 4194304 4196468 140736857876816 140736857859360 139700925185783 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 39620608 140736857880539 140736857883313 140736857883313 140736857886671 0 /proc/28430/statm: 2643973 140500 3483 1 0 2632587 0 [pid=28430/tid=28480] ppid=28427 vsize=10575892 CPUtime=5.81 cores=1,3,5,7 /proc/28430/task/28480/stat : 28480 (java) R 28427 28430 25100 0 -1 4202560 31109 12440 0 0 562 12 4 3 20 0 15 0 61581876 10829713408 140500 18446744073709551615 4194304 4196468 140736857876816 139700929416752 139700550757661 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 39620608 140736857880539 140736857883313 140736857883313 140736857886671 0 [pid=28430/tid=28481] ppid=28427 vsize=10575892 CPUtime=0.21 cores=1,3,5,7 /proc/28430/task/28481/stat : 28481 (java) S 28427 28430 25100 0 -1 1077944384 1236 12440 0 0 11 3 4 3 20 0 15 0 61581876 10829713408 140500 18446744073709551615 4194304 4196468 140736857876816 139700866222480 139700925195989 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39620608 140736857880539 140736857883313 140736857883313 140736857886671 0 [pid=28430/tid=28482] ppid=28427 vsize=10575892 CPUtime=0.2 cores=1,3,5,7 /proc/28430/task/28482/stat : 28482 (java) S 28427 28430 25100 0 -1 1077944384 183 12440 0 0 11 2 4 3 20 0 15 0 61581876 10829713408 140500 18446744073709551615 4194304 4196468 140736857876816 139700865169680 139700925195989 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39620608 140736857880539 140736857883313 140736857883313 140736857886671 0 [pid=28430/tid=28483] ppid=28427 vsize=10575892 CPUtime=0.25 cores=1,3,5,7 /proc/28430/task/28483/stat : 28483 (java) S 28427 28430 25100 0 -1 1077944384 247 12440 0 0 15 3 4 3 20 0 15 0 61581876 10829713408 140500 18446744073709551615 4194304 4196468 140736857876816 139700864117392 139700925195989 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39620608 140736857880539 140736857883313 140736857883313 140736857886671 0 [pid=28430/tid=28484] ppid=28427 vsize=10575892 CPUtime=0.29 cores=1,3,5,7 /proc/28430/task/28484/stat : 28484 (java) S 28427 28430 25100 0 -1 1077944384 305 12440 0 0 18 4 4 3 20 0 15 0 61581876 10829713408 140500 18446744073709551615 4194304 4196468 140736857876816 139700863064592 139700925195989 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39620608 140736857880539 140736857883313 140736857883313 140736857886671 0 [pid=28430/tid=28485] ppid=28427 vsize=10575892 CPUtime=0.09 cores=1,3,5,7 /proc/28430/task/28485/stat : 28485 (java) S 28427 28430 25100 0 -1 1077944384 2527 12440 0 0 2 0 4 3 20 0 15 0 61581878 10829713408 140500 18446744073709551615 4194304 4196468 140736857876816 139700421286512 139700925196930 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39620608 140736857880539 140736857883313 140736857883313 140736857886671 0 [pid=28430/tid=28486] ppid=28427 vsize=10575892 CPUtime=0.07 cores=1,3,5,7 /proc/28430/task/28486/stat : 28486 (java) S 28427 28430 25100 0 -1 1077944384 61 12440 0 0 0 0 4 3 20 0 15 0 61581878 10829713408 140500 18446744073709551615 4194304 4196468 140736857876816 139700420232544 139700925195989 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39620608 140736857880539 140736857883313 140736857883313 140736857886671 0 [pid=28430/tid=28487] ppid=28427 vsize=10575892 CPUtime=0.07 cores=1,3,5,7 /proc/28430/task/28487/stat : 28487 (java) S 28427 28430 25100 0 -1 1077944384 46 12440 0 0 0 0 4 3 20 0 15 0 61581878 10829713408 140500 18446744073709551615 4194304 4196468 140736857876816 139700419180160 139700925195989 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39620608 140736857880539 140736857883313 140736857883313 140736857886671 0 [pid=28430/tid=28488] ppid=28427 vsize=10575892 CPUtime=0.07 cores=1,3,5,7 /proc/28430/task/28488/stat : 28488 (java) S 28427 28430 25100 0 -1 1077944384 3 12440 0 0 0 0 4 3 20 0 15 0 61581881 10829713408 140500 18446744073709551615 4194304 4196468 140736857876816 139700418128464 139700925204379 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39620608 140736857880539 140736857883313 140736857883313 140736857886671 0 [pid=28430/tid=28489] ppid=28427 vsize=10575892 CPUtime=4.26 cores=1,3,5,7 /proc/28430/task/28489/stat : 28489 (java) R 28427 28430 25100 0 -1 4202560 3310 12440 0 0 416 3 4 3 20 0 15 0 61581881 10829713408 140500 18446744073709551615 4194304 4196468 140736857876816 139700417055512 139700905907870 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39620608 140736857880539 140736857883313 140736857883313 140736857886671 0 [pid=28430/tid=28490] ppid=28427 vsize=10575892 CPUtime=3.81 cores=1,3,5,7 /proc/28430/task/28490/stat : 28490 (java) S 28427 28430 25100 0 -1 1077944384 11978 12440 0 0 372 2 4 3 20 0 15 0 61581881 10829713408 140500 18446744073709551615 4194304 4196468 140736857876816 139700416022512 139700925196930 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 39620608 140736857880539 140736857883313 140736857883313 140736857886671 0 [pid=28430/tid=28491] ppid=28427 vsize=10575892 CPUtime=1.46 cores=1,3,5,7 /proc/28430/task/28491/stat : 28491 (java) S 28427 28430 25100 0 -1 1077944384 7678 12440 0 0 137 2 4 3 20 0 15 0 61581881 10829713408 140500 18446744073709551615 4194304 4196468 140736857876816 139700414970224 139700925196930 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 39620608 140736857880539 140736857883313 140736857883313 140736857886671 0 [pid=28430/tid=28492] ppid=28427 vsize=10575892 CPUtime=0.07 cores=1,3,5,7 /proc/28430/task/28492/stat : 28492 (java) S 28427 28430 25100 0 -1 1077944384 3 12440 0 0 0 0 4 3 20 0 15 0 61581881 10829713408 140500 18446744073709551615 4194304 4196468 140736857876816 139700413917664 139700925195989 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39620608 140736857880539 140736857883313 140736857883313 140736857886671 0 [pid=28430/tid=28493] ppid=28427 vsize=10575892 CPUtime=0.07 cores=1,3,5,7 /proc/28430/task/28493/stat : 28493 (java) S 28427 28430 25100 0 -1 1077944384 467 12440 0 0 0 0 4 3 20 0 15 0 61581885 10829713408 140500 18446744073709551615 4194304 4196468 140736857876816 139700412865456 139700925196930 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39620608 140736857880539 140736857883313 140736857883313 140736857886671 0 Current children cumulated CPU time (s) 15.91 Current children cumulated vsize (KiB) 10575892 [startup+12.7007 s] /proc/loadavg: 1.66 1.61 1.51 3/213 28493 /proc/meminfo: memFree=29295340/32770624 swapFree=0/357080 [pid=28430] ppid=28427 vsize=10577940 CPUtime=28.19 cores=1,3,5,7 /proc/28430/stat : 28430 (java) S 28427 28430 25100 0 -1 1077944320 73772 12440 0 0 2748 64 4 3 20 0 15 0 61581854 10831810560 371117 18446744073709551615 4194304 4196468 140736857876816 140736857859360 139700925185783 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 39620608 140736857880539 140736857883313 140736857883313 140736857886671 0 /proc/28430/statm: 2644485 371117 3483 1 0 2633099 0 [pid=28430/tid=28480] ppid=28427 vsize=10577940 CPUtime=11.96 cores=1,3,5,7 /proc/28430/task/28480/stat : 28480 (java) R 28427 28430 25100 0 -1 4202560 33760 12440 0 0 1165 24 4 3 20 0 15 0 61581876 10831810560 371117 18446744073709551615 4194304 4196468 140736857876816 139700929418048 139700539303414 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 39620608 140736857880539 140736857883313 140736857883313 140736857886671 0 [pid=28430/tid=28481] ppid=28427 vsize=10577940 CPUtime=0.42 cores=1,3,5,7 /proc/28430/task/28481/stat : 28481 (java) S 28427 28430 25100 0 -1 1077944384 1350 12440 0 0 28 7 4 3 20 0 15 0 61581876 10831810560 371117 18446744073709551615 4194304 4196468 140736857876816 139700866222480 139700925195989 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39620608 140736857880539 140736857883313 140736857883313 140736857886671 0 [pid=28430/tid=28482] ppid=28427 vsize=10577940 CPUtime=0.41 cores=1,3,5,7 /proc/28430/task/28482/stat : 28482 (java) S 28427 28430 25100 0 -1 1077944384 353 12440 0 0 28 6 4 3 20 0 15 0 61581876 10831810560 371117 18446744073709551615 4194304 4196468 140736857876816 139700865169680 139700925195989 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39620608 140736857880539 140736857883313 140736857883313 140736857886671 0 [pid=28430/tid=28483] ppid=28427 vsize=10577940 CPUtime=0.49 cores=1,3,5,7 /proc/28430/task/28483/stat : 28483 (java) S 28427 28430 25100 0 -1 1077944384 459 12440 0 0 35 7 4 3 20 0 15 0 61581876 10831810560 371117 18446744073709551615 4194304 4196468 140736857876816 139700864117392 139700925195989 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39620608 140736857880539 140736857883313 140736857883313 140736857886671 0 [pid=28430/tid=28484] ppid=28427 vsize=10577940 CPUtime=0.49 cores=1,3,5,7 /proc/28430/task/28484/stat : 28484 (java) S 28427 28430 25100 0 -1 1077944384 414 12440 0 0 35 7 4 3 20 0 15 0 61581876 10831810560 371117 18446744073709551615 4194304 4196468 140736857876816 139700863064592 139700925195989 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39620608 140736857880539 140736857883313 140736857883313 140736857886671 0 [pid=28430/tid=28485] ppid=28427 vsize=10577940 CPUtime=0.1 cores=1,3,5,7 /proc/28430/task/28485/stat : 28485 (java) S 28427 28430 25100 0 -1 1077944384 2889 12440 0 0 3 0 4 3 20 0 15 0 61581878 10831810560 371117 18446744073709551615 4194304 4196468 140736857876816 139700421286512 139700925196930 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39620608 140736857880539 140736857883313 140736857883313 140736857886671 0 [pid=28430/tid=28486] ppid=28427 vsize=10577940 CPUtime=0.07 cores=1,3,5,7 /proc/28430/task/28486/stat : 28486 (java) S 28427 28430 25100 0 -1 1077944384 62 12440 0 0 0 0 4 3 20 0 15 0 61581878 10831810560 371117 18446744073709551615 4194304 4196468 140736857876816 139700420232544 139700925195989 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39620608 140736857880539 140736857883313 140736857883313 140736857886671 0 [pid=28430/tid=28487] ppid=28427 vsize=10577940 CPUtime=0.07 cores=1,3,5,7 /proc/28430/task/28487/stat : 28487 (java) S 28427 28430 25100 0 -1 1077944384 47 12440 0 0 0 0 4 3 20 0 15 0 61581878 10831810560 371117 18446744073709551615 4194304 4196468 140736857876816 139700419180160 139700925195989 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39620608 140736857880539 140736857883313 140736857883313 140736857886671 0 [pid=28430/tid=28488] ppid=28427 vsize=10577940 CPUtime=0.07 cores=1,3,5,7 /proc/28430/task/28488/stat : 28488 (java) S 28427 28430 25100 0 -1 1077944384 3 12440 0 0 0 0 4 3 20 0 15 0 61581881 10831810560 371117 18446744073709551615 4194304 4196468 140736857876816 139700418128464 139700925204379 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39620608 140736857880539 140736857883313 140736857883313 140736857886671 0 ################ # More data... # ################ /proc/28430/task/28492/stat : 28492 (java) S 28427 28430 25100 0 -1 1077944384 3 12440 0 0 0 0 4 3 20 0 15 0 61581881 10836004864 867051 18446744073709551615 4194304 4196468 140736857876816 139700413917664 139700925195989 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39620608 140736857880539 140736857883313 140736857883313 140736857886671 0 [pid=28430/tid=28493] ppid=28427 vsize=10582036 CPUtime=1.16 cores=1,3,5,7 /proc/28430/task/28493/stat : 28493 (java) S 28427 28430 25100 0 -1 1077944384 2041 12440 0 0 46 63 4 3 20 0 15 0 61581885 10836004864 867051 18446744073709551615 4194304 4196468 140736857876816 139700412865456 139700925196930 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39620608 140736857880539 140736857883313 140736857883313 140736857886671 0 Current children cumulated CPU time (s) 2217.21 Current children cumulated vsize (KiB) 10582036 [startup+2202.31 s] /proc/loadavg: 1.59 1.78 1.79 3/218 28763 /proc/meminfo: memFree=25186316/32770624 swapFree=0/357724 [pid=28430] ppid=28427 vsize=10582036 CPUtime=2277.36 cores=1,3,5,7 /proc/28430/stat : 28430 (java) S 28427 28430 25100 0 -1 1077944320 497352 12440 0 0 227326 403 4 3 20 0 15 0 61581854 10836004864 870141 18446744073709551615 4194304 4196468 140736857876816 140736857859360 139700925185783 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 39620608 140736857880539 140736857883313 140736857883313 140736857886671 0 /proc/28430/statm: 2645509 870141 3515 1 0 2634123 0 [pid=28430/tid=28480] ppid=28427 vsize=10582036 CPUtime=2185.74 cores=1,3,5,7 /proc/28430/task/28480/stat : 28480 (java) R 28427 28430 25100 0 -1 4202560 179696 12440 0 0 218495 72 4 3 20 0 15 0 61581876 10836004864 870141 18446744073709551615 4194304 4196468 140736857876816 139700929421232 139700546684694 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 39620608 140736857880539 140736857883313 140736857883313 140736857886671 0 [pid=28430/tid=28481] ppid=28427 vsize=10582036 CPUtime=15.37 cores=1,3,5,7 /proc/28430/task/28481/stat : 28481 (java) S 28427 28430 25100 0 -1 1077944384 23623 12440 0 0 1469 61 4 3 20 0 15 0 61581876 10836004864 870141 18446744073709551615 4194304 4196468 140736857876816 139700866222480 139700925195989 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39620608 140736857880539 140736857883313 140736857883313 140736857886671 0 [pid=28430/tid=28482] ppid=28427 vsize=10582036 CPUtime=15.41 cores=1,3,5,7 /proc/28430/task/28482/stat : 28482 (java) S 28427 28430 25100 0 -1 1077944384 26151 12440 0 0 1474 60 4 3 20 0 15 0 61581876 10836004864 870141 18446744073709551615 4194304 4196468 140736857876816 139700865169680 139700925195989 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39620608 140736857880539 140736857883313 140736857883313 140736857886671 0 [pid=28430/tid=28483] ppid=28427 vsize=10582036 CPUtime=15.48 cores=1,3,5,7 /proc/28430/task/28483/stat : 28483 (java) S 28427 28430 25100 0 -1 1077944384 32483 12440 0 0 1479 62 4 3 20 0 15 0 61581876 10836004864 870141 18446744073709551615 4194304 4196468 140736857876816 139700864117392 139700925195989 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39620608 140736857880539 140736857883313 140736857883313 140736857886671 0 [pid=28430/tid=28484] ppid=28427 vsize=10582036 CPUtime=15.49 cores=1,3,5,7 /proc/28430/task/28484/stat : 28484 (java) S 28427 28430 25100 0 -1 1077944384 35513 12440 0 0 1479 63 4 3 20 0 15 0 61581876 10836004864 870141 18446744073709551615 4194304 4196468 140736857876816 139700863064592 139700925195989 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39620608 140736857880539 140736857883313 140736857883313 140736857886671 0 [pid=28430/tid=28485] ppid=28427 vsize=10582036 CPUtime=0.7 cores=1,3,5,7 /proc/28430/task/28485/stat : 28485 (java) S 28427 28430 25100 0 -1 1077944384 41867 12440 0 0 53 10 4 3 20 0 15 0 61581878 10836004864 870141 18446744073709551615 4194304 4196468 140736857876816 139700421286512 139700925196930 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39620608 140736857880539 140736857883313 140736857883313 140736857886671 0 [pid=28430/tid=28486] ppid=28427 vsize=10582036 CPUtime=0.08 cores=1,3,5,7 /proc/28430/task/28486/stat : 28486 (java) S 28427 28430 25100 0 -1 1077944384 206 12440 0 0 1 0 4 3 20 0 15 0 61581878 10836004864 870141 18446744073709551615 4194304 4196468 140736857876816 139700420232544 139700925195989 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39620608 140736857880539 140736857883313 140736857883313 140736857886671 0 [pid=28430/tid=28487] ppid=28427 vsize=10582036 CPUtime=0.07 cores=1,3,5,7 /proc/28430/task/28487/stat : 28487 (java) S 28427 28430 25100 0 -1 1077944384 59 12440 0 0 0 0 4 3 20 0 15 0 61581878 10836004864 870141 18446744073709551615 4194304 4196468 140736857876816 139700419180160 139700925195989 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39620608 140736857880539 140736857883313 140736857883313 140736857886671 0 [pid=28430/tid=28488] ppid=28427 vsize=10582036 CPUtime=0.07 cores=1,3,5,7 /proc/28430/task/28488/stat : 28488 (java) S 28427 28430 25100 0 -1 1077944384 3 12440 0 0 0 0 4 3 20 0 15 0 61581881 10836004864 870141 18446744073709551615 4194304 4196468 140736857876816 139700418128464 139700925204379 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39620608 140736857880539 140736857883313 140736857883313 140736857886671 0 [pid=28430/tid=28489] ppid=28427 vsize=10582036 CPUtime=12.7 cores=1,3,5,7 /proc/28430/task/28489/stat : 28489 (java) S 28427 28430 25100 0 -1 1077944384 41349 12440 0 0 1256 7 4 3 20 0 15 0 61581881 10836004864 870141 18446744073709551615 4194304 4196468 140736857876816 139700417075312 139700925196930 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39620608 140736857880539 140736857883313 140736857883313 140736857886671 0 [pid=28430/tid=28490] ppid=28427 vsize=10582036 CPUtime=12.74 cores=1,3,5,7 /proc/28430/task/28490/stat : 28490 (java) S 28427 28430 25100 0 -1 1077944384 48021 12440 0 0 1260 7 4 3 20 0 15 0 61581881 10836004864 870141 18446744073709551615 4194304 4196468 140736857876816 139700416022512 139700925196930 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 39620608 140736857880539 140736857883313 140736857883313 140736857886671 0 [pid=28430/tid=28491] ppid=28427 vsize=10582036 CPUtime=3.05 cores=1,3,5,7 /proc/28430/task/28491/stat : 28491 (java) S 28427 28430 25100 0 -1 1077944384 64167 12440 0 0 290 8 4 3 20 0 15 0 61581881 10836004864 870141 18446744073709551615 4194304 4196468 140736857876816 139700414970224 139700925196930 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 39620608 140736857880539 140736857883313 140736857883313 140736857886671 0 [pid=28430/tid=28492] ppid=28427 vsize=10582036 CPUtime=0.07 cores=1,3,5,7 /proc/28430/task/28492/stat : 28492 (java) S 28427 28430 25100 0 -1 1077944384 3 12440 0 0 0 0 4 3 20 0 15 0 61581881 10836004864 870141 18446744073709551615 4194304 4196468 140736857876816 139700413917664 139700925195989 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39620608 140736857880539 140736857883313 140736857883313 140736857886671 0 [pid=28430/tid=28493] ppid=28427 vsize=10582036 CPUtime=1.19 cores=1,3,5,7 /proc/28430/task/28493/stat : 28493 (java) S 28427 28430 25100 0 -1 1077944384 2079 12440 0 0 47 65 4 3 20 0 15 0 61581885 10836004864 870141 18446744073709551615 4194304 4196468 140736857876816 139700412865456 139700925196930 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39620608 140736857880539 140736857883313 140736857883313 140736857886671 0 Current children cumulated CPU time (s) 2277.36 Current children cumulated vsize (KiB) 10582036 [startup+2262.3 s] /proc/loadavg: 1.73 1.79 1.79 3/218 28765 /proc/meminfo: memFree=25281280/32770624 swapFree=0/357744 [pid=28430] ppid=28427 vsize=10582036 CPUtime=2337.48 cores=1,3,5,7 /proc/28430/stat : 28430 (java) S 28427 28430 25100 0 -1 1077944320 502909 12440 0 0 233336 405 4 3 20 0 15 0 61581854 10836004864 872204 18446744073709551615 4194304 4196468 140736857876816 140736857859360 139700925185783 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 39620608 140736857880539 140736857883313 140736857883313 140736857886671 0 /proc/28430/statm: 2645509 872204 3515 1 0 2634123 0 [pid=28430/tid=28480] ppid=28427 vsize=10582036 CPUtime=2245.7 cores=1,3,5,7 /proc/28430/task/28480/stat : 28480 (java) R 28427 28430 25100 0 -1 4202560 182551 12440 0 0 224490 73 4 3 20 0 15 0 61581876 10836004864 872204 18446744073709551615 4194304 4196468 140736857876816 139700929421232 139700556404348 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 39620608 140736857880539 140736857883313 140736857883313 140736857886671 0 [pid=28430/tid=28481] ppid=28427 vsize=10582036 CPUtime=15.4 cores=1,3,5,7 /proc/28430/task/28481/stat : 28481 (java) S 28427 28430 25100 0 -1 1077944384 24226 12440 0 0 1472 61 4 3 20 0 15 0 61581876 10836004864 872204 18446744073709551615 4194304 4196468 140736857876816 139700866222480 139700925195989 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39620608 140736857880539 140736857883313 140736857883313 140736857886671 0 [pid=28430/tid=28482] ppid=28427 vsize=10582036 CPUtime=15.44 cores=1,3,5,7 /proc/28430/task/28482/stat : 28482 (java) S 28427 28430 25100 0 -1 1077944384 26588 12440 0 0 1477 60 4 3 20 0 15 0 61581876 10836004864 872204 18446744073709551615 4194304 4196468 140736857876816 139700865169680 139700925195989 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39620608 140736857880539 140736857883313 140736857883313 140736857886671 0 [pid=28430/tid=28483] ppid=28427 vsize=10582036 CPUtime=15.51 cores=1,3,5,7 /proc/28430/task/28483/stat : 28483 (java) S 28427 28430 25100 0 -1 1077944384 33531 12440 0 0 1482 62 4 3 20 0 15 0 61581876 10836004864 872204 18446744073709551615 4194304 4196468 140736857876816 139700864117392 139700925195989 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39620608 140736857880539 140736857883313 140736857883313 140736857886671 0 [pid=28430/tid=28484] ppid=28427 vsize=10582036 CPUtime=15.53 cores=1,3,5,7 /proc/28430/task/28484/stat : 28484 (java) S 28427 28430 25100 0 -1 1077944384 35772 12440 0 0 1482 64 4 3 20 0 15 0 61581876 10836004864 872204 18446744073709551615 4194304 4196468 140736857876816 139700863064592 139700925195989 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39620608 140736857880539 140736857883313 140736857883313 140736857886671 0 [pid=28430/tid=28485] ppid=28427 vsize=10582036 CPUtime=0.71 cores=1,3,5,7 /proc/28430/task/28485/stat : 28485 (java) S 28427 28430 25100 0 -1 1077944384 42171 12440 0 0 54 10 4 3 20 0 15 0 61581878 10836004864 872204 18446744073709551615 4194304 4196468 140736857876816 139700421286512 139700925196930 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39620608 140736857880539 140736857883313 140736857883313 140736857886671 0 [pid=28430/tid=28486] ppid=28427 vsize=10582036 CPUtime=0.08 cores=1,3,5,7 /proc/28430/task/28486/stat : 28486 (java) S 28427 28430 25100 0 -1 1077944384 206 12440 0 0 1 0 4 3 20 0 15 0 61581878 10836004864 872204 18446744073709551615 4194304 4196468 140736857876816 139700420232544 139700925195989 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39620608 140736857880539 140736857883313 140736857883313 140736857886671 0 [pid=28430/tid=28487] ppid=28427 vsize=10582036 CPUtime=0.07 cores=1,3,5,7 /proc/28430/task/28487/stat : 28487 (java) S 28427 28430 25100 0 -1 1077944384 59 12440 0 0 0 0 4 3 20 0 15 0 61581878 10836004864 872204 18446744073709551615 4194304 4196468 140736857876816 139700419180160 139700925195989 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39620608 140736857880539 140736857883313 140736857883313 140736857886671 0 [pid=28430/tid=28488] ppid=28427 vsize=10582036 CPUtime=0.07 cores=1,3,5,7 /proc/28430/task/28488/stat : 28488 (java) S 28427 28430 25100 0 -1 1077944384 3 12440 0 0 0 0 4 3 20 0 15 0 61581881 10836004864 872204 18446744073709551615 4194304 4196468 140736857876816 139700418128464 139700925204379 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39620608 140736857880539 140736857883313 140736857883313 140736857886671 0 [pid=28430/tid=28489] ppid=28427 vsize=10582036 CPUtime=12.71 cores=1,3,5,7 /proc/28430/task/28489/stat : 28489 (java) S 28427 28430 25100 0 -1 1077944384 41352 12440 0 0 1257 7 4 3 20 0 15 0 61581881 10836004864 872204 18446744073709551615 4194304 4196468 140736857876816 139700417075312 139700925196930 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39620608 140736857880539 140736857883313 140736857883313 140736857886671 0 [pid=28430/tid=28490] ppid=28427 vsize=10582036 CPUtime=12.74 cores=1,3,5,7 /proc/28430/task/28490/stat : 28490 (java) S 28427 28430 25100 0 -1 1077944384 48023 12440 0 0 1260 7 4 3 20 0 15 0 61581881 10836004864 872204 18446744073709551615 4194304 4196468 140736857876816 139700416022512 139700925196930 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 39620608 140736857880539 140736857883313 140736857883313 140736857886671 0 [pid=28430/tid=28491] ppid=28427 vsize=10582036 CPUtime=3.05 cores=1,3,5,7 /proc/28430/task/28491/stat : 28491 (java) S 28427 28430 25100 0 -1 1077944384 64175 12440 0 0 290 8 4 3 20 0 15 0 61581881 10836004864 872204 18446744073709551615 4194304 4196468 140736857876816 139700414970224 139700925196930 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 39620608 140736857880539 140736857883313 140736857883313 140736857886671 0 [pid=28430/tid=28492] ppid=28427 vsize=10582036 CPUtime=0.07 cores=1,3,5,7 /proc/28430/task/28492/stat : 28492 (java) S 28427 28430 25100 0 -1 1077944384 3 12440 0 0 0 0 4 3 20 0 15 0 61581881 10836004864 872204 18446744073709551615 4194304 4196468 140736857876816 139700413917664 139700925195989 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39620608 140736857880539 140736857883313 140736857883313 140736857886671 0 [pid=28430/tid=28493] ppid=28427 vsize=10582036 CPUtime=1.22 cores=1,3,5,7 /proc/28430/task/28493/stat : 28493 (java) S 28427 28430 25100 0 -1 1077944384 2117 12440 0 0 48 67 4 3 20 0 15 0 61581885 10836004864 872204 18446744073709551615 4194304 4196468 140736857876816 139700412865456 139700925196930 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39620608 140736857880539 140736857883313 140736857883313 140736857886671 0 Current children cumulated CPU time (s) 2337.48 Current children cumulated vsize (KiB) 10582036 [startup+2322.3 s] /proc/loadavg: 1.72 1.78 1.78 3/214 28768 /proc/meminfo: memFree=25298908/32770624 swapFree=0/357760 [pid=28430] ppid=28427 vsize=10582036 CPUtime=2397.58 cores=1,3,5,7 /proc/28430/stat : 28430 (java) S 28427 28430 25100 0 -1 1077944320 508538 12440 0 0 239343 408 4 3 20 0 15 0 61581854 10836004864 875797 18446744073709551615 4194304 4196468 140736857876816 140736857859360 139700925185783 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 39620608 140736857880539 140736857883313 140736857883313 140736857886671 0 /proc/28430/statm: 2645509 875797 3515 1 0 2634123 0 [pid=28430/tid=28480] ppid=28427 vsize=10582036 CPUtime=2305.64 cores=1,3,5,7 /proc/28430/task/28480/stat : 28480 (java) R 28427 28430 25100 0 -1 4202560 185349 12440 0 0 230484 73 4 3 20 0 15 0 61581876 10836004864 875797 18446744073709551615 4194304 4196468 140736857876816 139700929421184 139700544133102 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 39620608 140736857880539 140736857883313 140736857883313 140736857886671 0 [pid=28430/tid=28481] ppid=28427 vsize=10582036 CPUtime=15.44 cores=1,3,5,7 /proc/28430/task/28481/stat : 28481 (java) S 28427 28430 25100 0 -1 1077944384 24734 12440 0 0 1475 62 4 3 20 0 15 0 61581876 10836004864 875797 18446744073709551615 4194304 4196468 140736857876816 139700866222480 139700925195989 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39620608 140736857880539 140736857883313 140736857883313 140736857886671 0 [pid=28430/tid=28482] ppid=28427 vsize=10582036 CPUtime=15.48 cores=1,3,5,7 /proc/28430/task/28482/stat : 28482 (java) S 28427 28430 25100 0 -1 1077944384 26992 12440 0 0 1480 61 4 3 20 0 15 0 61581876 10836004864 875797 18446744073709551615 4194304 4196468 140736857876816 139700865169680 139700925195989 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39620608 140736857880539 140736857883313 140736857883313 140736857886671 0 [pid=28430/tid=28483] ppid=28427 vsize=10582036 CPUtime=15.55 cores=1,3,5,7 /proc/28430/task/28483/stat : 28483 (java) S 28427 28430 25100 0 -1 1077944384 33945 12440 0 0 1485 63 4 3 20 0 15 0 61581876 10836004864 875797 18446744073709551615 4194304 4196468 140736857876816 139700864117392 139700925195989 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39620608 140736857880539 140736857883313 140736857883313 140736857886671 0 [pid=28430/tid=28484] ppid=28427 vsize=10582036 CPUtime=15.56 cores=1,3,5,7 /proc/28430/task/28484/stat : 28484 (java) S 28427 28430 25100 0 -1 1077944384 36957 12440 0 0 1485 64 4 3 20 0 15 0 61581876 10836004864 875797 18446744073709551615 4194304 4196468 140736857876816 139700863064592 139700925195989 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39620608 140736857880539 140736857883313 140736857883313 140736857886671 0 [pid=28430/tid=28485] ppid=28427 vsize=10582036 CPUtime=0.71 cores=1,3,5,7 /proc/28430/task/28485/stat : 28485 (java) S 28427 28430 25100 0 -1 1077944384 42458 12440 0 0 54 10 4 3 20 0 15 0 61581878 10836004864 875797 18446744073709551615 4194304 4196468 140736857876816 139700421286512 139700925196930 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39620608 140736857880539 140736857883313 140736857883313 140736857886671 0 [pid=28430/tid=28486] ppid=28427 vsize=10582036 CPUtime=0.08 cores=1,3,5,7 /proc/28430/task/28486/stat : 28486 (java) S 28427 28430 25100 0 -1 1077944384 206 12440 0 0 1 0 4 3 20 0 15 0 61581878 10836004864 875797 18446744073709551615 4194304 4196468 140736857876816 139700420232544 139700925195989 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39620608 140736857880539 140736857883313 140736857883313 140736857886671 0 [pid=28430/tid=28487] ppid=28427 vsize=10582036 CPUtime=0.07 cores=1,3,5,7 /proc/28430/task/28487/stat : 28487 (java) S 28427 28430 25100 0 -1 1077944384 59 12440 0 0 0 0 4 3 20 0 15 0 61581878 10836004864 875797 18446744073709551615 4194304 4196468 140736857876816 139700419180160 139700925195989 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39620608 140736857880539 140736857883313 140736857883313 140736857886671 0 [pid=28430/tid=28488] ppid=28427 vsize=10582036 CPUtime=0.07 cores=1,3,5,7 /proc/28430/task/28488/stat : 28488 (java) S 28427 28430 25100 0 -1 1077944384 3 12440 0 0 0 0 4 3 20 0 15 0 61581881 10836004864 875797 18446744073709551615 4194304 4196468 140736857876816 139700418128464 139700925204379 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39620608 140736857880539 140736857883313 140736857883313 140736857886671 0 [pid=28430/tid=28489] ppid=28427 vsize=10582036 CPUtime=12.71 cores=1,3,5,7 /proc/28430/task/28489/stat : 28489 (java) S 28427 28430 25100 0 -1 1077944384 41355 12440 0 0 1257 7 4 3 20 0 15 0 61581881 10836004864 875797 18446744073709551615 4194304 4196468 140736857876816 139700417075312 139700925196930 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39620608 140736857880539 140736857883313 140736857883313 140736857886671 0 [pid=28430/tid=28490] ppid=28427 vsize=10582036 CPUtime=12.74 cores=1,3,5,7 /proc/28430/task/28490/stat : 28490 (java) S 28427 28430 25100 0 -1 1077944384 48027 12440 0 0 1260 7 4 3 20 0 15 0 61581881 10836004864 875797 18446744073709551615 4194304 4196468 140736857876816 139700416022512 139700925196930 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 39620608 140736857880539 140736857883313 140736857883313 140736857886671 0 [pid=28430/tid=28491] ppid=28427 vsize=10582036 CPUtime=3.05 cores=1,3,5,7 /proc/28430/task/28491/stat : 28491 (java) S 28427 28430 25100 0 -1 1077944384 64181 12440 0 0 290 8 4 3 20 0 15 0 61581881 10836004864 875797 18446744073709551615 4194304 4196468 140736857876816 139700414970224 139700925196930 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 39620608 140736857880539 140736857883313 140736857883313 140736857886671 0 [pid=28430/tid=28492] ppid=28427 vsize=10582036 CPUtime=0.07 cores=1,3,5,7 /proc/28430/task/28492/stat : 28492 (java) S 28427 28430 25100 0 -1 1077944384 3 12440 0 0 0 0 4 3 20 0 15 0 61581881 10836004864 875797 18446744073709551615 4194304 4196468 140736857876816 139700413917664 139700925195989 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39620608 140736857880539 140736857883313 140736857883313 140736857886671 0 [pid=28430/tid=28493] ppid=28427 vsize=10582036 CPUtime=1.25 cores=1,3,5,7 /proc/28430/task/28493/stat : 28493 (java) S 28427 28430 25100 0 -1 1077944384 2137 12440 0 0 50 68 4 3 20 0 15 0 61581885 10836004864 875797 18446744073709551615 4194304 4196468 140736857876816 139700412865456 139700925196930 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39620608 140736857880539 140736857883313 140736857883313 140736857886671 0 Current children cumulated CPU time (s) 2397.58 Current children cumulated vsize (KiB) 10582036 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2324.8 s] /proc/loadavg: 1.72 1.78 1.78 4/214 28768 /proc/meminfo: memFree=25299032/32770624 swapFree=0/357760 [pid=28430] ppid=28427 vsize=10582036 CPUtime=2400.08 cores=1,3,5,7 /proc/28430/stat : 28430 (java) S 28427 28430 25100 0 -1 1077944320 508947 12440 0 0 239593 408 4 3 20 0 15 0 61581854 10836004864 875797 18446744073709551615 4194304 4196468 140736857876816 140736857859360 139700925185783 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 39620608 140736857880539 140736857883313 140736857883313 140736857886671 0 /proc/28430/statm: 2645509 875797 3515 1 0 2634123 0 [pid=28430/tid=28480] ppid=28427 vsize=10582036 CPUtime=2308.14 cores=1,3,5,7 /proc/28430/task/28480/stat : 28480 (java) R 28427 28430 25100 0 -1 4202560 185747 12440 0 0 230734 73 4 3 20 0 15 0 61581876 10836004864 875797 18446744073709551615 4194304 4196468 140736857876816 139700929421184 139700554399776 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 39620608 140736857880539 140736857883313 140736857883313 140736857886671 0 [pid=28430/tid=28481] ppid=28427 vsize=10582036 CPUtime=15.44 cores=1,3,5,7 /proc/28430/task/28481/stat : 28481 (java) S 28427 28430 25100 0 -1 1077944384 24734 12440 0 0 1475 62 4 3 20 0 15 0 61581876 10836004864 875797 18446744073709551615 4194304 4196468 140736857876816 139700866222480 139700925195989 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39620608 140736857880539 140736857883313 140736857883313 140736857886671 0 [pid=28430/tid=28482] ppid=28427 vsize=10582036 CPUtime=15.48 cores=1,3,5,7 /proc/28430/task/28482/stat : 28482 (java) S 28427 28430 25100 0 -1 1077944384 26992 12440 0 0 1480 61 4 3 20 0 15 0 61581876 10836004864 875797 18446744073709551615 4194304 4196468 140736857876816 139700865169680 139700925195989 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39620608 140736857880539 140736857883313 140736857883313 140736857886671 0 [pid=28430/tid=28483] ppid=28427 vsize=10582036 CPUtime=15.55 cores=1,3,5,7 /proc/28430/task/28483/stat : 28483 (java) S 28427 28430 25100 0 -1 1077944384 33945 12440 0 0 1485 63 4 3 20 0 15 0 61581876 10836004864 875797 18446744073709551615 4194304 4196468 140736857876816 139700864117392 139700925195989 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39620608 140736857880539 140736857883313 140736857883313 140736857886671 0 [pid=28430/tid=28484] ppid=28427 vsize=10582036 CPUtime=15.56 cores=1,3,5,7 /proc/28430/task/28484/stat : 28484 (java) S 28427 28430 25100 0 -1 1077944384 36957 12440 0 0 1485 64 4 3 20 0 15 0 61581876 10836004864 875797 18446744073709551615 4194304 4196468 140736857876816 139700863064592 139700925195989 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39620608 140736857880539 140736857883313 140736857883313 140736857886671 0 [pid=28430/tid=28485] ppid=28427 vsize=10582036 CPUtime=0.71 cores=1,3,5,7 /proc/28430/task/28485/stat : 28485 (java) S 28427 28430 25100 0 -1 1077944384 42460 12440 0 0 54 10 4 3 20 0 15 0 61581878 10836004864 875797 18446744073709551615 4194304 4196468 140736857876816 139700421286512 139700925196930 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39620608 140736857880539 140736857883313 140736857883313 140736857886671 0 [pid=28430/tid=28486] ppid=28427 vsize=10582036 CPUtime=0.08 cores=1,3,5,7 /proc/28430/task/28486/stat : 28486 (java) S 28427 28430 25100 0 -1 1077944384 206 12440 0 0 1 0 4 3 20 0 15 0 61581878 10836004864 875797 18446744073709551615 4194304 4196468 140736857876816 139700420232544 139700925195989 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39620608 140736857880539 140736857883313 140736857883313 140736857886671 0 [pid=28430/tid=28487] ppid=28427 vsize=10582036 CPUtime=0.07 cores=1,3,5,7 /proc/28430/task/28487/stat : 28487 (java) S 28427 28430 25100 0 -1 1077944384 59 12440 0 0 0 0 4 3 20 0 15 0 61581878 10836004864 875797 18446744073709551615 4194304 4196468 140736857876816 139700419180160 139700925195989 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39620608 140736857880539 140736857883313 140736857883313 140736857886671 0 [pid=28430/tid=28488] ppid=28427 vsize=10582036 CPUtime=0.07 cores=1,3,5,7 /proc/28430/task/28488/stat : 28488 (java) S 28427 28430 25100 0 -1 1077944384 3 12440 0 0 0 0 4 3 20 0 15 0 61581881 10836004864 875797 18446744073709551615 4194304 4196468 140736857876816 139700418128464 139700925204379 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39620608 140736857880539 140736857883313 140736857883313 140736857886671 0 [pid=28430/tid=28489] ppid=28427 vsize=10582036 CPUtime=12.71 cores=1,3,5,7 /proc/28430/task/28489/stat : 28489 (java) S 28427 28430 25100 0 -1 1077944384 41357 12440 0 0 1257 7 4 3 20 0 15 0 61581881 10836004864 875797 18446744073709551615 4194304 4196468 140736857876816 139700417075312 139700925196930 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39620608 140736857880539 140736857883313 140736857883313 140736857886671 0 [pid=28430/tid=28490] ppid=28427 vsize=10582036 CPUtime=12.74 cores=1,3,5,7 /proc/28430/task/28490/stat : 28490 (java) S 28427 28430 25100 0 -1 1077944384 48029 12440 0 0 1260 7 4 3 20 0 15 0 61581881 10836004864 875797 18446744073709551615 4194304 4196468 140736857876816 139700416022512 139700925196930 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 39620608 140736857880539 140736857883313 140736857883313 140736857886671 0 [pid=28430/tid=28491] ppid=28427 vsize=10582036 CPUtime=3.05 cores=1,3,5,7 /proc/28430/task/28491/stat : 28491 (java) S 28427 28430 25100 0 -1 1077944384 64184 12440 0 0 290 8 4 3 20 0 15 0 61581881 10836004864 875797 18446744073709551615 4194304 4196468 140736857876816 139700414970224 139700925196930 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 39620608 140736857880539 140736857883313 140736857883313 140736857886671 0 [pid=28430/tid=28492] ppid=28427 vsize=10582036 CPUtime=0.07 cores=1,3,5,7 /proc/28430/task/28492/stat : 28492 (java) S 28427 28430 25100 0 -1 1077944384 3 12440 0 0 0 0 4 3 20 0 15 0 61581881 10836004864 875797 18446744073709551615 4194304 4196468 140736857876816 139700413917664 139700925195989 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39620608 140736857880539 140736857883313 140736857883313 140736857886671 0 [pid=28430/tid=28493] ppid=28427 vsize=10582036 CPUtime=1.25 cores=1,3,5,7 /proc/28430/task/28493/stat : 28493 (java) S 28427 28430 25100 0 -1 1077944384 2139 12440 0 0 50 68 4 3 20 0 15 0 61581885 10836004864 875797 18446744073709551615 4194304 4196468 140736857876816 139700412865456 139700925196930 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39620608 140736857880539 140736857883313 140736857883313 140736857886671 0 Current children cumulated CPU time (s) 2400.08 Current children cumulated vsize (KiB) 10582036 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 28430 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child status: 143 Real time (s): 2324.85 CPU time (s): 2400.17 CPU user time (s): 2396.02 CPU system time (s): 4.15256 CPU usage (%): 103.24 Max. virtual memory (cumulated for all children) (KiB): 10582676 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2396.02 system time used= 4.15256 maximum resident set size= 3503500 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 524439 page faults= 0 swaps= 0 block input operations= 0 block output operations= 2992 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 66629 involuntary context switches= 4296 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 9.92955 second user time and 15.0633 second system time The end
Begin job on node133 at 2017-08-07 22:13:39 IDJOB=4248611 IDBENCH=140585 IDSOLVER=2630 FILE ID=node133/4248611-1502137666 RUNJOBID= node133-1502128909-26537 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-4248611-1502137666/watcher-4248611-1502137666 -o /tmp/evaluation-result-4248611-1502137666/solver-4248611-1502137666 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node133-1502128909-26537 --watchdog 2560 bin/concrete HOME/instance-4248611-1502137666.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= d153897c9dbbbf34794d1a29a7a79358 RANDOM SEED=792630304 node133.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.17 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.17 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.17 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.17 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: 30424984 kB MemAvailable: 31041684 kB Buffers: 239632 kB Cached: 666904 kB SwapCached: 0 kB Active: 1532812 kB Inactive: 381952 kB Active(anon): 1008836 kB Inactive(anon): 24920 kB Active(file): 523976 kB Inactive(file): 357032 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 24860 kB Writeback: 0 kB AnonPages: 1014500 kB Mapped: 55308 kB Shmem: 25276 kB Slab: 130036 kB SReclaimable: 103052 kB SUnreclaim: 26984 kB KernelStack: 3536 kB PageTables: 7640 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1450436 kB VmallocTotal: 34359738367 kB VmallocUsed: 354332 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 835584 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 132480 kB DirectMap2M: 33413120 kB Free space on /tmp at the end= 61980 MiB End job on node133 at 2017-08-07 22:52:24