Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| OscaR - Conflict Ordering with restarts 2018-08-17 | SAT (TO) | 1168912 | 2520.08 | 2513.33 |
| Name | Auction/Auction-cnt/ Auction-cnt-decay300_c18.xml |
| MD5SUM | 39aa8271d93aad234a0495f796e0a456 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 1958918 |
| Best CPU time to get the best result obtained on this benchmark | 2520.08 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 2000 |
| Number of constraints | 300 |
| Number of domains | 1 |
| Minimum domain size | 2 |
| Maximum domain size | 2 |
| Distribution of domain sizes | [{"size":2,"count":2000}] |
| Minimum variable degree | 2 |
| Maximum variable degree | 32 |
| Distribution of variable degrees | [{"degree":2,"count":246},{"degree":3,"count":424},{"degree":4,"count":324},{"degree":5,"count":234},{"degree":6,"count":177},{"degree":7,"count":133},{"degree":8,"count":113},{"degree":9,"count":81},{"degree":10,"count":53},{"degree":11,"count":33},{"degree":12,"count":38},{"degree":13,"count":40},{"degree":14,"count":26},{"degree":15,"count":16},{"degree":16,"count":16},{"degree":17,"count":11},{"degree":18,"count":9},{"degree":19,"count":2},{"degree":20,"count":5},{"degree":21,"count":1},{"degree":22,"count":3},{"degree":23,"count":1},{"degree":24,"count":4},{"degree":25,"count":2},{"degree":26,"count":3},{"degree":27,"count":2},{"degree":28,"count":1},{"degree":29,"count":1},{"degree":32,"count":1}] |
| Minimum constraint arity | 17 |
| Maximum constraint arity | 46 |
| Distribution of constraint arities | [{"arity":17,"count":1},{"arity":19,"count":3},{"arity":20,"count":2},{"arity":21,"count":2},{"arity":22,"count":4},{"arity":23,"count":5},{"arity":24,"count":9},{"arity":25,"count":14},{"arity":26,"count":7},{"arity":27,"count":15},{"arity":28,"count":18},{"arity":29,"count":21},{"arity":30,"count":20},{"arity":31,"count":26},{"arity":32,"count":22},{"arity":33,"count":26},{"arity":34,"count":14},{"arity":35,"count":17},{"arity":36,"count":11},{"arity":37,"count":14},{"arity":38,"count":15},{"arity":39,"count":10},{"arity":40,"count":5},{"arity":41,"count":6},{"arity":42,"count":4},{"arity":43,"count":5},{"arity":45,"count":2},{"arity":46,"count":2}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 0 |
| Distribution of constraint types | [{"type":"count","count":300}] |
| Optimization problem | YES |
| Type of objective | max SUM |
0.68/0.55 c version: 2018-08-17 0.68/0.55 c seed: 1884243932 0.68/0.55 c timeout: 2520 0.68/0.55 c memlimit: 11000 0.68/0.55 c nbcore: 1 0.68/0.57 c Parsing instance... 3.70/1.94 c Parsing done, starting search... 3.99/2.07 o 924471 4.75/2.43 o 928905 4.75/2.44 o 938612 4.75/2.44 o 941293 4.75/2.44 o 947066 4.75/2.45 o 947115 4.75/2.45 o 948354 4.75/2.45 o 952336 4.75/2.45 o 957969 4.75/2.45 o 966454 4.75/2.46 o 968265 4.75/2.46 o 980435 4.75/2.46 o 987929 4.75/2.46 o 988188 4.75/2.47 o 988237 4.75/2.47 o 990420 4.75/2.47 o 991358 4.75/2.47 o 991407 4.75/2.47 o 991666 4.75/2.48 o 991715 4.75/2.48 o 993263 4.75/2.48 o 993312 4.75/2.48 o 995724 4.75/2.48 o 995773 4.75/2.49 o 995971 4.75/2.49 o 996020 4.75/2.49 o 996402 4.75/2.49 o 998481 4.75/2.49 o 998789 4.75/2.50 o 999122 4.75/2.51 o 999171 4.75/2.51 o 999430 5.04/2.51 o 999479 5.04/2.51 o 1002446 5.04/2.51 o 1002495 5.04/2.52 o 1004452 5.04/2.53 o 1004501 5.04/2.53 o 1004760 5.04/2.53 o 1004809 5.04/2.53 o 1005475 5.04/2.53 o 1005524 5.04/2.53 o 1008158 5.04/2.53 o 1008207 5.04/2.53 o 1008466 5.04/2.54 o 1008515 5.04/2.58 o 1008533 5.04/2.58 o 1008746 5.04/2.58 o 1011167 5.04/2.59 o 1011216 5.04/2.59 o 1011475 5.04/2.59 o 1011524 5.04/2.59 o 1011631 5.04/2.59 o 1011680 5.04/2.60 o 1016581 5.31/2.60 o 1016630 5.31/2.60 o 1016889 5.31/2.60 o 1016938 5.31/2.60 o 1019597 5.31/2.60 o 1019646 5.31/2.61 o 1019905 5.31/2.61 o 1019954 5.31/2.64 o 1020048 5.31/2.64 o 1020097 5.31/2.67 o 1022447 5.31/2.67 o 1022755 5.62/2.72 o 1024685 5.62/2.73 o 1027368 5.62/2.74 o 1027676 6.21/2.92 o 1029645 6.21/2.95 o 1032590 6.21/2.95 o 1032666 6.21/2.95 o 1033210 6.21/2.95 o 1037540 6.21/2.95 o 1037848 6.21/2.97 o 1040531 6.21/2.97 o 1040839 6.21/3.00 o 1043058 6.21/3.00 o 1043107 6.21/3.01 o 1045716 6.43/3.01 o 1045765 6.43/3.01 o 1046073 6.43/3.03 o 1047309 6.62/3.29 o 1048157 6.62/3.29 o 1048206 6.62/3.29 o 1048465 6.62/3.29 o 1048514 6.82/3.42 o 1049124 6.82/3.44 o 1049490 6.82/3.44 o 1050034 6.82/3.44 o 1051190 6.82/3.44 o 1051239 6.82/3.45 o 1055520 6.82/3.45 o 1055569 7.02/3.61 o 1056999 7.02/3.61 o 1057195 7.02/3.61 o 1058104 7.34/3.92 o 1059713 7.34/3.92 o 1059762 7.34/3.92 o 1060918 7.34/3.92 o 1060967 7.55/4.19 o 1062009 7.55/4.19 o 1062058 9.19/5.61 o 1062707 9.19/5.63 o 1062903 9.19/5.63 o 1063447 9.19/5.63 o 1067777 9.49/5.98 o 1068002 9.49/5.98 o 1069207 9.49/5.98 o 1070312 9.99/6.41 o 1070556 9.99/6.41 o 1071540 9.99/6.42 o 1071792 9.99/6.42 o 1072776 9.99/6.42 o 1072779 9.99/6.42 o 1073763 9.99/6.43 o 1073812 9.99/6.43 o 1074422 9.99/6.43 o 1075148 9.99/6.43 o 1076132 9.99/6.43 o 1076260 9.99/6.44 o 1079123 9.99/6.44 o 1080228 9.99/6.44 o 1080921 9.99/6.44 o 1081465 9.99/6.45 o 1082679 9.99/6.45 o 1083223 9.99/6.45 o 1083784 9.99/6.45 o 1084328 9.99/6.45 o 1087553 9.99/6.45 o 1088658 9.99/6.49 o 1091193 581.91/577.68 o 1091233 581.91/577.68 o 1091458 581.91/577.68 o 1091777 581.91/577.68 o 1092144 581.91/577.68 o 1092463 581.91/577.68 o 1092686 581.91/577.68 o 1093053 581.91/577.68 o 1093372 581.91/577.69 o 1093430 581.91/577.69 o 1093974 584.61/580.32 o 1094122 612.16/607.88 o 1094318 612.37/608.03 o 1094772 612.37/608.03 o 1094920 612.47/608.16 o 1095080 612.47/608.16 o 1095332 612.47/608.16 o 1095772 612.47/608.16 o 1096316 612.47/608.16 o 1096458 612.47/608.16 o 1097002 612.56/608.29 o 1097309 612.56/608.29 o 1097367 612.56/608.29 o 1097911 804.88/800.31 o 1098014 804.88/800.31 o 1098162 804.88/800.34 o 1098844 804.88/800.34 o 1099128 804.88/800.34 o 1099814 822.52/817.93 o 1100404 822.52/817.93 o 1100948 822.52/817.93 o 1101096 822.52/817.93 o 1101496 822.52/817.93 o 1102040 822.52/817.93 o 1102188 822.82/818.28 o 1102324 822.82/818.28 o 1102472 823.62/819.01 o 1103107 823.62/819.01 o 1104343 823.62/819.01 o 1104491 892.02/887.33 o 1104890 892.02/887.33 o 1104939 892.02/887.33 o 1105174 892.02/887.33 o 1105223 892.02/887.33 o 1105322 892.02/887.33 o 1105371 892.02/887.36 o 1105782 892.02/887.36 o 1105831 892.02/887.36 o 1108440 892.02/887.36 o 1108489 892.02/887.36 o 1108576 892.02/887.36 o 1108625 892.02/887.36 o 1108724 892.02/887.36 o 1108773 892.12/887.47 o 1108940 892.12/887.47 o 1110065 892.12/887.47 o 1110201 892.12/887.47 o 1110349 892.12/887.48 o 1110456 892.12/887.48 o 1110690 892.12/887.48 o 1111209 892.12/887.48 o 1112928 892.12/887.48 o 1113447 892.12/887.49 o 1113595 892.12/887.49 o 1113731 892.12/887.49 o 1113879 893.14/888.46 o 1114350 893.14/888.46 o 1114370 893.14/888.46 o 1114889 893.14/888.47 o 1116212 893.14/888.47 o 1117361 893.14/888.47 o 1117880 893.44/888.76 o 1118028 903.88/899.12 o 1118233 903.88/899.13 o 1118722 903.88/899.13 o 1119241 904.97/900.20 o 1119851 904.97/900.20 o 1121000 904.97/900.20 o 1121519 904.97/900.20 o 1122811 904.97/900.20 o 1123330 905.07/900.35 o 1123438 905.07/900.35 o 1123630 905.07/900.35 o 1123655 905.07/900.35 o 1124174 905.07/900.37 o 1125097 905.07/900.37 o 1125616 905.07/900.37 o 1126939 905.07/900.37 o 1127458 905.07/900.37 o 1128088 905.07/900.37 o 1128607 913.48/908.79 o 1129566 919.39/914.66 o 1129843 919.39/914.67 o 1130387 919.39/914.67 o 1131076 919.39/914.67 o 1131595 949.07/944.26 o 1131758 949.07/944.26 o 1131928 949.07/944.26 o 1132447 949.17/944.35 o 1132821 949.17/944.35 o 1133340 949.17/944.35 o 1133734 949.17/944.35 o 1135001 949.17/944.35 o 1135545 949.17/944.35 o 1136064 1589.55/1584.02 o 1136900 1589.84/1584.30 o 1136932 1866.88/1861.09 o 1137414 1866.88/1861.09 o 1137989 1866.88/1861.09 o 1138473 1866.88/1861.09 o 1140022 1866.88/1861.10 o 1140711 1866.88/1861.10 o 1141463 1866.88/1861.10 o 1142152 2245.85/2239.55 o 1142427 2245.85/2239.56 o 1142957 2245.85/2239.56 o 1143359 2245.95/2239.61 o 1143578 2245.95/2239.61 o 1144727 2245.95/2239.61 o 1145129 2262.88/2256.50 o 1145306 2262.88/2256.50 o 1145708 2262.88/2256.52 o 1145798 2262.98/2256.67 o 1146238 2262.98/2256.67 o 1146640 2262.98/2256.67 o 1146730 2285.01/2278.63 o 1146783 2285.01/2278.63 o 1147791 2285.01/2278.63 o 1147881 2285.11/2278.72 o 1148271 2285.11/2278.72 o 1148980 2285.11/2278.72 o 1150129 2285.11/2278.73 o 1150219 2287.31/2280.90 o 1150861 2287.31/2280.90 o 1151301 2287.31/2280.90 o 1152450 2287.31/2280.90 o 1154308 2287.31/2280.95 o 1155240 2287.91/2281.55 o 1155642 2443.33/2436.74 o 1156556 2443.33/2436.74 o 1157543 2443.33/2436.74 o 1157945 2443.33/2436.74 o 1157977 2443.33/2436.75 o 1158157 2443.33/2436.75 o 1158559 2443.33/2436.75 o 1159144 2443.33/2436.75 o 1159546 2443.33/2436.75 o 1159578 2443.33/2436.75 o 1160946 2443.33/2436.75 o 1161348 2443.53/2436.93 o 1161971 2443.53/2436.93 o 1162373 2443.53/2436.93 o 1162542 2443.53/2436.93 o 1163741 2443.53/2436.93 o 1164143 2443.53/2436.94 o 1166490 2443.53/2436.94 o 1166892 2443.53/2436.94 o 1167061 2443.53/2436.94 o 1168260 2443.53/2436.94 o 1168662 2519.24/2512.57 o 1168912 2520.04/2513.30 s SATISFIABLE 2520.04/2513.30 v <instantiation> 2520.04/2513.30 v <list> 2520.04/2513.30 v b[0] b[1] b[2] b[3] b[4] b[5] b[6] b[7] b[8] b[9] b[10] b[11] b[12] b[13] b[14] b[15] b[16] b[17] b[18] b[19] b[20] b[21] b[22] b[23] b[24] b[25] b[26] b[27] b[28] b[29] b[30] b[31] b[32] b[33] b[34] b[35] b[36] b[37] b[38] b[39] b[40] b[41] b[42] b[43] b[44] b[45] b[46] b[47] b[48] b[49] b[50] b[51] b[52] b[53] b[54] b[55] b[56] b[57] b[58] b[59] b[60] b[61] b[62] b[63] b[64] b[65] b[66] b[67] b[68] b[69] b[70] b[71] b[72] b[73] b[74] b[75] b[76] b[77] b[78] b[79] b[80] b[81] b[82] b[83] b[84] b[85] b[86] b[87] b[88] b[89] b[90] b[91] b[92] b[93] b[94] b[95] b[96] b[97] b[98] b[99] b[100] b[101] b[102] b[103] b[104] b[105] b[106] b[107] b[108] b[109] b[110] b[111] b[112] b[113] b[114] b[115] b[116] b[117] b[118] b[119] b[120] b[121] b[122] b[123] b[124] b[125] b[126] b[127] b[128] b[129] b[130] b[131] b[132] b[133] b[134] b[135] b[136] b[137] b[138] b[139] b[140] b[141] b[142] b[143] b[144] b[145] b[146] b[147] b[148] b[149] b[150] b[151] b[152] b[153] b[154] b[155] b[156] b[157] b[158] b[159] b[160] b[161] b[162] b[163] b[164] b[165] b[166] b[167] b[168] b[169] b[170] b[171] b[172] b[173] b[174] b[175] b[176] b[177] b[178] b[179] b[180] b[181] b[182] b[183] b[184] b[185] b[186] b[187] b[188] b[189] b[190] b[191] b[192] b[193] b[194] b[195] b[196] b[197] b[198] b[199] b[200] b[201] b[202] b[203] b[204] b[205] b[206] b[207] b[208] b[209] b[210] b[211] b[212] b[213] b[214] b[215] b[216] b[217] b[218] b[219] b[220] b[221] b[222] b[223] b[224] b[225] b[226] b[227] b[228] b[229] b[230] b[231] b[232] b[233] b[234] b[235] b[236] b[237] b[238] b[239] b[240] b[241] b[242] b[243] b[244] b[245] b[246] b[247] b[248] b[249] b[250] b[251] b[252] b[253] b[254] b[255] b[256] b[257] b[258] b[259] b[260] b[261] b[262] b[263] b[264] b[265] b[266] b[267] b[268] b[269] b[270] b[271] b[272] b[273] b[274] b[275] b[276] b[277] b[278] b[279] b[280] b[281] b[282] b[283] b[284] b[285] b[286] b[287] b[288] b[289] b[290] b[291] b[292] b[293] b[294] b[295] b[296] b[297] b[298] b[299] b[300] b[301] b[302] b[303] b[304] b[305] b[306] b[307] b[308] b[309] b[310] b[311] b[312] b[313] b[314] b[315] b[316] b[317] b[318] b[319] b[320] b[321] b[322] b[323] b[324] b[325] b[326] b[327] b[328] b[329] b[330] b[331] b[332] b[333] b[334] b[335] b[336] b[337] b[338] b[339] b[340] b[341] b[342] b[343] b[344] b[345] b[346] b[347] b[348] b[349] b[350] b[351] b[352] b[353] b[354] b[355] b[356] b[357] b[358] b[359] b[360] b[361] b[362] b[363] b[364] b[365] b[366] b[367] b[368] b[369] b[370] b[371] b[372] b[373] b[374] b[375] b[376] b[377] b[378] b[379] b[380] b[381] b[382] b[383] b[384] b[385] b[386] b[387] b[388] b[389] b[390] b[391] b[392] b[393] b[394] b[395] b[396] b[397] b[398] b[399] b[400] b[401] b[402] b[403] b[404] b[405] b[406] b[407] b[408] b[409] b[410] b[411] b[412] b[413] b[414] b[415] b[416] b[417] b[418] b[419] b[420] b[421] b[422] b[423] b[424] b[425] b[426] b[427] b[428] b[429] b[430] b[431] b[432] b[433] b[434] b[435] b[436] b[437] b[438] b[439] b[440] b[441] b[442] b[443] b[444] b[445] b[446] b[447] b[448] b[449] b[450] b[451] b[452] b[453] b[454] b[455] b[456] b[457] b[458] b[459] b[460] b[461] b[462] b[463] b[464] b[465] b[466] b[467] b[468] b[469] b[470] b[471] b[472] b[473] b[474] b[475] b[476] b[477] b[478] b[479] b[480] b[481] b[482] b[483] b[484] b[485] b[486] b[487] b[488] b[489] b[490] b[491] b[492] b[493] b[494] b[495] b[496] b[497] b[498] b[499] b[500] b[501] b[502] b[503] b[504] b[505] b[506] b[507] b[508] b[509] b[510] b[511] b[512] b[513] b[514] b[515] b[516] b[517] b[518] b[519] b[520] b[521] b[522] b[523] b[524] b[525] b[526] b[527] b[528] b[529] b[530] b[531] b[532] b[533] b[534] b[535] b[536] b[537] b[538] b[539] b[540] b[541] b[542] b[543] b[544] b[545] b[546] b[547] b[548] b[549] b[550] b[551] b[552] b[553] b[554] b[555] b[556] b[557] b[558] b[559] b[560] b[561] b[562] b[563] b[564] b[565] b[566] b[567] b[568] b[569] b[570] b[571] b[572] b[573] b[574] b[575] b[576] b[577] b[578] b[579] b[580] b[581] b[582] b[583] b[584] b[585] b[586] b[587] b[588] b[589] b[590] b[591] b[592] b[593] b[594] b[595] b[596] b[597] b[598] b[599] b[600] b[601] b[602] b[603] b[604] b[605] b[606] b[607] b[608] b[609] b[610] b[611] b[612] b[613] b[614] b[615] b[616] b[617] b[618] b[619] b[620] b[621] b[622] b[623] b[624] b[625] b[626] b[627] b[628] b[629] b[630] b[631] b[632] b[633] b[634] b[635] b[636] b[637] b[638] b[639] b[640] b[641] b[642] b[643] b[644] b[645] b[646] b[647] b[648] b[649] b[650] b[651] b[652] b[653] b[654] b[655] b[656] b[657] b[658] b[659] b[660] b[661] b[662] b[663] b[664] b[665] b[666] b[667] b[668] b[669] b[670] b[671] b[672] b[673] b[674] b[675] b[676] b[677] b[678] b[679] b[680] b[681] b[682] b[683] b[684] b[685] b[686] b[687] b[688] b[689] b[690] b[691] b[692] b[693] b[694] b[695] b[696] b[697] b[698] b[699] b[700] b[701] b[702] b[703] b[704] b[705] b[706] b[707] b[708] b[709] b[710] b[711] b[712] b[713] b[714] b[715] b[716] b[717] b[718] b[719] b[720] b[721] b[722] b[723] b[724] b[725] b[726] b[727] b[728] b[729] b[730] b[731] b[732] b[733] b[734] b[735] b[736] b[737] b[738] b[739] b[740] b[741] b[742] b[743] b[744] b[745] b[746] b[747] b[748] b[749] b[750] b[751] b[752] b[753] b[754] b[755] b[756] b[757] b[758] b[759] b[760] b[761] b[762] b[763] b[764] b[765] b[766] b[767] b[768] b[769] b[770] b[771] b[772] b[773] b[774] b[775] b[776] b[777] b[778] b[779] b[780] b[781] b[782] b[783] b[784] b[785] b[786] b[787] b[788] b[789] b[790] b[791] b[792] b[793] b[794] b[795] b[796] b[797] b[798] b[799] b[800] b[801] b[802] b[803] b[804] b[805] b[806] b[807] b[808] b[809] b[810] b[811] b[812] b[813] b[814] b[815] b[816] b[817] b[818] b[819] b[820] b[821] b[822] b[823] b[824] b[825] b[826] b[827] b[828] b[829] b[830] b[831] b[832] b[833] b[834] b[835] b[836] b[837] b[838] b[839] b[840] b[841] b[842] b[843] b[844] b[845] b[846] b[847] b[848] b[849] b[850] b[851] b[852] b[853] b[854] b[855] b[856] b[857] b[858] b[859] b[860] b[861] b[862] b[863] b[864] b[865] b[866] b[867] b[868] b[869] b[870] b[871] b[872] b[873] b[874] b[875] b[876] b[877] b[878] b[879] b[880] b[881] b[882] b[883] b[884] b[885] b[886] b[887] b[888] b[889] b[890] b[891] b[892] b[893] b[894] b[895] b[896] b[897] b[898] b[899] b[900] b[901] b[902] b[903] b[904] b[905] b[906] b[907] b[908] b[909] b[910] b[911] b[912] b[913] b[914] b[915] b[916] b[917] b[918] b[919] b[920] b[921] b[922] b[923] b[924] b[925] b[926] b[927] b[928] b[929] b[930] b[931] b[932] b[933] b[934] b[935] b[936] b[937] b[938] b[939] b[940] b[941] b[942] b[943] b[944] b[945] b[946] b[947] b[948] b[949] b[950] b[951] b[952] b[953] b[954] b[955] b[956] b[957] b[958] b[959] b[960] b[961] b[962] b[963] b[964] b[965] b[966] b[967] b[968] b[969] b[970] b[971] b[972] b[973] b[974] b[975] b[976] b[977] b[978] b[979] b[980] b[981] b[982] b[983] b[984] b[985] b[986] b[987] b[988] b[989] b[990] b[991] b[992] b[993] b[994] b[995] b[996] b[997] b[998] b[999] b[1000] b[1001] b[1002] b[1003] b[1004] b[1005] b[1006] b[1007] b[1008] b[1009] b[1010] b[1011] b[1012] b[1013] b[1014] b[1015] b[1016] b[1017] b[1018] b[1019] b[1020] b[1021] b[1022] b[1023] b[1024] b[1025] b[1026] b[1027] b[1028] b[1029] b[1030] b[1031] b[1032] b[1033] b[1034] b[1035] b[1036] b[1037] b[1038] b[1039] b[1040] b[1041] b[1042] b[1043] b[1044] b[1045] b[1046] b[1047] b[1048] b[1049] b[1050] b[1051] b[1052] b[1053] b[1054] b[1055] b[1056] b[1057] b[1058] b[1059] b[1060] b[1061] b[1062] b[1063] b[1064] b[1065] b[1066] b[1067] b[1068] b[1069] b[1070] b[1071] b[1072] b[1073] b[1074] b[1075] b[1076] b[1077] b[1078] b[1079] b[1080] b[1081] b[1082] b[1083] b[1084] b[1085] b[1086] b[1087] b[1088] b[1089] b[1090] b[1091] b[1092] b[1093] b[1094] b[1095] b[1096] b[1097] b[1098] b[1099] b[1100] b[1101] b[1102] b[1103] b[1104] b[1105] b[1106] b[1107] b[1108] b[1109] b[1110] b[1111] b[1112] b[1113] b[1114] b[1115] b[1116] b[1117] b[1118] b[1119] b[1120] b[1121] b[1122] b[1123] b[1124] b[1125] b[1126] b[1127] b[1128] b[1129] b[1130] b[1131] b[1132] b[1133] b[1134] b[1135] b[1136] b[1137] b[1138] b[1139] b[1140] b[1141] b[1142] b[1143] b[1144] b[1145] b[1146] b[1147] b[1148] b[1149] b[1150] b[1151] b[1152] b[1153] b[1154] b[1155] b[1156] b[1157] b[1158] b[1159] b[1160] b[1161] b[1162] b[1163] b[1164] b[1165] b[1166] b[1167] b[1168] b[1169] b[1170] b[1171] b[1172] b[1173] b[1174] b[1175] b[1176] b[1177] b[1178] b[1179] b[1180] b[1181] b[1182] b[1183] b[1184] b[1185] b[1186] b[1187] b[1188] b[1189] b[1190] b[1191] b[1192] b[1193] b[1194] b[1195] b[1196] b[1197] b[1198] b[1199] b[1200] b[1201] b[1202] b[1203] b[1204] b[1205] b[1206] b[1207] b[1208] b[1209] b[1210] b[1211] b[1212] b[1213] b[1214] b[1215] b[1216] b[1217] b[1218] b[1219] b[1220] b[1221] b[1222] b[1223] b[1224] b[1225] b[1226] b[1227] b[1228] b[1229] b[1230] b[1231] b[1232] b[1233] b[1234] b[1235] b[1236] b[1237] b[1238] b[1239] b[1240] b[1241] b[1242] b[1243] b[1244] b[1245] b[1246] b[1247] b[1248] b[1249] b[1250] b[1251] b[1252] b[1253] b[1254] b[1255] b[1256] b[1257] b[1258] b[1259] b[1260] b[1261] b[1262] b[1263] b[1264] b[1265] b[1266] b[1267] b[1268] b[1269] b[1270] b[1271] b[1272] b[1273] b[1274] b[1275] b[1276] b[1277] b[1278] b[1279] b[1280] b[1281] b[1282] b[1283] b[1284] b[1285] b[1286] b[1287] b[1288] b[1289] b[1290] b[1291] b[1292] b[1293] b[1294] b[1295] b[1296] b[1297] b[1298] b[1299] b[1300] b[1301] b[1302] b[1303] b[1304] b[1305] b[1306] b[1307] b[1308] b[1309] b[1310] b[1311] b[1312] b[1313] b[1314] b[1315] b[1316] b[1317] b[1318] b[1319] b[1320] b[1321] b[1322] b[1323] b[1324] b[1325] b[1326] b[1327] b[1328] b[1329] b[1330] b[1331] b[1332] b[1333] b[1334] b[1335] b[1336] b[1337] b[1338] b[1339] b[1340] b[1341] b[1342] b[1343] b[1344] b[1345] b[1346] b[1347] b[1348] b[1349] b[1350] b[1351] b[1352] b[1353] b[1354] b[1355] b[1356] b[1357] b[1358] b[1359] b[1360] b[1361] b[1362] b[1363] b[1364] b[1365] b[1366] b[1367] b[1368] b[1369] b[1370] b[1371] b[1372] b[1373] b[1374] b[1375] b[1376] b[1377] b[1378] b[1379] b[1380] b[1381] b[1382] b[1383] b[1384] b[1385] b[1386] b[1387] b[1388] b[1389] b[1390] b[1391] b[1392] b[1393] b[1394] b[1395] b[1396] b[1397] b[1398] b[1399] b[1400] b[1401] b[1402] b[1403] b[1404] b[1405] b[1406] b[1407] b[1408] b[1409] b[1410] b[1411] b[1412] b[1413] b[1414] b[1415] b[1416] b[1417] b[1418] b[1419] b[1420] b[1421] b[1422] b[1423] b[1424] b[1425] b[1426] b[1427] b[1428] b[1429] b[1430] b[1431] b[1432] b[1433] b[1434] b[1435] b[1436] b[1437] b[1438] b[1439] b[1440] b[1441] b[1442] b[1443] b[1444] b[1445] b[1446] b[1447] b[1448] b[1449] b[1450] b[1451] b[1452] b[1453] b[1454] b[1455] b[1456] b[1457] b[1458] b[1459] b[1460] b[1461] b[1462] b[1463] b[1464] b[1465] b[1466] b[1467] b[1468] b[1469] b[1470] b[1471] b[1472] b[1473] b[1474] b[1475] b[1476] b[1477] b[1478] b[1479] b[1480] b[1481] b[1482] b[1483] b[1484] b[1485] b[1486] b[1487] b[1488] b[1489] b[1490] b[1491] b[1492] b[1493] b[1494] b[1495] b[1496] b[1497] b[1498] b[1499] b[1500] b[1501] b[1502] b[1503] b[1504] b[1505] b[1506] b[1507] b[1508] b[1509] b[1510] b[1511] b[1512] b[1513] b[1514] b[1515] b[1516] b[1517] b[1518] b[1519] b[1520] b[1521] b[1522] b[1523] b[1524] b[1525] b[1526] b[1527] b[1528] b[1529] b[1530] b[1531] b[1532] b[1533] b[1534] b[1535] b[1536] b[1537] b[1538] b[1539] b[1540] b[1541] b[1542] b[1543] b[1544] b[1545] b[1546] b[1547] b[1548] b[1549] b[1550] b[1551] b[1552] b[1553] b[1554] b[1555] b[1556] b[1557] b[1558] b[1559] b[1560] b[1561] b[1562] b[1563] b[1564] b[1565] b[1566] b[1567] b[1568] b[1569] b[1570] b[1571] b[1572] b[1573] b[1574] b[1575] b[1576] b[1577] b[1578] b[1579] b[1580] b[1581] b[1582] b[1583] b[1584] b[1585] b[1586] b[1587] b[1588] b[1589] b[1590] b[1591] b[1592] b[1593] b[1594] b[1595] b[1596] b[1597] b[1598] b[1599] b[1600] b[1601] b[1602] b[1603] b[1604] b[1605] b[1606] b[1607] b[1608] b[1609] b[1610] b[1611] b[1612] b[1613] b[1614] b[1615] b[1616] b[1617] b[1618] b[1619] b[1620] b[1621] b[1622] b[1623] b[1624] b[1625] b[1626] b[1627] b[1628] b[1629] b[1630] b[1631] b[1632] b[1633] b[1634] b[1635] b[1636] b[1637] b[1638] b[1639] b[1640] b[1641] b[1642] b[1643] b[1644] b[1645] b[1646] b[1647] b[1648] b[1649] b[1650] b[1651] b[1652] b[1653] b[1654] b[1655] b[1656] b[1657] b[1658] b[1659] b[1660] b[1661] b[1662] b[1663] b[1664] b[1665] b[1666] b[1667] b[1668] b[1669] b[1670] b[1671] b[1672] b[1673] b[1674] b[1675] b[1676] b[1677] b[1678] b[1679] b[1680] b[1681] b[1682] b[1683] b[1684] b[1685] b[1686] b[1687] b[1688] b[1689] b[1690] b[1691] b[1692] b[1693] b[1694] b[1695] b[1696] b[1697] b[1698] b[1699] b[1700] b[1701] b[1702] b[1703] b[1704] b[1705] b[1706] b[1707] b[1708] b[1709] b[1710] b[1711] b[1712] b[1713] b[1714] b[1715] b[1716] b[1717] b[1718] b[1719] b[1720] b[1721] b[1722] b[1723] b[1724] b[1725] b[1726] b[1727] b[1728] b[1729] b[1730] b[1731] b[1732] b[1733] b[1734] b[1735] b[1736] b[1737] b[1738] b[1739] b[1740] b[1741] b[1742] b[1743] b[1744] b[1745] b[1746] b[1747] b[1748] b[1749] b[1750] b[1751] b[1752] b[1753] b[1754] b[1755] b[1756] b[1757] b[1758] b[1759] b[1760] b[1761] b[1762] b[1763] b[1764] b[1765] b[1766] b[1767] b[1768] b[1769] b[1770] b[1771] b[1772] b[1773] b[1774] b[1775] b[1776] b[1777] b[1778] b[1779] b[1780] b[1781] b[1782] b[1783] b[1784] b[1785] b[1786] b[1787] b[1788] b[1789] b[1790] b[1791] b[1792] b[1793] b[1794] b[1795] b[1796] b[1797] b[1798] b[1799] b[1800] b[1801] b[1802] b[1803] b[1804] b[1805] b[1806] b[1807] b[1808] b[1809] b[1810] b[1811] b[1812] b[1813] b[1814] b[1815] b[1816] b[1817] b[1818] b[1819] b[1820] b[1821] b[1822] b[1823] b[1824] b[1825] b[1826] b[1827] b[1828] b[1829] b[1830] b[1831] b[1832] b[1833] b[1834] b[1835] b[1836] b[1837] b[1838] b[1839] b[1840] b[1841] b[1842] b[1843] b[1844] b[1845] b[1846] b[1847] b[1848] b[1849] b[1850] b[1851] b[1852] b[1853] b[1854] b[1855] b[1856] b[1857] b[1858] b[1859] b[1860] b[1861] b[1862] b[1863] b[1864] b[1865] b[1866] b[1867] b[1868] b[1869] b[1870] b[1871] b[1872] b[1873] b[1874] b[1875] b[1876] b[1877] b[1878] b[1879] b[1880] b[1881] b[1882] b[1883] b[1884] b[1885] b[1886] b[1887] b[1888] b[1889] b[1890] b[1891] b[1892] b[1893] b[1894] b[1895] b[1896] b[1897] b[1898] b[1899] b[1900] b[1901] b[1902] b[1903] b[1904] b[1905] b[1906] b[1907] b[1908] b[1909] b[1910] b[1911] b[1912] b[1913] b[1914] b[1915] b[1916] b[1917] b[1918] b[1919] b[1920] b[1921] b[1922] b[1923] b[1924] b[1925] b[1926] b[1927] b[1928] b[1929] b[1930] b[1931] b[1932] b[1933] b[1934] b[1935] b[1936] b[1937] b[1938] b[1939] b[1940] b[1941] b[1942] b[1943] b[1944] b[1945] b[1946] b[1947] b[1948] b[1949] b[1950] b[1951] b[1952] b[1953] b[1954] b[1955] b[1956] b[1957] b[1958] b[1959] b[1960] b[1961] b[1962] b[1963] b[1964] b[1965] b[1966] b[1967] b[1968] b[1969] b[1970] b[1971] b[1972] b[1973] b[1974] b[1975] b[1976] b[1977] b[1978] b[1979] b[1980] b[1981] b[1982] b[1983] b[1984] b[1985] b[1986] b[1987] b[1988] b[1989] b[1990] b[1991] b[1992] b[1993] b[1994] b[1995] b[1996] b[1997] b[1998] b[1999] 2520.04/2513.31 v </list> 2520.04/2513.31 v <values> 2520.04/2513.31 v 1 1 1 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 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 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 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 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 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 0 0 0 1 1 0 0 1 0 1 0 1 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 0 1 0 0 0 0 0 0 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 1 1 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 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 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 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 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 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 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 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 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 0 0 0 0 0 0 1 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 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 1 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 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 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 0 0 0 0 0 0 0 0 1 1 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 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 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 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 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 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 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 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 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 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 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 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 2520.04/2513.31 v </values> 2520.04/2513.31 v </instantiation>
OK 1168912
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: 16374 MiB (11120 MiB free)
memory of node 1: 16384 MiB (9411 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4312063-1534546029/watcher-4312063-1534546029 -o /tmp/evaluation-result-4312063-1534546029/solver-4312063-1534546029 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node137-1534541039-9204 --watchdog 2580 java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 1884243932 --timelimit 2520 --memlimit 11000 --nbcore 1 HOME/instance-4312063-1534546029.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=9805, runsolver pid=9802
[startup+0.100098 s]*
/proc/loadavg: 1.52 1.38 1.34 4/214 9820
/proc/meminfo: memFree=20999408/32770624 swapFree=67108372/67108860
[pid=9805] ppid=9802 vsize=14082736 memory=31436 CPUtime=0.12 cores=1,3,5,7
/proc/9805/stat : 9805 (java) S 9802 9805 9172 0 -1 1077944320 6783 0 0 0 10 2 0 0 20 0 15 0 272166127 14420721664 7859 33554432000 4194304 4196468 140722371475200 140722371457744 140476781764343 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 9326592 140722371482696 140722371482889 140722371482889 140722371485647 0
/proc/9805/statm: 3520684 7859 3153 1 0 3482761 0
[pid=9805/tid=9807] ppid=9802 vsize=14082736 memory=4426095772662076307 CPUtime=0.09 cores=1,3,5,7
/proc/9805/task/9807/stat : 9807 (java) R 9802 9805 9172 0 -1 4202560 4826 0 0 0 8 1 0 0 20 0 15 0 272166128 14420721664 7859 33554432000 4194304 4196468 140722371475200 140476785987248 140476781786269 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9326592 140722371482696 140722371482889 140722371482889 140722371485647 0
[pid=9805/tid=9808] ppid=9802 vsize=14082736 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/9805/task/9808/stat : 9808 (java) S 9802 9805 9172 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 272166128 14420721664 7859 33554432000 4194304 4196468 140722371475200 140476711852560 140476781774549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9326592 140722371482696 140722371482889 140722371482889 140722371485647 0
[pid=9805/tid=9809] ppid=9802 vsize=14082736 memory=140209866376832 CPUtime=0 cores=1,3,5,7
/proc/9805/task/9809/stat : 9809 (java) S 9802 9805 9172 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272166128 14420721664 7859 33554432000 4194304 4196468 140722371475200 140476710800016 140476781774549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9326592 140722371482696 140722371482889 140722371482889 140722371485647 0
[pid=9805/tid=9810] ppid=9802 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9805/task/9810/stat : 9810 (java) S 9802 9805 9172 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272166128 14420721664 7859 33554432000 4194304 4196468 140722371475200 140476709746960 140476781774549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9326592 140722371482696 140722371482889 140722371482889 140722371485647 0
[pid=9805/tid=9811] ppid=9802 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9805/task/9811/stat : 9811 (java) S 9802 9805 9172 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 272166128 14420721664 7859 33554432000 4194304 4196468 140722371475200 140476708694416 140476781774549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9326592 140722371482696 140722371482889 140722371482889 140722371485647 0
[pid=9805/tid=9812] ppid=9802 vsize=14082736 memory=140209866376832 CPUtime=0 cores=1,3,5,7
/proc/9805/task/9812/stat : 9812 (java) S 9802 9805 9172 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 272166130 14420721664 7859 33554432000 4194304 4196468 140722371475200 140476256049904 140476781775490 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9326592 140722371482696 140722371482889 140722371482889 140722371485647 0
[pid=9805/tid=9813] ppid=9802 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9805/task/9813/stat : 9813 (java) S 9802 9805 9172 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 272166130 14420721664 7859 33554432000 4194304 4196468 140722371475200 140476254996128 140476781774549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9326592 140722371482696 140722371482889 140722371482889 140722371485647 0
[pid=9805/tid=9814] ppid=9802 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9805/task/9814/stat : 9814 (java) S 9802 9805 9172 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 272166130 14420721664 7859 33554432000 4194304 4196468 140722371475200 140476253943024 140476781774549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9326592 140722371482696 140722371482889 140722371482889 140722371485647 0
[pid=9805/tid=9815] ppid=9802 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9805/task/9815/stat : 9815 (java) S 9802 9805 9172 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272166133 14420721664 7859 33554432000 4194304 4196468 140722371475200 140476252891600 140476781782939 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9326592 140722371482696 140722371482889 140722371482889 140722371485647 0
[pid=9805/tid=9816] ppid=9802 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9805/task/9816/stat : 9816 (java) S 9802 9805 9172 0 -1 1077944384 294 0 0 0 0 0 0 0 20 0 15 0 272166133 14420721664 7859 33554432000 4194304 4196468 140722371475200 140476251838704 140476781775490 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9326592 140722371482696 140722371482889 140722371482889 140722371485647 0
[pid=9805/tid=9817] ppid=9802 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9805/task/9817/stat : 9817 (java) S 9802 9805 9172 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272166133 14420721664 7859 33554432000 4194304 4196468 140722371475200 140476250786160 140476781775490 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9326592 140722371482696 140722371482889 140722371482889 140722371485647 0
[pid=9805/tid=9818] ppid=9802 vsize=14082736 memory=140209866376832 CPUtime=0.01 cores=1,3,5,7
/proc/9805/task/9818/stat : 9818 (java) S 9802 9805 9172 0 -1 1077944384 286 0 0 0 1 0 0 0 20 0 15 0 272166133 14420721664 7859 33554432000 4194304 4196468 140722371475200 140476249733104 140476781775490 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9326592 140722371482696 140722371482889 140722371482889 140722371485647 0
[pid=9805/tid=9819] ppid=9802 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9805/task/9819/stat : 9819 (java) S 9802 9805 9172 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272166133 14420721664 7924 33554432000 4194304 4196468 140722371475200 140476248680800 140476781774549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9326592 140722371482696 140722371482889 140722371482889 140722371485647 0
[pid=9805/tid=9820] ppid=9802 vsize=14082736 memory=140209866376832 CPUtime=0 cores=1,3,5,7
/proc/9805/task/9820/stat : 9820 (java) S 9802 9805 9172 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272166133 14420721664 7924 33554432000 4194304 4196468 140722371475200 140476247628848 140476781775490 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9326592 140722371482696 140722371482889 140722371482889 140722371485647 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 31436 KiB
[startup+0.216476 s]*
/proc/loadavg: 1.52 1.38 1.34 8/214 9820
/proc/meminfo: memFree=20966700/32770624 swapFree=67108372/67108860
[pid=9805] ppid=9802 vsize=14082736 memory=47392 CPUtime=0.32 cores=1,3,5,7
/proc/9805/stat : 9805 (java) S 9802 9805 9172 0 -1 1077944320 10467 0 0 0 29 3 0 0 20 0 15 0 272166127 14420721664 11848 33554432000 4194304 4196468 140722371475200 140722371457744 140476781764343 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 9326592 140722371482696 140722371482889 140722371482889 140722371485647 0
/proc/9805/statm: 3520684 11848 3365 1 0 3482761 0
[pid=9805/tid=9807] ppid=9802 vsize=14082736 memory=8389772277269004345 CPUtime=0.21 cores=1,3,5,7
/proc/9805/task/9807/stat : 9807 (java) R 9802 9805 9172 0 -1 4202560 8165 0 0 0 19 2 0 0 20 0 15 0 272166128 14420721664 11848 33554432000 4194304 4196468 140722371475200 140476785992192 140476781785690 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9326592 140722371482696 140722371482889 140722371482889 140722371485647 0
[pid=9805/tid=9808] ppid=9802 vsize=14082736 memory=288293255295270935 CPUtime=0 cores=1,3,5,7
/proc/9805/task/9808/stat : 9808 (java) S 9802 9805 9172 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 272166128 14420721664 11848 33554432000 4194304 4196468 140722371475200 140476711852560 140476781774549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9326592 140722371482696 140722371482889 140722371482889 140722371485647 0
[pid=9805/tid=9809] ppid=9802 vsize=14082736 memory=13985501758064280 CPUtime=0 cores=1,3,5,7
/proc/9805/task/9809/stat : 9809 (java) S 9802 9805 9172 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272166128 14420721664 11848 33554432000 4194304 4196468 140722371475200 140476710800016 140476781774549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9326592 140722371482696 140722371482889 140722371482889 140722371485647 0
[pid=9805/tid=9810] ppid=9802 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9805/task/9810/stat : 9810 (java) S 9802 9805 9172 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272166128 14420721664 11848 33554432000 4194304 4196468 140722371475200 140476709746960 140476781774549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9326592 140722371482696 140722371482889 140722371482889 140722371485647 0
[pid=9805/tid=9811] ppid=9802 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9805/task/9811/stat : 9811 (java) S 9802 9805 9172 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 272166128 14420721664 11848 33554432000 4194304 4196468 140722371475200 140476708694416 140476781774549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9326592 140722371482696 140722371482889 140722371482889 140722371485647 0
[pid=9805/tid=9812] ppid=9802 vsize=14082736 memory=140209866376832 CPUtime=0 cores=1,3,5,7
/proc/9805/task/9812/stat : 9812 (java) S 9802 9805 9172 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 272166130 14420721664 11848 33554432000 4194304 4196468 140722371475200 140476256049904 140476781775490 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9326592 140722371482696 140722371482889 140722371482889 140722371485647 0
[pid=9805/tid=9813] ppid=9802 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9805/task/9813/stat : 9813 (java) S 9802 9805 9172 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 272166130 14420721664 11848 33554432000 4194304 4196468 140722371475200 140476254996128 140476781774549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9326592 140722371482696 140722371482889 140722371482889 140722371485647 0
[pid=9805/tid=9814] ppid=9802 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9805/task/9814/stat : 9814 (java) S 9802 9805 9172 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 272166130 14420721664 11848 33554432000 4194304 4196468 140722371475200 140476253943024 140476781774549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9326592 140722371482696 140722371482889 140722371482889 140722371485647 0
[pid=9805/tid=9815] ppid=9802 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9805/task/9815/stat : 9815 (java) S 9802 9805 9172 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272166133 14420721664 11848 33554432000 4194304 4196468 140722371475200 140476252891600 140476781782939 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9326592 140722371482696 140722371482889 140722371482889 140722371485647 0
[pid=9805/tid=9816] ppid=9802 vsize=14082736 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/9805/task/9816/stat : 9816 (java) S 9802 9805 9172 0 -1 1077944384 509 0 0 0 1 0 0 0 20 0 15 0 272166133 14420721664 11848 33554432000 4194304 4196468 140722371475200 140476251838704 140476781775490 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9326592 140722371482696 140722371482889 140722371482889 140722371485647 0
[pid=9805/tid=9817] ppid=9802 vsize=14082736 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/9805/task/9817/stat : 9817 (java) S 9802 9805 9172 0 -1 1077944384 98 0 0 0 1 0 0 0 20 0 15 0 272166133 14420721664 11848 33554432000 4194304 4196468 140722371475200 140476250786160 140476781775490 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9326592 140722371482696 140722371482889 140722371482889 140722371485647 0
[pid=9805/tid=9818] ppid=9802 vsize=14082736 memory=140209866376832 CPUtime=0.06 cores=1,3,5,7
/proc/9805/task/9818/stat : 9818 (java) S 9802 9805 9172 0 -1 1077944384 313 0 0 0 6 0 0 0 20 0 15 0 272166133 14420721664 11848 33554432000 4194304 4196468 140722371475200 140476249733104 140476781775490 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9326592 140722371482696 140722371482889 140722371482889 140722371485647 0
[pid=9805/tid=9819] ppid=9802 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9805/task/9819/stat : 9819 (java) S 9802 9805 9172 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272166133 14420721664 11848 33554432000 4194304 4196468 140722371475200 140476248680800 140476781774549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9326592 140722371482696 140722371482889 140722371482889 140722371485647 0
[pid=9805/tid=9820] ppid=9802 vsize=14082736 memory=140209866376832 CPUtime=0 cores=1,3,5,7
/proc/9805/task/9820/stat : 9820 (java) S 9802 9805 9172 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272166133 14420721664 11848 33554432000 4194304 4196468 140722371475200 140476247628848 140476781775490 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9326592 140722371482696 140722371482889 140722371482889 140722371485647 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 47392 KiB
[startup+0.310618 s]*
/proc/loadavg: 1.52 1.38 1.34 5/214 9820
/proc/meminfo: memFree=20949392/32770624 swapFree=67108372/67108860
[pid=9805] ppid=9802 vsize=14082736 memory=50580 CPUtime=0.45 cores=1,3,5,7
/proc/9805/stat : 9805 (java) S 9802 9805 9172 0 -1 1077944320 10805 0 0 0 41 4 0 0 20 0 15 0 272166127 14420721664 12645 33554432000 4194304 4196468 140722371475200 140722371457744 140476781764343 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 9326592 140722371482696 140722371482889 140722371482889 140722371485647 0
/proc/9805/statm: 3520684 12645 3367 1 0 3482761 0
[pid=9805/tid=9807] ppid=9802 vsize=14082736 memory=8389772277269004345 CPUtime=0.3 cores=1,3,5,7
/proc/9805/task/9807/stat : 9807 (java) R 9802 9805 9172 0 -1 4202560 8479 0 0 0 28 2 0 0 20 0 15 0 272166128 14420721664 12645 33554432000 4194304 4196468 140722371475200 140476785973696 140476763137815 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9326592 140722371482696 140722371482889 140722371482889 140722371485647 0
[pid=9805/tid=9808] ppid=9802 vsize=14082736 memory=4294967661 CPUtime=0 cores=1,3,5,7
/proc/9805/task/9808/stat : 9808 (java) S 9802 9805 9172 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 272166128 14420721664 12645 33554432000 4194304 4196468 140722371475200 140476711852560 140476781774549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9326592 140722371482696 140722371482889 140722371482889 140722371485647 0
[pid=9805/tid=9809] ppid=9802 vsize=14082736 memory=140209866386890 CPUtime=0 cores=1,3,5,7
/proc/9805/task/9809/stat : 9809 (java) S 9802 9805 9172 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272166128 14420721664 12645 33554432000 4194304 4196468 140722371475200 140476710800016 140476781774549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9326592 140722371482696 140722371482889 140722371482889 140722371485647 0
[pid=9805/tid=9810] ppid=9802 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9805/task/9810/stat : 9810 (java) S 9802 9805 9172 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272166128 14420721664 12645 33554432000 4194304 4196468 140722371475200 140476709746960 140476781774549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9326592 140722371482696 140722371482889 140722371482889 140722371485647 0
[pid=9805/tid=9811] ppid=9802 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9805/task/9811/stat : 9811 (java) S 9802 9805 9172 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 272166128 14420721664 12645 33554432000 4194304 4196468 140722371475200 140476708694416 140476781774549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9326592 140722371482696 140722371482889 140722371482889 140722371485647 0
[pid=9805/tid=9812] ppid=9802 vsize=14082736 memory=140209866376832 CPUtime=0 cores=1,3,5,7
/proc/9805/task/9812/stat : 9812 (java) S 9802 9805 9172 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 272166130 14420721664 12645 33554432000 4194304 4196468 140722371475200 140476256049904 140476781775490 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9326592 140722371482696 140722371482889 140722371482889 140722371485647 0
[pid=9805/tid=9813] ppid=9802 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9805/task/9813/stat : 9813 (java) S 9802 9805 9172 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 272166130 14420721664 12645 33554432000 4194304 4196468 140722371475200 140476254996128 140476781774549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9326592 140722371482696 140722371482889 140722371482889 140722371485647 0
[pid=9805/tid=9814] ppid=9802 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9805/task/9814/stat : 9814 (java) S 9802 9805 9172 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 272166130 14420721664 12645 33554432000 4194304 4196468 140722371475200 140476253943024 140476781774549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9326592 140722371482696 140722371482889 140722371482889 140722371485647 0
[pid=9805/tid=9815] ppid=9802 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9805/task/9815/stat : 9815 (java) S 9802 9805 9172 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272166133 14420721664 12645 33554432000 4194304 4196468 140722371475200 140476252891600 140476781782939 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9326592 140722371482696 140722371482889 140722371482889 140722371485647 0
[pid=9805/tid=9816] ppid=9802 vsize=14082736 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/9805/task/9816/stat : 9816 (java) S 9802 9805 9172 0 -1 1077944384 509 0 0 0 2 0 0 0 20 0 15 0 272166133 14420721664 12645 33554432000 4194304 4196468 140722371475200 140476251838704 140476781775490 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9326592 140722371482696 140722371482889 140722371482889 140722371485647 0
[pid=9805/tid=9817] ppid=9802 vsize=14082736 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/9805/task/9817/stat : 9817 (java) S 9802 9805 9172 0 -1 1077944384 115 0 0 0 2 0 0 0 20 0 15 0 272166133 14420721664 12645 33554432000 4194304 4196468 140722371475200 140476250786160 140476781775490 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9326592 140722371482696 140722371482889 140722371482889 140722371485647 0
[pid=9805/tid=9818] ppid=9802 vsize=14082736 memory=140209866376832 CPUtime=0.08 cores=1,3,5,7
/proc/9805/task/9818/stat : 9818 (java) S 9802 9805 9172 0 -1 1077944384 319 0 0 0 8 0 0 0 20 0 15 0 272166133 14420721664 12645 33554432000 4194304 4196468 140722371475200 140476249733104 140476781775490 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9326592 140722371482696 140722371482889 140722371482889 140722371485647 0
[pid=9805/tid=9819] ppid=9802 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9805/task/9819/stat : 9819 (java) S 9802 9805 9172 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272166133 14420721664 12645 33554432000 4194304 4196468 140722371475200 140476248680800 140476781774549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9326592 140722371482696 140722371482889 140722371482889 140722371485647 0
[pid=9805/tid=9820] ppid=9802 vsize=14082736 memory=140209866376832 CPUtime=0 cores=1,3,5,7
/proc/9805/task/9820/stat : 9820 (java) S 9802 9805 9172 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272166133 14420721664 12645 33554432000 4194304 4196468 140722371475200 140476247628848 140476781775490 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9326592 140722371482696 140722371482889 140722371482889 140722371485647 0
Current children cumulated CPU time: 0.45 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 50580 KiB
[startup+0.700756 s]
/proc/loadavg: 1.52 1.38 1.34 4/197 9826
/proc/meminfo: memFree=20986548/32770624 swapFree=67108372/67108860
[pid=9805] ppid=9802 vsize=14084804 memory=89208 CPUtime=0.99 cores=1,3,5,7
/proc/9805/stat : 9805 (java) S 9802 9805 9172 0 -1 1077944320 17647 0 0 0 93 6 0 0 20 0 15 0 272166127 14422839296 22302 33554432000 4194304 4196468 140722371475200 140722371457744 140476781764343 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 9326592 140722371482696 140722371482889 140722371482889 140722371485647 0
/proc/9805/statm: 3521201 22302 3504 1 0 3483273 0
[pid=9805/tid=9807] ppid=9802 vsize=14084804 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/9805/task/9807/stat : 9807 (java) R 9802 9805 9172 0 -1 4202560 14937 0 0 0 63 4 0 0 20 0 15 0 272166128 14422839296 22302 33554432000 4194304 4196468 140722371475200 140476785975216 140476762524688 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9326592 140722371482696 140722371482889 140722371482889 140722371485647 0
[pid=9805/tid=9808] ppid=9802 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9805/task/9808/stat : 9808 (java) S 9802 9805 9172 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 272166128 14422839296 22302 33554432000 4194304 4196468 140722371475200 140476711852560 140476781774549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9326592 140722371482696 140722371482889 140722371482889 140722371485647 0
[pid=9805/tid=9809] ppid=9802 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9805/task/9809/stat : 9809 (java) S 9802 9805 9172 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272166128 14422839296 22302 33554432000 4194304 4196468 140722371475200 140476710800016 140476781774549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9326592 140722371482696 140722371482889 140722371482889 140722371485647 0
[pid=9805/tid=9810] ppid=9802 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9805/task/9810/stat : 9810 (java) S 9802 9805 9172 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272166128 14422839296 22302 33554432000 4194304 4196468 140722371475200 140476709746960 140476781774549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9326592 140722371482696 140722371482889 140722371482889 140722371485647 0
[pid=9805/tid=9811] ppid=9802 vsize=14084804 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/9805/task/9811/stat : 9811 (java) S 9802 9805 9172 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 272166128 14422839296 22302 33554432000 4194304 4196468 140722371475200 140476708694416 140476781774549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9326592 140722371482696 140722371482889 140722371482889 140722371485647 0
[pid=9805/tid=9812] ppid=9802 vsize=14084804 memory=7014751519617077610 CPUtime=0 cores=1,3,5,7
/proc/9805/task/9812/stat : 9812 (java) S 9802 9805 9172 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 272166130 14422839296 22302 33554432000 4194304 4196468 140722371475200 140476256049904 140476781775490 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9326592 140722371482696 140722371482889 140722371482889 140722371485647 0
[pid=9805/tid=9813] ppid=9802 vsize=14084804 memory=7740955842921785703 CPUtime=0 cores=1,3,5,7
/proc/9805/task/9813/stat : 9813 (java) S 9802 9805 9172 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 272166130 14422839296 22302 33554432000 4194304 4196468 140722371475200 140476254996128 140476781774549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9326592 140722371482696 140722371482889 140722371482889 140722371485647 0
[pid=9805/tid=9814] ppid=9802 vsize=14084804 memory=7738994421486346837 CPUtime=0 cores=1,3,5,7
/proc/9805/task/9814/stat : 9814 (java) S 9802 9805 9172 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 272166130 14422839296 22302 33554432000 4194304 4196468 140722371475200 140476253943024 140476781774549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9326592 140722371482696 140722371482889 140722371482889 140722371485647 0
[pid=9805/tid=9815] ppid=9802 vsize=14084804 memory=4638778402627734864 CPUtime=0 cores=1,3,5,7
/proc/9805/task/9815/stat : 9815 (java) S 9802 9805 9172 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272166133 14422839296 22302 33554432000 4194304 4196468 140722371475200 140476252891600 140476781782939 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9326592 140722371482696 140722371482889 140722371482889 140722371485647 0
[pid=9805/tid=9816] ppid=9802 vsize=14084804 memory=7524503874965040234 CPUtime=0.07 cores=1,3,5,7
/proc/9805/task/9816/stat : 9816 (java) S 9802 9805 9172 0 -1 1077944384 652 0 0 0 7 0 0 0 20 0 15 0 272166133 14422839296 22302 33554432000 4194304 4196468 140722371475200 140476251838704 140476781775490 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9326592 140722371482696 140722371482889 140722371482889 140722371485647 0
[pid=9805/tid=9817] ppid=9802 vsize=14084804 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/9805/task/9817/stat : 9817 (java) S 9802 9805 9172 0 -1 1077944384 277 0 0 0 7 0 0 0 20 0 15 0 272166133 14422839296 22302 33554432000 4194304 4196468 140722371475200 140476250786160 140476781775490 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9326592 140722371482696 140722371482889 140722371482889 140722371485647 0
[pid=9805/tid=9818] ppid=9802 vsize=14084804 memory=0 CPUtime=0.14 cores=1,3,5,7
/proc/9805/task/9818/stat : 9818 (java) S 9802 9805 9172 0 -1 1077944384 398 0 0 0 14 0 0 0 20 0 15 0 272166133 14422839296 22302 33554432000 4194304 4196468 140722371475200 140476249733104 140476781775490 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9326592 140722371482696 140722371482889 140722371482889 140722371485647 0
[pid=9805/tid=9819] ppid=9802 vsize=14084804 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/9805/task/9819/stat : 9819 (java) S 9802 9805 9172 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272166133 14422839296 22302 33554432000 4194304 4196468 140722371475200 140476248680800 140476781774549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9326592 140722371482696 140722371482889 140722371482889 140722371485647 0
[pid=9805/tid=9820] ppid=9802 vsize=14084804 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7
/proc/9805/task/9820/stat : 9820 (java) S 9802 9805 9172 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272166133 14422839296 22302 33554432000 4194304 4196468 140722371475200 140476247628848 140476781775490 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9326592 140722371482696 140722371482889 140722371482889 140722371485647 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 14084804 KiB
Current children cumulated memory: 89208 KiB
[startup+1.50077 s]
/proc/loadavg: 1.52 1.38 1.34 6/215 9869
/proc/meminfo: memFree=20926004/32770624 swapFree=67108372/67108860
[pid=9805] ppid=9802 vsize=14086852 memory=192380 CPUtime=2.93 cores=1,3,5,7
/proc/9805/stat : 9805 (java) S 9802 9805 9172 0 -1 1077944320 23738 0 0 0 283 10 0 0 20 0 15 0 272166127 14424936448 48095 33554432000 4194304 4196468 140722371475200 140722371457744 140476781764343 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 9326592 140722371482696 140722371482889 140722371482889 140722371485647 0
/proc/9805/statm: 3521713 48095 3548 1 0 3483785 0
[pid=9805/tid=9807] ppid=9802 vsize=14086852 memory=2588 CPUtime=1.47 cores=1,3,5,7
/proc/9805/task/9807/stat : 9807 (java) R 9802 9805 9172 0 -1 4202560 17101 0 0 0 140 7 0 0 20 0 15 0 272166128 14424936448 48095 33554432000 4194304 4196468 140722371475200 140476785999608 140476385564960 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9326592 140722371482696 140722371482889 140722371482889 140722371485647 0
[pid=9805/tid=9808] ppid=9802 vsize=14086852 memory=4100 CPUtime=0 cores=1,3,5,7
/proc/9805/task/9808/stat : 9808 (java) S 9802 9805 9172 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 272166128 14424936448 48095 33554432000 4194304 4196468 140722371475200 140476711852560 140476781774549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9326592 140722371482696 140722371482889 140722371482889 140722371485647 0
[pid=9805/tid=9809] ppid=9802 vsize=14086852 memory=1408 CPUtime=0 cores=1,3,5,7
/proc/9805/task/9809/stat : 9809 (java) S 9802 9805 9172 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272166128 14424936448 48095 33554432000 4194304 4196468 140722371475200 140476710800016 140476781774549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9326592 140722371482696 140722371482889 140722371482889 140722371485647 0
[pid=9805/tid=9810] ppid=9802 vsize=14086852 memory=2404 CPUtime=0 cores=1,3,5,7
/proc/9805/task/9810/stat : 9810 (java) S 9802 9805 9172 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272166128 14424936448 48095 33554432000 4194304 4196468 140722371475200 140476709746960 140476781774549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9326592 140722371482696 140722371482889 140722371482889 140722371485647 0
[pid=9805/tid=9811] ppid=9802 vsize=14086852 memory=74940 CPUtime=0 cores=1,3,5,7
/proc/9805/task/9811/stat : 9811 (java) S 9802 9805 9172 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 272166128 14424936448 48095 33554432000 4194304 4196468 140722371475200 140476708694416 140476781774549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9326592 140722371482696 140722371482889 140722371482889 140722371485647 0
[pid=9805/tid=9812] ppid=9802 vsize=14086852 memory=1208 CPUtime=0 cores=1,3,5,7
/proc/9805/task/9812/stat : 9812 (java) S 9802 9805 9172 0 -1 1077944384 185 0 0 0 0 0 0 0 20 0 15 0 272166130 14424936448 48095 33554432000 4194304 4196468 140722371475200 140476256049904 140476781775490 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9326592 140722371482696 140722371482889 140722371482889 140722371485647 0
################
# More data... #
################
/proc/9805/task/9807/stat : 9807 (java) R 9802 9805 9172 0 -1 4202560 33428 0 0 0 243964 11 0 0 20 0 15 0 272166128 14429130752 56292 33554432000 4194304 4196468 140722371475200 140476786002512 140476392648581 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9326592 140722371482696 140722371482889 140722371482889 140722371485647 0
[pid=9805/tid=9808] ppid=9802 vsize=14090948 memory=223032 CPUtime=1.03 cores=1,3,5,7
/proc/9805/task/9808/stat : 9808 (java) S 9802 9805 9172 0 -1 1077944384 3274 0 0 0 94 9 0 0 20 0 15 0 272166128 14429130752 56292 33554432000 4194304 4196468 140722371475200 140476711852560 140476781774549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9326592 140722371482696 140722371482889 140722371482889 140722371485647 0
[pid=9805/tid=9809] ppid=9802 vsize=14090948 memory=223084 CPUtime=1.05 cores=1,3,5,7
/proc/9805/task/9809/stat : 9809 (java) S 9802 9805 9172 0 -1 1077944384 3262 0 0 0 94 11 0 0 20 0 15 0 272166128 14429130752 56292 33554432000 4194304 4196468 140722371475200 140476710800016 140476781774549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9326592 140722371482696 140722371482889 140722371482889 140722371485647 0
[pid=9805/tid=9810] ppid=9802 vsize=14090948 memory=1752 CPUtime=1.03 cores=1,3,5,7
/proc/9805/task/9810/stat : 9810 (java) S 9802 9805 9172 0 -1 1077944384 3351 0 0 0 94 9 0 0 20 0 15 0 272166128 14429130752 56292 33554432000 4194304 4196468 140722371475200 140476709746960 140476781774549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9326592 140722371482696 140722371482889 140722371482889 140722371485647 0
[pid=9805/tid=9811] ppid=9802 vsize=14090948 memory=225132 CPUtime=1.04 cores=1,3,5,7
/proc/9805/task/9811/stat : 9811 (java) S 9802 9805 9172 0 -1 1077944384 3769 0 0 0 96 8 0 0 20 0 15 0 272166128 14429130752 56292 33554432000 4194304 4196468 140722371475200 140476708694416 140476781774549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9326592 140722371482696 140722371482889 140722371482889 140722371485647 0
[pid=9805/tid=9812] ppid=9802 vsize=14090948 memory=225136 CPUtime=0.89 cores=1,3,5,7
/proc/9805/task/9812/stat : 9812 (java) S 9802 9805 9172 0 -1 1077944384 5600 0 0 0 82 7 0 0 20 0 15 0 272166130 14429130752 56292 33554432000 4194304 4196468 140722371475200 140476256049904 140476781775490 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9326592 140722371482696 140722371482889 140722371482889 140722371485647 0
[pid=9805/tid=9813] ppid=9802 vsize=14090948 memory=225168 CPUtime=0 cores=1,3,5,7
/proc/9805/task/9813/stat : 9813 (java) S 9802 9805 9172 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 272166130 14429130752 56292 33554432000 4194304 4196468 140722371475200 140476254996192 140476781774549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9326592 140722371482696 140722371482889 140722371482889 140722371485647 0
[pid=9805/tid=9814] ppid=9802 vsize=14090948 memory=225168 CPUtime=0 cores=1,3,5,7
/proc/9805/task/9814/stat : 9814 (java) S 9802 9805 9172 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 272166130 14429130752 56292 33554432000 4194304 4196468 140722371475200 140476253943040 140476781774549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9326592 140722371482696 140722371482889 140722371482889 140722371485647 0
[pid=9805/tid=9815] ppid=9802 vsize=14090948 memory=225132 CPUtime=0 cores=1,3,5,7
/proc/9805/task/9815/stat : 9815 (java) S 9802 9805 9172 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272166133 14429130752 56292 33554432000 4194304 4196468 140722371475200 140476252891600 140476781782939 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9326592 140722371482696 140722371482889 140722371482889 140722371485647 0
[pid=9805/tid=9816] ppid=9802 vsize=14090948 memory=225168 CPUtime=1.48 cores=1,3,5,7
/proc/9805/task/9816/stat : 9816 (java) S 9802 9805 9172 0 -1 1077944384 3831 0 0 0 147 1 0 0 20 0 15 0 272166133 14429130752 56292 33554432000 4194304 4196468 140722371475200 140476251838704 140476781775490 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 5 0 0 6293624 6294260 9326592 140722371482696 140722371482889 140722371482889 140722371485647 0
[pid=9805/tid=9817] ppid=9802 vsize=14090948 memory=1276 CPUtime=1.36 cores=1,3,5,7
/proc/9805/task/9817/stat : 9817 (java) S 9802 9805 9172 0 -1 1077944384 3789 0 0 0 135 1 0 0 20 0 15 0 272166133 14429130752 56292 33554432000 4194304 4196468 140722371475200 140476250786160 140476781775490 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9326592 140722371482696 140722371482889 140722371482889 140722371485647 0
[pid=9805/tid=9818] ppid=9802 vsize=14090948 memory=225132 CPUtime=0.74 cores=1,3,5,7
/proc/9805/task/9818/stat : 9818 (java) S 9802 9805 9172 0 -1 1077944384 7315 0 0 0 73 1 0 0 20 0 15 0 272166133 14429130752 56292 33554432000 4194304 4196468 140722371475200 140476249733104 140476781775490 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9326592 140722371482696 140722371482889 140722371482889 140722371485647 0
[pid=9805/tid=9819] ppid=9802 vsize=14090948 memory=225132 CPUtime=0 cores=1,3,5,7
/proc/9805/task/9819/stat : 9819 (java) S 9802 9805 9172 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272166133 14429130752 56292 33554432000 4194304 4196468 140722371475200 140476248680800 140476781774549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9326592 140722371482696 140722371482889 140722371482889 140722371485647 0
[pid=9805/tid=9820] ppid=9802 vsize=14090948 memory=225168 CPUtime=0.49 cores=1,3,5,7
/proc/9805/task/9820/stat : 9820 (java) S 9802 9805 9172 0 -1 1077944384 996 0 0 0 20 29 0 0 20 0 15 0 272166133 14429130752 56292 33554432000 4194304 4196468 140722371475200 140476247628848 140476781775490 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 27 0 0 6293624 6294260 9326592 140722371482696 140722371482889 140722371482889 140722371485647 0
Current children cumulated CPU time: 2448.94 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 225168 KiB
[startup+2502.3 s]
/proc/loadavg: 1.61 1.52 1.41 3/215 10047
/proc/meminfo: memFree=20825804/32770624 swapFree=67108372/67108860
[pid=9805] ppid=9802 vsize=14090948 memory=229292 CPUtime=2509.04 cores=1,3,5,7
/proc/9805/stat : 9805 (java) S 9802 9805 9172 0 -1 1077944320 70173 0 0 0 250829 75 0 0 20 0 15 0 272166127 14429130752 57323 33554432000 4194304 4196468 140722371475200 140722371457744 140476781764343 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 9326592 140722371482696 140722371482889 140722371482889 140722371485647 0
/proc/9805/statm: 3522737 57323 3589 1 0 3484809 0
[pid=9805/tid=9807] ppid=9802 vsize=14090948 memory=227216 CPUtime=2499.68 cores=1,3,5,7
/proc/9805/task/9807/stat : 9807 (java) R 9802 9805 9172 0 -1 4202560 33481 0 0 0 249957 11 0 0 20 0 15 0 272166128 14429130752 57323 33554432000 4194304 4196468 140722371475200 140476786002704 140476392648569 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9326592 140722371482696 140722371482889 140722371482889 140722371485647 0
[pid=9805/tid=9808] ppid=9802 vsize=14090948 memory=229292 CPUtime=1.06 cores=1,3,5,7
/proc/9805/task/9808/stat : 9808 (java) S 9802 9805 9172 0 -1 1077944384 3303 0 0 0 96 10 0 0 20 0 15 0 272166128 14429130752 57323 33554432000 4194304 4196468 140722371475200 140476711852560 140476781774549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9326592 140722371482696 140722371482889 140722371482889 140722371485647 0
[pid=9805/tid=9809] ppid=9802 vsize=14090948 memory=229292 CPUtime=1.08 cores=1,3,5,7
/proc/9805/task/9809/stat : 9809 (java) S 9802 9805 9172 0 -1 1077944384 3283 0 0 0 97 11 0 0 20 0 15 0 272166128 14429130752 57323 33554432000 4194304 4196468 140722371475200 140476710800016 140476781774549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9326592 140722371482696 140722371482889 140722371482889 140722371485647 0
[pid=9805/tid=9810] ppid=9802 vsize=14090948 memory=229292 CPUtime=1.06 cores=1,3,5,7
/proc/9805/task/9810/stat : 9810 (java) S 9802 9805 9172 0 -1 1077944384 3368 0 0 0 97 9 0 0 20 0 15 0 272166128 14429130752 57323 33554432000 4194304 4196468 140722371475200 140476709746960 140476781774549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9326592 140722371482696 140722371482889 140722371482889 140722371485647 0
[pid=9805/tid=9811] ppid=9802 vsize=14090948 memory=229264 CPUtime=1.08 cores=1,3,5,7
/proc/9805/task/9811/stat : 9811 (java) S 9802 9805 9172 0 -1 1077944384 3774 0 0 0 99 9 0 0 20 0 15 0 272166128 14429130752 57323 33554432000 4194304 4196468 140722371475200 140476708694416 140476781774549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9326592 140722371482696 140722371482889 140722371482889 140722371485647 0
[pid=9805/tid=9812] ppid=9802 vsize=14090948 memory=229292 CPUtime=0.91 cores=1,3,5,7
/proc/9805/task/9812/stat : 9812 (java) S 9802 9805 9172 0 -1 1077944384 5604 0 0 0 84 7 0 0 20 0 15 0 272166130 14429130752 57323 33554432000 4194304 4196468 140722371475200 140476256049904 140476781775490 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9326592 140722371482696 140722371482889 140722371482889 140722371485647 0
[pid=9805/tid=9813] ppid=9802 vsize=14090948 memory=229292 CPUtime=0 cores=1,3,5,7
/proc/9805/task/9813/stat : 9813 (java) S 9802 9805 9172 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 272166130 14429130752 57323 33554432000 4194304 4196468 140722371475200 140476254996192 140476781774549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9326592 140722371482696 140722371482889 140722371482889 140722371485647 0
[pid=9805/tid=9814] ppid=9802 vsize=14090948 memory=229292 CPUtime=0 cores=1,3,5,7
/proc/9805/task/9814/stat : 9814 (java) S 9802 9805 9172 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 272166130 14429130752 57323 33554432000 4194304 4196468 140722371475200 140476253943040 140476781774549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9326592 140722371482696 140722371482889 140722371482889 140722371485647 0
[pid=9805/tid=9815] ppid=9802 vsize=14090948 memory=229292 CPUtime=0 cores=1,3,5,7
/proc/9805/task/9815/stat : 9815 (java) S 9802 9805 9172 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272166133 14429130752 57323 33554432000 4194304 4196468 140722371475200 140476252891600 140476781782939 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9326592 140722371482696 140722371482889 140722371482889 140722371485647 0
[pid=9805/tid=9816] ppid=9802 vsize=14090948 memory=868 CPUtime=1.48 cores=1,3,5,7
/proc/9805/task/9816/stat : 9816 (java) S 9802 9805 9172 0 -1 1077944384 3831 0 0 0 147 1 0 0 20 0 15 0 272166133 14429130752 57323 33554432000 4194304 4196468 140722371475200 140476251838704 140476781775490 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 5 0 0 6293624 6294260 9326592 140722371482696 140722371482889 140722371482889 140722371485647 0
[pid=9805/tid=9817] ppid=9802 vsize=14090948 memory=6616 CPUtime=1.36 cores=1,3,5,7
/proc/9805/task/9817/stat : 9817 (java) S 9802 9805 9172 0 -1 1077944384 3789 0 0 0 135 1 0 0 20 0 15 0 272166133 14429130752 57323 33554432000 4194304 4196468 140722371475200 140476250786160 140476781775490 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9326592 140722371482696 140722371482889 140722371482889 140722371485647 0
[pid=9805/tid=9818] ppid=9802 vsize=14090948 memory=488 CPUtime=0.74 cores=1,3,5,7
/proc/9805/task/9818/stat : 9818 (java) S 9802 9805 9172 0 -1 1077944384 7315 0 0 0 73 1 0 0 20 0 15 0 272166133 14429130752 57323 33554432000 4194304 4196468 140722371475200 140476249733104 140476781775490 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9326592 140722371482696 140722371482889 140722371482889 140722371485647 0
[pid=9805/tid=9819] ppid=9802 vsize=14090948 memory=229292 CPUtime=0 cores=1,3,5,7
/proc/9805/task/9819/stat : 9819 (java) S 9802 9805 9172 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272166133 14429130752 57323 33554432000 4194304 4196468 140722371475200 140476248680800 140476781774549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9326592 140722371482696 140722371482889 140722371482889 140722371485647 0
[pid=9805/tid=9820] ppid=9802 vsize=14090948 memory=229292 CPUtime=0.5 cores=1,3,5,7
/proc/9805/task/9820/stat : 9820 (java) S 9802 9805 9172 0 -1 1077944384 1000 0 0 0 21 29 0 0 20 0 15 0 272166133 14429130752 57323 33554432000 4194304 4196468 140722371475200 140476247628848 140476781775490 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 27 0 0 6293624 6294260 9326592 140722371482696 140722371482889 140722371482889 140722371485647 0
Current children cumulated CPU time: 2509.04 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 229292 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2513.3 s]
/proc/loadavg: 1.59 1.52 1.41 3/215 10047
/proc/meminfo: memFree=20431864/32770624 swapFree=67108372/67108860
[pid=9805] ppid=9802 vsize=14090948 memory=229292 CPUtime=2520.04 cores=1,3,5,7
/proc/9805/stat : 9805 (java) S 9802 9805 9172 0 -1 1077944320 70184 0 0 0 251929 75 0 0 20 0 15 0 272166127 14429130752 57323 33554432000 4194304 4196468 140722371475200 140722371457744 140476781764343 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 9326592 140722371482696 140722371482889 140722371482889 140722371485647 0
/proc/9805/statm: 3522737 57323 3589 1 0 3484809 0
[pid=9805/tid=9807] ppid=9802 vsize=14090948 memory=229292 CPUtime=2510.66 cores=1,3,5,7
/proc/9805/task/9807/stat : 9807 (java) R 9802 9805 9172 0 -1 4202560 33488 0 0 0 251055 11 0 0 20 0 15 0 272166128 14429130752 57323 33554432000 4194304 4196468 140722371475200 140476786002416 140476392648564 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9326592 140722371482696 140722371482889 140722371482889 140722371485647 0
[pid=9805/tid=9808] ppid=9802 vsize=14090948 memory=229292 CPUtime=1.07 cores=1,3,5,7
/proc/9805/task/9808/stat : 9808 (java) S 9802 9805 9172 0 -1 1077944384 3303 0 0 0 97 10 0 0 20 0 15 0 272166128 14429130752 57323 33554432000 4194304 4196468 140722371475200 140476711852560 140476781774549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9326592 140722371482696 140722371482889 140722371482889 140722371485647 0
[pid=9805/tid=9809] ppid=9802 vsize=14090948 memory=229292 CPUtime=1.08 cores=1,3,5,7
/proc/9805/task/9809/stat : 9809 (java) S 9802 9805 9172 0 -1 1077944384 3283 0 0 0 97 11 0 0 20 0 15 0 272166128 14429130752 57323 33554432000 4194304 4196468 140722371475200 140476710800016 140476781774549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9326592 140722371482696 140722371482889 140722371482889 140722371485647 0
[pid=9805/tid=9810] ppid=9802 vsize=14090948 memory=229292 CPUtime=1.06 cores=1,3,5,7
/proc/9805/task/9810/stat : 9810 (java) S 9802 9805 9172 0 -1 1077944384 3368 0 0 0 97 9 0 0 20 0 15 0 272166128 14429130752 57323 33554432000 4194304 4196468 140722371475200 140476709746960 140476781774549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9326592 140722371482696 140722371482889 140722371482889 140722371485647 0
[pid=9805/tid=9811] ppid=9802 vsize=14090948 memory=229292 CPUtime=1.08 cores=1,3,5,7
/proc/9805/task/9811/stat : 9811 (java) S 9802 9805 9172 0 -1 1077944384 3774 0 0 0 99 9 0 0 20 0 15 0 272166128 14429130752 57323 33554432000 4194304 4196468 140722371475200 140476708694416 140476781774549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9326592 140722371482696 140722371482889 140722371482889 140722371485647 0
[pid=9805/tid=9812] ppid=9802 vsize=14090948 memory=229292 CPUtime=0.91 cores=1,3,5,7
/proc/9805/task/9812/stat : 9812 (java) S 9802 9805 9172 0 -1 1077944384 5606 0 0 0 84 7 0 0 20 0 15 0 272166130 14429130752 57323 33554432000 4194304 4196468 140722371475200 140476256049904 140476781775490 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9326592 140722371482696 140722371482889 140722371482889 140722371485647 0
[pid=9805/tid=9813] ppid=9802 vsize=14090948 memory=3472328296227679505 CPUtime=0 cores=1,3,5,7
/proc/9805/task/9813/stat : 9813 (java) S 9802 9805 9172 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 272166130 14429130752 57323 33554432000 4194304 4196468 140722371475200 140476254996192 140476781774549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9326592 140722371482696 140722371482889 140722371482889 140722371485647 0
[pid=9805/tid=9814] ppid=9802 vsize=14090948 memory=229292 CPUtime=0 cores=1,3,5,7
/proc/9805/task/9814/stat : 9814 (java) S 9802 9805 9172 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 272166130 14429130752 57323 33554432000 4194304 4196468 140722371475200 140476253943040 140476781774549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9326592 140722371482696 140722371482889 140722371482889 140722371485647 0
[pid=9805/tid=9815] ppid=9802 vsize=14090948 memory=229292 CPUtime=0 cores=1,3,5,7
/proc/9805/task/9815/stat : 9815 (java) S 9802 9805 9172 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272166133 14429130752 57323 33554432000 4194304 4196468 140722371475200 140476252891600 140476781782939 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9326592 140722371482696 140722371482889 140722371482889 140722371485647 0
[pid=9805/tid=9816] ppid=9802 vsize=14090948 memory=229292 CPUtime=1.48 cores=1,3,5,7
/proc/9805/task/9816/stat : 9816 (java) S 9802 9805 9172 0 -1 1077944384 3831 0 0 0 147 1 0 0 20 0 15 0 272166133 14429130752 57323 33554432000 4194304 4196468 140722371475200 140476251838704 140476781775490 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 5 0 0 6293624 6294260 9326592 140722371482696 140722371482889 140722371482889 140722371485647 0
[pid=9805/tid=9817] ppid=9802 vsize=14090948 memory=229292 CPUtime=1.36 cores=1,3,5,7
/proc/9805/task/9817/stat : 9817 (java) S 9802 9805 9172 0 -1 1077944384 3789 0 0 0 135 1 0 0 20 0 15 0 272166133 14429130752 57323 33554432000 4194304 4196468 140722371475200 140476250786160 140476781775490 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9326592 140722371482696 140722371482889 140722371482889 140722371485647 0
[pid=9805/tid=9818] ppid=9802 vsize=14090948 memory=229292 CPUtime=0.74 cores=1,3,5,7
/proc/9805/task/9818/stat : 9818 (java) S 9802 9805 9172 0 -1 1077944384 7315 0 0 0 73 1 0 0 20 0 15 0 272166133 14429130752 57323 33554432000 4194304 4196468 140722371475200 140476249733104 140476781775490 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9326592 140722371482696 140722371482889 140722371482889 140722371485647 0
[pid=9805/tid=9819] ppid=9802 vsize=14090948 memory=229292 CPUtime=0 cores=1,3,5,7
/proc/9805/task/9819/stat : 9819 (java) S 9802 9805 9172 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272166133 14429130752 57323 33554432000 4194304 4196468 140722371475200 140476248680800 140476781774549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9326592 140722371482696 140722371482889 140722371482889 140722371485647 0
[pid=9805/tid=9820] ppid=9802 vsize=14090948 memory=229292 CPUtime=0.51 cores=1,3,5,7
/proc/9805/task/9820/stat : 9820 (java) S 9802 9805 9172 0 -1 1077944384 1002 0 0 0 21 30 0 0 20 0 15 0 272166133 14429130752 57323 33554432000 4194304 4196468 140722371475200 140476247628848 140476781775490 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 27 0 0 6293624 6294260 9326592 140722371482696 140722371482889 140722371482889 140722371485647 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 229292 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2513.33 s]
# the end of solver process 9805 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.32 s, system=0.758377 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2513.3 s]
/proc/loadavg: 1.59 1.52 1.41 3/215 10047
/proc/meminfo: memFree=20431864/32770624 swapFree=67108372/67108860
[pid=9805] ppid=9802 vsize=14090948 memory=229292 CPUtime=2520.04 cores=1,3,5,7
/proc/9805/stat : 9805 (java) S 9802 9805 9172 0 -1 1077944320 70184 0 0 0 251929 75 0 0 20 0 15 0 272166127 14429130752 57323 33554432000 4194304 4196468 140722371475200 140722371457744 140476781764343 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 9326592 140722371482696 140722371482889 140722371482889 140722371485647 0
/proc/9805/statm: 3522737 57323 3589 1 0 3484809 0
[pid=9805/tid=9807] ppid=9802 vsize=14090948 memory=229292 CPUtime=2510.66 cores=1,3,5,7
/proc/9805/task/9807/stat : 9807 (java) R 9802 9805 9172 0 -1 4202560 33488 0 0 0 251055 11 0 0 20 0 15 0 272166128 14429130752 57323 33554432000 4194304 4196468 140722371475200 140476786002416 140476392648564 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9326592 140722371482696 140722371482889 140722371482889 140722371485647 0
[pid=9805/tid=9808] ppid=9802 vsize=14090948 memory=229292 CPUtime=1.07 cores=1,3,5,7
/proc/9805/task/9808/stat : 9808 (java) S 9802 9805 9172 0 -1 1077944384 3303 0 0 0 97 10 0 0 20 0 15 0 272166128 14429130752 57323 33554432000 4194304 4196468 140722371475200 140476711852560 140476781774549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9326592 140722371482696 140722371482889 140722371482889 140722371485647 0
[pid=9805/tid=9809] ppid=9802 vsize=14090948 memory=229292 CPUtime=1.08 cores=1,3,5,7
/proc/9805/task/9809/stat : 9809 (java) S 9802 9805 9172 0 -1 1077944384 3283 0 0 0 97 11 0 0 20 0 15 0 272166128 14429130752 57323 33554432000 4194304 4196468 140722371475200 140476710800016 140476781774549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9326592 140722371482696 140722371482889 140722371482889 140722371485647 0
[pid=9805/tid=9810] ppid=9802 vsize=14090948 memory=229292 CPUtime=1.06 cores=1,3,5,7
/proc/9805/task/9810/stat : 9810 (java) S 9802 9805 9172 0 -1 1077944384 3368 0 0 0 97 9 0 0 20 0 15 0 272166128 14429130752 57323 33554432000 4194304 4196468 140722371475200 140476709746960 140476781774549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9326592 140722371482696 140722371482889 140722371482889 140722371485647 0
[pid=9805/tid=9811] ppid=9802 vsize=14090948 memory=229292 CPUtime=1.08 cores=1,3,5,7
/proc/9805/task/9811/stat : 9811 (java) S 9802 9805 9172 0 -1 1077944384 3774 0 0 0 99 9 0 0 20 0 15 0 272166128 14429130752 57323 33554432000 4194304 4196468 140722371475200 140476708694416 140476781774549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9326592 140722371482696 140722371482889 140722371482889 140722371485647 0
[pid=9805/tid=9812] ppid=9802 vsize=14090948 memory=229292 CPUtime=0.91 cores=1,3,5,7
/proc/9805/task/9812/stat : 9812 (java) S 9802 9805 9172 0 -1 1077944384 5606 0 0 0 84 7 0 0 20 0 15 0 272166130 14429130752 57323 33554432000 4194304 4196468 140722371475200 140476256049904 140476781775490 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9326592 140722371482696 140722371482889 140722371482889 140722371485647 0
[pid=9805/tid=9813] ppid=9802 vsize=14090948 memory=3472328296227679505 CPUtime=0 cores=1,3,5,7
/proc/9805/task/9813/stat : 9813 (java) S 9802 9805 9172 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 272166130 14429130752 57323 33554432000 4194304 4196468 140722371475200 140476254996192 140476781774549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9326592 140722371482696 140722371482889 140722371482889 140722371485647 0
[pid=9805/tid=9814] ppid=9802 vsize=14090948 memory=229292 CPUtime=0 cores=1,3,5,7
/proc/9805/task/9814/stat : 9814 (java) S 9802 9805 9172 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 272166130 14429130752 57323 33554432000 4194304 4196468 140722371475200 140476253943040 140476781774549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9326592 140722371482696 140722371482889 140722371482889 140722371485647 0
[pid=9805/tid=9815] ppid=9802 vsize=14090948 memory=229292 CPUtime=0 cores=1,3,5,7
/proc/9805/task/9815/stat : 9815 (java) S 9802 9805 9172 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272166133 14429130752 57323 33554432000 4194304 4196468 140722371475200 140476252891600 140476781782939 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9326592 140722371482696 140722371482889 140722371482889 140722371485647 0
[pid=9805/tid=9816] ppid=9802 vsize=14090948 memory=229292 CPUtime=1.48 cores=1,3,5,7
/proc/9805/task/9816/stat : 9816 (java) S 9802 9805 9172 0 -1 1077944384 3831 0 0 0 147 1 0 0 20 0 15 0 272166133 14429130752 57323 33554432000 4194304 4196468 140722371475200 140476251838704 140476781775490 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 5 0 0 6293624 6294260 9326592 140722371482696 140722371482889 140722371482889 140722371485647 0
[pid=9805/tid=9817] ppid=9802 vsize=14090948 memory=229292 CPUtime=1.36 cores=1,3,5,7
/proc/9805/task/9817/stat : 9817 (java) S 9802 9805 9172 0 -1 1077944384 3789 0 0 0 135 1 0 0 20 0 15 0 272166133 14429130752 57323 33554432000 4194304 4196468 140722371475200 140476250786160 140476781775490 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9326592 140722371482696 140722371482889 140722371482889 140722371485647 0
[pid=9805/tid=9818] ppid=9802 vsize=14090948 memory=229292 CPUtime=0.74 cores=1,3,5,7
/proc/9805/task/9818/stat : 9818 (java) S 9802 9805 9172 0 -1 1077944384 7315 0 0 0 73 1 0 0 20 0 15 0 272166133 14429130752 57323 33554432000 4194304 4196468 140722371475200 140476249733104 140476781775490 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9326592 140722371482696 140722371482889 140722371482889 140722371485647 0
[pid=9805/tid=9819] ppid=9802 vsize=14090948 memory=229292 CPUtime=0 cores=1,3,5,7
/proc/9805/task/9819/stat : 9819 (java) S 9802 9805 9172 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272166133 14429130752 57323 33554432000 4194304 4196468 140722371475200 140476248680800 140476781774549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9326592 140722371482696 140722371482889 140722371482889 140722371485647 0
[pid=9805/tid=9820] ppid=9802 vsize=14090948 memory=229292 CPUtime=0.51 cores=1,3,5,7
/proc/9805/task/9820/stat : 9820 (java) S 9802 9805 9172 0 -1 1077944384 1002 0 0 0 21 30 0 0 20 0 15 0 272166133 14429130752 57323 33554432000 4194304 4196468 140722371475200 140476247628848 140476781775490 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 27 0 0 6293624 6294260 9326592 140722371482696 140722371482889 140722371482889 140722371485647 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 229292 KiB
Child status: 143
Real time (s): 2513.33
CPU time (s): 2520.08
CPU user time (s): 2519.32
CPU system time (s): 0.758377
CPU usage (%): 100.269
Max. virtual memory (cumulated for all children) (KiB): 14090948
Max. memory (cumulated for all children) (KiB): 294752
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.32
system time used= 0.758377
maximum resident set size= 294752
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 70483
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2888
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 80435
involuntary context switches= 1949
# summary of solver processes directly reported to runsolver:
# pid: 9805
# total CPU time (s): 2520.08
# total CPU user time (s): 2519.32
# total CPU system time (s): 0.758377
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.6505 second user time and 20.7126 second system time
The end
Begin job on node137 at 2018-08-18 00:47:09 IDJOB=4312063 IDBENCH=141155 IDSOLVER=2799 FILE ID=node137/4312063-1534546029 RUNJOBID= node137-1534541039-9204 PBS_JOBID= 21038634 Free space on /tmp= 43528 MiB SOLVER NAME= OscaR - Conflict Ordering with restarts 2018-08-17 BENCH NAME= XCSP18/Auction/Auction-cnt/Auction-cnt-decay300_c18.xml COMMAND LINE= java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 11000 --nbcore 1 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4312063-1534546029/watcher-4312063-1534546029 -o /tmp/evaluation-result-4312063-1534546029/solver-4312063-1534546029 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node137-1534541039-9204 --watchdog 2580 java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 1884243932 --timelimit 2520 --memlimit 11000 --nbcore 1 HOME/instance-4312063-1534546029.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 39aa8271d93aad234a0495f796e0a456 RANDOM SEED=1884243932 node137.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.54 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.56 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.54 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.56 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.54 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.56 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.54 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.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 21025436 kB MemAvailable: 31857336 kB Buffers: 211224 kB Cached: 10874588 kB SwapCached: 8 kB Active: 7385000 kB Inactive: 3787220 kB Active(anon): 55920 kB Inactive(anon): 99064 kB Active(file): 7329080 kB Inactive(file): 3688156 kB Unevictable: 7208 kB Mlocked: 7208 kB SwapTotal: 67108860 kB SwapFree: 67108372 kB Dirty: 35800 kB Writeback: 0 kB AnonPages: 258280 kB Mapped: 29324 kB Shmem: 66008 kB Slab: 271796 kB SReclaimable: 243124 kB SUnreclaim: 28672 kB KernelStack: 3520 kB PageTables: 4980 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1318724 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 186368 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 114048 kB DirectMap2M: 33431552 kB Free space on /tmp at the end= 43492 MiB End job on node137 at 2018-08-18 01:29:03