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.1299 | 2322.54 |
| Name | Ramsey/Ramsey-int-s1/ Ramsey-int-41.xml |
| MD5SUM | 85969bfc3f0409b7eeff9db7f7011033 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT TO |
| Best value of the objective obtained on this benchmark | 4 |
| Best CPU time to get the best result obtained on this benchmark | 2400.0601 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 1681 |
| Number of constraints | 10660 |
| Number of domains | 1 |
| Minimum domain size | 820 |
| Maximum domain size | 820 |
| Distribution of domain sizes | [{"size":820,"count":820}] |
| Minimum variable degree | 0 |
| Maximum variable degree | 40 |
| Distribution of variable degrees | [{"degree":0,"count":861},{"degree":40,"count":820}] |
| Minimum constraint arity | 3 |
| Maximum constraint arity | 3 |
| Distribution of constraint arities | [{"arity":3,"count":10660}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 10660 |
| Distribution of constraint types | [{"type":"intension","count":10660}] |
| Optimization problem | YES |
| Type of objective | min MAXIMUM |
3.24/2.35 c Concrete v3.4 running 49.67/26.76 o 819 54.38/29.52 o 818 56.93/32.07 o 817 59.69/34.66 o 816 62.42/37.27 o 815 65.11/39.88 o 814 67.91/42.41 o 813 70.45/44.92 o 812 73.10/47.41 o 811 75.63/49.97 o 810 78.45/52.51 o 809 80.99/55.03 o 808 83.49/57.55 o 807 86.10/60.07 o 806 88.40/62.32 o 805 90.65/64.58 o 804 93.16/67.07 o 803 95.67/69.60 o 802 98.27/72.11 o 801 100.77/74.67 o 800 103.34/77.18 o 799 105.84/79.69 o 798 108.35/82.18 o 797 110.65/84.42 o 796 113.16/86.93 o 795 115.71/89.42 o 794 118.23/91.92 o 793 120.43/94.15 o 792 122.93/96.61 o 791 125.49/99.13 o 790 127.98/101.65 o 789 130.50/104.16 o 788 133.01/106.63 o 787 135.51/109.14 o 786 138.05/111.63 o 785 140.55/114.11 o 784 143.06/116.61 o 783 145.56/119.11 o 782 147.76/121.37 o 781 150.31/123.88 o 780 152.81/126.38 o 779 155.41/128.92 o 778 157.92/131.43 o 777 160.22/133.70 o 776 162.87/136.30 o 775 165.28/138.79 o 774 167.77/141.29 o 773 170.07/143.52 o 772 172.57/146.01 o 771 175.13/148.52 o 770 177.63/151.02 o 769 180.15/153.52 o 768 182.66/156.03 o 767 184.86/158.26 o 766 187.42/160.77 o 765 189.92/163.26 o 764 192.42/165.79 o 763 194.92/168.29 o 762 197.42/170.79 o 761 200.06/173.32 o 760 202.27/175.58 o 759 204.77/178.08 o 758 207.07/180.31 o 757 209.48/182.79 o 756 212.12/185.32 o 755 214.32/187.54 o 754 216.82/190.04 o 753 219.33/192.55 o 752 221.83/195.08 o 751 224.36/197.60 o 750 226.66/199.82 o 749 229.16/202.30 o 748 231.66/204.81 o 747 234.20/207.32 o 746 236.70/209.81 o 745 239.10/212.30 o 744 241.70/214.80 o 743 244.10/217.29 o 742 246.64/219.78 o 741 249.15/222.27 o 740 251.64/224.77 o 739 254.15/227.27 o 738 256.79/229.81 o 737 259.29/232.33 o 736 261.79/234.82 o 735 264.30/237.31 o 734 266.85/239.84 o 733 269.34/242.38 o 732 271.85/244.89 o 731 274.45/247.40 o 730 276.69/249.68 o 729 279.00/251.95 o 728 281.50/254.46 o 727 284.00/256.97 o 726 286.64/259.51 o 725 289.14/262.03 o 724 291.64/264.53 o 723 294.18/267.06 o 722 296.70/269.59 o 721 299.30/272.10 o 720 301.80/274.61 o 719 304.33/277.12 o 718 306.83/279.62 o 717 309.03/281.86 o 716 311.57/284.38 o 715 314.17/286.91 o 714 316.69/289.42 o 713 319.23/291.95 o 712 321.73/294.44 o 711 324.23/296.95 o 710 326.76/299.45 o 709 328.97/301.68 o 708 331.47/304.17 o 707 334.01/306.69 o 706 336.51/309.17 o 705 339.02/311.66 o 704 341.54/314.16 o 703 344.04/316.65 o 702 346.58/319.15 o 701 349.08/321.65 o 700 351.58/324.16 o 699 354.12/326.66 o 698 356.62/329.14 o 697 359.15/331.67 o 696 361.66/334.19 o 695 364.30/336.72 o 694 366.80/339.22 o 693 369.31/341.72 o 692 371.85/344.24 o 691 374.06/346.49 o 690 376.60/348.99 o 689 379.20/351.50 o 688 381.74/354.03 o 687 384.25/356.52 o 686 386.79/359.02 o 685 389.29/361.51 o 684 391.85/364.04 o 683 394.35/366.55 o 682 396.90/369.03 o 681 399.45/371.54 o 680 401.96/374.05 o 679 404.52/376.53 o 678 407.02/379.01 o 677 409.47/381.47 o 676 411.85/383.73 o 675 414.26/386.20 o 674 416.92/388.72 o 673 419.50/391.24 o 672 421.70/393.46 o 671 424.27/395.97 o 670 426.95/398.52 o 669 429.52/401.05 o 668 432.02/403.53 o 667 434.60/406.04 o 666 437.16/408.55 o 665 439.67/411.05 o 664 442.22/413.54 o 663 444.78/416.06 o 662 447.36/418.58 o 661 449.86/421.08 o 660 452.55/423.61 o 659 455.12/426.14 o 658 457.62/428.67 o 657 460.32/431.22 o 656 462.89/433.75 o 655 465.39/436.26 o 654 467.96/438.78 o 653 470.47/441.28 o 652 472.74/443.48 o 651 475.41/446.00 o 650 477.91/448.50 o 649 480.18/450.76 o 648 482.75/453.30 o 647 485.34/455.80 o 646 487.90/458.31 o 645 490.47/460.81 o 644 492.94/463.29 o 643 495.43/465.79 o 642 498.09/468.31 o 641 500.65/470.84 o 640 503.21/473.35 o 639 505.76/475.89 o 638 508.11/478.15 o 637 510.65/480.65 o 636 513.21/483.18 o 635 515.75/485.67 o 634 518.28/488.19 o 633 520.62/490.44 o 632 523.17/492.94 o 631 525.80/495.51 o 630 528.34/498.05 o 629 530.89/500.56 o 628 533.16/502.80 o 627 535.71/505.28 o 626 538.24/507.77 o 625 540.82/510.27 o 624 543.45/512.81 o 623 545.73/515.05 o 622 548.27/517.55 o 621 550.81/520.09 o 620 553.48/522.61 o 619 556.01/525.11 o 618 558.55/527.65 o 617 561.13/530.18 o 616 563.82/532.72 o 615 566.38/535.21 o 614 568.94/537.74 o 613 571.51/540.26 o 612 573.84/542.51 o 611 576.38/545.03 o 610 578.96/547.56 o 609 581.31/549.83 o 608 583.87/552.33 o 607 586.42/554.85 o 606 588.98/557.36 o 605 591.55/559.87 o 604 594.22/562.40 o 603 596.51/564.68 o 602 599.18/567.21 o 601 601.58/569.68 o 600 604.24/572.22 o 599 606.81/574.76 o 598 609.11/577.01 o 597 611.69/579.54 o 596 614.27/582.06 o 595 616.77/584.59 o 594 619.16/586.84 o 593 621.75/589.36 o 592 624.26/591.89 o 591 626.93/594.40 o 590 629.51/596.94 o 589 632.01/599.47 o 588 634.58/601.98 o 587 637.24/604.52 o 586 639.81/607.04 o 585 642.38/609.57 o 584 644.87/612.07 o 583 647.43/614.59 o 582 650.09/617.11 o 581 652.64/619.62 o 580 655.20/622.15 o 579 657.75/624.69 o 578 660.11/626.97 o 577 662.66/629.46 o 576 665.21/631.97 o 575 667.75/634.47 o 574 670.30/636.97 o 573 672.83/639.48 o 572 675.37/641.98 o 571 678.01/644.50 o 570 680.58/647.01 o 569 683.13/649.54 o 568 685.67/652.04 o 567 688.24/654.56 o 566 690.78/657.07 o 565 693.36/659.58 o 564 696.05/662.12 o 563 698.58/664.64 o 562 701.23/667.20 o 561 703.80/669.70 o 560 706.36/672.20 o 559 708.93/674.70 o 558 711.16/676.97 o 557 713.73/679.46 o 556 716.40/682.01 o 555 718.94/684.50 o 554 721.51/687.00 o 553 723.75/689.24 o 552 726.31/691.74 o 551 728.86/694.26 o 550 731.43/696.77 o 549 733.97/699.27 o 548 736.54/701.80 o 547 739.18/704.30 o 546 741.76/706.82 o 545 744.30/709.34 o 544 746.88/711.83 o 543 749.41/714.33 o 542 752.02/716.85 o 541 754.56/719.36 o 540 757.11/721.87 o 539 759.76/724.40 o 538 762.32/726.91 o 537 764.88/729.41 o 536 767.42/731.91 o 535 769.97/734.43 o 534 772.56/736.91 o 533 774.81/739.14 o 532 777.37/741.65 o 531 779.92/744.17 o 530 782.48/746.68 o 529 785.03/749.17 o 528 787.58/751.67 o 527 790.17/754.19 o 526 792.53/756.47 o 525 795.09/758.98 o 524 797.64/761.48 o 523 800.30/764.00 o 522 802.88/766.53 o 521 805.13/768.79 o 520 807.49/771.06 o 519 810.07/773.55 o 518 812.66/776.07 o 517 815.33/778.61 o 516 817.73/781.10 o 515 820.41/783.61 o 514 822.99/786.14 o 513 825.57/788.65 o 512 828.07/791.19 o 511 830.67/793.69 o 510 833.36/796.22 o 509 835.96/798.77 o 508 838.45/801.27 o 507 840.83/803.54 o 506 843.41/806.06 o 505 845.61/808.27 o 504 848.19/810.78 o 503 850.73/813.29 o 502 853.34/815.82 o 501 855.90/818.31 o 500 858.44/820.82 o 499 861.00/823.37 o 498 863.65/825.91 o 497 866.15/828.42 o 496 868.68/830.92 o 495 870.92/833.13 o 494 873.46/835.63 o 493 876.00/838.10 o 492 878.54/840.60 o 491 881.08/843.10 o 490 883.54/845.59 o 489 886.07/848.10 o 488 888.72/850.64 o 487 891.28/853.13 o 486 893.87/855.63 o 485 896.42/858.16 o 484 898.75/860.42 o 483 901.29/862.94 o 482 903.86/865.43 o 481 906.42/867.94 o 480 908.98/870.46 o 479 911.52/872.95 o 478 914.09/875.46 o 477 916.68/877.99 o 476 919.21/880.49 o 475 921.90/883.04 o 474 925.44/885.85 o 473 927.77/888.12 o 472 930.34/890.65 o 471 932.94/893.17 o 470 935.51/895.70 o 469 938.19/898.21 o 468 940.76/900.74 o 467 943.36/903.25 o 466 945.95/905.78 o 465 948.65/908.33 o 464 950.85/910.58 o 463 953.55/913.12 o 462 956.17/915.66 o 461 958.78/918.19 o 460 961.52/920.73 o 459 964.01/923.24 o 458 966.44/925.52 o 457 969.09/928.07 o 456 971.39/930.30 o 455 974.01/932.84 o 454 976.51/935.38 o 453 979.18/937.89 o 452 981.91/940.43 o 451 984.41/942.97 o 450 987.18/945.53 o 449 989.68/948.01 o 448 992.33/950.58 o 447 995.05/953.13 o 446 997.62/955.61 o 445 1000.14/958.16 o 444 1002.79/960.66 o 443 1005.53/963.23 o 442 1008.11/965.77 o 441 1010.72/968.34 o 440 1013.47/970.92 o 439 1015.97/973.44 o 438 1018.79/976.00 o 437 1021.31/978.50 o 436 1023.98/981.07 o 435 1026.48/983.55 o 434 1028.68/985.77 o 433 1031.50/988.33 o 432 1034.01/990.81 o 431 1036.64/993.39 o 430 1039.30/995.90 o 429 1041.80/998.40 o 428 1044.55/1000.99 o 427 1047.15/1003.50 o 426 1049.35/1005.74 o 425 1051.86/1008.03 o 424 1054.36/1010.50 o 423 1056.86/1013.00 o 422 1059.62/1015.57 o 421 1061.92/1017.80 o 420 1064.32/1020.29 o 419 1067.15/1022.87 o 418 1069.35/1025.09 o 417 1071.86/1027.59 o 416 1074.45/1030.12 o 415 1077.04/1032.44 o 414 1079.54/1034.92 o 413 1082.04/1037.45 o 412 1084.88/1040.04 o 411 1087.09/1042.26 o 410 1089.60/1044.76 o 409 1092.10/1047.25 o 408 1095.00/1049.83 o 407 1097.50/1052.31 o 406 1099.80/1054.54 o 405 1102.68/1057.12 o 404 1104.89/1059.35 o 403 1107.38/1061.82 o 402 1109.88/1064.33 o 401 1112.52/1066.69 o 400 1115.02/1069.19 o 399 1117.63/1071.70 o 398 1119.84/1073.94 o 397 1122.34/1076.46 o 396 1125.23/1079.04 o 395 1127.73/1081.54 o 394 1129.94/1083.76 o 393 1132.44/1086.24 o 392 1135.41/1088.85 o 391 1137.91/1091.33 o 390 1140.41/1093.84 o 389 1142.92/1096.36 o 388 1145.79/1098.96 o 387 1147.99/1101.19 o 386 1150.29/1103.42 o 385 1152.69/1105.85 o 384 1155.19/1108.32 o 383 1158.07/1110.92 o 382 1160.57/1113.43 o 381 1163.07/1115.91 o 380 1165.58/1118.41 o 379 1168.46/1121.01 o 378 1170.67/1123.22 o 377 1173.07/1125.67 o 376 1175.57/1128.15 o 375 1178.46/1130.74 o 374 1180.96/1133.24 o 373 1183.46/1135.73 o 372 1185.96/1138.25 o 371 1188.26/1140.50 o 370 1191.07/1143.08 o 369 1193.57/1145.57 o 368 1196.18/1148.07 o 367 1198.69/1150.57 o 366 1201.59/1153.15 o 365 1204.09/1155.63 o 364 1206.59/1158.12 o 363 1209.10/1160.64 o 362 1212.00/1163.22 o 361 1214.50/1165.72 o 360 1216.90/1168.20 o 359 1219.21/1170.42 o 358 1221.61/1172.89 o 357 1224.54/1175.48 o 356 1227.14/1178.00 o 355 1229.65/1180.50 o 354 1232.16/1183.03 o 353 1235.07/1185.63 o 352 1237.58/1188.12 o 351 1240.07/1190.62 o 350 1242.57/1193.14 o 349 1245.49/1195.74 o 348 1247.99/1198.21 o 347 1250.49/1200.71 o 346 1252.99/1203.21 o 345 1255.92/1205.83 o 344 1258.42/1208.32 o 343 1260.92/1210.80 o 342 1263.43/1213.32 o 341 1266.34/1215.92 o 340 1268.85/1218.41 o 339 1271.35/1220.90 o 338 1273.85/1223.40 o 337 1276.46/1225.73 o 336 1278.86/1228.19 o 335 1281.36/1230.65 o 334 1283.88/1233.14 o 333 1286.27/1235.49 o 332 1289.01/1237.98 o 331 1291.51/1240.47 o 330 1294.02/1242.96 o 329 1296.52/1245.44 o 328 1299.44/1248.03 o 327 1301.94/1250.54 o 326 1304.14/1252.77 o 325 1306.65/1255.27 o 324 1309.59/1257.89 o 323 1311.89/1260.13 o 322 1314.39/1262.61 o 321 1316.79/1265.10 o 320 1319.72/1267.69 o 319 1322.32/1270.20 o 318 1324.82/1272.72 o 317 1327.32/1275.23 o 316 1330.24/1277.82 o 315 1332.44/1280.04 o 314 1334.94/1282.52 o 313 1337.44/1285.02 o 312 1340.36/1287.64 o 311 1342.86/1290.14 o 310 1345.06/1292.38 o 309 1347.58/1294.89 o 308 1349.88/1297.15 o 307 1352.82/1299.76 o 306 1355.32/1302.28 o 305 1357.62/1304.50 o 304 1360.03/1306.98 o 303 1362.94/1309.54 o 302 1365.44/1312.07 o 301 1367.74/1314.32 o 300 1370.25/1316.84 o 299 1373.17/1319.47 o 298 1375.67/1321.99 o 297 1378.18/1324.49 o 296 1380.77/1327.02 o 295 1383.70/1329.64 o 294 1386.20/1332.10 o 293 1388.60/1334.59 o 292 1391.10/1337.07 o 291 1393.60/1339.58 o 290 1396.54/1342.16 o 289 1399.03/1344.66 o 288 1401.24/1346.89 o 287 1403.74/1349.37 o 286 1406.45/1351.73 o 285 1408.97/1354.21 o 284 1411.17/1356.42 o 283 1413.66/1358.90 o 282 1416.28/1361.23 o 281 1418.68/1363.70 o 280 1421.18/1366.18 o 279 1423.69/1368.69 o 278 1426.19/1371.18 o 277 1429.12/1373.77 o 276 1431.63/1376.27 o 275 1434.12/1378.76 o 274 1436.62/1381.26 o 273 1439.56/1383.87 o 272 1442.05/1386.38 o 271 1444.58/1388.88 o 270 1447.08/1391.38 o 269 1450.02/1393.97 o 268 1452.52/1396.49 o 267 1455.02/1398.98 o 266 1457.53/1401.48 o 265 1460.44/1404.07 o 264 1462.94/1406.56 o 263 1465.44/1409.07 o 262 1467.95/1411.59 o 261 1470.25/1413.83 o 260 1473.08/1416.40 o 259 1475.38/1418.62 o 258 1477.88/1421.11 o 257 1480.29/1423.60 o 256 1483.21/1426.19 o 255 1485.71/1428.69 o 254 1488.22/1431.18 o 253 1490.72/1433.68 o 252 1493.45/1436.00 o 251 1495.85/1438.47 o 250 1498.35/1440.96 o 249 1500.85/1443.45 o 248 1503.05/1445.69 o 247 1506.81/1448.52 o 246 1509.32/1451.03 o 245 1511.52/1453.26 o 244 1514.01/1455.74 o 243 1516.57/1458.29 o 242 1519.07/1460.80 o 241 1521.67/1463.30 o 240 1523.87/1465.52 o 239 1526.46/1468.03 o 238 1528.96/1470.53 o 237 1531.47/1473.01 o 236 1533.97/1475.51 o 235 1536.47/1478.02 o 234 1539.06/1480.55 o 233 1541.26/1482.79 o 232 1543.76/1485.28 o 231 1546.27/1487.75 o 230 1548.89/1490.28 o 229 1551.39/1492.77 o 228 1553.89/1495.23 o 227 1556.39/1497.72 o 226 1559.02/1500.25 o 225 1561.52/1502.72 o 224 1564.01/1505.22 o 223 1566.52/1507.71 o 222 1568.87/1509.97 o 221 1571.37/1512.47 o 220 1573.87/1514.97 o 219 1576.38/1517.48 o 218 1579.14/1520.09 o 217 1581.65/1522.57 o 216 1584.14/1525.06 o 215 1586.64/1527.55 o 214 1588.85/1529.79 o 213 1591.63/1532.33 o 212 1594.13/1534.87 o 211 1596.43/1537.10 o 210 1598.84/1539.58 o 209 1601.64/1542.11 o 208 1604.14/1544.61 o 207 1606.34/1546.83 o 206 1608.84/1549.34 o 205 1611.55/1551.89 o 204 1613.85/1554.11 o 203 1616.36/1556.63 o 202 1618.85/1559.16 o 201 1621.69/1561.72 o 200 1624.19/1564.23 o 199 1626.69/1566.73 o 198 1629.20/1569.22 o 197 1631.70/1571.73 o 196 1634.55/1574.31 o 195 1637.06/1576.82 o 194 1639.56/1579.31 o 193 1642.06/1581.81 o 192 1644.93/1584.40 o 191 1647.33/1586.88 o 190 1649.53/1589.09 o 189 1652.03/1591.58 o 188 1654.92/1594.20 o 187 1657.52/1596.70 o 186 1660.02/1599.23 o 185 1662.44/1601.69 o 184 1665.29/1604.29 o 183 1667.84/1606.77 o 182 1670.34/1609.27 o 181 1672.84/1611.77 o 180 1675.37/1614.29 o 179 1678.29/1616.88 o 178 1680.49/1619.09 o 177 1683.00/1621.57 o 176 1685.50/1624.09 o 175 1688.42/1626.67 o 174 1690.92/1629.19 o 173 1693.42/1631.66 o 172 1695.92/1634.16 o 171 1698.84/1636.75 o 170 1701.34/1639.25 o 169 1703.85/1641.77 o 168 1706.35/1644.29 o 167 1709.28/1646.89 o 166 1711.57/1649.13 o 165 1714.08/1651.63 o 164 1716.58/1654.13 o 163 1718.95/1656.48 o 162 1721.70/1658.95 o 161 1724.20/1661.42 o 160 1726.70/1663.90 o 159 1729.10/1666.39 o 158 1732.02/1668.97 o 157 1734.23/1671.18 o 156 1736.73/1673.65 o 155 1739.23/1676.11 o 154 1742.15/1678.72 o 153 1744.36/1680.96 o 152 1746.85/1683.45 o 151 1749.35/1685.93 o 150 1752.27/1688.52 o 149 1754.47/1690.75 o 148 1756.97/1693.24 o 147 1759.17/1695.44 o 146 1761.68/1697.91 o 145 1764.60/1700.56 o 144 1767.10/1703.08 o 143 1769.70/1705.62 o 142 1772.20/1708.18 o 141 1775.12/1710.77 o 140 1777.62/1713.26 o 139 1780.12/1715.73 o 138 1782.62/1718.24 o 137 1785.55/1720.85 o 136 1788.05/1723.36 o 135 1790.35/1725.60 o 134 1792.75/1728.08 o 133 1795.68/1730.67 o 132 1798.18/1733.15 o 131 1800.68/1735.64 o 130 1803.19/1738.18 o 129 1806.10/1740.77 o 128 1808.61/1743.21 o 127 1811.01/1745.67 o 126 1813.51/1748.16 o 125 1816.01/1750.64 o 124 1818.84/1753.19 o 123 1821.14/1755.40 o 122 1823.55/1757.86 o 121 1826.05/1760.30 o 120 1828.45/1762.78 o 119 1831.36/1765.35 o 118 1833.86/1767.81 o 117 1836.06/1770.01 o 116 1838.46/1772.46 o 115 1841.38/1775.05 o 114 1843.88/1777.58 o 113 1846.38/1780.05 o 112 1848.88/1782.56 o 111 1851.38/1785.00 o 110 1853.89/1787.29 o 109 1856.40/1789.74 o 108 1858.90/1792.21 o 107 1861.30/1794.70 o 106 1863.60/1796.92 o 105 1866.42/1799.47 o 104 1868.93/1801.91 o 103 1871.42/1804.40 o 102 1873.82/1806.89 o 101 1876.32/1809.37 o 100 1879.24/1811.93 o 99 1881.65/1814.40 o 98 1884.15/1816.88 o 97 1886.35/1819.08 o 96 1888.86/1821.53 o 95 1891.77/1824.12 o 94 1894.28/1826.62 o 93 1896.78/1829.11 o 92 1899.18/1831.60 o 91 1901.78/1834.11 o 90 1904.60/1836.64 o 89 1907.10/1839.10 o 88 1909.50/1841.59 o 87 1912.00/1844.06 o 86 1914.93/1846.64 o 85 1917.33/1849.10 o 84 1919.83/1851.57 o 83 1922.03/1853.77 o 82 1924.53/1856.22 o 81 1927.46/1858.83 o 80 1929.66/1861.04 o 79 1932.07/1863.49 o 78 1934.57/1865.95 o 77 1937.07/1868.40 o 76 1940.00/1871.00 o 75 1942.21/1873.22 o 74 1944.61/1875.68 o 73 1947.11/1878.13 o 72 1949.61/1880.61 o 71 1952.43/1883.18 o 70 1954.93/1885.62 o 69 1957.34/1888.09 o 68 1959.75/1890.31 o 67 1962.15/1892.76 o 66 1965.11/1895.34 o 65 1967.54/1897.80 o 64 1970.27/1900.03 o 63 1972.68/1902.47 o 62 1975.18/1904.95 o 61 1978.14/1907.54 o 60 1980.63/1910.02 o 59 1983.13/1912.50 o 58 1985.53/1914.98 o 57 1988.04/1917.49 o 56 1991.08/1920.12 o 55 1993.48/1922.58 o 54 1995.89/1924.90 o 53 1998.30/1927.35 o 52 2000.50/1929.56 o 51 2003.44/1932.13 o 50 2005.84/1934.59 o 49 2008.35/1937.05 o 48 2010.85/1939.54 o 47 2013.25/1941.99 o 46 2016.19/1944.57 o 45 2018.39/1946.76 o 44 2020.89/1949.21 o 43 2023.09/1951.42 o 42 2025.30/1953.62 o 41 2028.14/1956.16 o 40 2030.64/1958.62 o 39 2033.04/1961.06 o 38 2035.55/1963.54 o 37 2038.04/1966.01 o 36 2040.70/1968.32 o 35 2043.10/1970.77 o 34 2045.60/1973.23 o 33 2047.80/1975.46 o 32 2050.31/1977.92 o 31 2053.15/1980.47 o 30 2055.65/1982.91 o 29 2057.85/1985.12 o 28 2060.25/1987.58 o 27 2063.11/1990.14 o 26 2065.71/1992.60 o 25 2067.91/1994.81 o 24 2070.31/1997.25 o 23 2072.81/1999.72 o 22 2075.76/2002.31 o 21 2078.16/2004.79 o 20 2080.46/2007.01 o 19 2082.86/2009.47 o 18 2085.06/2011.65 o 17 2088.01/2014.22 o 16 2090.41/2016.69 o 15 2092.91/2019.14 o 14 2095.11/2021.36 o 13 2097.61/2023.84 o 12 2100.57/2026.44 o 11 2102.97/2028.90 o 10 2105.47/2031.33 o 9 2107.67/2033.51 o 8 2109.77/2035.69 o 7 2112.72/2038.25 o 6 2115.14/2040.69 o 5 2400.08/2322.50 java.util.concurrent.TimeoutException 2400.08/2322.50 at concrete.MAC.mac(MAC.scala:74) 2400.08/2322.50 at concrete.MAC.$anonfun$oneRun$1(MAC.scala:145) 2400.08/2322.50 at scala.util.Try$.apply(Try.scala:209) 2400.08/2322.50 at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194) 2400.08/2322.50 at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182) 2400.08/2322.50 at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12) 2400.08/2322.50 at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61) 2400.08/2322.50 at org.scalameter.Measurer$Default.measure(Measurer.scala:131) 2400.08/2322.50 at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51) 2400.08/2322.50 at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61) 2400.08/2322.50 at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181) 2400.08/2322.50 at cspom.StatisticsManager$.measure(StatisticsManager.scala:194) 2400.08/2322.50 at concrete.MAC.oneRun(MAC.scala:146) 2400.08/2322.50 at concrete.MAC.nextSolution(MAC.scala:166) 2400.08/2322.50 at concrete.MAC.$anonfun$nextSolution$2(MAC.scala:196) 2400.08/2322.50 at concrete.ProblemState.map(ProblemState.scala:203) 2400.08/2322.50 at concrete.ProblemState.map(ProblemState.scala:188) 2400.08/2322.50 at concrete.MAC.nextSolution(MAC.scala:195) 2400.08/2322.50 at concrete.Solver.hasNext(Solver.scala:202) 2400.08/2322.50 at scala.collection.Iterator.toStream(Iterator.scala:1403) 2400.08/2322.50 at scala.collection.Iterator.toStream$(Iterator.scala:1402) 2400.08/2322.50 at concrete.Solver.toStream(Solver.scala:73) 2400.08/2322.50 at scala.collection.Iterator.$anonfun$toStream$1(Iterator.scala:1403) 2400.08/2322.50 at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1169) 2400.08/2322.50 at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1159) 2400.08/2322.50 at scala.collection.immutable.Stream.foreach(Stream.scala:531) 2400.08/2322.50 at concrete.runner.ConcreteRunner.$anonfun$run$10(ConcreteRunner.scala:157) 2400.08/2322.50 at scala.util.Success.$anonfun$map$1(Try.scala:251) 2400.08/2322.50 at scala.util.Success.map(Try.scala:209) 2400.08/2322.50 at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:154) 2400.08/2322.50 at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:72) 2400.08/2322.50 at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:17) 2400.08/2322.50 at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:119) 2400.08/2322.50 at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:17) 2400.08/2322.50 at scala.Function0.apply$mcV$sp(Function0.scala:34) 2400.08/2322.50 at scala.Function0.apply$mcV$sp$(Function0.scala:34) 2400.08/2322.50 at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12) 2400.08/2322.50 at scala.App.$anonfun$main$1$adapted(App.scala:76) 2400.08/2322.50 at scala.collection.immutable.List.foreach(List.scala:389) 2400.08/2322.50 at scala.App.main(App.scala:76) 2400.08/2322.50 at scala.App.main$(App.scala:74) 2400.08/2322.50 at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:17) 2400.08/2322.50 at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala) 2400.08/2322.51 v <instantiation cost="5"> 2400.08/2322.51 v <list> 2400.08/2322.51 v x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][30] x[0][31] x[0][32] x[0][33] x[0][34] x[0][35] x[0][36] x[0][37] x[0][38] x[0][39] x[0][40] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[1][30] x[1][31] x[1][32] x[1][33] x[1][34] x[1][35] x[1][36] x[1][37] x[1][38] x[1][39] x[1][40] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[2][30] x[2][31] x[2][32] x[2][33] x[2][34] x[2][35] x[2][36] x[2][37] x[2][38] x[2][39] x[2][40] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][28] x[3][29] x[3][30] x[3][31] x[3][32] x[3][33] x[3][34] x[3][35] x[3][36] x[3][37] x[3][38] x[3][39] x[3][40] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[4][28] x[4][29] x[4][30] x[4][31] x[4][32] x[4][33] x[4][34] x[4][35] x[4][36] x[4][37] x[4][38] x[4][39] x[4][40] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[5][28] x[5][29] x[5][30] x[5][31] x[5][32] x[5][33] x[5][34] x[5][35] x[5][36] x[5][37] x[5][38] x[5][39] x[5][40] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[6][28] x[6][29] x[6][30] x[6][31] x[6][32] x[6][33] x[6][34] x[6][35] x[6][36] x[6][37] x[6][38] x[6][39] x[6][40] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[7][28] x[7][29] x[7][30] x[7][31] x[7][32] x[7][33] x[7][34] x[7][35] x[7][36] x[7][37] x[7][38] x[7][39] x[7][40] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[8][28] x[8][29] x[8][30] x[8][31] x[8][32] x[8][33] x[8][34] x[8][35] x[8][36] x[8][37] x[8][38] x[8][39] x[8][40] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[9][28] x[9][29] x[9][30] x[9][31] x[9][32] x[9][33] x[9][34] x[9][35] x[9][36] x[9][37] x[9][38] x[9][39] x[9][40] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[10][27] x[10][28] x[10][29] x[10][30] x[10][31] x[10][32] x[10][33] x[10][34] x[10][35] x[10][36] x[10][37] x[10][38] x[10][39] x[10][40] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[11][27] x[11][28] x[11][29] x[11][30] x[11][31] x[11][32] x[11][33] x[11][34] x[11][35] x[11][36] x[11][37] x[11][38] x[11][39] x[11][40] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[12][26] x[12][27] x[12][28] x[12][29] x[12][30] x[12][31] x[12][32] x[12][33] x[12][34] x[12][35] x[12][36] x[12][37] x[12][38] x[12][39] x[12][40] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[13][26] x[13][27] x[13][28] x[13][29] x[13][30] x[13][31] x[13][32] x[13][33] x[13][34] x[13][35] x[13][36] x[13][37] x[13][38] x[13][39] x[13][40] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[14][26] x[14][27] x[14][28] x[14][29] x[14][30] x[14][31] x[14][32] x[14][33] x[14][34] x[14][35] x[14][36] x[14][37] x[14][38] x[14][39] x[14][40] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[15][26] x[15][27] x[15][28] x[15][29] x[15][30] x[15][31] x[15][32] x[15][33] x[15][34] x[15][35] x[15][36] x[15][37] x[15][38] x[15][39] x[15][40] x[16][17] x[16][18] x[16][19] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[16][26] x[16][27] x[16][28] x[16][29] x[16][30] x[16][31] x[16][32] x[16][33] x[16][34] x[16][35] x[16][36] x[16][37] x[16][38] x[16][39] x[16][40] x[17][18] x[17][19] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[17][26] x[17][27] x[17][28] x[17][29] x[17][30] x[17][31] x[17][32] x[17][33] x[17][34] x[17][35] x[17][36] x[17][37] x[17][38] x[17][39] x[17][40] x[18][19] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[18][26] x[18][27] x[18][28] x[18][29] x[18][30] x[18][31] x[18][32] x[18][33] x[18][34] x[18][35] x[18][36] x[18][37] x[18][38] x[18][39] x[18][40] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[19][26] x[19][27] x[19][28] x[19][29] x[19][30] x[19][31] x[19][32] x[19][33] x[19][34] x[19][35] x[19][36] x[19][37] x[19][38] x[19][39] x[19][40] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[20][26] x[20][27] x[20][28] x[20][29] x[20][30] x[20][31] x[20][32] x[20][33] x[20][34] x[20][35] x[20][36] x[20][37] x[20][38] x[20][39] x[20][40] x[21][22] x[21][23] x[21][24] x[21][25] x[21][26] x[21][27] x[21][28] x[21][29] x[21][30] x[21][31] x[21][32] x[21][33] x[21][34] x[21][35] x[21][36] x[21][37] x[21][38] x[21][39] x[21][40] x[22][23] x[22][24] x[22][25] x[22][26] x[22][27] x[22][28] x[22][29] x[22][30] x[22][31] x[22][32] x[22][33] x[22][34] x[22][35] x[22][36] x[22][37] x[22][38] x[22][39] x[22][40] x[23][24] x[23][25] x[23][26] x[23][27] x[23][28] x[23][29] x[23][30] x[23][31] x[23][32] x[23][33] x[23][34] x[23][35] x[23][36] x[23][37] x[23][38] x[23][39] x[23][40] x[24][25] x[24][26] x[24][27] x[24][28] x[24][29] x[24][30] x[24][31] x[24][32] x[24][33] x[24][34] x[24][35] x[24][36] x[24][37] x[24][38] x[24][39] x[24][40] x[25][26] x[25][27] x[25][28] x[25][29] x[25][30] x[25][31] x[25][32] x[25][33] x[25][34] x[25][35] x[25][36] x[25][37] x[25][38] x[25][39] x[25][40] x[26][27] x[26][28] x[26][29] x[26][30] x[26][31] x[26][32] x[26][33] x[26][34] x[26][35] x[26][36] x[26][37] x[26][38] x[26][39] x[26][40] x[27][28] x[27][29] x[27][30] x[27][31] x[27][32] x[27][33] x[27][34] x[27][35] x[27][36] x[27][37] x[27][38] x[27][39] x[27][40] x[28][29] x[28][30] x[28][31] x[28][32] x[28][33] x[28][34] x[28][35] x[28][36] x[28][37] x[28][38] x[28][39] x[28][40] x[29][30] x[29][31] x[29][32] x[29][33] x[29][34] x[29][35] x[29][36] x[29][37] x[29][38] x[29][39] x[29][40] x[30][31] x[30][32] x[30][33] x[30][34] x[30][35] x[30][36] x[30][37] x[30][38] x[30][39] x[30][40] x[31][32] x[31][33] x[31][34] x[31][35] x[31][36] x[31][37] x[31][38] x[31][39] x[31][40] x[32][33] x[32][34] x[32][35] x[32][36] x[32][37] x[32][38] x[32][39] x[32][40] x[33][34] x[33][35] x[33][36] x[33][37] x[33][38] x[33][39] x[33][40] x[34][35] x[34][36] x[34][37] x[34][38] x[34][39] x[34][40] x[35][36] x[35][37] x[35][38] x[35][39] x[35][40] x[36][37] x[36][38] x[36][39] x[36][40] x[37][38] x[37][39] x[37][40] x[38][39] x[38][40] x[39][40] 2400.08/2322.51 v </list> 2400.08/2322.51 v <values> 2400.08/2322.51 v 4 5 5 5 5 4 3 5 1 4 3 3 3 0 4 5 5 1 3 3 3 0 1 4 4 2 3 3 3 2 5 4 1 2 2 4 3 2 5 1 2 4 3 5 5 3 4 4 3 5 4 5 5 3 4 5 1 5 2 4 2 1 2 5 2 4 5 4 4 4 3 3 1 4 1 4 2 1 5 4 1 2 3 0 4 4 3 5 4 3 4 5 4 2 2 5 5 3 5 4 1 3 4 4 3 4 4 4 5 3 3 4 2 4 3 2 5 2 2 4 5 1 5 5 3 5 2 3 5 3 3 2 2 4 5 2 3 1 3 2 2 3 3 5 3 5 5 4 1 4 2 4 2 4 1 4 1 2 4 1 5 4 4 3 4 0 2 1 5 4 4 3 3 4 2 3 1 5 5 3 4 2 5 3 1 2 4 5 3 5 3 2 2 5 5 3 5 3 2 3 4 4 5 1 0 5 5 3 5 3 1 5 3 3 4 4 5 4 3 0 4 3 5 1 4 2 4 5 5 4 5 0 4 5 4 2 1 3 3 5 3 4 3 2 5 5 1 4 4 3 5 4 1 2 2 2 5 3 3 4 3 4 5 1 2 5 4 4 1 2 5 5 2 3 3 2 5 3 4 5 4 3 4 2 4 3 0 4 5 5 3 4 1 5 1 2 2 3 3 3 4 4 4 3 1 4 3 3 5 1 5 5 3 5 3 5 2 4 0 1 2 5 3 5 3 2 2 5 5 2 1 4 0 3 5 3 4 5 3 5 2 3 5 3 2 1 4 4 2 5 3 3 2 2 5 5 4 5 5 1 1 2 3 5 3 1 4 4 0 1 3 2 4 5 4 3 2 2 5 4 5 4 2 3 3 5 2 2 4 1 2 5 1 4 5 4 5 3 1 0 5 2 1 5 5 1 3 1 3 3 4 4 5 4 5 3 1 1 5 4 5 5 2 3 3 3 4 3 2 5 5 1 2 4 1 4 3 5 0 3 4 3 3 5 2 4 4 4 2 1 4 4 3 4 5 4 1 2 1 3 1 5 4 2 2 5 4 3 3 5 5 4 5 4 2 4 4 1 2 4 2 3 1 2 5 5 3 1 4 2 3 3 2 5 4 2 1 4 4 2 3 2 4 5 2 4 3 4 5 4 1 2 2 5 4 3 1 3 1 3 2 1 4 4 5 3 2 4 0 5 5 4 5 2 2 4 5 5 3 3 2 3 4 3 5 3 4 5 3 5 5 1 4 5 4 2 5 0 3 1 3 3 3 4 5 4 3 3 5 4 3 3 4 2 5 0 3 5 2 4 3 4 5 5 5 4 3 0 4 2 5 1 5 2 3 3 5 2 4 5 4 0 4 2 5 4 4 2 5 1 5 1 4 5 4 1 5 1 4 5 5 3 5 3 4 3 2 3 2 2 3 4 1 5 4 1 5 2 3 3 3 2 2 2 4 5 4 4 0 1 4 3 4 3 5 3 5 5 1 5 2 2 4 3 1 4 2 4 1 2 3 2 0 0 1 5 5 2 2 3 1 2 2 4 3 5 4 3 1 4 2 3 2 4 5 5 5 4 2 2 5 2 2 5 4 4 0 4 5 3 3 4 2 2 3 3 5 3 5 2 4 2 4 1 3 3 1 5 5 4 2 3 1 4 3 3 3 5 5 1 4 1 2 3 4 2 2 5 1 4 2 4 3 4 5 2 5 3 4 3 0 1 4 4 2 1 4 2 5 1 3 5 3 4 3 5 3 4 3 3 3 5 4 5 1 5 2 5 5 4 3 4 4 4 5 1 4 4 3 1 2 4 5 5 5 4 1 5 3 4 1 5 5 5 3 5 5 3 2 4 2400.08/2322.51 v </values> 2400.08/2322.51 v </instantiation> 2400.08/2322.51 s SATISFIABLE
OK 5
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4248667-1502137755/watcher-4248667-1502137755 -o /tmp/evaluation-result-4248667-1502137755/solver-4248667-1502137755 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502129723-30087 --watchdog 2560 bin/concrete HOME/instance-4248667-1502137755.xml pid=31809 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.72 1.55 1.43 2/194 31812 /proc/meminfo: memFree=28566680/32770624 swapFree=0/458220 [pid=31812] ppid=31809 vsize=23672 CPUtime=0 cores=1,3,5,7 /proc/31812/stat : 31812 (runsolver) D 31809 31812 9955 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 15996465 24240128 107 18446744073709551615 4194304 4338465 140723438412464 140723438410104 140439965848279 0 0 1 24578 18446744071580418449 0 0 17 7 0 0 0 0 0 6438912 6441760 36827136 140723438416081 140723438416458 140723438416458 140723438419914 0 /proc/31812/statm: 5918 107 54 36 0 2156 0 [startup+0.100209 s] /proc/loadavg: 1.72 1.55 1.43 2/194 31812 /proc/meminfo: memFree=28566680/32770624 swapFree=0/458220 [pid=31812] ppid=31809 vsize=9640 CPUtime=0.01 cores=1,3,5,7 /proc/31812/stat : 31812 (bash) S 31809 31812 9955 0 -1 4202496 887 6454 0 0 0 0 0 1 20 0 1 0 15996465 9871360 373 18446744073709551615 4194304 5098028 140736709309648 140736709303656 140391484537856 0 0 5 65536 18446744071580971376 0 0 17 3 0 0 6 0 0 7196144 7232144 33726464 140736709313045 140736709313130 140736709313130 140736709316586 0 /proc/31812/statm: 2410 373 292 221 0 119 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 9640 [startup+0.200232 s] /proc/loadavg: 1.72 1.55 1.43 2/194 31812 /proc/meminfo: memFree=28566680/32770624 swapFree=0/458220 [pid=31812] ppid=31809 vsize=9640 CPUtime=0.08 cores=1,3,5,7 /proc/31812/stat : 31812 (bash) R 31809 31812 9955 0 -1 4202496 958 12380 0 0 0 0 6 2 20 0 1 0 15996465 9871360 378 18446744073709551615 4194304 5098028 140736709309648 140736709305480 140391484099557 0 0 5 65536 0 0 0 17 3 0 0 6 0 0 7196144 7232144 33726464 140736709313045 140736709313130 140736709313130 140736709316586 0 /proc/31812/statm: 2410 378 297 221 0 119 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 9640 [startup+0.300325 s] /proc/loadavg: 1.72 1.55 1.43 2/194 31812 /proc/meminfo: memFree=28566680/32770624 swapFree=0/458220 [pid=31812] ppid=31809 vsize=10485316 CPUtime=0.14 cores=1,3,5,7 /proc/31812/stat : 31812 (java) S 31809 31812 9955 0 -1 1077944320 5512 12380 0 0 5 1 6 2 20 0 14 0 15996465 10736963584 5702 18446744073709551615 4194304 4196468 140722678409072 140722678391616 140702977650423 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 6 0 0 6293624 6294260 22294528 140722678417372 140722678420146 140722678420146 140722678423503 0 /proc/31812/statm: 2621329 5702 2564 1 0 2610826 0 Current children cumulated CPU time (s) 0.14 Current children cumulated vsize (KiB) 10485316 [startup+0.701082 s] /proc/loadavg: 1.72 1.55 1.43 2/194 31812 /proc/meminfo: memFree=28566680/32770624 swapFree=0/458220 [pid=31812] ppid=31809 vsize=10552792 CPUtime=0.47 cores=1,3,5,7 /proc/31812/stat : 31812 (java) S 31809 31812 9955 0 -1 1077944320 12618 12380 0 0 36 3 6 2 20 0 15 0 15996465 10806059008 12970 18446744073709551615 4194304 4196468 140722678409072 140722678391616 140702977650423 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 6 0 0 6293624 6294260 22294528 140722678417372 140722678420146 140722678420146 140722678423503 0 /proc/31812/statm: 2638198 12970 3081 1 0 2627467 0 Current children cumulated CPU time (s) 0.47 Current children cumulated vsize (KiB) 10552792 [startup+1.50062 s] /proc/loadavg: 1.72 1.55 1.43 5/209 31875 /proc/meminfo: memFree=28490584/32770624 swapFree=0/458248 [pid=31812] ppid=31809 vsize=10561368 CPUtime=1.66 cores=1,3,5,7 /proc/31812/stat : 31812 (java) S 31809 31812 9955 0 -1 1077944320 23678 12380 0 0 152 6 6 2 20 0 15 0 15996465 10814840832 32065 18446744073709551615 4194304 4196468 140722678409072 140722678391616 140702977650423 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 6 0 0 6293624 6294260 22294528 140722678417372 140722678420146 140722678420146 140722678423503 0 /proc/31812/statm: 2640342 32065 3342 1 0 2629515 0 [pid=31812/tid=31862] ppid=31809 vsize=10561368 CPUtime=1.14 cores=1,3,5,7 /proc/31812/task/31862/stat : 31862 (java) R 31809 31812 9955 0 -1 4202560 18534 12380 0 0 101 5 6 2 20 0 15 0 15996486 10814840832 32065 18446744073709551615 4194304 4196468 140722678409072 140702981886224 140702963889841 0 4 1 16800974 0 0 0 -1 3 0 0 20 0 0 6293624 6294260 22294528 140722678417372 140722678420146 140722678420146 140722678423503 0 [pid=31812/tid=31863] ppid=31809 vsize=10561368 CPUtime=0.08 cores=1,3,5,7 /proc/31812/task/31863/stat : 31863 (java) S 31809 31812 9955 0 -1 1077944384 1 12380 0 0 0 0 6 2 20 0 15 0 15996486 10814840832 32065 18446744073709551615 4194304 4196468 140722678409072 140702934616720 140702977660629 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22294528 140722678417372 140722678420146 140722678420146 140722678423503 0 [pid=31812/tid=31864] ppid=31809 vsize=10561368 CPUtime=0.08 cores=1,3,5,7 /proc/31812/task/31864/stat : 31864 (java) S 31809 31812 9955 0 -1 1077944384 1 12380 0 0 0 0 6 2 20 0 15 0 15996486 10814840832 32065 18446744073709551615 4194304 4196468 140722678409072 140702933563920 140702977660629 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22294528 140722678417372 140722678420146 140722678420146 140722678423503 0 [pid=31812/tid=31865] ppid=31809 vsize=10561368 CPUtime=0.08 cores=1,3,5,7 /proc/31812/task/31865/stat : 31865 (java) S 31809 31812 9955 0 -1 1077944384 1 12380 0 0 0 0 6 2 20 0 15 0 15996486 10814840832 32065 18446744073709551615 4194304 4196468 140722678409072 140702932511120 140702977660629 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22294528 140722678417372 140722678420146 140722678420146 140722678423503 0 [pid=31812/tid=31866] ppid=31809 vsize=10561368 CPUtime=0.08 cores=1,3,5,7 /proc/31812/task/31866/stat : 31866 (java) S 31809 31812 9955 0 -1 1077944384 2 12380 0 0 0 0 6 2 20 0 15 0 15996486 10814840832 32065 18446744073709551615 4194304 4196468 140722678409072 140702931458320 140702977660629 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22294528 140722678417372 140722678420146 140722678420146 140722678423503 0 [pid=31812/tid=31867] ppid=31809 vsize=10561368 CPUtime=0.08 cores=1,3,5,7 /proc/31812/task/31867/stat : 31867 (java) S 31809 31812 9955 0 -1 1077944384 5 12380 0 0 0 0 6 2 20 0 15 0 15996488 10814840832 32065 18446744073709551615 4194304 4196468 140722678409072 140702541192048 140702977661570 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22294528 140722678417372 140722678420146 140722678420146 140722678423503 0 [pid=31812/tid=31868] ppid=31809 vsize=10561368 CPUtime=0.08 cores=1,3,5,7 /proc/31812/task/31868/stat : 31868 (java) S 31809 31812 9955 0 -1 1077944384 33 12380 0 0 0 0 6 2 20 0 15 0 15996488 10814840832 32065 18446744073709551615 4194304 4196468 140722678409072 140702540138016 140702977660629 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22294528 140722678417372 140722678420146 140722678420146 140722678423503 0 [pid=31812/tid=31869] ppid=31809 vsize=10561368 CPUtime=0.08 cores=1,3,5,7 /proc/31812/task/31869/stat : 31869 (java) S 31809 31812 9955 0 -1 1077944384 21 12380 0 0 0 0 6 2 20 0 15 0 15996488 10814840832 32065 18446744073709551615 4194304 4196468 140722678409072 140702539085168 140702977660629 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22294528 140722678417372 140722678420146 140722678420146 140722678423503 0 [pid=31812/tid=31870] ppid=31809 vsize=10561368 CPUtime=0.08 cores=1,3,5,7 /proc/31812/task/31870/stat : 31870 (java) S 31809 31812 9955 0 -1 1077944384 3 12380 0 0 0 0 6 2 20 0 15 0 15996491 10814840832 32065 18446744073709551615 4194304 4196468 140722678409072 140702538033488 140702977669019 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22294528 140722678417372 140722678420146 140722678420146 140722678423503 0 [pid=31812/tid=31871] ppid=31809 vsize=10561368 CPUtime=0.23 cores=1,3,5,7 /proc/31812/task/31871/stat : 31871 (java) S 31809 31812 9955 0 -1 1077944384 906 12380 0 0 15 0 6 2 20 0 15 0 15996491 10814840832 32065 18446744073709551615 4194304 4196468 140722678409072 140702536980848 140702977661570 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22294528 140722678417372 140722678420146 140722678420146 140722678423503 0 [pid=31812/tid=31872] ppid=31809 vsize=10561368 CPUtime=0.23 cores=1,3,5,7 /proc/31812/task/31872/stat : 31872 (java) S 31809 31812 9955 0 -1 1077944384 1217 12380 0 0 15 0 6 2 20 0 15 0 15996491 10814840832 32065 18446744073709551615 4194304 4196468 140722678409072 140702535928048 140702977661570 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22294528 140722678417372 140722678420146 140722678420146 140722678423503 0 [pid=31812/tid=31873] ppid=31809 vsize=10561368 CPUtime=0.27 cores=1,3,5,7 /proc/31812/task/31873/stat : 31873 (java) R 31809 31812 9955 0 -1 4202560 818 12380 0 0 19 0 6 2 20 0 15 0 15996491 10814840832 32065 18446744073709551615 4194304 4196468 140722678409072 140702534875248 140702956568995 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22294528 140722678417372 140722678420146 140722678420146 140722678423503 0 [pid=31812/tid=31874] ppid=31809 vsize=10561368 CPUtime=0.08 cores=1,3,5,7 /proc/31812/task/31874/stat : 31874 (java) S 31809 31812 9955 0 -1 1077944384 3 12380 0 0 0 0 6 2 20 0 15 0 15996491 10814840832 32065 18446744073709551615 4194304 4196468 140722678409072 140702533822688 140702977660629 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22294528 140722678417372 140722678420146 140722678420146 140722678423503 0 [pid=31812/tid=31875] ppid=31809 vsize=10561368 CPUtime=0.08 cores=1,3,5,7 /proc/31812/task/31875/stat : 31875 (java) S 31809 31812 9955 0 -1 1077944384 1 12380 0 0 0 0 6 2 20 0 15 0 15996512 10814840832 32065 18446744073709551615 4194304 4196468 140722678409072 140702532770992 140702977661570 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22294528 140722678417372 140722678420146 140722678420146 140722678423503 0 Current children cumulated CPU time (s) 1.66 Current children cumulated vsize (KiB) 10561368 [startup+3.10304 s] /proc/loadavg: 1.72 1.55 1.43 6/209 31875 /proc/meminfo: memFree=28397592/32770624 swapFree=0/458248 [pid=31812] ppid=31809 vsize=10573844 CPUtime=5.49 cores=1,3,5,7 /proc/31812/stat : 31812 (java) S 31809 31812 9955 0 -1 1077944320 37231 12380 0 0 524 17 6 2 20 0 15 0 15996465 10827616256 71276 18446744073709551615 4194304 4196468 140722678409072 140722678391616 140702977650423 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 6 0 0 6293624 6294260 22294528 140722678417372 140722678420146 140722678420146 140722678423503 0 /proc/31812/statm: 2643461 71276 3472 1 0 2632075 0 [pid=31812/tid=31862] ppid=31809 vsize=10573844 CPUtime=2.69 cores=1,3,5,7 /proc/31812/task/31862/stat : 31862 (java) R 31809 31812 9955 0 -1 4202560 24774 12380 0 0 252 9 6 2 20 0 15 0 15996486 10827616256 71276 18446744073709551615 4194304 4196468 140722678409072 140702981884376 140702961014853 0 4 1 16800974 0 0 0 -1 7 0 0 20 0 0 6293624 6294260 22294528 140722678417372 140722678420146 140722678420146 140722678423503 0 [pid=31812/tid=31863] ppid=31809 vsize=10573844 CPUtime=0.09 cores=1,3,5,7 /proc/31812/task/31863/stat : 31863 (java) S 31809 31812 9955 0 -1 1077944384 118 12380 0 0 1 0 6 2 20 0 15 0 15996486 10827616256 71276 18446744073709551615 4194304 4196468 140722678409072 140702934616720 140702977660629 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22294528 140722678417372 140722678420146 140722678420146 140722678423503 0 [pid=31812/tid=31864] ppid=31809 vsize=10573844 CPUtime=0.09 cores=1,3,5,7 /proc/31812/task/31864/stat : 31864 (java) S 31809 31812 9955 0 -1 1077944384 97 12380 0 0 1 0 6 2 20 0 15 0 15996486 10827616256 71276 18446744073709551615 4194304 4196468 140722678409072 140702933563920 140702977660629 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22294528 140722678417372 140722678420146 140722678420146 140722678423503 0 [pid=31812/tid=31865] ppid=31809 vsize=10573844 CPUtime=0.09 cores=1,3,5,7 /proc/31812/task/31865/stat : 31865 (java) S 31809 31812 9955 0 -1 1077944384 24 12380 0 0 1 0 6 2 20 0 15 0 15996486 10827616256 71276 18446744073709551615 4194304 4196468 140722678409072 140702932511120 140702977660629 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22294528 140722678417372 140722678420146 140722678420146 140722678423503 0 [pid=31812/tid=31866] ppid=31809 vsize=10573844 CPUtime=0.09 cores=1,3,5,7 /proc/31812/task/31866/stat : 31866 (java) S 31809 31812 9955 0 -1 1077944384 241 12380 0 0 1 0 6 2 20 0 15 0 15996486 10827616256 71276 18446744073709551615 4194304 4196468 140722678409072 140702931458320 140702977660629 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22294528 140722678417372 140722678420146 140722678420146 140722678423503 0 [pid=31812/tid=31867] ppid=31809 vsize=10573844 CPUtime=0.09 cores=1,3,5,7 /proc/31812/task/31867/stat : 31867 (java) S 31809 31812 9955 0 -1 1077944384 878 12380 0 0 1 0 6 2 20 0 15 0 15996488 10827616256 71276 18446744073709551615 4194304 4196468 140722678409072 140702541192048 140702977661570 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22294528 140722678417372 140722678420146 140722678420146 140722678423503 0 [pid=31812/tid=31868] ppid=31809 vsize=10573844 CPUtime=0.08 cores=1,3,5,7 /proc/31812/task/31868/stat : 31868 (java) S 31809 31812 9955 0 -1 1077944384 39 12380 0 0 0 0 6 2 20 0 15 0 15996488 10827616256 71276 18446744073709551615 4194304 4196468 140722678409072 140702540138080 140702977660629 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22294528 140722678417372 140722678420146 140722678420146 140722678423503 0 [pid=31812/tid=31869] ppid=31809 vsize=10573844 CPUtime=0.08 cores=1,3,5,7 /proc/31812/task/31869/stat : 31869 (java) S 31809 31812 9955 0 -1 1077944384 44 12380 0 0 0 0 6 2 20 0 15 0 15996488 10827616256 71276 18446744073709551615 4194304 4196468 140722678409072 140702539085184 140702977660629 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22294528 140722678417372 140722678420146 140722678420146 140722678423503 0 [pid=31812/tid=31870] ppid=31809 vsize=10573844 CPUtime=0.08 cores=1,3,5,7 /proc/31812/task/31870/stat : 31870 (java) S 31809 31812 9955 0 -1 1077944384 3 12380 0 0 0 0 6 2 20 0 15 0 15996491 10827616256 71276 18446744073709551615 4194304 4196468 140722678409072 140702538033488 140702977669019 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22294528 140722678417372 140722678420146 140722678420146 140722678423503 0 [pid=31812/tid=31871] ppid=31809 vsize=10573844 CPUtime=0.95 cores=1,3,5,7 /proc/31812/task/31871/stat : 31871 (java) R 31809 31812 9955 0 -1 4202560 2141 12380 0 0 86 1 6 2 20 0 15 0 15996491 10827616256 71276 18446744073709551615 4194304 4196468 140722678409072 140702536979248 140702962042834 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22294528 140722678417372 140722678420146 140722678420146 140722678423503 0 [pid=31812/tid=31872] ppid=31809 vsize=10573844 CPUtime=0.93 cores=1,3,5,7 /proc/31812/task/31872/stat : 31872 (java) R 31809 31812 9955 0 -1 4202560 2751 12380 0 0 85 0 6 2 20 0 15 0 15996491 10827616256 71276 18446744073709551615 4194304 4196468 140722678409072 140702535928048 140702958351534 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22294528 140722678417372 140722678420146 140722678420146 140722678423503 0 [pid=31812/tid=31873] ppid=31809 vsize=10573844 CPUtime=0.98 cores=1,3,5,7 /proc/31812/task/31873/stat : 31873 (java) R 31809 31812 9955 0 -1 4202560 3975 12380 0 0 89 1 6 2 20 0 15 0 15996491 10827616256 71276 18446744073709551615 4194304 4196468 140722678409072 140702534875248 140702957088192 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22294528 140722678417372 140722678420146 140722678420146 140722678423503 0 [pid=31812/tid=31874] ppid=31809 vsize=10573844 CPUtime=0.08 cores=1,3,5,7 /proc/31812/task/31874/stat : 31874 (java) S 31809 31812 9955 0 -1 1077944384 3 12380 0 0 0 0 6 2 20 0 15 0 15996491 10827616256 71276 18446744073709551615 4194304 4196468 140722678409072 140702533822688 140702977660629 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22294528 140722678417372 140722678420146 140722678420146 140722678423503 0 [pid=31812/tid=31875] ppid=31809 vsize=10573844 CPUtime=0.08 cores=1,3,5,7 /proc/31812/task/31875/stat : 31875 (java) S 31809 31812 9955 0 -1 1077944384 6 12380 0 0 0 0 6 2 20 0 15 0 15996512 10827616256 71276 18446744073709551615 4194304 4196468 140722678409072 140702532770992 140702977661570 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22294528 140722678417372 140722678420146 140722678420146 140722678423503 0 Current children cumulated CPU time (s) 5.49 Current children cumulated vsize (KiB) 10573844 [startup+6.30109 s] /proc/loadavg: 1.74 1.56 1.43 3/209 31875 /proc/meminfo: memFree=28145232/32770624 swapFree=0/458244 [pid=31812] ppid=31809 vsize=10575892 CPUtime=13.51 cores=1,3,5,7 /proc/31812/stat : 31812 (java) S 31809 31812 9955 0 -1 1077944320 48591 12380 0 0 1304 39 6 2 20 0 15 0 15996465 10829713408 154568 18446744073709551615 4194304 4196468 140722678409072 140722678391616 140702977650423 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 6 0 0 6293624 6294260 22294528 140722678417372 140722678420146 140722678420146 140722678423503 0 /proc/31812/statm: 2643973 154568 3485 1 0 2632587 0 [pid=31812/tid=31862] ppid=31809 vsize=10575892 CPUtime=5.66 cores=1,3,5,7 /proc/31812/task/31862/stat : 31862 (java) S 31809 31812 9955 0 -1 1077944384 25483 12380 0 0 546 12 6 2 20 0 15 0 15996486 10829713408 154568 18446744073709551615 4194304 4196468 140722678409072 140702981885360 140702977660629 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 20 0 0 6293624 6294260 22294528 140722678417372 140722678420146 140722678420146 140722678423503 0 [pid=31812/tid=31863] ppid=31809 vsize=10575892 CPUtime=0.31 cores=1,3,5,7 /proc/31812/task/31863/stat : 31863 (java) R 31809 31812 9955 0 -1 4202560 294 12380 0 0 18 5 6 2 20 0 15 0 15996486 10829713408 154568 18446744073709551615 4194304 4196468 140722678409072 140702934616920 140702959276368 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22294528 140722678417372 140722678420146 140722678420146 140722678423503 0 [pid=31812/tid=31864] ppid=31809 vsize=10575892 CPUtime=0.29 cores=1,3,5,7 /proc/31812/task/31864/stat : 31864 (java) R 31809 31812 9955 0 -1 4202560 406 12380 0 0 17 4 6 2 20 0 15 0 15996486 10829713408 154568 18446744073709551615 4194304 4196468 140722678409072 140702933563920 140702962678584 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22294528 140722678417372 140722678420146 140722678420146 140722678423503 0 [pid=31812/tid=31865] ppid=31809 vsize=10575892 CPUtime=0.29 cores=1,3,5,7 /proc/31812/task/31865/stat : 31865 (java) R 31809 31812 9955 0 -1 4202560 238 12380 0 0 17 4 6 2 20 0 15 0 15996486 10829713408 154568 18446744073709551615 4194304 4196468 140722678409072 140702932511120 140702962677546 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22294528 140722678417372 140722678420146 140722678420146 140722678423503 0 [pid=31812/tid=31866] ppid=31809 vsize=10575892 CPUtime=0.31 cores=1,3,5,7 /proc/31812/task/31866/stat : 31866 (java) R 31809 31812 9955 0 -1 4202560 549 12380 0 0 18 5 6 2 20 0 15 0 15996486 10829713408 154568 18446744073709551615 4194304 4196468 140722678409072 140702931458520 140702959276368 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22294528 140722678417372 140722678420146 140722678420146 140722678423503 0 [pid=31812/tid=31867] ppid=31809 vsize=10575892 CPUtime=0.1 cores=1,3,5,7 /proc/31812/task/31867/stat : 31867 (java) S 31809 31812 9955 0 -1 1077944384 1255 12380 0 0 2 0 6 2 20 0 15 0 15996488 10829713408 154568 18446744073709551615 4194304 4196468 140722678409072 140702541190560 140702977660629 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22294528 140722678417372 140722678420146 140722678420146 140722678423503 0 [pid=31812/tid=31868] ppid=31809 vsize=10575892 CPUtime=0.08 cores=1,3,5,7 /proc/31812/task/31868/stat : 31868 (java) S 31809 31812 9955 0 -1 1077944384 39 12380 0 0 0 0 6 2 20 0 15 0 15996488 10829713408 154568 18446744073709551615 4194304 4196468 140722678409072 140702540138080 140702977660629 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22294528 140722678417372 140722678420146 140722678420146 140722678423503 0 [pid=31812/tid=31869] ppid=31809 vsize=10575892 CPUtime=0.08 cores=1,3,5,7 /proc/31812/task/31869/stat : 31869 (java) S 31809 31812 9955 0 -1 1077944384 44 12380 0 0 0 0 6 2 20 0 15 0 15996488 10829713408 154568 18446744073709551615 4194304 4196468 140722678409072 140702539085184 140702977660629 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22294528 140722678417372 140722678420146 140722678420146 140722678423503 0 [pid=31812/tid=31870] ppid=31809 vsize=10575892 CPUtime=0.08 cores=1,3,5,7 /proc/31812/task/31870/stat : 31870 (java) S 31809 31812 9955 0 -1 1077944384 3 12380 0 0 0 0 6 2 20 0 15 0 15996491 10829713408 154568 18446744073709551615 4194304 4196468 140722678409072 140702538033488 140702977669019 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22294528 140722678417372 140722678420146 140722678420146 140722678423503 0 [pid=31812/tid=31871] ppid=31809 vsize=10575892 CPUtime=2.88 cores=1,3,5,7 /proc/31812/task/31871/stat : 31871 (java) S 31809 31812 9955 0 -1 1077944384 6611 12380 0 0 278 2 6 2 20 0 15 0 15996491 10829713408 154568 18446744073709551615 4194304 4196468 140722678409072 140702536980848 140702977661570 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22294528 140722678417372 140722678420146 140722678420146 140722678423503 0 [pid=31812/tid=31872] ppid=31809 vsize=10575892 CPUtime=2.84 cores=1,3,5,7 /proc/31812/task/31872/stat : 31872 (java) S 31809 31812 9955 0 -1 1077944384 5058 12380 0 0 275 1 6 2 20 0 15 0 15996491 10829713408 154568 18446744073709551615 4194304 4196468 140722678409072 140702535928048 140702977661570 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22294528 140722678417372 140722678420146 140722678420146 140722678423503 0 [pid=31812/tid=31873] ppid=31809 vsize=10575892 CPUtime=1.41 cores=1,3,5,7 /proc/31812/task/31873/stat : 31873 (java) S 31809 31812 9955 0 -1 1077944384 6262 12380 0 0 130 3 6 2 20 0 15 0 15996491 10829713408 154568 18446744073709551615 4194304 4196468 140722678409072 140702534875248 140702977661570 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22294528 140722678417372 140722678420146 140722678420146 140722678423503 0 [pid=31812/tid=31874] ppid=31809 vsize=10575892 CPUtime=0.08 cores=1,3,5,7 /proc/31812/task/31874/stat : 31874 (java) S 31809 31812 9955 0 -1 1077944384 3 12380 0 0 0 0 6 2 20 0 15 0 15996491 10829713408 154568 18446744073709551615 4194304 4196468 140722678409072 140702533822688 140702977660629 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22294528 140722678417372 140722678420146 140722678420146 140722678423503 0 [pid=31812/tid=31875] ppid=31809 vsize=10575892 CPUtime=0.08 cores=1,3,5,7 /proc/31812/task/31875/stat : 31875 (java) S 31809 31812 9955 0 -1 1077944384 209 12380 0 0 0 0 6 2 20 0 15 0 15996512 10829713408 154568 18446744073709551615 4194304 4196468 140722678409072 140702532770992 140702977661570 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22294528 140722678417372 140722678420146 140722678420146 140722678423503 0 Current children cumulated CPU time (s) 13.51 Current children cumulated vsize (KiB) 10575892 [startup+12.7007 s] /proc/loadavg: 1.93 1.60 1.44 4/209 31875 /proc/meminfo: memFree=27284980/32770624 swapFree=0/458240 [pid=31812] ppid=31809 vsize=10577940 CPUtime=24.92 cores=1,3,5,7 /proc/31812/stat : 31812 (java) S 31809 31812 9955 0 -1 1077944320 57867 12380 0 0 2416 68 6 2 20 0 15 0 15996465 10831810560 385809 18446744073709551615 4194304 4196468 140722678409072 140722678391616 140702977650423 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 6 0 0 6293624 6294260 22294528 140722678417372 140722678420146 140722678420146 140722678423503 0 /proc/31812/statm: 2644485 385809 3488 1 0 2633099 0 [pid=31812/tid=31862] ppid=31809 vsize=10577940 CPUtime=11.8 cores=1,3,5,7 /proc/31812/task/31862/stat : 31862 (java) R 31809 31812 9955 0 -1 4202560 27875 12380 0 0 1150 22 6 2 20 0 15 0 15996486 10831810560 385809 18446744073709551615 4194304 4196468 140722678409072 140702981882664 140702620796650 0 4 1 16800974 0 0 0 -1 5 0 0 20 0 0 6293624 6294260 22294528 140722678417372 140722678420146 140722678420146 140722678423503 0 [pid=31812/tid=31863] ppid=31809 vsize=10577940 CPUtime=0.53 cores=1,3,5,7 /proc/31812/task/31863/stat : 31863 (java) S 31809 31812 9955 0 -1 1077944384 619 12380 0 0 36 9 6 2 20 0 15 0 15996486 10831810560 385809 18446744073709551615 4194304 4196468 140722678409072 140702934616720 140702977660629 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22294528 140722678417372 140722678420146 140722678420146 140722678423503 0 [pid=31812/tid=31864] ppid=31809 vsize=10577940 CPUtime=0.53 cores=1,3,5,7 /proc/31812/task/31864/stat : 31864 (java) S 31809 31812 9955 0 -1 1077944384 856 12380 0 0 36 9 6 2 20 0 15 0 15996486 10831810560 385809 18446744073709551615 4194304 4196468 140722678409072 140702933563920 140702977660629 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22294528 140722678417372 140722678420146 140722678420146 140722678423503 0 [pid=31812/tid=31865] ppid=31809 vsize=10577940 CPUtime=0.5 cores=1,3,5,7 /proc/31812/task/31865/stat : 31865 (java) S 31809 31812 9955 0 -1 1077944384 635 12380 0 0 34 8 6 2 20 0 15 0 15996486 10831810560 385809 18446744073709551615 4194304 4196468 140722678409072 140702932511120 140702977660629 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22294528 140722678417372 140722678420146 140722678420146 140722678423503 0 [pid=31812/tid=31866] ppid=31809 vsize=10577940 CPUtime=0.51 cores=1,3,5,7 /proc/31812/task/31866/stat : 31866 (java) S 31809 31812 9955 0 -1 1077944384 773 12380 0 0 35 8 6 2 20 0 15 0 15996486 10831810560 385809 18446744073709551615 4194304 4196468 140722678409072 140702931458320 140702977660629 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22294528 140722678417372 140722678420146 140722678420146 140722678423503 0 [pid=31812/tid=31867] ppid=31809 vsize=10577940 CPUtime=0.11 cores=1,3,5,7 /proc/31812/task/31867/stat : 31867 (java) S 31809 31812 9955 0 -1 1077944384 1657 12380 0 0 3 0 6 2 20 0 15 0 15996488 10831810560 385809 18446744073709551615 4194304 4196468 140722678409072 140702541192048 140702977661570 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22294528 140722678417372 140722678420146 140722678420146 140722678423503 0 [pid=31812/tid=31868] ppid=31809 vsize=10577940 CPUtime=0.08 cores=1,3,5,7 /proc/31812/task/31868/stat : 31868 (java) S 31809 31812 9955 0 -1 1077944384 39 12380 0 0 0 0 6 2 20 0 15 0 15996488 10831810560 385809 18446744073709551615 4194304 4196468 140722678409072 140702540138080 140702977660629 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22294528 140722678417372 140722678420146 140722678420146 140722678423503 0 [pid=31812/tid=31869] ppid=31809 vsize=10577940 CPUtime=0.08 cores=1,3,5,7 /proc/31812/task/31869/stat : 31869 (java) S 31809 31812 9955 0 -1 1077944384 44 12380 0 0 0 0 6 2 20 0 15 0 15996488 10831810560 385809 18446744073709551615 4194304 4196468 140722678409072 140702539085184 140702977660629 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22294528 140722678417372 140722678420146 140722678420146 140722678423503 0 [pid=31812/tid=31870] ppid=31809 vsize=10577940 CPUtime=0.08 cores=1,3,5,7 /proc/31812/task/31870/stat : 31870 (java) S 31809 31812 9955 0 -1 1077944384 3 12380 0 0 0 0 6 2 20 0 15 0 15996491 10831810560 385809 18446744073709551615 4194304 4196468 140722678409072 140702538033488 140702977669019 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22294528 140722678417372 140722678420146 140722678420146 140722678423503 0 ################ # More data... # ################ /proc/31812/task/31874/stat : 31874 (java) S 31809 31812 9955 0 -1 1077944384 3 12380 0 0 0 0 6 2 20 0 15 0 15996491 10903113728 701628 18446744073709551615 4194304 4196468 140722678409072 140702533822688 140702977660629 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22294528 140722678417372 140722678420146 140722678420146 140722678423503 0 [pid=31812/tid=31875] ppid=31809 vsize=10647572 CPUtime=1.34 cores=1,3,5,7 /proc/31812/task/31875/stat : 31875 (java) S 31809 31812 9955 0 -1 1077944384 3947 12380 0 0 56 70 6 2 20 0 15 0 15996512 10903113728 701628 18446744073709551615 4194304 4196468 140722678409072 140702532770992 140702977661570 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22294528 140722678417372 140722678420146 140722678420146 140722678423503 0 Current children cumulated CPU time (s) 2279.39 Current children cumulated vsize (KiB) 10647572 [startup+2262.3 s] /proc/loadavg: 2.21 1.96 1.82 3/210 32138 /proc/meminfo: memFree=26369476/32770624 swapFree=0/459520 [pid=31812] ppid=31809 vsize=10647572 CPUtime=2339.6 cores=1,3,5,7 /proc/31812/stat : 31812 (java) S 31809 31812 9955 0 -1 1077944320 554457 12380 0 0 233422 530 6 2 20 0 15 0 15996465 10903113728 522612 18446744073709551615 4194304 4196468 140722678409072 140722678391616 140702977650423 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 6 0 0 6293624 6294260 22294528 140722678417372 140722678420146 140722678420146 140722678423503 0 /proc/31812/statm: 2661893 522612 3516 1 0 2650507 0 [pid=31812/tid=31862] ppid=31809 vsize=10647572 CPUtime=2242.94 cores=1,3,5,7 /proc/31812/task/31862/stat : 31862 (java) R 31809 31812 9955 0 -1 4202560 216521 12380 0 0 224219 67 6 2 20 0 15 0 15996486 10903113728 522612 18446744073709551615 4194304 4196468 140722678409072 140702981885984 140702628926446 0 4 1 16800974 0 0 0 -1 5 0 0 20 0 0 6293624 6294260 22294528 140722678417372 140722678420146 140722678420146 140722678423503 0 [pid=31812/tid=31863] ppid=31809 vsize=10647572 CPUtime=18.08 cores=1,3,5,7 /proc/31812/task/31863/stat : 31863 (java) S 31809 31812 9955 0 -1 1077944384 27399 12380 0 0 1705 95 6 2 20 0 15 0 15996486 10903113728 522612 18446744073709551615 4194304 4196468 140722678409072 140702934616720 140702977660629 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22294528 140722678417372 140722678420146 140722678420146 140722678423503 0 [pid=31812/tid=31864] ppid=31809 vsize=10647572 CPUtime=18.14 cores=1,3,5,7 /proc/31812/task/31864/stat : 31864 (java) S 31809 31812 9955 0 -1 1077944384 37973 12380 0 0 1712 94 6 2 20 0 15 0 15996486 10903113728 522612 18446744073709551615 4194304 4196468 140722678409072 140702933563920 140702977660629 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22294528 140722678417372 140722678420146 140722678420146 140722678423503 0 [pid=31812/tid=31865] ppid=31809 vsize=10647572 CPUtime=18.07 cores=1,3,5,7 /proc/31812/task/31865/stat : 31865 (java) S 31809 31812 9955 0 -1 1077944384 31170 12380 0 0 1708 91 6 2 20 0 15 0 15996486 10903113728 522612 18446744073709551615 4194304 4196468 140722678409072 140702932511120 140702977660629 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22294528 140722678417372 140722678420146 140722678420146 140722678423503 0 [pid=31812/tid=31866] ppid=31809 vsize=10647572 CPUtime=18.12 cores=1,3,5,7 /proc/31812/task/31866/stat : 31866 (java) S 31809 31812 9955 0 -1 1077944384 22904 12380 0 0 1711 93 6 2 20 0 15 0 15996486 10903113728 522612 18446744073709551615 4194304 4196468 140722678409072 140702931458320 140702977660629 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22294528 140722678417372 140722678420146 140722678420146 140722678423503 0 [pid=31812/tid=31867] ppid=31809 vsize=10647572 CPUtime=0.83 cores=1,3,5,7 /proc/31812/task/31867/stat : 31867 (java) S 31809 31812 9955 0 -1 1077944384 59757 12380 0 0 61 14 6 2 20 0 15 0 15996488 10903113728 522612 18446744073709551615 4194304 4196468 140722678409072 140702541192048 140702977661570 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22294528 140722678417372 140722678420146 140722678420146 140722678423503 0 [pid=31812/tid=31868] ppid=31809 vsize=10647572 CPUtime=0.09 cores=1,3,5,7 /proc/31812/task/31868/stat : 31868 (java) S 31809 31812 9955 0 -1 1077944384 168 12380 0 0 1 0 6 2 20 0 15 0 15996488 10903113728 522612 18446744073709551615 4194304 4196468 140722678409072 140702540138208 140702977660629 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22294528 140722678417372 140722678420146 140722678420146 140722678423503 0 [pid=31812/tid=31869] ppid=31809 vsize=10647572 CPUtime=0.08 cores=1,3,5,7 /proc/31812/task/31869/stat : 31869 (java) S 31809 31812 9955 0 -1 1077944384 48 12380 0 0 0 0 6 2 20 0 15 0 15996488 10903113728 522612 18446744073709551615 4194304 4196468 140722678409072 140702539085184 140702977660629 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22294528 140722678417372 140722678420146 140722678420146 140722678423503 0 [pid=31812/tid=31870] ppid=31809 vsize=10647572 CPUtime=0.08 cores=1,3,5,7 /proc/31812/task/31870/stat : 31870 (java) S 31809 31812 9955 0 -1 1077944384 3 12380 0 0 0 0 6 2 20 0 15 0 15996491 10903113728 522612 18446744073709551615 4194304 4196468 140722678409072 140702538033488 140702977669019 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22294528 140722678417372 140722678420146 140722678420146 140722678423503 0 [pid=31812/tid=31871] ppid=31809 vsize=10647572 CPUtime=9.94 cores=1,3,5,7 /proc/31812/task/31871/stat : 31871 (java) S 31809 31812 9955 0 -1 1077944384 42133 12380 0 0 981 5 6 2 20 0 15 0 15996491 10903113728 522612 18446744073709551615 4194304 4196468 140722678409072 140702536980848 140702977661570 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22294528 140722678417372 140722678420146 140722678420146 140722678423503 0 [pid=31812/tid=31872] ppid=31809 vsize=10647572 CPUtime=9.74 cores=1,3,5,7 /proc/31812/task/31872/stat : 31872 (java) S 31809 31812 9955 0 -1 1077944384 42540 12380 0 0 961 5 6 2 20 0 15 0 15996491 10903113728 522612 18446744073709551615 4194304 4196468 140722678409072 140702535928048 140702977661570 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22294528 140722678417372 140722678420146 140722678420146 140722678423503 0 [pid=31812/tid=31873] ppid=31809 vsize=10647572 CPUtime=2.95 cores=1,3,5,7 /proc/31812/task/31873/stat : 31873 (java) S 31809 31812 9955 0 -1 1077944384 67716 12380 0 0 279 8 6 2 20 0 15 0 15996491 10903113728 522612 18446744073709551615 4194304 4196468 140722678409072 140702534875248 140702977661570 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22294528 140722678417372 140722678420146 140722678420146 140722678423503 0 [pid=31812/tid=31874] ppid=31809 vsize=10647572 CPUtime=0.08 cores=1,3,5,7 /proc/31812/task/31874/stat : 31874 (java) S 31809 31812 9955 0 -1 1077944384 3 12380 0 0 0 0 6 2 20 0 15 0 15996491 10903113728 522612 18446744073709551615 4194304 4196468 140722678409072 140702533822688 140702977660629 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22294528 140722678417372 140722678420146 140722678420146 140722678423503 0 [pid=31812/tid=31875] ppid=31809 vsize=10647572 CPUtime=1.37 cores=1,3,5,7 /proc/31812/task/31875/stat : 31875 (java) S 31809 31812 9955 0 -1 1077944384 3985 12380 0 0 57 72 6 2 20 0 15 0 15996512 10903113728 522612 18446744073709551615 4194304 4196468 140722678409072 140702532770992 140702977661570 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22294528 140722678417372 140722678420146 140722678420146 140722678423503 0 Current children cumulated CPU time (s) 2339.6 Current children cumulated vsize (KiB) 10647572 [startup+2322.3 s] /proc/loadavg: 1.66 1.84 1.79 3/210 32140 /proc/meminfo: memFree=26873288/32770624 swapFree=0/459604 [pid=31812] ppid=31809 vsize=10647572 CPUtime=2399.88 cores=1,3,5,7 /proc/31812/stat : 31812 (java) S 31809 31812 9955 0 -1 1077944320 562187 12380 0 0 239447 533 6 2 20 0 15 0 15996465 10903113728 394532 18446744073709551615 4194304 4196468 140722678409072 140722678391616 140702977650423 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 6 0 0 6293624 6294260 22294528 140722678417372 140722678420146 140722678420146 140722678423503 0 /proc/31812/statm: 2661893 394532 3516 1 0 2650507 0 [pid=31812/tid=31862] ppid=31809 vsize=10647572 CPUtime=2302.84 cores=1,3,5,7 /proc/31812/task/31862/stat : 31862 (java) R 31809 31812 9955 0 -1 4202560 219576 12380 0 0 230208 68 6 2 20 0 15 0 15996486 10903113728 394532 18446744073709551615 4194304 4196468 140722678409072 140702981885984 140702614644771 0 4 1 16800974 0 0 0 -1 5 0 0 20 0 0 6293624 6294260 22294528 140722678417372 140722678420146 140722678420146 140722678423503 0 [pid=31812/tid=31863] ppid=31809 vsize=10647572 CPUtime=18.17 cores=1,3,5,7 /proc/31812/task/31863/stat : 31863 (java) S 31809 31812 9955 0 -1 1077944384 29092 12380 0 0 1714 95 6 2 20 0 15 0 15996486 10903113728 394532 18446744073709551615 4194304 4196468 140722678409072 140702934616720 140702977660629 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22294528 140722678417372 140722678420146 140722678420146 140722678423503 0 [pid=31812/tid=31864] ppid=31809 vsize=10647572 CPUtime=18.23 cores=1,3,5,7 /proc/31812/task/31864/stat : 31864 (java) S 31809 31812 9955 0 -1 1077944384 39258 12380 0 0 1721 94 6 2 20 0 15 0 15996486 10903113728 394532 18446744073709551615 4194304 4196468 140722678409072 140702933563920 140702977660629 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22294528 140722678417372 140722678420146 140722678420146 140722678423503 0 [pid=31812/tid=31865] ppid=31809 vsize=10647572 CPUtime=18.15 cores=1,3,5,7 /proc/31812/task/31865/stat : 31865 (java) S 31809 31812 9955 0 -1 1077944384 31888 12380 0 0 1716 91 6 2 20 0 15 0 15996486 10903113728 394532 18446744073709551615 4194304 4196468 140722678409072 140702932511120 140702977660629 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22294528 140722678417372 140722678420146 140722678420146 140722678423503 0 [pid=31812/tid=31866] ppid=31809 vsize=10647572 CPUtime=18.2 cores=1,3,5,7 /proc/31812/task/31866/stat : 31866 (java) S 31809 31812 9955 0 -1 1077944384 23108 12380 0 0 1719 93 6 2 20 0 15 0 15996486 10903113728 394532 18446744073709551615 4194304 4196468 140722678409072 140702931458320 140702977660629 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22294528 140722678417372 140722678420146 140722678420146 140722678423503 0 [pid=31812/tid=31867] ppid=31809 vsize=10647572 CPUtime=0.85 cores=1,3,5,7 /proc/31812/task/31867/stat : 31867 (java) S 31809 31812 9955 0 -1 1077944384 60451 12380 0 0 63 14 6 2 20 0 15 0 15996488 10903113728 394532 18446744073709551615 4194304 4196468 140722678409072 140702541192048 140702977661570 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22294528 140722678417372 140722678420146 140722678420146 140722678423503 0 [pid=31812/tid=31868] ppid=31809 vsize=10647572 CPUtime=0.09 cores=1,3,5,7 /proc/31812/task/31868/stat : 31868 (java) S 31809 31812 9955 0 -1 1077944384 168 12380 0 0 1 0 6 2 20 0 15 0 15996488 10903113728 394532 18446744073709551615 4194304 4196468 140722678409072 140702540138208 140702977660629 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22294528 140722678417372 140722678420146 140722678420146 140722678423503 0 [pid=31812/tid=31869] ppid=31809 vsize=10647572 CPUtime=0.08 cores=1,3,5,7 /proc/31812/task/31869/stat : 31869 (java) S 31809 31812 9955 0 -1 1077944384 48 12380 0 0 0 0 6 2 20 0 15 0 15996488 10903113728 394532 18446744073709551615 4194304 4196468 140722678409072 140702539085184 140702977660629 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22294528 140722678417372 140722678420146 140722678420146 140722678423503 0 [pid=31812/tid=31870] ppid=31809 vsize=10647572 CPUtime=0.08 cores=1,3,5,7 /proc/31812/task/31870/stat : 31870 (java) S 31809 31812 9955 0 -1 1077944384 3 12380 0 0 0 0 6 2 20 0 15 0 15996491 10903113728 394532 18446744073709551615 4194304 4196468 140722678409072 140702538033488 140702977669019 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22294528 140722678417372 140722678420146 140722678420146 140722678423503 0 [pid=31812/tid=31871] ppid=31809 vsize=10647572 CPUtime=9.94 cores=1,3,5,7 /proc/31812/task/31871/stat : 31871 (java) S 31809 31812 9955 0 -1 1077944384 42143 12380 0 0 981 5 6 2 20 0 15 0 15996491 10903113728 394532 18446744073709551615 4194304 4196468 140722678409072 140702536980848 140702977661570 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22294528 140722678417372 140722678420146 140722678420146 140722678423503 0 [pid=31812/tid=31872] ppid=31809 vsize=10647572 CPUtime=9.74 cores=1,3,5,7 /proc/31812/task/31872/stat : 31872 (java) S 31809 31812 9955 0 -1 1077944384 42546 12380 0 0 961 5 6 2 20 0 15 0 15996491 10903113728 394532 18446744073709551615 4194304 4196468 140722678409072 140702535928048 140702977661570 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22294528 140722678417372 140722678420146 140722678420146 140722678423503 0 [pid=31812/tid=31873] ppid=31809 vsize=10647572 CPUtime=2.95 cores=1,3,5,7 /proc/31812/task/31873/stat : 31873 (java) S 31809 31812 9955 0 -1 1077944384 67722 12380 0 0 279 8 6 2 20 0 15 0 15996491 10903113728 394532 18446744073709551615 4194304 4196468 140722678409072 140702534875248 140702977661570 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22294528 140722678417372 140722678420146 140722678420146 140722678423503 0 [pid=31812/tid=31874] ppid=31809 vsize=10647572 CPUtime=0.08 cores=1,3,5,7 /proc/31812/task/31874/stat : 31874 (java) S 31809 31812 9955 0 -1 1077944384 3 12380 0 0 0 0 6 2 20 0 15 0 15996491 10903113728 394532 18446744073709551615 4194304 4196468 140722678409072 140702533822688 140702977660629 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22294528 140722678417372 140722678420146 140722678420146 140722678423503 0 [pid=31812/tid=31875] ppid=31809 vsize=10647572 CPUtime=1.41 cores=1,3,5,7 /proc/31812/task/31875/stat : 31875 (java) S 31809 31812 9955 0 -1 1077944384 4044 12380 0 0 58 75 6 2 20 0 15 0 15996512 10903113728 394532 18446744073709551615 4194304 4196468 140722678409072 140702532770992 140702977661570 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22294528 140722678417372 140722678420146 140722678420146 140722678423503 0 Current children cumulated CPU time (s) 2399.88 Current children cumulated vsize (KiB) 10647572 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2322.5 s] /proc/loadavg: 1.66 1.84 1.79 3/210 32140 /proc/meminfo: memFree=26873288/32770624 swapFree=0/459604 [pid=31812] ppid=31809 vsize=10647572 CPUtime=2400.08 cores=1,3,5,7 /proc/31812/stat : 31812 (java) S 31809 31812 9955 0 -1 1077944320 562187 12380 0 0 239467 533 6 2 20 0 15 0 15996465 10903113728 394532 18446744073709551615 4194304 4196468 140722678409072 140722678391616 140702977650423 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 6 0 0 6293624 6294260 22294528 140722678417372 140722678420146 140722678420146 140722678423503 0 /proc/31812/statm: 2661893 394532 3516 1 0 2650507 0 [pid=31812/tid=31862] ppid=31809 vsize=10647572 CPUtime=2303.04 cores=1,3,5,7 /proc/31812/task/31862/stat : 31862 (java) R 31809 31812 9955 0 -1 4202560 219576 12380 0 0 230228 68 6 2 20 0 15 0 15996486 10903113728 394532 18446744073709551615 4194304 4196468 140722678409072 140702981885984 140702629191615 0 4 1 16800974 0 0 0 -1 5 0 0 20 0 0 6293624 6294260 22294528 140722678417372 140722678420146 140722678420146 140722678423503 0 [pid=31812/tid=31863] ppid=31809 vsize=10647572 CPUtime=18.17 cores=1,3,5,7 /proc/31812/task/31863/stat : 31863 (java) S 31809 31812 9955 0 -1 1077944384 29092 12380 0 0 1714 95 6 2 20 0 15 0 15996486 10903113728 394532 18446744073709551615 4194304 4196468 140722678409072 140702934616720 140702977660629 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22294528 140722678417372 140722678420146 140722678420146 140722678423503 0 [pid=31812/tid=31864] ppid=31809 vsize=10647572 CPUtime=18.23 cores=1,3,5,7 /proc/31812/task/31864/stat : 31864 (java) S 31809 31812 9955 0 -1 1077944384 39258 12380 0 0 1721 94 6 2 20 0 15 0 15996486 10903113728 394532 18446744073709551615 4194304 4196468 140722678409072 140702933563920 140702977660629 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22294528 140722678417372 140722678420146 140722678420146 140722678423503 0 [pid=31812/tid=31865] ppid=31809 vsize=10647572 CPUtime=18.15 cores=1,3,5,7 /proc/31812/task/31865/stat : 31865 (java) S 31809 31812 9955 0 -1 1077944384 31888 12380 0 0 1716 91 6 2 20 0 15 0 15996486 10903113728 394532 18446744073709551615 4194304 4196468 140722678409072 140702932511120 140702977660629 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22294528 140722678417372 140722678420146 140722678420146 140722678423503 0 [pid=31812/tid=31866] ppid=31809 vsize=10647572 CPUtime=18.2 cores=1,3,5,7 /proc/31812/task/31866/stat : 31866 (java) S 31809 31812 9955 0 -1 1077944384 23108 12380 0 0 1719 93 6 2 20 0 15 0 15996486 10903113728 394532 18446744073709551615 4194304 4196468 140722678409072 140702931458320 140702977660629 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22294528 140722678417372 140722678420146 140722678420146 140722678423503 0 [pid=31812/tid=31867] ppid=31809 vsize=10647572 CPUtime=0.85 cores=1,3,5,7 /proc/31812/task/31867/stat : 31867 (java) S 31809 31812 9955 0 -1 1077944384 60451 12380 0 0 63 14 6 2 20 0 15 0 15996488 10903113728 394532 18446744073709551615 4194304 4196468 140722678409072 140702541192048 140702977661570 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22294528 140722678417372 140722678420146 140722678420146 140722678423503 0 [pid=31812/tid=31868] ppid=31809 vsize=10647572 CPUtime=0.09 cores=1,3,5,7 /proc/31812/task/31868/stat : 31868 (java) S 31809 31812 9955 0 -1 1077944384 168 12380 0 0 1 0 6 2 20 0 15 0 15996488 10903113728 394532 18446744073709551615 4194304 4196468 140722678409072 140702540138208 140702977660629 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22294528 140722678417372 140722678420146 140722678420146 140722678423503 0 [pid=31812/tid=31869] ppid=31809 vsize=10647572 CPUtime=0.08 cores=1,3,5,7 /proc/31812/task/31869/stat : 31869 (java) S 31809 31812 9955 0 -1 1077944384 48 12380 0 0 0 0 6 2 20 0 15 0 15996488 10903113728 394532 18446744073709551615 4194304 4196468 140722678409072 140702539085184 140702977660629 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22294528 140722678417372 140722678420146 140722678420146 140722678423503 0 [pid=31812/tid=31870] ppid=31809 vsize=10647572 CPUtime=0.08 cores=1,3,5,7 /proc/31812/task/31870/stat : 31870 (java) S 31809 31812 9955 0 -1 1077944384 3 12380 0 0 0 0 6 2 20 0 15 0 15996491 10903113728 394532 18446744073709551615 4194304 4196468 140722678409072 140702538033488 140702977669019 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22294528 140722678417372 140722678420146 140722678420146 140722678423503 0 [pid=31812/tid=31871] ppid=31809 vsize=10647572 CPUtime=9.94 cores=1,3,5,7 /proc/31812/task/31871/stat : 31871 (java) S 31809 31812 9955 0 -1 1077944384 42143 12380 0 0 981 5 6 2 20 0 15 0 15996491 10903113728 394532 18446744073709551615 4194304 4196468 140722678409072 140702536980848 140702977661570 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22294528 140722678417372 140722678420146 140722678420146 140722678423503 0 [pid=31812/tid=31872] ppid=31809 vsize=10647572 CPUtime=9.74 cores=1,3,5,7 /proc/31812/task/31872/stat : 31872 (java) S 31809 31812 9955 0 -1 1077944384 42546 12380 0 0 961 5 6 2 20 0 15 0 15996491 10903113728 394532 18446744073709551615 4194304 4196468 140722678409072 140702535928048 140702977661570 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22294528 140722678417372 140722678420146 140722678420146 140722678423503 0 [pid=31812/tid=31873] ppid=31809 vsize=10647572 CPUtime=2.95 cores=1,3,5,7 /proc/31812/task/31873/stat : 31873 (java) S 31809 31812 9955 0 -1 1077944384 67722 12380 0 0 279 8 6 2 20 0 15 0 15996491 10903113728 394532 18446744073709551615 4194304 4196468 140722678409072 140702534875248 140702977661570 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22294528 140722678417372 140722678420146 140722678420146 140722678423503 0 [pid=31812/tid=31874] ppid=31809 vsize=10647572 CPUtime=0.08 cores=1,3,5,7 /proc/31812/task/31874/stat : 31874 (java) S 31809 31812 9955 0 -1 1077944384 3 12380 0 0 0 0 6 2 20 0 15 0 15996491 10903113728 394532 18446744073709551615 4194304 4196468 140722678409072 140702533822688 140702977660629 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22294528 140722678417372 140722678420146 140722678420146 140722678423503 0 [pid=31812/tid=31875] ppid=31809 vsize=10647572 CPUtime=1.41 cores=1,3,5,7 /proc/31812/task/31875/stat : 31875 (java) S 31809 31812 9955 0 -1 1077944384 4044 12380 0 0 58 75 6 2 20 0 15 0 15996512 10903113728 394532 18446744073709551615 4194304 4196468 140722678409072 140702532770992 140702977661570 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22294528 140722678417372 140722678420146 140722678420146 140722678423503 0 Current children cumulated CPU time (s) 2400.08 Current children cumulated vsize (KiB) 10647572 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 31812 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+2322.5 s] /proc/loadavg: 1.66 1.84 1.79 3/210 32140 /proc/meminfo: memFree=26873288/32770624 swapFree=0/459604 [pid=31812] ppid=31809 vsize=10647572 CPUtime=2400.08 cores=1,3,5,7 /proc/31812/stat : 31812 (java) S 31809 31812 9955 0 -1 1077944320 562187 12380 0 0 239467 533 6 2 20 0 15 0 15996465 10903113728 394532 18446744073709551615 4194304 4196468 140722678409072 140722678391616 140702977650423 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 6 0 0 6293624 6294260 22294528 140722678417372 140722678420146 140722678420146 140722678423503 0 /proc/31812/statm: 2661893 394532 3516 1 0 2650507 0 [pid=31812/tid=31862] ppid=31809 vsize=10647572 CPUtime=2303.04 cores=1,3,5,7 /proc/31812/task/31862/stat : 31862 (java) R 31809 31812 9955 0 -1 4202560 219576 12380 0 0 230228 68 6 2 20 0 15 0 15996486 10903113728 394532 18446744073709551615 4194304 4196468 140722678409072 140702981885984 140702629191615 0 4 1 16800974 0 0 0 -1 5 0 0 20 0 0 6293624 6294260 22294528 140722678417372 140722678420146 140722678420146 140722678423503 0 [pid=31812/tid=31863] ppid=31809 vsize=10647572 CPUtime=18.17 cores=1,3,5,7 /proc/31812/task/31863/stat : 31863 (java) S 31809 31812 9955 0 -1 1077944384 29092 12380 0 0 1714 95 6 2 20 0 15 0 15996486 10903113728 394532 18446744073709551615 4194304 4196468 140722678409072 140702934616720 140702977660629 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22294528 140722678417372 140722678420146 140722678420146 140722678423503 0 [pid=31812/tid=31864] ppid=31809 vsize=10647572 CPUtime=18.23 cores=1,3,5,7 /proc/31812/task/31864/stat : 31864 (java) S 31809 31812 9955 0 -1 1077944384 39258 12380 0 0 1721 94 6 2 20 0 15 0 15996486 10903113728 394532 18446744073709551615 4194304 4196468 140722678409072 140702933563920 140702977660629 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22294528 140722678417372 140722678420146 140722678420146 140722678423503 0 [pid=31812/tid=31865] ppid=31809 vsize=10647572 CPUtime=18.15 cores=1,3,5,7 /proc/31812/task/31865/stat : 31865 (java) S 31809 31812 9955 0 -1 1077944384 31888 12380 0 0 1716 91 6 2 20 0 15 0 15996486 10903113728 394532 18446744073709551615 4194304 4196468 140722678409072 140702932511120 140702977660629 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22294528 140722678417372 140722678420146 140722678420146 140722678423503 0 [pid=31812/tid=31866] ppid=31809 vsize=10647572 CPUtime=18.2 cores=1,3,5,7 /proc/31812/task/31866/stat : 31866 (java) S 31809 31812 9955 0 -1 1077944384 23108 12380 0 0 1719 93 6 2 20 0 15 0 15996486 10903113728 394532 18446744073709551615 4194304 4196468 140722678409072 140702931458320 140702977660629 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22294528 140722678417372 140722678420146 140722678420146 140722678423503 0 [pid=31812/tid=31867] ppid=31809 vsize=10647572 CPUtime=0.85 cores=1,3,5,7 /proc/31812/task/31867/stat : 31867 (java) S 31809 31812 9955 0 -1 1077944384 60451 12380 0 0 63 14 6 2 20 0 15 0 15996488 10903113728 394532 18446744073709551615 4194304 4196468 140722678409072 140702541192048 140702977661570 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22294528 140722678417372 140722678420146 140722678420146 140722678423503 0 [pid=31812/tid=31868] ppid=31809 vsize=10647572 CPUtime=0.09 cores=1,3,5,7 /proc/31812/task/31868/stat : 31868 (java) S 31809 31812 9955 0 -1 1077944384 168 12380 0 0 1 0 6 2 20 0 15 0 15996488 10903113728 394532 18446744073709551615 4194304 4196468 140722678409072 140702540138208 140702977660629 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22294528 140722678417372 140722678420146 140722678420146 140722678423503 0 [pid=31812/tid=31869] ppid=31809 vsize=10647572 CPUtime=0.08 cores=1,3,5,7 /proc/31812/task/31869/stat : 31869 (java) S 31809 31812 9955 0 -1 1077944384 48 12380 0 0 0 0 6 2 20 0 15 0 15996488 10903113728 394532 18446744073709551615 4194304 4196468 140722678409072 140702539085184 140702977660629 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22294528 140722678417372 140722678420146 140722678420146 140722678423503 0 [pid=31812/tid=31870] ppid=31809 vsize=10647572 CPUtime=0.08 cores=1,3,5,7 /proc/31812/task/31870/stat : 31870 (java) S 31809 31812 9955 0 -1 1077944384 3 12380 0 0 0 0 6 2 20 0 15 0 15996491 10903113728 394532 18446744073709551615 4194304 4196468 140722678409072 140702538033488 140702977669019 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22294528 140722678417372 140722678420146 140722678420146 140722678423503 0 [pid=31812/tid=31871] ppid=31809 vsize=10647572 CPUtime=9.94 cores=1,3,5,7 /proc/31812/task/31871/stat : 31871 (java) S 31809 31812 9955 0 -1 1077944384 42143 12380 0 0 981 5 6 2 20 0 15 0 15996491 10903113728 394532 18446744073709551615 4194304 4196468 140722678409072 140702536980848 140702977661570 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22294528 140722678417372 140722678420146 140722678420146 140722678423503 0 [pid=31812/tid=31872] ppid=31809 vsize=10647572 CPUtime=9.74 cores=1,3,5,7 /proc/31812/task/31872/stat : 31872 (java) S 31809 31812 9955 0 -1 1077944384 42546 12380 0 0 961 5 6 2 20 0 15 0 15996491 10903113728 394532 18446744073709551615 4194304 4196468 140722678409072 140702535928048 140702977661570 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22294528 140722678417372 140722678420146 140722678420146 140722678423503 0 [pid=31812/tid=31873] ppid=31809 vsize=10647572 CPUtime=2.95 cores=1,3,5,7 /proc/31812/task/31873/stat : 31873 (java) S 31809 31812 9955 0 -1 1077944384 67722 12380 0 0 279 8 6 2 20 0 15 0 15996491 10903113728 394532 18446744073709551615 4194304 4196468 140722678409072 140702534875248 140702977661570 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22294528 140722678417372 140722678420146 140722678420146 140722678423503 0 [pid=31812/tid=31874] ppid=31809 vsize=10647572 CPUtime=0.08 cores=1,3,5,7 /proc/31812/task/31874/stat : 31874 (java) S 31809 31812 9955 0 -1 1077944384 3 12380 0 0 0 0 6 2 20 0 15 0 15996491 10903113728 394532 18446744073709551615 4194304 4196468 140722678409072 140702533822688 140702977660629 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22294528 140722678417372 140722678420146 140722678420146 140722678423503 0 [pid=31812/tid=31875] ppid=31809 vsize=10647572 CPUtime=1.41 cores=1,3,5,7 /proc/31812/task/31875/stat : 31875 (java) S 31809 31812 9955 0 -1 1077944384 4044 12380 0 0 58 75 6 2 20 0 15 0 15996512 10903113728 394532 18446744073709551615 4194304 4196468 140722678409072 140702532770992 140702977661570 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22294528 140722678417372 140722678420146 140722678420146 140722678423503 0 Current children cumulated CPU time (s) 2400.08 Current children cumulated vsize (KiB) 10647572 Child status: 143 Real time (s): 2322.54 CPU time (s): 2400.13 CPU user time (s): 2394.76 CPU system time (s): 5.37382 CPU usage (%): 103.341 Max. virtual memory (cumulated for all children) (KiB): 10647572 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2394.76 system time used= 5.37382 maximum resident set size= 3537488 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 578127 page faults= 0 swaps= 0 block input operations= 0 block output operations= 2984 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 69017 involuntary context switches= 2935 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 10.1733 second user time and 14.944 second system time The end
Begin job on node125 at 2017-08-07 22:15:12 IDJOB=4248667 IDBENCH=140586 IDSOLVER=2630 FILE ID=node125/4248667-1502137755 RUNJOBID= node125-1502129723-30087 PBS_JOBID= Free space on /tmp= 62008 MiB SOLVER NAME= Concrete 3.4 BENCH NAME= XCSP17/Ramsey/Ramsey-int-s1/Ramsey-int-41.xml COMMAND LINE= bin/concrete BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4248667-1502137755/watcher-4248667-1502137755 -o /tmp/evaluation-result-4248667-1502137755/solver-4248667-1502137755 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502129723-30087 --watchdog 2560 bin/concrete HOME/instance-4248667-1502137755.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 85969bfc3f0409b7eeff9db7f7011033 RANDOM SEED=997823776 node125.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.07 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.07 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.07 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.07 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: 28566808 kB MemAvailable: 29072732 kB Buffers: 166644 kB Cached: 626792 kB SwapCached: 0 kB Active: 3315224 kB Inactive: 474936 kB Active(anon): 2997068 kB Inactive(anon): 16716 kB Active(file): 318156 kB Inactive(file): 458220 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 24888 kB Writeback: 0 kB AnonPages: 3074468 kB Mapped: 45912 kB Shmem: 17060 kB Slab: 115576 kB SReclaimable: 90768 kB SUnreclaim: 24808 kB KernelStack: 3664 kB PageTables: 10792 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 3724636 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 2848768 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 118144 kB DirectMap2M: 33427456 kB Free space on /tmp at the end= 61980 MiB End job on node125 at 2017-08-07 22:53:55