Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
Concrete 3.12.3 | SAT (TO) | 6 | 2400.1 | 2340.05 |
Name | GraphColoring/GraphColoring-m1-mono/ GraphColoring-2-fullins-5.xml |
MD5SUM | 7175cc64c8263572fa1d1d1459976d33 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 6 |
Best CPU time to get the best result obtained on this benchmark | 58.1955 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 852 |
Number of constraints | 12201 |
Number of domains | 1 |
Minimum domain size | 852 |
Maximum domain size | 852 |
Distribution of domain sizes | [{"size":852,"count":852}] |
Minimum variable degree | 9 |
Maximum variable degree | 216 |
Distribution of variable degrees | [{"degree":9,"count":4},{"degree":10,"count":10},{"degree":11,"count":10},{"degree":12,"count":24},{"degree":13,"count":14},{"degree":14,"count":28},{"degree":15,"count":20},{"degree":16,"count":40},{"degree":17,"count":26},{"degree":18,"count":52},{"degree":19,"count":24},{"degree":20,"count":52},{"degree":21,"count":10},{"degree":22,"count":20},{"degree":23,"count":24},{"degree":24,"count":48},{"degree":25,"count":18},{"degree":26,"count":36},{"degree":27,"count":20},{"degree":28,"count":40},{"degree":29,"count":16},{"degree":30,"count":32},{"degree":31,"count":32},{"degree":32,"count":64},{"degree":33,"count":4},{"degree":34,"count":8},{"degree":35,"count":4},{"degree":36,"count":8},{"degree":41,"count":4},{"degree":42,"count":8},{"degree":43,"count":8},{"degree":44,"count":16},{"degree":45,"count":8},{"degree":46,"count":16},{"degree":47,"count":16},{"degree":48,"count":32},{"degree":58,"count":4},{"degree":61,"count":4},{"degree":62,"count":8},{"degree":63,"count":8},{"degree":64,"count":16},{"degree":111,"count":4},{"degree":112,"count":8},{"degree":216,"count":4}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 2 |
Distribution of constraint arities | [{"arity":2,"count":12201}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 12201 |
Distribution of constraint types | [{"type":"intension","count":12201}] |
Optimization problem | YES |
Type of objective | min MAXIMUM |
0.89/0.63 c Concrete v3.12.3.1568965526260 running 20.01/8.84 o 851 20.93/9.29 o 850 21.62/9.67 o 849 22.21/10.05 o 848 22.99/10.34 o 847 23.62/10.74 o 846 24.08/11.04 o 845 24.49/11.36 o 844 25.07/11.67 o 843 25.63/12.02 o 842 26.05/12.35 o 841 26.44/12.69 o 840 27.09/13.03 o 839 27.44/13.31 o 838 27.99/13.62 o 837 28.35/13.92 o 836 28.56/14.19 o 835 28.86/14.45 o 834 29.16/14.78 o 833 29.36/15.00 o 832 29.67/15.27 o 831 29.98/15.55 o 830 30.28/15.84 o 829 30.59/16.12 o 828 30.78/16.37 o 827 31.15/16.64 o 826 31.45/16.92 o 825 31.66/17.18 o 824 31.95/17.42 o 823 32.21/17.67 o 822 32.51/17.94 o 821 32.81/18.22 o 820 33.01/18.47 o 819 33.31/18.71 o 818 33.51/18.98 o 817 33.81/19.24 o 816 34.02/19.48 o 815 34.34/19.73 o 814 34.54/19.96 o 813 34.84/20.21 o 812 35.07/20.47 o 811 35.37/20.73 o 810 35.57/20.96 o 809 35.78/21.19 o 808 36.07/21.42 o 807 36.37/21.71 o 806 36.57/21.90 o 805 36.68/22.08 o 804 36.87/22.26 o 803 37.07/22.45 o 802 37.28/22.60 o 801 37.38/22.75 o 800 37.48/22.88 o 799 37.69/23.01 o 798 37.88/23.29 o 797 38.18/23.53 o 796 38.41/23.77 o 795 38.61/23.98 o 794 38.91/24.21 o 793 39.14/24.43 o 792 39.39/24.67 o 791 39.62/24.85 o 790 39.83/25.04 o 789 40.28/25.31 o 788 40.49/25.55 o 787 40.69/25.79 o 786 41.00/26.03 o 785 41.19/26.26 o 784 41.50/26.49 o 783 41.80/26.70 o 782 42.00/26.90 o 781 42.11/27.10 o 780 42.30/27.28 o 779 42.60/27.51 o 778 42.80/27.79 o 777 43.11/28.03 o 776 43.31/28.24 o 775 43.51/28.45 o 774 43.71/28.66 o 773 43.91/28.88 o 772 44.12/29.08 o 771 44.31/29.27 o 770 44.56/29.47 o 769 44.75/29.65 o 768 44.96/29.81 o 767 45.07/29.98 o 766 45.39/30.22 o 765 45.69/30.50 o 764 45.89/30.74 o 763 46.09/30.96 o 762 46.30/31.18 o 761 46.49/31.39 o 760 46.69/31.59 o 759 46.89/31.79 o 758 47.10/31.99 o 757 47.31/32.16 o 756 47.50/32.33 o 755 47.61/32.49 o 754 47.81/32.64 o 753 47.91/32.79 o 752 48.11/32.94 o 751 48.22/33.09 o 750 48.51/33.36 o 749 48.81/33.60 o 748 49.01/33.80 o 747 49.11/34.01 o 746 49.41/34.20 o 745 49.51/34.39 o 744 49.71/34.58 o 743 49.95/34.77 o 742 50.15/34.94 o 741 50.36/35.11 o 740 50.45/35.28 o 739 50.65/35.45 o 738 50.85/35.60 o 737 50.95/35.75 o 736 51.15/35.91 o 735 51.27/36.07 o 734 51.46/36.22 o 733 51.56/36.35 o 732 51.66/36.48 o 731 51.76/36.58 o 730 52.06/36.81 o 729 52.35/37.06 o 728 52.64/37.31 o 727 52.84/37.53 o 726 53.05/37.76 o 725 53.25/37.96 o 724 53.46/38.16 o 723 53.66/38.36 o 722 53.86/38.56 o 721 54.06/38.75 o 720 54.26/38.95 o 719 54.47/39.12 o 718 54.56/39.28 o 717 54.76/39.46 o 716 54.96/39.61 o 715 55.06/39.76 o 714 55.26/39.92 o 713 55.37/40.05 o 712 55.57/40.20 o 711 55.67/40.32 o 710 55.76/40.45 o 709 55.87/40.57 o 708 55.97/40.68 o 707 56.07/40.78 o 706 56.47/41.12 o 705 56.79/41.41 o 704 56.99/41.67 o 703 57.29/41.92 o 702 57.50/42.14 o 701 57.69/42.36 o 700 57.89/42.58 o 699 58.19/42.82 o 698 58.40/43.03 o 697 58.59/43.25 o 696 58.79/43.46 o 695 58.99/43.66 o 694 59.19/43.87 o 693 59.40/44.05 o 692 59.61/44.22 o 691 59.71/44.37 o 690 59.91/44.51 o 689 60.01/44.64 o 688 60.12/44.78 o 687 60.32/44.91 o 686 60.43/45.04 o 685 60.53/45.15 o 684 60.62/45.26 o 683 60.72/45.36 o 682 60.82/45.45 o 681 60.92/45.53 o 680 61.02/45.60 o 679 61.02/45.67 o 678 61.12/45.72 o 677 61.12/45.78 o 676 61.22/45.84 o 675 61.43/46.09 o 674 61.72/46.31 o 673 61.92/46.51 o 672 62.12/46.72 o 671 62.32/46.92 o 670 62.53/47.13 o 669 62.72/47.32 o 668 62.97/47.53 o 667 63.17/47.71 o 666 63.26/47.89 o 665 63.47/48.06 o 664 63.66/48.23 o 663 63.76/48.39 o 662 63.96/48.56 o 661 64.17/48.71 o 660 64.27/48.86 o 659 64.48/49.02 o 658 64.58/49.17 o 657 64.77/49.31 o 656 64.87/49.45 o 655 65.09/49.60 o 654 65.19/49.72 o 653 65.29/49.85 o 652 65.39/49.97 o 651 65.50/50.10 o 650 65.70/50.22 o 649 65.80/50.34 o 648 65.90/50.45 o 647 66.00/50.57 o 646 66.10/50.68 o 645 66.20/50.78 o 644 66.30/50.88 o 643 66.40/50.96 o 642 66.51/51.04 o 641 66.61/51.12 o 640 66.70/51.20 o 639 66.70/51.27 o 638 66.80/51.34 o 637 67.00/51.58 o 636 67.30/51.82 o 635 67.51/52.07 o 634 67.80/52.32 o 633 68.00/52.55 o 632 68.20/52.78 o 631 68.51/53.01 o 630 68.70/53.23 o 629 68.90/53.43 o 628 69.11/53.61 o 627 69.21/53.77 o 626 69.41/53.94 o 625 69.52/54.10 o 624 69.70/54.29 o 623 69.90/54.44 o 622 70.01/54.59 o 621 70.21/54.73 o 620 70.30/54.86 o 619 70.40/55.00 o 618 70.62/55.12 o 617 70.71/55.23 o 616 70.81/55.32 o 615 70.96/55.41 o 614 70.96/55.47 o 613 71.06/55.52 o 612 71.06/55.58 o 611 71.16/55.62 o 610 71.16/55.65 o 609 71.16/55.68 o 608 71.26/55.70 o 607 71.26/55.72 o 606 71.26/55.74 o 605 71.26/55.75 o 604 71.26/55.76 o 603 71.26/55.77 o 602 71.26/55.78 o 601 71.26/55.79 o 600 71.26/55.79 o 599 71.36/55.80 o 598 71.36/55.80 o 597 71.36/55.80 o 7 71.65/55.93 o 6 2400.04/2340.02 Exception in thread "main" java.util.concurrent.TimeoutException 2400.04/2340.02 at concrete.MAC.mac(MAC.scala:192) 2400.04/2340.02 at concrete.MAC.$anonfun$oneRun$1(MAC.scala:265) 2400.04/2340.02 at scala.util.Try$.apply(Try.scala:210) 2400.04/2340.02 at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:179) 2400.04/2340.02 at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:183) 2400.04/2340.02 at cspom.StatisticsManager$.measure(StatisticsManager.scala:179) 2400.04/2340.02 at concrete.MAC.oneRun(MAC.scala:265) 2400.04/2340.02 at concrete.MAC.nextSolution(MAC.scala:284) 2400.04/2340.02 at concrete.MAC.nextSolution(MAC.scala:369) 2400.04/2340.02 at concrete.Solver.hasNext(Solver.scala:160) 2400.04/2340.02 at scala.collection.IterableOnceOps.foreach(IterableOnce.scala:553) 2400.04/2340.02 at scala.collection.IterableOnceOps.foreach$(IterableOnce.scala:551) 2400.04/2340.02 at concrete.Solver.foreach(Solver.scala:67) 2400.04/2340.02 at concrete.runner.ConcreteRunner.$anonfun$run$3(ConcreteRunner.scala:73) 2400.04/2340.02 at scala.util.Success.map(Try.scala:262) 2400.04/2340.02 at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68) 2400.04/2340.02 at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:32) 2400.04/2340.02 at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:17) 2400.04/2340.02 at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121) 2400.04/2340.02 at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:17) 2400.04/2340.02 at scala.Function0.apply$mcV$sp(Function0.scala:39) 2400.04/2340.02 at scala.Function0.apply$mcV$sp$(Function0.scala:39) 2400.04/2340.02 at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:17) 2400.04/2340.02 at scala.App.$anonfun$main$1(App.scala:73) 2400.04/2340.02 at scala.App.$anonfun$main$1$adapted(App.scala:73) 2400.04/2340.02 at scala.collection.IterableOnceOps.foreach(IterableOnce.scala:553) 2400.04/2340.02 at scala.collection.IterableOnceOps.foreach$(IterableOnce.scala:551) 2400.04/2340.02 at scala.collection.AbstractIterable.foreach(Iterable.scala:921) 2400.04/2340.02 at scala.App.main(App.scala:73) 2400.04/2340.02 at scala.App.main$(App.scala:71) 2400.04/2340.02 at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:17) 2400.04/2340.02 at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala) 2400.04/2340.03 v <instantiation 2400.04/2340.03 v cost = '6'> 2400.04/2340.03 v <list> 2400.04/2340.03 v x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[90] x[91] x[92] x[93] x[94] x[95] x[96] x[97] x[98] x[99] x[100] x[101] x[102] x[103] x[104] x[105] x[106] x[107] x[108] x[109] x[110] x[111] x[112] x[113] x[114] x[115] x[116] x[117] x[118] x[119] x[120] x[121] x[122] x[123] x[124] x[125] x[126] x[127] x[128] x[129] x[130] x[131] x[132] x[133] x[134] x[135] x[136] x[137] x[138] x[139] x[140] x[141] x[142] x[143] x[144] x[145] x[146] x[147] x[148] x[149] x[150] x[151] x[152] x[153] x[154] x[155] x[156] x[157] x[158] x[159] x[160] x[161] x[162] x[163] x[164] x[165] x[166] x[167] x[168] x[169] x[170] x[171] x[172] x[173] x[174] x[175] x[176] x[177] x[178] x[179] x[180] x[181] x[182] x[183] x[184] x[185] x[186] x[187] x[188] x[189] x[190] x[191] x[192] x[193] x[194] x[195] x[196] x[197] x[198] x[199] x[200] x[201] x[202] x[203] x[204] x[205] x[206] x[207] x[208] x[209] x[210] x[211] x[212] x[213] x[214] x[215] x[216] x[217] x[218] x[219] x[220] x[221] x[222] x[223] x[224] x[225] x[226] x[227] x[228] x[229] x[230] x[231] x[232] x[233] x[234] x[235] x[236] x[237] x[238] x[239] x[240] x[241] x[242] x[243] x[244] x[245] x[246] x[247] x[248] x[249] x[250] x[251] x[252] x[253] x[254] x[255] x[256] x[257] x[258] x[259] x[260] x[261] x[262] x[263] x[264] x[265] x[266] x[267] x[268] x[269] x[270] x[271] x[272] x[273] x[274] x[275] x[276] x[277] x[278] x[279] x[280] x[281] x[282] x[283] x[284] x[285] x[286] x[287] x[288] x[289] x[290] x[291] x[292] x[293] x[294] x[295] x[296] x[297] x[298] x[299] x[300] x[301] x[302] x[303] x[304] x[305] x[306] x[307] x[308] x[309] x[310] x[311] x[312] x[313] x[314] x[315] x[316] x[317] x[318] x[319] x[320] x[321] x[322] x[323] x[324] x[325] x[326] x[327] x[328] x[329] x[330] x[331] x[332] x[333] x[334] x[335] x[336] x[337] x[338] x[339] x[340] x[341] x[342] x[343] x[344] x[345] x[346] x[347] x[348] x[349] x[350] x[351] x[352] x[353] x[354] x[355] x[356] x[357] x[358] x[359] x[360] x[361] x[362] x[363] x[364] x[365] x[366] x[367] x[368] x[369] x[370] x[371] x[372] x[373] x[374] x[375] x[376] x[377] x[378] x[379] x[380] x[381] x[382] x[383] x[384] x[385] x[386] x[387] x[388] x[389] x[390] x[391] x[392] x[393] x[394] x[395] x[396] x[397] x[398] x[399] x[400] x[401] x[402] x[403] x[404] x[405] x[406] x[407] x[408] x[409] x[410] x[411] x[412] x[413] x[414] x[415] x[416] x[417] x[418] x[419] x[420] x[421] x[422] x[423] x[424] x[425] x[426] x[427] x[428] x[429] x[430] x[431] x[432] x[433] x[434] x[435] x[436] x[437] x[438] x[439] x[440] x[441] x[442] x[443] x[444] x[445] x[446] x[447] x[448] x[449] x[450] x[451] x[452] x[453] x[454] x[455] x[456] x[457] x[458] x[459] x[460] x[461] x[462] x[463] x[464] x[465] x[466] x[467] x[468] x[469] x[470] x[471] x[472] x[473] x[474] x[475] x[476] x[477] x[478] x[479] x[480] x[481] x[482] x[483] x[484] x[485] x[486] x[487] x[488] x[489] x[490] x[491] x[492] x[493] x[494] x[495] x[496] x[497] x[498] x[499] x[500] x[501] x[502] x[503] x[504] x[505] x[506] x[507] x[508] x[509] x[510] x[511] x[512] x[513] x[514] x[515] x[516] x[517] x[518] x[519] x[520] x[521] x[522] x[523] x[524] x[525] x[526] x[527] x[528] x[529] x[530] x[531] x[532] x[533] x[534] x[535] x[536] x[537] x[538] x[539] x[540] x[541] x[542] x[543] x[544] x[545] x[546] x[547] x[548] x[549] x[550] x[551] x[552] x[553] x[554] x[555] x[556] x[557] x[558] x[559] x[560] x[561] x[562] x[563] x[564] x[565] x[566] x[567] x[568] x[569] x[570] x[571] x[572] x[573] x[574] x[575] x[576] x[577] x[578] x[579] x[580] x[581] x[582] x[583] x[584] x[585] x[586] x[587] x[588] x[589] x[590] x[591] x[592] x[593] x[594] x[595] x[596] x[597] x[598] x[599] x[600] x[601] x[602] x[603] x[604] x[605] x[606] x[607] x[608] x[609] x[610] x[611] x[612] x[613] x[614] x[615] x[616] x[617] x[618] x[619] x[620] x[621] x[622] x[623] x[624] x[625] x[626] x[627] x[628] x[629] x[630] x[631] x[632] x[633] x[634] x[635] x[636] x[637] x[638] x[639] x[640] x[641] x[642] x[643] x[644] x[645] x[646] x[647] x[648] x[649] x[650] x[651] x[652] x[653] x[654] x[655] x[656] x[657] x[658] x[659] x[660] x[661] x[662] x[663] x[664] x[665] x[666] x[667] x[668] x[669] x[670] x[671] x[672] x[673] x[674] x[675] x[676] x[677] x[678] x[679] x[680] x[681] x[682] x[683] x[684] x[685] x[686] x[687] x[688] x[689] x[690] x[691] x[692] x[693] x[694] x[695] x[696] x[697] x[698] x[699] x[700] x[701] x[702] x[703] x[704] x[705] x[706] x[707] x[708] x[709] x[710] x[711] x[712] x[713] x[714] x[715] x[716] x[717] x[718] x[719] x[720] x[721] x[722] x[723] x[724] x[725] x[726] x[727] x[728] x[729] x[730] x[731] x[732] x[733] x[734] x[735] x[736] x[737] x[738] x[739] x[740] x[741] x[742] x[743] x[744] x[745] x[746] x[747] x[748] x[749] x[750] x[751] x[752] x[753] x[754] x[755] x[756] x[757] x[758] x[759] x[760] x[761] x[762] x[763] x[764] x[765] x[766] x[767] x[768] x[769] x[770] x[771] x[772] x[773] x[774] x[775] x[776] x[777] x[778] x[779] x[780] x[781] x[782] x[783] x[784] x[785] x[786] x[787] x[788] x[789] x[790] x[791] x[792] x[793] x[794] x[795] x[796] x[797] x[798] x[799] x[800] x[801] x[802] x[803] x[804] x[805] x[806] x[807] x[808] x[809] x[810] x[811] x[812] x[813] x[814] x[815] x[816] x[817] x[818] x[819] x[820] x[821] x[822] x[823] x[824] x[825] x[826] x[827] x[828] x[829] x[830] x[831] x[832] x[833] x[834] x[835] x[836] x[837] x[838] x[839] x[840] x[841] x[842] x[843] x[844] x[845] x[846] x[847] x[848] x[849] x[850] x[851] 2400.04/2340.03 v </list> 2400.04/2340.03 v <values> 2400.04/2340.03 v 0 1 4 1 0 0 3 2 1 2 3 0 3 3 3 3 5 5 3 3 1 5 5 5 0 0 0 0 0 0 0 0 0 0 0 0 3 3 3 3 3 3 3 3 3 3 3 3 0 2 3 1 2 5 4 4 4 2 2 2 4 2 4 4 4 5 4 5 4 5 5 5 5 5 5 4 6 2 2 2 2 2 2 2 2 2 2 2 2 2 4 4 4 4 4 4 4 4 4 4 0 2 4 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 2 2 2 2 2 2 2 2 2 2 2 2 6 2 2 2 6 2 2 2 2 2 2 6 6 2 2 2 2 5 2 2 2 5 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 3 2 0 2 1 4 1 6 1 6 2 1 2 6 6 6 3 3 1 5 1 3 3 1 5 3 5 1 1 1 1 1 1 2 2 1 2 2 2 3 4 3 3 3 3 3 6 3 3 3 3 6 2 3 1 2 6 4 1 4 1 2 2 1 2 4 4 6 5 4 4 6 5 4 4 4 5 4 6 2 2 2 2 2 6 2 2 2 2 2 2 4 4 4 4 4 4 4 4 4 6 4 4 4 4 4 4 1 1 1 1 6 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 6 1 1 1 6 6 1 1 1 1 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 6 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 1 3 4 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 5 0 0 0 0 0 0 5 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 0 0 0 6 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 2 1 1 1 6 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 6 6 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 6 1 1 1 6 1 1 1 1 6 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 6 1 1 1 1 1 1 1 1 1 1 1 6 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 6 1 1 1 1 1 6 6 1 1 1 1 1 6 1 1 1 1 1 1 1 1 6 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 6 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 3 0 1 2 2400.04/2340.03 v </values> 2400.04/2340.03 v </instantiation> 2400.04/2340.03 s SATISFIABLE
OK 6
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL 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. NUMA information: number of nodes: 2 memory of node 0: 16375 MiB (3069 MiB free) memory of node 1: 16384 MiB (1438 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4403124-1568970008/watcher-4403124-1568970008 -o /tmp/evaluation-result-4403124-1568970008/solver-4403124-1568970008 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node116-1568967597-23755 --watchdog 2560 bin/xcsp-3-concrete -J-Xss32M -randomseed=1567823593 HOME/instance-4403124-1568970008.xml running on 4 cores: 0-3 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 Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread Current StackSize limit: 8192 KiB solver pid=24333, runsolver pid=24330 [startup+0.100165 s]* /proc/loadavg: 1.61 1.48 1.32 4/214 24386 /proc/meminfo: memFree=4613008/32770688 swapFree=66971588/67108860 [pid=24333] ppid=24330 vsize=9972712 memory=14968 CPUtime=0.09 cores=0-3 /proc/24333/stat : 24333 (java) S 24330 24333 23724 0 -1 1077944320 3988 13151 0 0 1 0 5 3 20 0 6 0 472942436 10212057088 3742 33554432000 4194304 4196468 140731863617744 140731863600288 140003235032823 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0 /proc/24333/statm: 2493178 3742 1665 1 0 2481616 0 [pid=24333/tid=24386] ppid=24330 vsize=9972712 memory=8514726395714820750 CPUtime=0.08 cores=0-3 /proc/24333/task/24386/stat : 24386 (java) R 24330 24333 23724 0 -1 4202560 1857 13151 0 0 0 0 5 3 20 0 6 0 472942446 10212057088 3808 33554432000 4194304 4196468 140731863617744 140003206869584 140003158109763 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0 [pid=24333/tid=24387] ppid=24330 vsize=9972712 memory=-7025452035940392864 CPUtime=0.08 cores=0-3 /proc/24333/task/24387/stat : 24387 (java) S 24330 24333 23724 0 -1 1077944384 2 13151 0 0 0 0 5 3 20 0 6 0 472942447 10212057088 3808 33554432000 4194304 4196468 140731863617744 140003239275024 140003235043029 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0 [pid=24333/tid=24388] ppid=24330 vsize=9972712 memory=140651251431040 CPUtime=0.08 cores=0-3 /proc/24333/task/24388/stat : 24388 (java) S 24330 24333 23724 0 -1 1077944384 1 13151 0 0 0 0 5 3 20 0 6 0 472942447 10212057088 3808 33554432000 4194304 4196468 140731863617744 140003127548560 140003235043029 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0 [pid=24333/tid=24389] ppid=24330 vsize=9972712 memory=0 CPUtime=0.08 cores=0-3 /proc/24333/task/24389/stat : 24389 (java) S 24330 24333 23724 0 -1 1077944384 1 13151 0 0 0 0 5 3 20 0 6 0 472942447 10212057088 3874 33554432000 4194304 4196468 140731863617744 140003126495504 140003235043029 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0 [pid=24333/tid=24390] ppid=24330 vsize=9972712 memory=-1 CPUtime=0.08 cores=0-3 /proc/24333/task/24390/stat : 24390 (java) S 24330 24333 23724 0 -1 1077944384 1 13151 0 0 0 0 5 3 20 0 6 0 472942447 10212057088 3874 33554432000 4194304 4196468 140731863617744 140003125442960 140003235043029 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0 Current children cumulated CPU time: 0.09 s Current children cumulated vsize: 9972712 KiB Current children cumulated memory: 14968 KiB [startup+0.211291 s]* /proc/loadavg: 1.61 1.48 1.32 3/227 24399 /proc/meminfo: memFree=4580200/32770688 swapFree=66971588/67108860 [pid=24333] ppid=24330 vsize=10819716 memory=36452 CPUtime=0.25 cores=0-3 /proc/24333/stat : 24333 (java) S 24330 24333 23724 0 -1 1077944320 6940 13151 0 0 16 1 5 3 20 0 15 0 472942436 11079389184 9113 33554432000 4194304 4196468 140731863617744 140731863600288 140003235032823 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0 /proc/24333/statm: 2704929 9113 3183 1 0 2667149 0 [pid=24333/tid=24386] ppid=24330 vsize=10819716 memory=7022364594140610616 CPUtime=0.18 cores=0-3 /proc/24333/task/24386/stat : 24386 (java) R 24330 24333 23724 0 -1 4202560 3435 13151 0 0 10 0 5 3 20 0 15 0 472942446 11079389184 9113 33554432000 4194304 4196468 140731863617744 140003206844952 140003219113310 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0 [pid=24333/tid=24387] ppid=24330 vsize=10819716 memory=365 CPUtime=0.08 cores=0-3 /proc/24333/task/24387/stat : 24387 (java) S 24330 24333 23724 0 -1 1077944384 2 13151 0 0 0 0 5 3 20 0 15 0 472942447 11079389184 9113 33554432000 4194304 4196468 140731863617744 140003239275024 140003235043029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0 [pid=24333/tid=24388] ppid=24330 vsize=10819716 memory=140651254907181 CPUtime=0.08 cores=0-3 /proc/24333/task/24388/stat : 24388 (java) S 24330 24333 23724 0 -1 1077944384 1 13151 0 0 0 0 5 3 20 0 15 0 472942447 11079389184 9113 33554432000 4194304 4196468 140731863617744 140003127548560 140003235043029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0 [pid=24333/tid=24389] ppid=24330 vsize=10819716 memory=0 CPUtime=0.08 cores=0-3 /proc/24333/task/24389/stat : 24389 (java) S 24330 24333 23724 0 -1 1077944384 1 13151 0 0 0 0 5 3 20 0 15 0 472942447 11079389184 9113 33554432000 4194304 4196468 140731863617744 140003126495504 140003235043029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0 [pid=24333/tid=24390] ppid=24330 vsize=10819716 memory=-1 CPUtime=0.08 cores=0-3 /proc/24333/task/24390/stat : 24390 (java) S 24330 24333 23724 0 -1 1077944384 1 13151 0 0 0 0 5 3 20 0 15 0 472942447 11079389184 9113 33554432000 4194304 4196468 140731863617744 140003125442960 140003235043029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0 [pid=24333/tid=24391] ppid=24330 vsize=10819716 memory=140651251431040 CPUtime=0.08 cores=0-3 /proc/24333/task/24391/stat : 24391 (java) S 24330 24333 23724 0 -1 1077944384 2 13151 0 0 0 0 5 3 20 0 15 0 472942449 11079389184 9113 33554432000 4194304 4196468 140731863617744 140002304428784 140003235043970 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0 [pid=24333/tid=24392] ppid=24330 vsize=10819716 memory=-1 CPUtime=0.08 cores=0-3 /proc/24333/task/24392/stat : 24392 (java) S 24330 24333 23724 0 -1 1077944384 33 13151 0 0 0 0 5 3 20 0 15 0 472942449 11079389184 9113 33554432000 4194304 4196468 140731863617744 140002303375008 140003235043029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0 [pid=24333/tid=24393] ppid=24330 vsize=10819716 memory=0 CPUtime=0.08 cores=0-3 /proc/24333/task/24393/stat : 24393 (java) S 24330 24333 23724 0 -1 1077944384 1 13151 0 0 0 0 5 3 20 0 15 0 472942449 11079389184 9113 33554432000 4194304 4196468 140731863617744 140002042307824 140003235043029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0 [pid=24333/tid=24394] ppid=24330 vsize=10819716 memory=0 CPUtime=0.08 cores=0-3 /proc/24333/task/24394/stat : 24394 (java) S 24330 24333 23724 0 -1 1077944384 3 13151 0 0 0 0 5 3 20 0 15 0 472942452 11079389184 9113 33554432000 4194304 4196468 140731863617744 140001802017232 140003235051419 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0 [pid=24333/tid=24395] ppid=24330 vsize=10819716 memory=0 CPUtime=0.09 cores=0-3 /proc/24333/task/24395/stat : 24395 (java) S 24330 24333 23724 0 -1 1077944384 477 13151 0 0 1 0 5 3 20 0 15 0 472942452 11079389184 9113 33554432000 4194304 4196468 140731863617744 140002269817072 140003235043970 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0 [pid=24333/tid=24396] ppid=24330 vsize=10819716 memory=-1 CPUtime=0.09 cores=0-3 /proc/24333/task/24396/stat : 24396 (java) S 24330 24333 23724 0 -1 1077944384 172 13151 0 0 1 0 5 3 20 0 15 0 472942452 11079389184 9113 33554432000 4194304 4196468 140731863617744 140002268764528 140003235043970 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0 [pid=24333/tid=24397] ppid=24330 vsize=10819716 memory=140651251431040 CPUtime=0.11 cores=0-3 /proc/24333/task/24397/stat : 24397 (java) R 24330 24333 23724 0 -1 4202560 606 13151 0 0 3 0 5 3 20 0 15 0 472942452 11079389184 9113 33554432000 4194304 4196468 140731863617744 140002267711472 140003219113310 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0 [pid=24333/tid=24398] ppid=24330 vsize=10819716 memory=-1 CPUtime=0.08 cores=0-3 /proc/24333/task/24398/stat : 24398 (java) S 24330 24333 23724 0 -1 1077944384 3 13151 0 0 0 0 5 3 20 0 15 0 472942452 11079389184 9113 33554432000 4194304 4196468 140731863617744 140001768458592 140003235043029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0 [pid=24333/tid=24399] ppid=24330 vsize=10819716 memory=140651251431040 CPUtime=0.08 cores=0-3 /proc/24333/task/24399/stat : 24399 (java) S 24330 24333 23724 0 -1 1077944384 1 13151 0 0 0 0 5 3 20 0 15 0 472942453 11079389184 9113 33554432000 4194304 4196468 140731863617744 140002266659888 140003235043970 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0 Current children cumulated CPU time: 0.25 s Current children cumulated vsize: 10819716 KiB Current children cumulated memory: 36452 KiB [startup+0.312298 s]* /proc/loadavg: 1.61 1.48 1.32 3/227 24399 /proc/meminfo: memFree=4550828/32770688 swapFree=66971588/67108860 [pid=24333] ppid=24330 vsize=10820196 memory=47708 CPUtime=0.39 cores=0-3 /proc/24333/stat : 24333 (java) S 24330 24333 23724 0 -1 1077944320 10525 13151 0 0 28 3 5 3 20 0 15 0 472942436 11079880704 11927 33554432000 4194304 4196468 140731863617744 140731863600288 140003235032823 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0 /proc/24333/statm: 2705049 11927 3311 1 0 2667149 0 [pid=24333/tid=24386] ppid=24330 vsize=10820196 memory=1398722017469774279 CPUtime=0.28 cores=0-3 /proc/24333/task/24386/stat : 24386 (java) R 24330 24333 23724 0 -1 4202560 6983 13151 0 0 18 2 5 3 20 0 15 0 472942446 11079880704 11927 33554432000 4194304 4196468 140731863617744 140003206837792 140003219113310 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0 [pid=24333/tid=24387] ppid=24330 vsize=10820196 memory=0 CPUtime=0.08 cores=0-3 /proc/24333/task/24387/stat : 24387 (java) S 24330 24333 23724 0 -1 1077944384 2 13151 0 0 0 0 5 3 20 0 15 0 472942447 11079880704 11927 33554432000 4194304 4196468 140731863617744 140003239275024 140003235043029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0 [pid=24333/tid=24388] ppid=24330 vsize=10820196 memory=0 CPUtime=0.08 cores=0-3 /proc/24333/task/24388/stat : 24388 (java) S 24330 24333 23724 0 -1 1077944384 1 13151 0 0 0 0 5 3 20 0 15 0 472942447 11079880704 11927 33554432000 4194304 4196468 140731863617744 140003127548560 140003235043029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0 [pid=24333/tid=24389] ppid=24330 vsize=10820196 memory=0 CPUtime=0.08 cores=0-3 /proc/24333/task/24389/stat : 24389 (java) S 24330 24333 23724 0 -1 1077944384 1 13151 0 0 0 0 5 3 20 0 15 0 472942447 11079880704 11927 33554432000 4194304 4196468 140731863617744 140003126495504 140003235043029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0 [pid=24333/tid=24390] ppid=24330 vsize=10820196 memory=0 CPUtime=0.08 cores=0-3 /proc/24333/task/24390/stat : 24390 (java) S 24330 24333 23724 0 -1 1077944384 1 13151 0 0 0 0 5 3 20 0 15 0 472942447 11079880704 11927 33554432000 4194304 4196468 140731863617744 140003125442960 140003235043029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0 [pid=24333/tid=24391] ppid=24330 vsize=10820196 memory=0 CPUtime=0.08 cores=0-3 /proc/24333/task/24391/stat : 24391 (java) S 24330 24333 23724 0 -1 1077944384 2 13151 0 0 0 0 5 3 20 0 15 0 472942449 11079880704 11927 33554432000 4194304 4196468 140731863617744 140002304428784 140003235043970 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0 [pid=24333/tid=24392] ppid=24330 vsize=10820196 memory=-1 CPUtime=0.08 cores=0-3 /proc/24333/task/24392/stat : 24392 (java) S 24330 24333 23724 0 -1 1077944384 33 13151 0 0 0 0 5 3 20 0 15 0 472942449 11079880704 11927 33554432000 4194304 4196468 140731863617744 140002303375008 140003235043029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0 [pid=24333/tid=24393] ppid=24330 vsize=10820196 memory=0 CPUtime=0.08 cores=0-3 /proc/24333/task/24393/stat : 24393 (java) S 24330 24333 23724 0 -1 1077944384 1 13151 0 0 0 0 5 3 20 0 15 0 472942449 11079880704 11927 33554432000 4194304 4196468 140731863617744 140002042307824 140003235043029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0 [pid=24333/tid=24394] ppid=24330 vsize=10820196 memory=0 CPUtime=0.08 cores=0-3 /proc/24333/task/24394/stat : 24394 (java) S 24330 24333 23724 0 -1 1077944384 3 13151 0 0 0 0 5 3 20 0 15 0 472942452 11079880704 11927 33554432000 4194304 4196468 140731863617744 140001802017232 140003235051419 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0 [pid=24333/tid=24395] ppid=24330 vsize=10820196 memory=0 CPUtime=0.1 cores=0-3 /proc/24333/task/24395/stat : 24395 (java) S 24330 24333 23724 0 -1 1077944384 487 13151 0 0 2 0 5 3 20 0 15 0 472942452 11079880704 11927 33554432000 4194304 4196468 140731863617744 140002269817072 140003235043970 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0 [pid=24333/tid=24396] ppid=24330 vsize=10820196 memory=-1 CPUtime=0.09 cores=0-3 /proc/24333/task/24396/stat : 24396 (java) S 24330 24333 23724 0 -1 1077944384 172 13151 0 0 1 0 5 3 20 0 15 0 472942452 11079880704 11927 33554432000 4194304 4196468 140731863617744 140002268764528 140003235043970 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0 [pid=24333/tid=24397] ppid=24330 vsize=10820196 memory=140651251431040 CPUtime=0.13 cores=0-3 /proc/24333/task/24397/stat : 24397 (java) S 24330 24333 23724 0 -1 1077944384 631 13151 0 0 5 0 5 3 20 0 15 0 472942452 11079880704 11927 33554432000 4194304 4196468 140731863617744 140002267711472 140003235043970 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0 [pid=24333/tid=24398] ppid=24330 vsize=10820196 memory=-1 CPUtime=0.08 cores=0-3 /proc/24333/task/24398/stat : 24398 (java) S 24330 24333 23724 0 -1 1077944384 3 13151 0 0 0 0 5 3 20 0 15 0 472942452 11079880704 11927 33554432000 4194304 4196468 140731863617744 140001768458592 140003235043029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0 [pid=24333/tid=24399] ppid=24330 vsize=10820196 memory=140651251431040 CPUtime=0.08 cores=0-3 /proc/24333/task/24399/stat : 24399 (java) S 24330 24333 23724 0 -1 1077944384 1 13151 0 0 0 0 5 3 20 0 15 0 472942453 11079880704 11927 33554432000 4194304 4196468 140731863617744 140002266659888 140003235043970 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0 Current children cumulated CPU time: 0.39 s Current children cumulated vsize: 10820196 KiB Current children cumulated memory: 47708 KiB [startup+0.709294 s] /proc/loadavg: 1.61 1.48 1.32 5/227 24399 /proc/meminfo: memFree=4519336/32770688 swapFree=66971588/67108860 [pid=24333] ppid=24330 vsize=10822316 memory=74944 CPUtime=1.07 cores=0-3 /proc/24333/stat : 24333 (java) S 24330 24333 23724 0 -1 1077944320 14542 13151 0 0 93 6 5 3 20 0 15 0 472942436 11082051584 18736 33554432000 4194304 4196468 140731863617744 140731863600288 140003235032823 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0 /proc/24333/statm: 2705579 18736 3503 1 0 2667661 0 [pid=24333/tid=24386] ppid=24330 vsize=10822316 memory=0 CPUtime=0.66 cores=0-3 /proc/24333/task/24386/stat : 24386 (java) R 24330 24333 23724 0 -1 4202560 9877 13151 0 0 54 4 5 3 20 0 15 0 472942446 11082051584 18736 33554432000 4194304 4196468 140731863617744 140003206858256 140003235054749 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0 [pid=24333/tid=24387] ppid=24330 vsize=10822316 memory=0 CPUtime=0.08 cores=0-3 /proc/24333/task/24387/stat : 24387 (java) S 24330 24333 23724 0 -1 1077944384 2 13151 0 0 0 0 5 3 20 0 15 0 472942447 11082051584 18736 33554432000 4194304 4196468 140731863617744 140003239275024 140003235043029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0 [pid=24333/tid=24388] ppid=24330 vsize=10822316 memory=0 CPUtime=0.08 cores=0-3 /proc/24333/task/24388/stat : 24388 (java) S 24330 24333 23724 0 -1 1077944384 1 13151 0 0 0 0 5 3 20 0 15 0 472942447 11082051584 18736 33554432000 4194304 4196468 140731863617744 140003127548560 140003235043029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0 [pid=24333/tid=24389] ppid=24330 vsize=10822316 memory=68 CPUtime=0.08 cores=0-3 /proc/24333/task/24389/stat : 24389 (java) S 24330 24333 23724 0 -1 1077944384 1 13151 0 0 0 0 5 3 20 0 15 0 472942447 11082051584 18736 33554432000 4194304 4196468 140731863617744 140003126495504 140003235043029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0 [pid=24333/tid=24390] ppid=24330 vsize=10822316 memory=0 CPUtime=0.08 cores=0-3 /proc/24333/task/24390/stat : 24390 (java) S 24330 24333 23724 0 -1 1077944384 1 13151 0 0 0 0 5 3 20 0 15 0 472942447 11082051584 18736 33554432000 4194304 4196468 140731863617744 140003125442960 140003235043029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0 [pid=24333/tid=24391] ppid=24330 vsize=10822316 memory=0 CPUtime=0.08 cores=0-3 /proc/24333/task/24391/stat : 24391 (java) S 24330 24333 23724 0 -1 1077944384 5 13151 0 0 0 0 5 3 20 0 15 0 472942449 11082051584 18736 33554432000 4194304 4196468 140731863617744 140002304428784 140003235043970 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0 [pid=24333/tid=24392] ppid=24330 vsize=10822316 memory=140651119390832 CPUtime=0.08 cores=0-3 /proc/24333/task/24392/stat : 24392 (java) S 24330 24333 23724 0 -1 1077944384 33 13151 0 0 0 0 5 3 20 0 15 0 472942449 11082051584 18736 33554432000 4194304 4196468 140731863617744 140002303375008 140003235043029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0 [pid=24333/tid=24393] ppid=24330 vsize=10822316 memory=140651589009999 CPUtime=0.08 cores=0-3 /proc/24333/task/24393/stat : 24393 (java) S 24330 24333 23724 0 -1 1077944384 1 13151 0 0 0 0 5 3 20 0 15 0 472942449 11082051584 18736 33554432000 4194304 4196468 140731863617744 140002042307824 140003235043029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0 [pid=24333/tid=24394] ppid=24330 vsize=10822316 memory=1564 CPUtime=0.08 cores=0-3 /proc/24333/task/24394/stat : 24394 (java) S 24330 24333 23724 0 -1 1077944384 3 13151 0 0 0 0 5 3 20 0 15 0 472942452 11082051584 18736 33554432000 4194304 4196468 140731863617744 140001802017232 140003235051419 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0 [pid=24333/tid=24395] ppid=24330 vsize=10822316 memory=7518026621751088993 CPUtime=0.2 cores=0-3 /proc/24333/task/24395/stat : 24395 (java) R 24330 24333 23724 0 -1 4202560 998 13151 0 0 12 0 5 3 20 0 15 0 472942452 11082051584 18736 33554432000 4194304 4196468 140731863617744 140002269797344 140003218527224 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0 [pid=24333/tid=24396] ppid=24330 vsize=10822316 memory=6081102367496366441 CPUtime=0.15 cores=0-3 /proc/24333/task/24396/stat : 24396 (java) R 24330 24333 23724 0 -1 4202560 594 13151 0 0 7 0 5 3 20 0 15 0 472942452 11082051584 18736 33554432000 4194304 4196468 140731863617744 140002268753200 140003218558621 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0 [pid=24333/tid=24397] ppid=24330 vsize=10822316 memory=7881696724453321575 CPUtime=0.25 cores=0-3 /proc/24333/task/24397/stat : 24397 (java) R 24330 24333 23724 0 -1 4202560 817 13151 0 0 17 0 5 3 20 0 15 0 472942452 11082051584 18736 33554432000 4194304 4196468 140731863617744 140002267708408 140003214077338 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0 [pid=24333/tid=24398] ppid=24330 vsize=10822316 memory=3612 CPUtime=0.08 cores=0-3 /proc/24333/task/24398/stat : 24398 (java) S 24330 24333 23724 0 -1 1077944384 3 13151 0 0 0 0 5 3 20 0 15 0 472942452 11082051584 18736 33554432000 4194304 4196468 140731863617744 140001768458592 140003235043029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0 [pid=24333/tid=24399] ppid=24330 vsize=10822316 memory=2241 CPUtime=0.08 cores=0-3 /proc/24333/task/24399/stat : 24399 (java) S 24330 24333 23724 0 -1 1077944384 1 13151 0 0 0 0 5 3 20 0 15 0 472942453 11082051584 18736 33554432000 4194304 4196468 140731863617744 140002266659888 140003235043970 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0 Current children cumulated CPU time: 1.07 s Current children cumulated vsize: 10822316 KiB Current children cumulated memory: 74944 KiB [startup+1.5013 s] /proc/loadavg: 1.61 1.48 1.32 6/227 24399 /proc/meminfo: memFree=4484760/32770688 swapFree=66971588/67108860 [pid=24333] ppid=24330 vsize=10828536 memory=180048 CPUtime=3.28 cores=0-3 /proc/24333/stat : 24333 (java) S 24330 24333 23724 0 -1 1077944320 21773 13151 0 0 311 9 5 3 20 0 15 0 472942436 11088420864 45012 33554432000 4194304 4196468 140731863617744 140731863600288 140003235032823 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0 /proc/24333/statm: 2707134 45012 3556 1 0 2669197 0 [pid=24333/tid=24386] ppid=24330 vsize=10828536 memory=9316 CPUtime=1.44 cores=0-3 /proc/24333/task/24386/stat : 24386 (java) R 24330 24333 23724 0 -1 4202560 12659 13151 0 0 130 6 5 3 20 0 15 0 472942446 11088420864 45012 33554432000 4194304 4196468 140731863617744 140003206819752 140003219076592 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0 [pid=24333/tid=24387] ppid=24330 vsize=10828536 memory=6791534058613427641 CPUtime=0.08 cores=0-3 /proc/24333/task/24387/stat : 24387 (java) S 24330 24333 23724 0 -1 1077944384 2 13151 0 0 0 0 5 3 20 0 15 0 472942447 11088420864 45012 33554432000 4194304 4196468 140731863617744 140003239275024 140003235043029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0 [pid=24333/tid=24388] ppid=24330 vsize=10828536 memory=380448 CPUtime=0.08 cores=0-3 /proc/24333/task/24388/stat : 24388 (java) S 24330 24333 23724 0 -1 1077944384 1 13151 0 0 0 0 5 3 20 0 15 0 472942447 11088420864 45012 33554432000 4194304 4196468 140731863617744 140003127548560 140003235043029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0 [pid=24333/tid=24389] ppid=24330 vsize=10828536 memory=1408 CPUtime=0.08 cores=0-3 /proc/24333/task/24389/stat : 24389 (java) S 24330 24333 23724 0 -1 1077944384 1 13151 0 0 0 0 5 3 20 0 15 0 472942447 11088420864 45012 33554432000 4194304 4196468 140731863617744 140003126495504 140003235043029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0 [pid=24333/tid=24390] ppid=24330 vsize=10828536 memory=74944 CPUtime=0.08 cores=0-3 /proc/24333/task/24390/stat : 24390 (java) S 24330 24333 23724 0 -1 1077944384 1 13151 0 0 0 0 5 3 20 0 15 0 472942447 11088420864 45012 33554432000 4194304 4196468 140731863617744 140003125442960 140003235043029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0 [pid=24333/tid=24391] ppid=24330 vsize=10828536 memory=0 CPUtime=0.08 cores=0-3 /proc/24333/task/24391/stat : 24391 (java) S 24330 24333 23724 0 -1 1077944384 14 13151 0 0 0 0 5 3 20 0 15 0 472942449 11088420864 45012 33554432000 4194304 4196468 140731863617744 140002304428784 140003235043970 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0 [pid=24333/tid=24392] ppid=24330 vsize=10828536 memory=281302238724640 CPUtime=0.08 cores=0-3 /proc/24333/task/24392/stat : 24392 (java) S 24330 24333 23724 0 -1 1077944384 33 13151 0 0 0 0 5 3 20 0 15 0 472942449 11088420864 45012 33554432000 4194304 4196468 140731863617744 140002303375008 140003235043029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0 [pid=24333/tid=24393] ppid=24330 vsize=10828536 memory=281302238775440 CPUtime=0.08 cores=0-3 /proc/24333/task/24393/stat : 24393 (java) S 24330 24333 23724 0 -1 1077944384 1 13151 0 0 0 0 5 3 20 0 15 0 472942449 11088420864 45012 33554432000 4194304 4196468 140731863617744 140002042307824 140003235043029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0 [pid=24333/tid=24394] ppid=24330 vsize=10828536 memory=281302239320256 CPUtime=0.08 cores=0-3 /proc/24333/task/24394/stat : 24394 (java) S 24330 24333 23724 0 -1 1077944384 3 13151 0 0 0 0 5 3 20 0 15 0 472942452 11088420864 45012 33554432000 4194304 4196468 140731863617744 140001802017232 140003235051419 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0 [pid=24333/tid=24395] ppid=24330 vsize=10828536 memory=3047711553219693942 CPUtime=0.76 cores=0-3 /proc/24333/task/24395/stat : 24395 (java) S 24330 24333 23724 0 -1 1077944384 2594 13151 0 0 67 1 5 3 20 0 15 0 472942452 11088420864 45012 33554432000 4194304 4196468 140731863617744 140002269817072 140003235043970 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0 [pid=24333/tid=24396] ppid=24330 vsize=10828536 memory=-7521736447810188379 CPUtime=0.76 cores=0-3 /proc/24333/task/24396/stat : 24396 (java) S 24330 24333 23724 0 -1 1077944384 2619 13151 0 0 67 1 5 3 20 0 15 0 472942452 11088420864 45012 33554432000 4194304 4196468 140731863617744 140002268764528 140003235043970 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0 [pid=24333/tid=24397] ppid=24330 vsize=10828536 memory=-8412652160765825907 CPUtime=0.54 cores=0-3 /proc/24333/task/24397/stat : 24397 (java) S 24330 24333 23724 0 -1 1077944384 1634 13151 0 0 45 1 5 3 20 0 15 0 472942452 11088420864 45012 33554432000 4194304 4196468 140731863617744 140002267711472 140003235043970 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0 [pid=24333/tid=24398] ppid=24330 vsize=10828536 memory=-8634980985311628903 CPUtime=0.08 cores=0-3 /proc/24333/task/24398/stat : 24398 (java) S 24330 24333 23724 0 -1 1077944384 3 13151 0 0 0 0 5 3 20 0 15 0 472942452 11088420864 45012 33554432000 4194304 4196468 140731863617744 140001768458592 140003235043029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0 [pid=24333/tid=24399] ppid=24330 vsize=10828536 memory=7100839878645619564 CPUtime=0.08 cores=0-3 /proc/24333/task/24399/stat : 24399 (java) S 24330 24333 23724 0 -1 1077944384 3 13151 0 0 0 0 5 3 20 0 15 0 472942453 11088420864 45012 33554432000 4194304 4196468 140731863617744 140002266659888 140003235043970 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0 Current children cumulated CPU time: 3.28 s Current children cumulated vsize: 10828536 KiB ################ # More data... # ################ /proc/24333/task/24386/stat : 24386 (java) R 24330 24333 23724 0 -1 4202560 106401 13151 0 0 217908 105 5 3 20 0 15 0 472942446 11107315712 639011 33554432000 4194304 4196468 140731863617744 140003206869056 140002808234145 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0 [pid=24333/tid=24387] ppid=24330 vsize=10846988 memory=2556044 CPUtime=13.59 cores=0-3 /proc/24333/task/24387/stat : 24387 (java) S 24330 24333 23724 0 -1 1077944384 30954 13151 0 0 1308 43 5 3 20 0 15 0 472942447 11107315712 639011 33554432000 4194304 4196468 140731863617744 140003239275024 140003235043029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0 [pid=24333/tid=24388] ppid=24330 vsize=10846988 memory=2556044 CPUtime=13.61 cores=0-3 /proc/24333/task/24388/stat : 24388 (java) S 24330 24333 23724 0 -1 1077944384 21865 13151 0 0 1305 48 5 3 20 0 15 0 472942447 11107315712 639011 33554432000 4194304 4196468 140731863617744 140003127548560 140003235043029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0 [pid=24333/tid=24389] ppid=24330 vsize=10846988 memory=2556044 CPUtime=13.64 cores=0-3 /proc/24333/task/24389/stat : 24389 (java) S 24330 24333 23724 0 -1 1077944384 25071 13151 0 0 1310 46 5 3 20 0 15 0 472942447 11107315712 639011 33554432000 4194304 4196468 140731863617744 140003126495504 140003235043029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0 [pid=24333/tid=24390] ppid=24330 vsize=10846988 memory=2553996 CPUtime=13.64 cores=0-3 /proc/24333/task/24390/stat : 24390 (java) S 24330 24333 23724 0 -1 1077944384 34089 13151 0 0 1310 46 5 3 20 0 15 0 472942447 11107315712 639011 33554432000 4194304 4196468 140731863617744 140003125442960 140003235043029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0 [pid=24333/tid=24391] ppid=24330 vsize=10846988 memory=2556044 CPUtime=6.72 cores=0-3 /proc/24333/task/24391/stat : 24391 (java) S 24330 24333 23724 0 -1 1077944384 25191 13151 0 0 626 38 5 3 20 0 15 0 472942449 11107315712 639011 33554432000 4194304 4196468 140731863617744 140002304428784 140003235043970 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0 [pid=24333/tid=24392] ppid=24330 vsize=10846988 memory=2556044 CPUtime=0.08 cores=0-3 /proc/24333/task/24392/stat : 24392 (java) S 24330 24333 23724 0 -1 1077944384 70 13151 0 0 0 0 5 3 20 0 15 0 472942449 11107315712 639011 33554432000 4194304 4196468 140731863617744 140002303375072 140003235043029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0 [pid=24333/tid=24393] ppid=24330 vsize=10846988 memory=14008 CPUtime=0.08 cores=0-3 /proc/24333/task/24393/stat : 24393 (java) S 24330 24333 23724 0 -1 1077944384 13 13151 0 0 0 0 5 3 20 0 15 0 472942449 11107315712 639011 33554432000 4194304 4196468 140731863617744 140002042307840 140003235043029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0 [pid=24333/tid=24394] ppid=24330 vsize=10846988 memory=0 CPUtime=0.08 cores=0-3 /proc/24333/task/24394/stat : 24394 (java) S 24330 24333 23724 0 -1 1077944384 3 13151 0 0 0 0 5 3 20 0 15 0 472942452 11107315712 639011 33554432000 4194304 4196468 140731863617744 140001802017232 140003235051419 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0 [pid=24333/tid=24395] ppid=24330 vsize=10846988 memory=2556044 CPUtime=7.35 cores=0-3 /proc/24333/task/24395/stat : 24395 (java) S 24330 24333 23724 0 -1 1077944384 30782 13151 0 0 722 5 5 3 20 0 15 0 472942452 11107315712 639011 33554432000 4194304 4196468 140731863617744 140002269817072 140003235043970 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0 [pid=24333/tid=24396] ppid=24330 vsize=10846988 memory=2556044 CPUtime=7.71 cores=0-3 /proc/24333/task/24396/stat : 24396 (java) S 24330 24333 23724 0 -1 1077944384 36161 13151 0 0 758 5 5 3 20 0 15 0 472942452 11107315712 639011 33554432000 4194304 4196468 140731863617744 140002268764528 140003235043970 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0 [pid=24333/tid=24397] ppid=24330 vsize=10846988 memory=281302239518016 CPUtime=2.43 cores=0-3 /proc/24333/task/24397/stat : 24397 (java) S 24330 24333 23724 0 -1 1077944384 17875 13151 0 0 230 5 5 3 20 0 15 0 472942452 11107315712 639011 33554432000 4194304 4196468 140731863617744 140002267711472 140003235043970 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0 [pid=24333/tid=24398] ppid=24330 vsize=10846988 memory=2556044 CPUtime=0.08 cores=0-3 /proc/24333/task/24398/stat : 24398 (java) S 24330 24333 23724 0 -1 1077944384 3 13151 0 0 0 0 5 3 20 0 15 0 472942452 11107315712 639011 33554432000 4194304 4196468 140731863617744 140001768458592 140003235043029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0 [pid=24333/tid=24399] ppid=24330 vsize=10846988 memory=2556044 CPUtime=1.27 cores=0-3 /proc/24333/task/24399/stat : 24399 (java) S 24330 24333 23724 0 -1 1077944384 2238 13151 0 0 60 59 5 3 20 0 15 0 472942453 11107315712 639011 33554432000 4194304 4196468 140731863617744 140002266659888 140003235043970 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0 Current children cumulated CPU time: 2259.58 s Current children cumulated vsize: 10846988 KiB Current children cumulated memory: 2556044 KiB [startup+2262.31 s] /proc/loadavg: 1.34 1.40 1.40 3/227 24884 /proc/meminfo: memFree=2036696/32770688 swapFree=66971588/67108860 [pid=24333] ppid=24330 vsize=10846988 memory=2556044 CPUtime=2320.79 cores=0-3 /proc/24333/stat : 24333 (java) S 24330 24333 23724 0 -1 1077944320 334941 13151 0 0 231694 377 5 3 20 0 15 0 472942436 11107315712 639011 33554432000 4194304 4196468 140731863617744 140731863600288 140003235032823 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0 /proc/24333/statm: 2711747 639011 3645 1 0 2673805 0 [pid=24333/tid=24386] ppid=24330 vsize=10846988 memory=6791534058613427641 CPUtime=2239.54 cores=0-3 /proc/24333/task/24386/stat : 24386 (java) R 24330 24333 23724 0 -1 4202560 107321 13151 0 0 223840 106 5 3 20 0 15 0 472942446 11107315712 639011 33554432000 4194304 4196468 140731863617744 140003206868656 140002808234103 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0 [pid=24333/tid=24387] ppid=24330 vsize=10846988 memory=2556044 CPUtime=14 cores=0-3 /proc/24333/task/24387/stat : 24387 (java) S 24330 24333 23724 0 -1 1077944384 31119 13151 0 0 1348 44 5 3 20 0 15 0 472942447 11107315712 639011 33554432000 4194304 4196468 140731863617744 140003239275024 140003235043029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0 [pid=24333/tid=24388] ppid=24330 vsize=10846988 memory=2556044 CPUtime=14.02 cores=0-3 /proc/24333/task/24388/stat : 24388 (java) S 24330 24333 23724 0 -1 1077944384 22172 13151 0 0 1345 49 5 3 20 0 15 0 472942447 11107315712 639011 33554432000 4194304 4196468 140731863617744 140003127548560 140003235043029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0 [pid=24333/tid=24389] ppid=24330 vsize=10846988 memory=2556044 CPUtime=14.06 cores=0-3 /proc/24333/task/24389/stat : 24389 (java) S 24330 24333 23724 0 -1 1077944384 25194 13151 0 0 1351 47 5 3 20 0 15 0 472942447 11107315712 639011 33554432000 4194304 4196468 140731863617744 140003126495504 140003235043029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0 [pid=24333/tid=24390] ppid=24330 vsize=10846988 memory=2556044 CPUtime=14.05 cores=0-3 /proc/24333/task/24390/stat : 24390 (java) S 24330 24333 23724 0 -1 1077944384 34142 13151 0 0 1351 46 5 3 20 0 15 0 472942447 11107315712 639011 33554432000 4194304 4196468 140731863617744 140003125442960 140003235043029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0 [pid=24333/tid=24391] ppid=24330 vsize=10846988 memory=100 CPUtime=6.92 cores=0-3 /proc/24333/task/24391/stat : 24391 (java) S 24330 24333 23724 0 -1 1077944384 25609 13151 0 0 645 39 5 3 20 0 15 0 472942449 11107315712 639011 33554432000 4194304 4196468 140731863617744 140002304428784 140003235043970 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0 [pid=24333/tid=24392] ppid=24330 vsize=10846988 memory=2556044 CPUtime=0.08 cores=0-3 /proc/24333/task/24392/stat : 24392 (java) S 24330 24333 23724 0 -1 1077944384 70 13151 0 0 0 0 5 3 20 0 15 0 472942449 11107315712 639011 33554432000 4194304 4196468 140731863617744 140002303375072 140003235043029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0 [pid=24333/tid=24393] ppid=24330 vsize=10846988 memory=727 CPUtime=0.08 cores=0-3 /proc/24333/task/24393/stat : 24393 (java) S 24330 24333 23724 0 -1 1077944384 13 13151 0 0 0 0 5 3 20 0 15 0 472942449 11107315712 639011 33554432000 4194304 4196468 140731863617744 140002042307840 140003235043029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0 [pid=24333/tid=24394] ppid=24330 vsize=10846988 memory=2556044 CPUtime=0.08 cores=0-3 /proc/24333/task/24394/stat : 24394 (java) S 24330 24333 23724 0 -1 1077944384 3 13151 0 0 0 0 5 3 20 0 15 0 472942452 11107315712 639011 33554432000 4194304 4196468 140731863617744 140001802017232 140003235051419 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0 [pid=24333/tid=24395] ppid=24330 vsize=10846988 memory=281302239091808 CPUtime=7.35 cores=0-3 /proc/24333/task/24395/stat : 24395 (java) S 24330 24333 23724 0 -1 1077944384 30787 13151 0 0 722 5 5 3 20 0 15 0 472942452 11107315712 639011 33554432000 4194304 4196468 140731863617744 140002269817072 140003235043970 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0 [pid=24333/tid=24396] ppid=24330 vsize=10846988 memory=2556044 CPUtime=7.71 cores=0-3 /proc/24333/task/24396/stat : 24396 (java) S 24330 24333 23724 0 -1 1077944384 36165 13151 0 0 758 5 5 3 20 0 15 0 472942452 11107315712 639011 33554432000 4194304 4196468 140731863617744 140002268764528 140003235043970 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0 [pid=24333/tid=24397] ppid=24330 vsize=10846988 memory=2556044 CPUtime=2.43 cores=0-3 /proc/24333/task/24397/stat : 24397 (java) S 24330 24333 23724 0 -1 1077944384 17879 13151 0 0 230 5 5 3 20 0 15 0 472942452 11107315712 639011 33554432000 4194304 4196468 140731863617744 140002267711472 140003235043970 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0 [pid=24333/tid=24398] ppid=24330 vsize=10846988 memory=984 CPUtime=0.08 cores=0-3 /proc/24333/task/24398/stat : 24398 (java) S 24330 24333 23724 0 -1 1077944384 3 13151 0 0 0 0 5 3 20 0 15 0 472942452 11107315712 639011 33554432000 4194304 4196468 140731863617744 140001768458592 140003235043029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0 [pid=24333/tid=24399] ppid=24330 vsize=10846988 memory=1056 CPUtime=1.3 cores=0-3 /proc/24333/task/24399/stat : 24399 (java) S 24330 24333 23724 0 -1 1077944384 2259 13151 0 0 62 60 5 3 20 0 15 0 472942453 11107315712 639011 33554432000 4194304 4196468 140731863617744 140002266659888 140003235043970 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0 Current children cumulated CPU time: 2320.79 s Current children cumulated vsize: 10846988 KiB Current children cumulated memory: 2556044 KiB [startup+2322.3 s] /proc/loadavg: 1.01 1.31 1.37 3/227 24888 /proc/meminfo: memFree=2045924/32770688 swapFree=66971588/67108860 [pid=24333] ppid=24330 vsize=10846988 memory=2556044 CPUtime=2381.97 cores=0-3 /proc/24333/stat : 24333 (java) S 24330 24333 23724 0 -1 1077944320 336980 13151 0 0 237807 382 5 3 20 0 15 0 472942436 11107315712 639011 33554432000 4194304 4196468 140731863617744 140731863600288 140003235032823 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0 /proc/24333/statm: 2711747 639011 3645 1 0 2673805 0 [pid=24333/tid=24386] ppid=24330 vsize=10846988 memory=2556044 CPUtime=2298.87 cores=0-3 /proc/24333/task/24386/stat : 24386 (java) R 24330 24333 23724 0 -1 4202560 108268 13151 0 0 229772 107 5 3 20 0 15 0 472942446 11107315712 639011 33554432000 4194304 4196468 140731863617744 140003206869056 140002808234145 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0 [pid=24333/tid=24387] ppid=24330 vsize=10846988 memory=2556044 CPUtime=14.4 cores=0-3 /proc/24333/task/24387/stat : 24387 (java) S 24330 24333 23724 0 -1 1077944384 31261 13151 0 0 1387 45 5 3 20 0 15 0 472942447 11107315712 639011 33554432000 4194304 4196468 140731863617744 140003239275024 140003235043029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0 [pid=24333/tid=24388] ppid=24330 vsize=10846988 memory=2556044 CPUtime=14.42 cores=0-3 /proc/24333/task/24388/stat : 24388 (java) S 24330 24333 23724 0 -1 1077944384 22295 13151 0 0 1385 49 5 3 20 0 15 0 472942447 11107315712 639011 33554432000 4194304 4196468 140731863617744 140003127548560 140003235043029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0 [pid=24333/tid=24389] ppid=24330 vsize=10846988 memory=2556044 CPUtime=14.46 cores=0-3 /proc/24333/task/24389/stat : 24389 (java) S 24330 24333 23724 0 -1 1077944384 25246 13151 0 0 1390 48 5 3 20 0 15 0 472942447 11107315712 639011 33554432000 4194304 4196468 140731863617744 140003126495504 140003235043029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0 [pid=24333/tid=24390] ppid=24330 vsize=10846988 memory=2556044 CPUtime=14.46 cores=0-3 /proc/24333/task/24390/stat : 24390 (java) S 24330 24333 23724 0 -1 1077944384 34465 13151 0 0 1391 47 5 3 20 0 15 0 472942447 11107315712 639011 33554432000 4194304 4196468 140731863617744 140003125442960 140003235043029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0 [pid=24333/tid=24391] ppid=24330 vsize=10846988 memory=2556044 CPUtime=7.12 cores=0-3 /proc/24333/task/24391/stat : 24391 (java) S 24330 24333 23724 0 -1 1077944384 26018 13151 0 0 664 40 5 3 20 0 15 0 472942449 11107315712 639011 33554432000 4194304 4196468 140731863617744 140002304428784 140003235043970 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0 [pid=24333/tid=24392] ppid=24330 vsize=10846988 memory=2556044 CPUtime=0.08 cores=0-3 /proc/24333/task/24392/stat : 24392 (java) S 24330 24333 23724 0 -1 1077944384 70 13151 0 0 0 0 5 3 20 0 15 0 472942449 11107315712 639011 33554432000 4194304 4196468 140731863617744 140002303375072 140003235043029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0 [pid=24333/tid=24393] ppid=24330 vsize=10846988 memory=2556044 CPUtime=0.08 cores=0-3 /proc/24333/task/24393/stat : 24393 (java) S 24330 24333 23724 0 -1 1077944384 13 13151 0 0 0 0 5 3 20 0 15 0 472942449 11107315712 639011 33554432000 4194304 4196468 140731863617744 140002042307840 140003235043029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0 [pid=24333/tid=24394] ppid=24330 vsize=10846988 memory=2556044 CPUtime=0.08 cores=0-3 /proc/24333/task/24394/stat : 24394 (java) S 24330 24333 23724 0 -1 1077944384 3 13151 0 0 0 0 5 3 20 0 15 0 472942452 11107315712 639011 33554432000 4194304 4196468 140731863617744 140001802017232 140003235051419 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0 [pid=24333/tid=24395] ppid=24330 vsize=10846988 memory=2556044 CPUtime=7.35 cores=0-3 /proc/24333/task/24395/stat : 24395 (java) S 24330 24333 23724 0 -1 1077944384 30791 13151 0 0 722 5 5 3 20 0 15 0 472942452 11107315712 639011 33554432000 4194304 4196468 140731863617744 140002269817072 140003235043970 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0 [pid=24333/tid=24396] ppid=24330 vsize=10846988 memory=2556044 CPUtime=7.71 cores=0-3 /proc/24333/task/24396/stat : 24396 (java) S 24330 24333 23724 0 -1 1077944384 36170 13151 0 0 758 5 5 3 20 0 15 0 472942452 11107315712 639011 33554432000 4194304 4196468 140731863617744 140002268764528 140003235043970 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0 [pid=24333/tid=24397] ppid=24330 vsize=10846988 memory=2556044 CPUtime=2.43 cores=0-3 /proc/24333/task/24397/stat : 24397 (java) S 24330 24333 23724 0 -1 1077944384 17883 13151 0 0 230 5 5 3 20 0 15 0 472942452 11107315712 639011 33554432000 4194304 4196468 140731863617744 140002267711472 140003235043970 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0 [pid=24333/tid=24398] ppid=24330 vsize=10846988 memory=2556044 CPUtime=0.08 cores=0-3 /proc/24333/task/24398/stat : 24398 (java) S 24330 24333 23724 0 -1 1077944384 3 13151 0 0 0 0 5 3 20 0 15 0 472942452 11107315712 639011 33554432000 4194304 4196468 140731863617744 140001768458592 140003235043029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0 [pid=24333/tid=24399] ppid=24330 vsize=10846988 memory=2556044 CPUtime=1.34 cores=0-3 /proc/24333/task/24399/stat : 24399 (java) S 24330 24333 23724 0 -1 1077944384 2289 13151 0 0 64 62 5 3 20 0 15 0 472942453 11107315712 639011 33554432000 4194304 4196468 140731863617744 140002266659888 140003235043970 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0 Current children cumulated CPU time: 2381.97 s Current children cumulated vsize: 10846988 KiB Current children cumulated memory: 2556044 KiB Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2340 s]* /proc/loadavg: 1.00 1.29 1.37 3/227 24891 /proc/meminfo: memFree=2045404/32770688 swapFree=66971588/67108860 [pid=24333] ppid=24330 vsize=10846988 memory=2556044 CPUtime=2400.04 cores=0-3 /proc/24333/stat : 24333 (java) S 24330 24333 23724 0 -1 1077944320 337423 13151 0 0 239612 384 5 3 20 0 15 0 472942436 11107315712 639011 33554432000 4194304 4196468 140731863617744 140731863600288 140003235032823 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0 /proc/24333/statm: 2711747 639011 3645 1 0 2673805 0 [pid=24333/tid=24386] ppid=24330 vsize=10846988 memory=363104 CPUtime=2316.38 cores=0-3 /proc/24333/task/24386/stat : 24386 (java) R 24330 24333 23724 0 -1 4202560 108506 13151 0 0 231523 107 5 3 20 0 15 0 472942446 11107315712 639011 33554432000 4194304 4196468 140731863617744 140003206867984 140002808235413 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0 [pid=24333/tid=24387] ppid=24330 vsize=10846988 memory=4126316290023845779 CPUtime=14.53 cores=0-3 /proc/24333/task/24387/stat : 24387 (java) S 24330 24333 23724 0 -1 1077944384 31263 13151 0 0 1399 46 5 3 20 0 15 0 472942447 11107315712 639011 33554432000 4194304 4196468 140731863617744 140003239275024 140003235043029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0 [pid=24333/tid=24388] ppid=24330 vsize=10846988 memory=288230596050944315 CPUtime=14.55 cores=0-3 /proc/24333/task/24388/stat : 24388 (java) S 24330 24333 23724 0 -1 1077944384 22306 13151 0 0 1397 50 5 3 20 0 15 0 472942447 11107315712 639011 33554432000 4194304 4196468 140731863617744 140003127548560 140003235043029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0 [pid=24333/tid=24389] ppid=24330 vsize=10846988 memory=14689699524512798 CPUtime=14.58 cores=0-3 /proc/24333/task/24389/stat : 24389 (java) S 24330 24333 23724 0 -1 1077944384 25248 13151 0 0 1402 48 5 3 20 0 15 0 472942447 11107315712 639011 33554432000 4194304 4196468 140731863617744 140003126495504 140003235043029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0 [pid=24333/tid=24390] ppid=24330 vsize=10846988 memory=3848 CPUtime=14.58 cores=0-3 /proc/24333/task/24390/stat : 24390 (java) S 24330 24333 23724 0 -1 1077944384 34616 13151 0 0 1403 47 5 3 20 0 15 0 472942447 11107315712 639011 33554432000 4194304 4196468 140731863617744 140003125442960 140003235043029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0 [pid=24333/tid=24391] ppid=24330 vsize=10846988 memory=2616 CPUtime=7.19 cores=0-3 /proc/24333/task/24391/stat : 24391 (java) S 24330 24333 23724 0 -1 1077944384 26047 13151 0 0 670 41 5 3 20 0 15 0 472942449 11107315712 639011 33554432000 4194304 4196468 140731863617744 140002304428784 140003235043970 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0 [pid=24333/tid=24392] ppid=24330 vsize=10846988 memory=2868 CPUtime=0.08 cores=0-3 /proc/24333/task/24392/stat : 24392 (java) S 24330 24333 23724 0 -1 1077944384 70 13151 0 0 0 0 5 3 20 0 15 0 472942449 11107315712 639011 33554432000 4194304 4196468 140731863617744 140002303375072 140003235043029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0 [pid=24333/tid=24393] ppid=24330 vsize=10846988 memory=1408 CPUtime=0.08 cores=0-3 /proc/24333/task/24393/stat : 24393 (java) S 24330 24333 23724 0 -1 1077944384 13 13151 0 0 0 0 5 3 20 0 15 0 472942449 11107315712 639011 33554432000 4194304 4196468 140731863617744 140002042307840 140003235043029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0 [pid=24333/tid=24394] ppid=24330 vsize=10846988 memory=3196 CPUtime=0.08 cores=0-3 /proc/24333/task/24394/stat : 24394 (java) S 24330 24333 23724 0 -1 1077944384 3 13151 0 0 0 0 5 3 20 0 15 0 472942452 11107315712 639011 33554432000 4194304 4196468 140731863617744 140001802017232 140003235051419 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0 [pid=24333/tid=24395] ppid=24330 vsize=10846988 memory=2556044 CPUtime=7.35 cores=0-3 /proc/24333/task/24395/stat : 24395 (java) S 24330 24333 23724 0 -1 1077944384 30793 13151 0 0 722 5 5 3 20 0 15 0 472942452 11107315712 639011 33554432000 4194304 4196468 140731863617744 140002269817072 140003235043970 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0 [pid=24333/tid=24396] ppid=24330 vsize=10846988 memory=1408 CPUtime=7.72 cores=0-3 /proc/24333/task/24396/stat : 24396 (java) S 24330 24333 23724 0 -1 1077944384 36172 13151 0 0 759 5 5 3 20 0 15 0 472942452 11107315712 639011 33554432000 4194304 4196468 140731863617744 140002268764528 140003235043970 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0 [pid=24333/tid=24397] ppid=24330 vsize=10846988 memory=3296 CPUtime=2.43 cores=0-3 /proc/24333/task/24397/stat : 24397 (java) S 24330 24333 23724 0 -1 1077944384 17885 13151 0 0 230 5 5 3 20 0 15 0 472942452 11107315712 639011 33554432000 4194304 4196468 140731863617744 140002267711472 140003235043970 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0 [pid=24333/tid=24398] ppid=24330 vsize=10846988 memory=363104 CPUtime=0.08 cores=0-3 /proc/24333/task/24398/stat : 24398 (java) S 24330 24333 23724 0 -1 1077944384 3 13151 0 0 0 0 5 3 20 0 15 0 472942452 11107315712 639011 33554432000 4194304 4196468 140731863617744 140001768458592 140003235043029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0 [pid=24333/tid=24399] ppid=24330 vsize=10846988 memory=1732 CPUtime=1.35 cores=0-3 /proc/24333/task/24399/stat : 24399 (java) S 24330 24333 23724 0 -1 1077944384 2293 13151 0 0 64 63 5 3 20 0 15 0 472942453 11107315712 639011 33554432000 4194304 4196468 140731863617744 140002266659888 140003235043970 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32604160 140731863624431 140731863626949 140731863626949 140731863629775 0 Current children cumulated CPU time: 2400.04 s Current children cumulated vsize: 10846988 KiB Current children cumulated memory: 2556044 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2340.05 s] # the end of solver process 24333 was just reported to runsolver # cumulated CPU time of all completed processes: user=2396.2 s, system=3.89947 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples Child status: 143 Real time (s): 2340.05 CPU time (s): 2400.1 CPU user time (s): 2396.2 CPU system time (s): 3.89947 CPU usage (%): 102.566 Max. virtual memory (cumulated for all children) (KiB): 10847604 Max. memory (cumulated for all children) (KiB): 2805200 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2396.2 system time used= 3.89947 maximum resident set size= 2815152 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 351277 page faults= 0 swaps= 0 block input operations= 0 block output operations= 2760 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 197589 involuntary context switches= 5791 # summary of solver processes directly reported to runsolver: # pid: 24333 # total CPU time (s): 2400.1 # total CPU user time (s): 2396.2 # total CPU system time (s): 3.89947 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 15.5332 second user time and 24.4897 second system time The end
Begin job on node116 at 2019-09-20 10:59:27 IDJOB=4403124 IDBENCH=120609 IDSOLVER=2862 FILE ID=node116/4403124-1568970008 RUNJOBID= node116-1568967597-23755 PBS_JOBID= 21704630 Free space on /tmp= 6244 MiB SOLVER NAME= Concrete 3.12.3 BENCH NAME= XCSP17/GraphColoring/GraphColoring-m1-mono/GraphColoring-2-fullins-5.xml COMMAND LINE= bin/xcsp-3-concrete -J-Xss32M -randomseed=RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4403124-1568970008/watcher-4403124-1568970008 -o /tmp/evaluation-result-4403124-1568970008/solver-4403124-1568970008 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node116-1568967597-23755 --watchdog 2560 bin/xcsp-3-concrete -J-Xss32M -randomseed=1567823593 HOME/instance-4403124-1568970008.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 7175cc64c8263572fa1d1d1459976d33 RANDOM SEED=1567823593 node116.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 : 2667.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.12 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 : 2667.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.12 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 : 2667.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.12 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 : 2667.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.12 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 : 2667.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 : 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 : 2667.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 : 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 : 2667.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 : 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 : 2667.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: 32770688 kB MemFree: 4617048 kB MemAvailable: 31484360 kB Buffers: 122216 kB Cached: 26699280 kB SwapCached: 35500 kB Active: 13723344 kB Inactive: 13475180 kB Active(anon): 336620 kB Inactive(anon): 89076 kB Active(file): 13386724 kB Inactive(file): 13386104 kB Unevictable: 107888 kB Mlocked: 107888 kB SwapTotal: 67108860 kB SwapFree: 66971588 kB Dirty: 35736 kB Writeback: 0 kB AnonPages: 448568 kB Mapped: 64912 kB Shmem: 39660 kB Slab: 552148 kB SReclaimable: 522944 kB SUnreclaim: 29204 kB KernelStack: 3984 kB PageTables: 6528 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494204 kB Committed_AS: 1684472 kB VmallocTotal: 34359738367 kB VmallocUsed: 350212 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 311296 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 116160 kB DirectMap2M: 33429504 kB Free space on /tmp at the end= 6212 MiB End job on node116 at 2019-09-20 11:38:27