Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| cosoco 1.12 | SAT (TO) | 89983130 | 2520.03 | 2519.91 |
| Name | Fapp/Fapp-ext/ Fapp-ext-test02-0250_c18.xml |
| MD5SUM | 973c4f7d3bfa6ee5bf8044e5608ab9c3 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 89983130 |
| Best CPU time to get the best result obtained on this benchmark | 2520.03 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 3894 |
| Number of constraints | 2462 |
| Number of domains | 32 |
| Minimum domain size | 1 |
| Maximum domain size | 175 |
| Distribution of domain sizes | [{"size":1,"count":1},{"size":2,"count":1380},{"size":11,"count":1131},{"size":12,"count":1},{"size":23,"count":45},{"size":47,"count":70},{"size":57,"count":33},{"size":60,"count":11},{"size":69,"count":36},{"size":70,"count":19},{"size":79,"count":14},{"size":81,"count":2},{"size":84,"count":6},{"size":93,"count":2},{"size":94,"count":10},{"size":110,"count":4},{"size":113,"count":12},{"size":118,"count":77},{"size":127,"count":39},{"size":137,"count":13},{"size":151,"count":17},{"size":153,"count":16},{"size":154,"count":100},{"size":170,"count":27},{"size":175,"count":828}] |
| Minimum variable degree | 2 |
| Maximum variable degree | 1132 |
| Distribution of variable degrees | [{"degree":2,"count":3396},{"degree":3,"count":10},{"degree":4,"count":16},{"degree":5,"count":23},{"degree":6,"count":38},{"degree":7,"count":47},{"degree":8,"count":26},{"degree":9,"count":44},{"degree":10,"count":59},{"degree":11,"count":73},{"degree":12,"count":68},{"degree":13,"count":29},{"degree":14,"count":29},{"degree":15,"count":16},{"degree":16,"count":13},{"degree":17,"count":2},{"degree":18,"count":2},{"degree":19,"count":2},{"degree":1132,"count":1}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 6 |
| Distribution of constraint arities | [{"arity":2,"count":200},{"arity":3,"count":1131},{"arity":6,"count":1131}] |
| Number of extensional constraints | 2462 |
| Number of intensional constraints | 0 |
| Distribution of constraint types | [{"type":"extension","count":2462}] |
| Optimization problem | YES |
| Type of objective | min SUM |
145.30/145.36 c best=?? lower=0 upper=153510630 287.19/287.27 c 287.19/287.27 c This is cosoco 1.12 -- 287.19/287.27 c 287.19/287.27 c command line: HOME/cosoco -lc -model -restarts HOME/instance-4299032-1532783690.xml 287.19/287.27 c enable optimization 287.19/287.27 c ========================================[ Problem Statistics ]=========================================== 287.19/287.27 c | 287.19/287.27 c | Parse time : 144.73 s 287.19/287.27 c | 287.19/287.27 c | Variables: 3894 287.19/287.27 c | Domain Sizes: 1..175 287.19/287.27 c | 287.19/287.27 c | Constraints: 2463 287.19/287.27 c | Arity: 2..2263 -- Binary: 200 -- Ternary: 1131 287.19/287.27 c | 287.19/287.27 c | Types: 287.19/287.27 c | Extension: 2462 (nb tuples: 0..30625) -- (shared: 0) 287.19/287.27 c | Sum: 1 287.19/287.27 c | 287.19/287.27 c | Objective: Minimize Sum 287.19/287.27 287.19/287.27 c ========================================================================================================= 287.19/287.27 o 144025856 287.19/287.27 c 1 calls to solver: best=144025856 lower=0 upper=144025855 294.00/294.10 o 144025747 1524.16/1524.19 o 143380638 1524.16/1524.19 c 3 calls to solver: best=143380638 lower=0 upper=143380637 1683.06/1683.02 o 90141639 1885.97/1886.00 o 90130355 1885.97/1886.00 c 5 calls to solver: best=90130355 lower=0 upper=90130354 2456.51/2456.41 o 89983236 2469.31/2469.30 o 89983130 2469.31/2469.30 c 7 calls to solver: best=89983130 lower=0 upper=89983129 2520.02/2519.90 2520.02/2519.90 c *** INTERRUPTED *** 2520.02/2519.90 c restarts : 52 2520.02/2519.90 c conflicts : 146110 (58 /sec) 2520.02/2519.90 c decisions : 402202 (160 /sec) 2520.02/2519.90 c propagations : 214171106 (85053 /sec) 2520.02/2519.90 c root propagations : 5711 2520.02/2519.90 c filter calls : 30303680 (12034 /sec) 2520.02/2519.90 c useless filter calls : 15902130 (52 %) 2520.02/2519.90 c Memory used : 1890.44 MB 2520.02/2519.90 c CPU time : 2518.08 s 2520.02/2519.90 2520.02/2519.90 c nb Solutions = 7 2520.02/2519.90 s SATISFIABLE 2520.02/2519.90 c Best value found: 89983130 2520.02/2519.90 2520.02/2519.90 2520.02/2519.90 v <instantiation type='solution' cost='89983130'> 2520.02/2519.90 v <list>d[0] d[1000] d[1001] d[1002] d[1003] d[1004] d[1005] d[1006] d[1007] d[1008] d[1009] d[100] d[1010] d[1011] d[1012] d[1013] d[1014] d[1015] d[1016] d[1017] d[1018] d[1019] d[101] d[1020] d[1021] d[1022] d[1023] d[1024] d[1025] d[1026] d[1027] d[1028] d[1029] d[102] d[1030] d[1031] d[1032] d[1033] d[1034] d[1035] d[1036] d[1037] d[1038] d[1039] d[103] d[1040] d[1041] d[1042] d[1043] d[1044] d[1045] d[1046] d[1047] d[1048] d[1049] d[104] d[1050] d[1051] d[1052] d[1053] d[1054] d[1055] d[1056] d[1057] d[1058] d[1059] d[105] d[1060] d[1061] d[1062] d[1063] d[1064] d[1065] d[1066] d[1067] d[1068] d[1069] d[106] d[1070] d[1071] d[1072] d[1073] d[1074] d[1075] d[1076] d[1077] d[1078] d[1079] d[107] d[1080] d[1081] d[1082] d[1083] d[1084] d[1085] d[1086] d[1087] d[1088] d[1089] d[108] d[1090] d[1091] d[1092] d[1093] d[1094] d[1095] d[1096] d[1097] d[1098] d[1099] d[109] d[10] d[1100] d[1101] d[1102] d[1103] d[1104] d[1105] d[1106] d[1107] d[1108] d[1109] d[110] d[1110] d[1111] d[1112] d[1113] d[1114] d[1115] d[1116] d[1117] d[1118] d[1119] d[111] d[1120] d[1121] d[1122] d[1123] d[1124] d[1125] d[1126] d[1127] d[1128] d[1129] d[112] d[1130] d[113] d[114] d[115] d[116] d[117] d[118] d[119] d[11] d[120] d[121] d[122] d[123] d[124] d[125] d[126] d[127] d[128] d[129] d[12] d[130] d[131] d[132] d[133] d[134] d[135] d[136] d[137] d[138] d[139] d[13] d[140] d[141] d[142] d[143] d[144] d[145] d[146] d[147] d[148] d[149] d[14] d[150] d[151] d[152] d[153] d[154] d[155] d[156] d[157] d[158] d[159] d[15] d[160] d[161] d[162] d[163] d[164] d[165] d[166] d[167] d[168] d[169] d[16] d[170] d[171] d[172] d[173] d[174] d[175] d[176] d[177] d[178] d[179] d[17] d[180] d[181] d[182] d[183] d[184] d[185] d[186] d[187] d[188] d[189] d[18] d[190] d[191] d[192] d[193] d[194] d[195] d[196] d[197] d[198] d[199] d[19] d[1] d[200] d[201] d[202] d[203] d[204] d[205] d[206] d[207] d[208] d[209] d[20] d[210] d[211] d[212] d[213] d[214] d[215] d[216] d[217] d[218] d[219] d[21] d[220] d[221] d[222] d[223] d[224] d[225] d[226] d[227] d[228] d[229] d[22] d[230] d[231] d[232] d[233] d[234] d[235] d[236] d[237] d[238] d[239] d[23] d[240] d[241] d[242] d[243] d[244] d[245] d[246] d[247] d[248] d[249] d[24] d[250] d[251] d[252] d[253] d[254] d[255] d[256] d[257] d[258] d[259] d[25] d[260] d[261] d[262] d[263] d[264] d[265] d[266] d[267] d[268] d[269] d[26] d[270] d[271] d[272] d[273] d[274] d[275] d[276] d[277] d[278] d[279] d[27] d[280] d[281] d[282] d[283] d[284] d[285] d[286] d[287] d[288] d[289] d[28] d[290] d[291] d[292] d[293] d[294] d[295] d[296] d[297] d[298] d[299] d[29] d[2] d[300] d[301] d[302] d[303] d[304] d[305] d[306] d[307] d[308] d[309] d[30] d[310] d[311] d[312] d[313] d[314] d[315] d[316] d[317] d[318] d[319] d[31] d[320] d[321] d[322] d[323] d[324] d[325] d[326] d[327] d[328] d[329] d[32] d[330] d[331] d[332] d[333] d[334] d[335] d[336] d[337] d[338] d[339] d[33] d[340] d[341] d[342] d[343] d[344] d[345] d[346] d[347] d[348] d[349] d[34] d[350] d[351] d[352] d[353] d[354] d[355] d[356] d[357] d[358] d[359] d[35] d[360] d[361] d[362] d[363] d[364] d[365] d[366] d[367] d[368] d[369] d[36] d[370] d[371] d[372] d[373] d[374] d[375] d[376] d[377] d[378] d[379] d[37] d[380] d[381] d[382] d[383] d[384] d[385] d[386] d[387] d[388] d[389] d[38] d[390] d[391] d[392] d[393] d[394] d[395] d[396] d[397] d[398] d[399] d[39] d[3] d[400] d[401] d[402] d[403] d[404] d[405] d[406] d[407] d[408] d[409] d[40] d[410] d[411] d[412] d[413] d[414] d[415] d[416] d[417] d[418] d[419] d[41] d[420] d[421] d[422] d[423] d[424] d[425] d[426] d[427] d[428] d[429] d[42] d[430] d[431] d[432] d[433] d[434] d[435] d[436] d[437] d[438] d[439] d[43] d[440] d[441] d[442] d[443] d[444] d[445] d[446] d[447] d[448] d[449] d[44] d[450] d[451] d[452] d[453] d[454] d[455] d[456] d[457] d[458] d[459] d[45] d[460] d[461] d[462] d[463] d[464] d[465] d[466] d[467] d[468] d[469] d[46] d[470] d[471] d[472] d[473] d[474] d[475] d[476] d[477] d[478] d[479] d[47] d[480] d[481] d[482] d[483] d[484] d[485] d[486] d[487] d[488] d[489] d[48] d[490] d[491] d[492] d[493] d[494] d[495] d[496] d[497] d[498] d[499] d[49] d[4] d[500] d[501] d[502] d[503] d[504] d[505] d[506] d[507] d[508] d[509] d[50] d[510] d[511] d[512] d[513] d[514] d[515] d[516] d[517] d[518] d[519] d[51] d[520] d[521] d[522] d[523] d[524] d[525] d[526] d[527] d[528] d[529] d[52] d[530] d[531] d[532] d[533] d[534] d[535] d[536] d[537] d[538] d[539] d[53] d[540] d[541] d[542] d[543] d[544] d[545] d[546] d[547] d[548] d[549] d[54] d[550] d[551] d[552] d[553] d[554] d[555] d[556] d[557] d[558] d[559] d[55] d[560] d[561] d[562] d[563] d[564] d[565] d[566] d[567] d[568] d[569] d[56] d[570] d[571] d[572] d[573] d[574] d[575] d[576] d[577] d[578] d[579] d[57] d[580] d[581] d[582] d[583] d[584] d[585] d[586] d[587] d[588] d[589] d[58] d[590] d[591] d[592] d[593] d[594] d[595] d[596] d[597] d[598] d[599] d[59] d[5] d[600] d[601] d[602] d[603] d[604] d[605] d[606] d[607] d[608] d[609] d[60] d[610] d[611] d[612] d[613] d[614] d[615] d[616] d[617] d[618] d[619] d[61] d[620] d[621] d[622] d[623] d[624] d[625] d[626] d[627] d[628] d[629] d[62] d[630] d[631] d[632] d[633] d[634] d[635] d[636] d[637] d[638] d[639] d[63] d[640] d[641] d[642] d[643] d[644] d[645] d[646] d[647] d[648] d[649] d[64] d[650] d[651] d[652] d[653] d[654] d[655] d[656] d[657] d[658] d[659] d[65] d[660] d[661] d[662] d[663] d[664] d[665] d[666] d[667] d[668] d[669] d[66] d[670] d[671] d[672] d[673] d[674] d[675] d[676] d[677] d[678] d[679] d[67] d[680] d[681] d[682] d[683] d[684] d[685] d[686] d[687] d[688] d[689] d[68] d[690] d[691] d[692] d[693] d[694] d[695] d[696] d[697] d[698] d[699] d[69] d[6] d[700] d[701] d[702] d[703] d[704] d[705] d[706] d[707] d[708] d[709] d[70] d[710] d[711] d[712] d[713] d[714] d[715] d[716] d[717] d[718] d[719] d[71] d[720] d[721] d[722] d[723] d[724] d[725] d[726] d[727] d[728] d[729] d[72] d[730] d[731] d[732] d[733] d[734] d[735] d[736] d[737] d[738] d[739] d[73] d[740] d[741] d[742] d[743] d[744] d[745] d[746] d[747] d[748] d[749] d[74] d[750] d[751] d[752] d[753] d[754] d[755] d[756] d[757] d[758] d[759] d[75] d[760] d[761] d[762] d[763] d[764] d[765] d[766] d[767] d[768] d[769] d[76] d[770] d[771] d[772] d[773] d[774] d[775] d[776] d[777] d[778] d[779] d[77] d[780] d[781] d[782] d[783] d[784] d[785] d[786] d[787] d[788] d[789] d[78] d[790] d[791] d[792] d[793] d[794] d[795] d[796] d[797] d[798] d[799] d[79] d[7] d[800] d[801] d[802] d[803] d[804] d[805] d[806] d[807] d[808] d[809] d[80] d[810] d[811] d[812] d[813] d[814] d[815] d[816] d[817] d[818] d[819] d[81] d[820] d[821] d[822] d[823] d[824] d[825] d[826] d[827] d[828] d[829] d[82] d[830] d[831] d[832] d[833] d[834] d[835] d[836] d[837] d[838] d[839] d[83] d[840] d[841] d[842] d[843] d[844] d[845] d[846] d[847] d[848] d[849] d[84] d[850] d[851] d[852] d[853] d[854] d[855] d[856] d[857] d[858] d[859] d[85] d[860] d[861] d[862] d[863] d[864] d[865] d[866] d[867] d[868] d[869] d[86] d[870] d[871] d[872] d[873] d[874] d[875] d[876] d[877] d[878] d[879] d[87] d[880] d[881] d[882] d[883] d[884] d[885] d[886] d[887] d[888] d[889] d[88] d[890] d[891] d[892] d[893] d[894] d[895] d[896] d[897] d[898] d[899] d[89] d[8] d[900] d[901] d[902] d[903] d[904] d[905] d[906] d[907] d[908] d[909] d[90] d[910] d[911] d[912] d[913] d[914] d[915] d[916] d[917] d[918] d[919] d[91] d[920] d[921] d[922] d[923] d[924] d[925] d[926] d[927] d[928] d[929] d[92] d[930] d[931] d[932] d[933] d[934] d[935] d[936] d[937] d[938] d[939] d[93] d[940] d[941] d[942] d[943] d[944] d[945] d[946] d[947] d[948] d[949] d[94] d[950] d[951] d[952] d[953] d[954] d[955] d[956] d[957] d[958] d[959] d[95] d[960] d[961] d[962] d[963] d[964] d[965] d[966] d[967] d[968] d[969] d[96] d[970] d[971] d[972] d[973] d[974] d[975] d[976] d[977] d[978] d[979] d[97] d[980] d[981] d[982] d[983] d[984] d[985] d[986] d[987] d[988] d[989] d[98] d[990] d[991] d[992] d[993] d[994] d[995] d[996] d[997] d[998] d[999] d[99] d[9] f[0] f[100] f[101] f[102] f[103] f[104] f[105] f[106] f[107] f[108] f[109] f[10] f[110] f[111] f[112] f[113] f[114] f[115] f[116] f[117] f[118] f[119] f[11] f[120] f[121] f[122] f[123] f[124] f[125] f[126] f[127] f[128] f[129] f[12] f[130] f[131] f[132] f[133] f[134] f[135] f[136] f[137] f[138] f[139] f[13] f[140] f[141] f[142] f[143] f[144] f[145] f[146] f[147] f[148] f[149] f[14] f[150] f[151] f[152] f[153] f[154] f[155] f[156] f[157] f[158] f[159] f[15] f[160] f[161] f[162] f[163] f[164] f[165] f[166] f[167] f[168] f[169] f[16] f[170] f[171] f[172] f[173] f[174] f[175] f[176] f[177] f[178] f[179] f[17] f[180] f[181] f[182] f[183] f[184] f[185] f[186] f[187] f[188] f[189] f[18] f[190] f[191] f[192] f[193] f[194] f[195] f[196] f[197] f[198] f[199] f[19] f[1] f[200] f[201] f[202] f[203] f[204] f[205] f[206] f[207] f[208] f[209] f[20] f[210] f[211] f[212] f[213] f[214] f[215] f[216] f[217] f[218] f[219] f[21] f[220] f[221] f[222] f[223] f[224] f[225] f[226] f[227] f[228] f[229] f[22] f[230] f[231] f[232] f[233] f[234] f[235] f[236] f[237] f[238] f[239] f[23] f[240] f[241] f[242] f[243] f[244] f[245] f[246] f[247] f[248] f[249] f[24] f[25] f[26] f[27] f[28] f[29] f[2] f[30] f[31] f[32] f[33] f[34] f[35] f[36] f[37] f[38] f[39] f[3] f[40] f[41] f[42] f[43] f[44] f[45] f[46] f[47] f[48] f[49] f[4] f[50] f[51] f[52] f[53] f[54] f[55] f[56] f[57] f[58] f[59] f[5] f[60] f[61] f[62] f[63] f[64] f[65] f[66] f[67] f[68] f[69] f[6] f[70] f[71] f[72] f[73] f[74] f[75] f[76] f[77] f[78] f[79] f[7] f[80] f[81] f[82] f[83] f[84] f[85] f[86] f[87] f[88] f[89] f[8] f[90] f[91] f[92] f[93] f[94] f[95] f[96] f[97] f[98] f[99] f[9] k p[0] p[100] p[101] p[102] p[103] p[104] p[105] p[106] p[107] p[108] p[109] p[10] p[110] p[111] p[112] p[113] p[114] p[115] p[116] p[117] p[118] p[119] p[11] p[120] p[121] p[122] p[123] p[124] p[125] p[126] p[127] p[128] p[129] p[12] p[130] p[131] p[132] p[133] p[134] p[135] p[136] p[137] p[138] p[139] p[13] p[140] p[141] p[142] p[143] p[144] p[145] p[146] p[147] p[148] p[149] p[14] p[150] p[151] p[152] p[153] p[154] p[155] p[156] p[157] p[158] p[159] p[15] p[160] p[161] p[162] p[163] p[164] p[165] p[166] p[167] p[168] p[169] p[16] p[170] p[171] p[172] p[173] p[174] p[175] p[176] p[177] p[178] p[179] p[17] p[180] p[181] p[182] p[183] p[184] p[185] p[186] p[187] p[188] p[189] p[18] p[190] p[191] p[192] p[193] p[194] p[195] p[196] p[197] p[198] p[199] p[19] p[1] p[200] p[201] p[202] p[203] p[204] p[205] p[206] p[207] p[208] p[209] p[20] p[210] p[211] p[212] p[213] p[214] p[215] p[216] p[217] p[218] p[219] p[21] p[220] p[221] p[222] p[223] p[224] p[225] p[226] p[227] p[228] p[229] p[22] p[230] p[231] p[232] p[233] p[234] p[235] p[236] p[237] p[238] p[239] p[23] p[240] p[241] p[242] p[243] p[244] p[245] p[246] p[247] p[248] p[249] p[24] p[25] p[26] p[27] p[28] p[29] p[2] p[30] p[31] p[32] p[33] p[34] p[35] p[36] p[37] p[38] p[39] p[3] p[40] p[41] p[42] p[43] p[44] p[45] p[46] p[47] p[48] p[49] p[4] p[50] p[51] p[52] p[53] p[54] p[55] p[56] p[57] p[58] p[59] p[5] p[60] p[61] p[62] p[63] p[64] p[65] p[66] p[67] p[68] p[69] p[6] p[70] p[71] p[72] p[73] p[74] p[75] p[76] p[77] p[78] p[79] p[7] p[80] p[81] p[82] p[83] p[84] p[85] p[86] p[87] p[88] p[89] p[8] p[90] p[91] p[92] p[93] p[94] p[95] p[96] p[97] p[98] p[99] p[9] v1[0] v1[1000] v1[1001] v1[1002] v1[1003] v1[1004] v1[1005] v1[1006] v1[1007] v1[1008] v1[1009] v1[100] v1[1010] v1[1011] v1[1012] v1[1013] v1[1014] v1[1015] v1[1016] v1[1017] v1[1018] v1[1019] v1[101] v1[1020] v1[1021] v1[1022] v1[1023] v1[1024] v1[1025] v1[1026] v1[1027] v1[1028] v1[1029] v1[102] v1[1030] v1[1031] v1[1032] v1[1033] v1[1034] v1[1035] v1[1036] v1[1037] v1[1038] v1[1039] v1[103] v1[1040] v1[1041] v1[1042] v1[1043] v1[1044] v1[1045] v1[1046] v1[1047] v1[1048] v1[1049] v1[104] v1[1050] v1[1051] v1[1052] v1[1053] v1[1054] v1[1055] v1[1056] v1[1057] v1[1058] v1[1059] v1[105] v1[1060] v1[1061] v1[1062] v1[1063] v1[1064] v1[1065] v1[1066] v1[1067] v1[1068] v1[1069] v1[106] v1[1070] v1[1071] v1[1072] v1[1073] v1[1074] v1[1075] v1[1076] v1[1077] v1[1078] v1[1079] v1[107] v1[1080] v1[1081] v1[1082] v1[1083] v1[1084] v1[1085] v1[1086] v1[1087] v1[1088] v1[1089] v1[108] v1[1090] v1[1091] v1[1092] v1[1093] v1[1094] v1[1095] v1[1096] v1[1097] v1[1098] v1[1099] v1[109] v1[10] v1[1100] v1[1101] v1[1102] v1[1103] v1[1104] v1[1105] v1[1106] v1[1107] v1[1108] v1[1109] v1[110] v1[1110] v1[1111] v1[1112] v1[1113] v1[1114] v1[1115] v1[1116] v1[1117] v1[1118] v1[1119] v1[111] v1[1120] v1[1121] v1[1122] v1[1123] v1[1124] v1[1125] v1[1126] v1[1127] v1[1128] v1[1129] v1[112] v1[1130] v1[113] v1[114] v1[115] v1[116] v1[117] v1[118] v1[119] v1[11] v1[120] v1[121] v1[122] v1[123] v1[124] v1[125] v1[126] v1[127] v1[128] v1[129] v1[12] v1[130] v1[131] v1[132] v1[133] v1[134] v1[135] v1[136] v1[137] v1[138] v1[139] v1[13] v1[140] v1[141] v1[142] v1[143] v1[144] v1[145] v1[146] v1[147] v1[148] v1[149] v1[14] v1[150] v1[151] v1[152] v1[153] v1[154] v1[155] v1[156] v1[157] v1[158] v1[159] v1[15] v1[160] v1[161] v1[162] v1[163] v1[164] v1[165] v1[166] v1[167] v1[168] v1[169] v1[16] v1[170] v1[171] v1[172] v1[173] v1[174] v1[175] v1[176] v1[177] v1[178] v1[179] v1[17] v1[180] v1[181] v1[182] v1[183] v1[184] v1[185] v1[186] v1[187] v1[188] v1[189] v1[18] v1[190] v1[191] v1[192] v1[193] v1[194] v1[195] v1[196] v1[197] v1[198] v1[199] v1[19] v1[1] v1[200] v1[201] v1[202] v1[203] v1[204] v1[205] v1[206] v1[207] v1[208] v1[209] v1[20] v1[210] v1[211] v1[212] v1[213] v1[214] v1[215] v1[216] v1[217] v1[218] v1[219] v1[21] v1[220] v1[221] v1[222] v1[223] v1[224] v1[225] v1[226] v1[227] v1[228] v1[229] v1[22] v1[230] v1[231] v1[232] v1[233] v1[234] v1[235] v1[236] v1[237] v1[238] v1[239] v1[23] v1[240] v1[241] v1[242] v1[243] v1[244] v1[245] v1[246] v1[247] v1[248] v1[249] v1[24] v1[250] v1[251] v1[252] v1[253] v1[254] v1[255] v1[256] v1[257] v1[258] v1[259] v1[25] v1[260] v1[261] v1[262] v1[263] v1[264] v1[265] v1[266] v1[267] v1[268] v1[269] v1[26] v1[270] v1[271] v1[272] v1[273] v1[274] v1[275] v1[276] v1[277] v1[278] v1[279] v1[27] v1[280] v1[281] v1[282] v1[283] v1[284] v1[285] v1[286] v1[287] v1[288] v1[289] v1[28] v1[290] v1[291] v1[292] v1[293] v1[294] v1[295] v1[296] v1[297] v1[298] v1[299] v1[29] v1[2] v1[300] v1[301] v1[302] v1[303] v1[304] v1[305] v1[306] v1[307] v1[308] v1[309] v1[30] v1[310] v1[311] v1[312] v1[313] v1[314] v1[315] v1[316] v1[317] v1[318] v1[319] v1[31] v1[320] v1[321] v1[322] v1[323] v1[324] v1[325] v1[326] v1[327] v1[328] v1[329] v1[32] v1[330] v1[331] v1[332] v1[333] v1[334] v1[335] v1[336] v1[337] v1[338] v1[339] v1[33] v1[340] v1[341] v1[342] v1[343] v1[344] v1[345] v1[346] v1[347] v1[348] v1[349] v1[34] v1[350] v1[351] v1[352] v1[353] v1[354] v1[355] v1[356] v1[357] v1[358] v1[359] v1[35] v1[360] v1[361] v1[362] v1[363] v1[364] v1[365] v1[366] v1[367] v1[368] v1[369] v1[36] v1[370] v1[371] v1[372] v1[373] v1[374] v1[375] v1[376] v1[377] v1[378] v1[379] v1[37] v1[380] v1[381] v1[382] v1[383] v1[384] v1[385] v1[386] v1[387] v1[388] v1[389] v1[38] v1[390] v1[391] v1[392] v1[393] v1[394] v1[395] v1[396] v1[397] v1[398] v1[399] v1[39] v1[3] v1[400] v1[401] v1[402] v1[403] v1[404] v1[405] v1[406] v1[407] v1[408] v1[409] v1[40] v1[410] v1[411] v1[412] v1[413] v1[414] v1[415] v1[416] v1[417] v1[418] v1[419] v1[41] v1[420] v1[421] v1[422] v1[423] v1[424] v1[425] v1[426] v1[427] v1[428] v1[429] v1[42] v1[430] v1[431] v1[432] v1[433] v1[434] v1[435] v1[436] v1[437] v1[438] v1[439] v1[43] v1[440] v1[441] v1[442] v1[443] v1[444] v1[445] v1[446] v1[447] v1[448] v1[449] v1[44] v1[450] v1[451] v1[452] v1[453] v1[454] v1[455] v1[456] v1[457] v1[458] v1[459] v1[45] v1[460] v1[461] v1[462] v1[463] v1[464] v1[465] v1[466] v1[467] v1[468] v1[469] v1[46] v1[470] v1[471] v1[472] v1[473] v1[474] v1[475] v1[476] v1[477] v1[478] v1[479] v1[47] v1[480] v1[481] v1[482] v1[483] v1[484] v1[485] v1[486] v1[487] v1[488] v1[489] v1[48] v1[490] v1[491] v1[492] v1[493] v1[494] v1[495] v1[496] v1[497] v1[498] v1[499] v1[49] v1[4] v1[500] v1[501] v1[502] v1[503] v1[504] v1[505] v1[506] v1[507] v1[508] v1[509] v1[50] v1[510] v1[511] v1[512] v1[513] v1[514] v1[515] v1[516] v1[517] v1[518] v1[519] v1[51] v1[520] v1[521] v1[522] v1[523] v1[524] v1[525] v1[526] v1[527] v1[528] v1[529] v1[52] v1[530] v1[531] v1[532] v1[533] v1[534] v1[535] v1[536] v1[537] v1[538] v1[539] v1[53] v1[540] v1[541] v1[542] v1[543] v1[544] v1[545] v1[546] v1[547] v1[548] v1[549] v1[54] v1[550] v1[551] v1[552] v1[553] v1[554] v1[555] v1[556] v1[557] v1[558] v1[559] v1[55] v1[560] v1[561] v1[562] v1[563] v1[564] v1[565] v1[566] v1[567] v1[568] v1[569] v1[56] v1[570] v1[571] v1[572] v1[573] v1[574] v1[575] v1[576] v1[577] v1[578] v1[579] v1[57] v1[580] v1[581] v1[582] v1[583] v1[584] v1[585] v1[586] v1[587] v1[588] v1[589] v1[58] v1[590] v1[591] v1[592] v1[593] v1[594] v1[595] v1[596] v1[597] v1[598] v1[599] v1[59] v1[5] v1[600] v1[601] v1[602] v1[603] v1[604] v1[605] v1[606] v1[607] v1[608] v1[609] v1[60] v1[610] v1[611] v1[612] v1[613] v1[614] v1[615] v1[616] v1[617] v1[618] v1[619] v1[61] v1[620] v1[621] v1[622] v1[623] v1[624] v1[625] v1[626] v1[627] v1[628] v1[629] v1[62] v1[630] v1[631] v1[632] v1[633] v1[634] v1[635] v1[636] v1[637] v1[638] v1[639] v1[63] v1[640] v1[641] v1[642] v1[643] v1[644] v1[645] v1[646] v1[647] v1[648] v1[649] v1[64] v1[650] v1[651] v1[652] v1[653] v1[654] v1[655] v1[656] v1[657] v1[658] v1[659] v1[65] v1[660] v1[661] v1[662] v1[663] v1[664] v1[665] v1[666] v1[667] v1[668] v1[669] v1[66] v1[670] v1[671] v1[672] v1[673] v1[674] v1[675] v1[676] v1[677] v1[678] v1[679] v1[67] v1[680] v1[681] v1[682] v1[683] v1[684] v1[685] v1[686] v1[687] v1[688] v1[689] v1[68] v1[690] v1[691] v1[692] v1[693] v1[694] v1[695] v1[696] v1[697] v1[698] v1[699] v1[69] v1[6] v1[700] v1[701] v1[702] v1[703] v1[704] v1[705] v1[706] v1[707] v1[708] v1[709] v1[70] v1[710] v1[711] v1[712] v1[713] v1[714] v1[715] v1[716] v1[717] v1[718] v1[719] v1[71] v1[720] v1[721] v1[722] v1[723] v1[724] v1[725] v1[726] v1[727] v1[728] v1[729] v1[72] v1[730] v1[731] v1[732] v1[733] v1[734] v1[735] v1[736] v1[737] v1[738] v1[739] v1[73] v1[740] v1[741] v1[742] v1[743] v1[744] v1[745] v1[746] v1[747] v1[748] v1[749] v1[74] v1[750] v1[751] v1[752] v1[753] v1[754] v1[755] v1[756] v1[757] v1[758] v1[759] v1[75] v1[760] v1[761] v1[762] v1[763] v1[764] v1[765] v1[766] v1[767] v1[768] v1[769] v1[76] v1[770] v1[771] v1[772] v1[773] v1[774] v1[775] v1[776] v1[777] v1[778] v1[779] v1[77] v1[780] v1[781] v1[782] v1[783] v1[784] v1[785] v1[786] v1[787] v1[788] v1[789] v1[78] v1[790] v1[791] v1[792] v1[793] v1[794] v1[795] v1[796] v1[797] v1[798] v1[799] v1[79] v1[7] v1[800] v1[801] v1[802] v1[803] v1[804] v1[805] v1[806] v1[807] v1[808] v1[809] v1[80] v1[810] v1[811] v1[812] v1[813] v1[814] v1[815] v1[816] v1[817] v1[818] v1[819] v1[81] v1[820] v1[821] v1[822] v1[823] v1[824] v1[825] v1[826] v1[827] v1[828] v1[829] v1[82] v1[830] v1[831] v1[832] v1[833] v1[834] v1[835] v1[836] v1[837] v1[838] v1[839] v1[83] v1[840] v1[841] v1[842] v1[843] v1[844] v1[845] v1[846] v1[847] v1[848] v1[849] v1[84] v1[850] v1[851] v1[852] v1[853] v1[854] v1[855] v1[856] v1[857] v1[858] v1[859] v1[85] v1[860] v1[861] v1[862] v1[863] v1[864] v1[865] v1[866] v1[867] v1[868] v1[869] v1[86] v1[870] v1[871] v1[872] v1[873] v1[874] v1[875] v1[876] v1[877] v1[878] v1[879] v1[87] v1[880] v1[881] v1[882] v1[883] v1[884] v1[885] v1[886] v1[887] v1[888] v1[889] v1[88] v1[890] v1[891] v1[892] v1[893] v1[894] v1[895] v1[896] v1[897] v1[898] v1[899] v1[89] v1[8] v1[900] v1[901] v1[902] v1[903] v1[904] v1[905] v1[906] v1[907] v1[908] v1[909] v1[90] v1[910] v1[911] v1[912] v1[913] v1[914] v1[915] v1[916] v1[917] v1[918] v1[919] v1[91] v1[920] v1[921] v1[922] v1[923] v1[924] v1[925] v1[926] v1[927] v1[928] v1[929] v1[92] v1[930] v1[931] v1[932] v1[933] v1[934] v1[935] v1[936] v1[937] v1[938] v1[939] v1[93] v1[940] v1[941] v1[942] v1[943] v1[944] v1[945] v1[946] v1[947] v1[948] v1[949] v1[94] v1[950] v1[951] v1[952] v1[953] v1[954] v1[955] v1[956] v1[957] v1[958] v1[959] v1[95] v1[960] v1[961] v1[962] v1[963] v1[964] v1[965] v1[966] v1[967] v1[968] v1[969] v1[96] v1[970] v1[971] v1[972] v1[973] v1[974] v1[975] v1[976] v1[977] v1[978] v1[979] v1[97] v1[980] v1[981] v1[982] v1[983] v1[984] v1[985] v1[986] v1[987] v1[988] v1[989] v1[98] v1[990] v1[991] v1[992] v1[993] v1[994] v1[995] v1[996] v1[997] v1[998] v1[999] v1[99] v1[9] v2[0] v2[1000] v2[1001] v2[1002] v2[1003] v2[1004] v2[1005] v2[1006] v2[1007] v2[1008] v2[1009] v2[100] v2[1010] v2[1011] v2[1012] v2[1013] v2[1014] v2[1015] v2[1016] v2[1017] v2[1018] v2[1019] v2[101] v2[1020] v2[1021] v2[1022] v2[1023] v2[1024] v2[1025] v2[1026] v2[1027] v2[1028] v2[1029] v2[102] v2[1030] v2[1031] v2[1032] v2[1033] v2[1034] v2[1035] v2[1036] v2[1037] v2[1038] v2[1039] v2[103] v2[1040] v2[1041] v2[1042] v2[1043] v2[1044] v2[1045] v2[1046] v2[1047] v2[1048] v2[1049] v2[104] v2[1050] v2[1051] v2[1052] v2[1053] v2[1054] v2[1055] v2[1056] v2[1057] v2[1058] v2[1059] v2[105] v2[1060] v2[1061] v2[1062] v2[1063] v2[1064] v2[1065] v2[1066] v2[1067] v2[1068] v2[1069] v2[106] v2[1070] v2[1071] v2[1072] v2[1073] v2[1074] v2[1075] v2[1076] v2[1077] v2[1078] v2[1079] v2[107] v2[1080] v2[1081] v2[1082] v2[1083] v2[1084] v2[1085] v2[1086] v2[1087] v2[1088] v2[1089] v2[108] v2[1090] v2[1091] v2[1092] v2[1093] v2[1094] v2[1095] v2[1096] v2[1097] v2[1098] v2[1099] v2[109] v2[10] v2[1100] v2[1101] v2[1102] v2[1103] v2[1104] v2[1105] v2[1106] v2[1107] v2[1108] v2[1109] v2[110] v2[1110] v2[1111] v2[1112] v2[1113] v2[1114] v2[1115] v2[1116] v2[1117] v2[1118] v2[1119] v2[111] v2[1120] v2[1121] v2[1122] v2[1123] v2[1124] v2[1125] v2[1126] v2[1127] v2[1128] v2[1129] v2[112] v2[1130] v2[113] v2[114] v2[115] v2[116] v2[117] v2[118] v2[119] v2[11] v2[120] v2[121] v2[122] v2[123] v2[124] v2[125] v2[126] v2[127] v2[128] v2[129] v2[12] v2[130] v2[131] v2[132] v2[133] v2[134] v2[135] v2[136] v2[137] v2[138] v2[139] v2[13] v2[140] v2[141] v2[142] v2[143] v2[144] v2[145] v2[146] v2[147] v2[148] v2[149] v2[14] v2[150] v2[151] v2[152] v2[153] v2[154] v2[155] v2[156] v2[157] v2[158] v2[159] v2[15] v2[160] v2[161] v2[162] v2[163] v2[164] v2[165] v2[166] v2[167] v2[168] v2[169] v2[16] v2[170] v2[171] v2[172] v2[173] v2[174] v2[175] v2[176] v2[177] v2[178] v2[179] v2[17] v2[180] v2[181] v2[182] v2[183] v2[184] v2[185] v2[186] v2[187] v2[188] v2[189] v2[18] v2[190] v2[191] v2[192] v2[193] v2[194] v2[195] v2[196] v2[197] v2[198] v2[199] v2[19] v2[1] v2[200] v2[201] v2[202] v2[203] v2[204] v2[205] v2[206] v2[207] v2[208] v2[209] v2[20] v2[210] v2[211] v2[212] v2[213] v2[214] v2[215] v2[216] v2[217] v2[218] v2[219] v2[21] v2[220] v2[221] v2[222] v2[223] v2[224] v2[225] v2[226] v2[227] v2[228] v2[229] v2[22] v2[230] v2[231] v2[232] v2[233] v2[234] v2[235] v2[236] v2[237] v2[238] v2[239] v2[23] v2[240] v2[241] v2[242] v2[243] v2[244] v2[245] v2[246] v2[247] v2[248] v2[249] v2[24] v2[250] v2[251] v2[252] v2[253] v2[254] v2[255] v2[256] v2[257] v2[258] v2[259] v2[25] v2[260] v2[261] v2[262] v2[263] v2[264] v2[265] v2[266] v2[267] v2[268] v2[269] v2[26] v2[270] v2[271] v2[272] v2[273] v2[274] v2[275] v2[276] v2[277] v2[278] v2[279] v2[27] v2[280] v2[281] v2[282] v2[283] v2[284] v2[285] v2[286] v2[287] v2[288] v2[289] v2[28] v2[290] v2[291] v2[292] v2[293] v2[294] v2[295] v2[296] v2[297] v2[298] v2[299] v2[29] v2[2] v2[300] v2[301] v2[302] v2[303] v2[304] v2[305] v2[306] v2[307] v2[308] v2[309] v2[30] v2[310] v2[311] v2[312] v2[313] v2[314] v2[315] v2[316] v2[317] v2[318] v2[319] v2[31] v2[320] v2[321] v2[322] v2[323] v2[324] v2[325] v2[326] v2[327] v2[328] v2[329] v2[32] v2[330] v2[331] v2[332] v2[333] v2[334] v2[335] v2[336] v2[337] v2[338] v2[339] v2[33] v2[340] v2[341] v2[342] v2[343] v2[344] v2[345] v2[346] v2[347] v2[348] v2[349] v2[34] v2[350] v2[351] v2[352] v2[353] v2[354] v2[355] v2[356] v2[357] v2[358] v2[359] v2[35] v2[360] v2[361] v2[362] v2[363] v2[364] v2[365] v2[366] v2[367] v2[368] v2[369] v2[36] v2[370] v2[371] v2[372] v2[373] v2[374] v2[375] v2[376] v2[377] v2[378] v2[379] v2[37] v2[380] v2[381] v2[382] v2[383] v2[384] v2[385] v2[386] v2[387] v2[388] v2[389] v2[38] v2[390] v2[391] v2[392] v2[393] v2[394] v2[395] v2[396] v2[397] v2[398] v2[399] v2[39] v2[3] v2[400] v2[401] v2[402] v2[403] v2[404] v2[405] v2[406] v2[407] v2[408] v2[409] v2[40] v2[410] v2[411] v2[412] v2[413] v2[414] v2[415] v2[416] v2[417] v2[418] v2[419] v2[41] v2[420] v2[421] v2[422] v2[423] v2[424] v2[425] v2[426] v2[427] v2[428] v2[429] v2[42] v2[430] v2[431] v2[432] v2[433] v2[434] v2[435] v2[436] v2[437] v2[438] v2[439] v2[43] v2[440] v2[441] v2[442] v2[443] v2[444] v2[445] v2[446] v2[447] v2[448] v2[449] v2[44] v2[450] v2[451] v2[452] v2[453] v2[454] v2[455] v2[456] v2[457] v2[458] v2[459] v2[45] v2[460] v2[461] v2[462] v2[463] v2[464] v2[465] v2[466] v2[467] v2[468] v2[469] v2[46] v2[470] v2[471] v2[472] v2[473] v2[474] v2[475] v2[476] v2[477] v2[478] v2[479] v2[47] v2[480] v2[481] v2[482] v2[483] v2[484] v2[485] v2[486] v2[487] v2[488] v2[489] v2[48] v2[490] v2[491] v2[492] v2[493] v2[494] v2[495] v2[496] v2[497] v2[498] v2[499] v2[49] v2[4] v2[500] v2[501] v2[502] v2[503] v2[504] v2[505] v2[506] v2[507] v2[508] v2[509] v2[50] v2[510] v2[511] v2[512] v2[513] v2[514] v2[515] v2[516] v2[517] v2[518] v2[519] v2[51] v2[520] v2[521] v2[522] v2[523] v2[524] v2[525] v2[526] v2[527] v2[528] v2[529] v2[52] v2[530] v2[531] v2[532] v2[533] v2[534] v2[535] v2[536] v2[537] v2[538] v2[539] v2[53] v2[540] v2[541] v2[542] v2[543] v2[544] v2[545] v2[546] v2[547] v2[548] v2[549] v2[54] v2[550] v2[551] v2[552] v2[553] v2[554] v2[555] v2[556] v2[557] v2[558] v2[559] v2[55] v2[560] v2[561] v2[562] v2[563] v2[564] v2[565] v2[566] v2[567] v2[568] v2[569] v2[56] v2[570] v2[571] v2[572] v2[573] v2[574] v2[575] v2[576] v2[577] v2[578] v2[579] v2[57] v2[580] v2[581] v2[582] v2[583] v2[584] v2[585] v2[586] v2[587] v2[588] v2[589] v2[58] v2[590] v2[591] v2[592] v2[593] v2[594] v2[595] v2[596] v2[597] v2[598] v2[599] v2[59] v2[5] v2[600] v2[601] v2[602] v2[603] v2[604] v2[605] v2[606] v2[607] v2[608] v2[609] v2[60] v2[610] v2[611] v2[612] v2[613] v2[614] v2[615] v2[616] v2[617] v2[618] v2[619] v2[61] v2[620] v2[621] v2[622] v2[623] v2[624] v2[625] v2[626] v2[627] v2[628] v2[629] v2[62] v2[630] v2[631] v2[632] v2[633] v2[634] v2[635] v2[636] v2[637] v2[638] v2[639] v2[63] v2[640] v2[641] v2[642] v2[643] v2[644] v2[645] v2[646] v2[647] v2[648] v2[649] v2[64] v2[650] v2[651] v2[652] v2[653] v2[654] v2[655] v2[656] v2[657] v2[658] v2[659] v2[65] v2[660] v2[661] v2[662] v2[663] v2[664] v2[665] v2[666] v2[667] v2[668] v2[669] v2[66] v2[670] v2[671] v2[672] v2[673] v2[674] v2[675] v2[676] v2[677] v2[678] v2[679] v2[67] v2[680] v2[681] v2[682] v2[683] v2[684] v2[685] v2[686] v2[687] v2[688] v2[689] v2[68] v2[690] v2[691] v2[692] v2[693] v2[694] v2[695] v2[696] v2[697] v2[698] v2[699] v2[69] v2[6] v2[700] v2[701] v2[702] v2[703] v2[704] v2[705] v2[706] v2[707] v2[708] v2[709] v2[70] v2[710] v2[711] v2[712] v2[713] v2[714] v2[715] v2[716] v2[717] v2[718] v2[719] v2[71] v2[720] v2[721] v2[722] v2[723] v2[724] v2[725] v2[726] v2[727] v2[728] v2[729] v2[72] v2[730] v2[731] v2[732] v2[733] v2[734] v2[735] v2[736] v2[737] v2[738] v2[739] v2[73] v2[740] v2[741] v2[742] v2[743] v2[744] v2[745] v2[746] v2[747] v2[748] v2[749] v2[74] v2[750] v2[751] v2[752] v2[753] v2[754] v2[755] v2[756] v2[757] v2[758] v2[759] v2[75] v2[760] v2[761] v2[762] v2[763] v2[764] v2[765] v2[766] v2[767] v2[768] v2[769] v2[76] v2[770] v2[771] v2[772] v2[773] v2[774] v2[775] v2[776] v2[777] v2[778] v2[779] v2[77] v2[780] v2[781] v2[782] v2[783] v2[784] v2[785] v2[786] v2[787] v2[788] v2[789] v2[78] v2[790] v2[791] v2[792] v2[793] v2[794] v2[795] v2[796] v2[797] v2[798] v2[799] v2[79] v2[7] v2[800] v2[801] v2[802] v2[803] v2[804] v2[805] v2[806] v2[807] v2[808] v2[809] v2[80] v2[810] v2[811] v2[812] v2[813] v2[814] v2[815] v2[816] v2[817] v2[818] v2[819] v2[81] v2[820] v2[821] v2[822] v2[823] v2[824] v2[825] v2[826] v2[827] v2[828] v2[829] v2[82] v2[830] v2[831] v2[832] v2[833] v2[834] v2[835] v2[836] v2[837] v2[838] v2[839] v2[83] v2[840] v2[841] v2[842] v2[843] v2[844] v2[845] v2[846] v2[847] v2[848] v2[849] v2[84] v2[850] v2[851] v2[852] v2[853] v2[854] v2[855] v2[856] v2[857] v2[858] v2[859] v2[85] v2[860] v2[861] v2[862] v2[863] v2[864] v2[865] v2[866] v2[867] v2[868] v2[869] v2[86] v2[870] v2[871] v2[872] v2[873] v2[874] v2[875] v2[876] v2[877] v2[878] v2[879] v2[87] v2[880] v2[881] v2[882] v2[883] v2[884] v2[885] v2[886] v2[887] v2[888] v2[889] v2[88] v2[890] v2[891] v2[892] v2[893] v2[894] v2[895] v2[896] v2[897] v2[898] v2[899] v2[89] v2[8] v2[900] v2[901] v2[902] v2[903] v2[904] v2[905] v2[906] v2[907] v2[908] v2[909] v2[90] v2[910] v2[911] v2[912] v2[913] v2[914] v2[915] v2[916] v2[917] v2[918] v2[919] v2[91] v2[920] v2[921] v2[922] v2[923] v2[924] v2[925] v2[926] v2[927] v2[928] v2[929] v2[92] v2[930] v2[931] v2[932] v2[933] v2[934] v2[935] v2[936] v2[937] v2[938] v2[939] v2[93] v2[940] v2[941] v2[942] v2[943] v2[944] v2[945] v2[946] v2[947] v2[948] v2[949] v2[94] v2[950] v2[951] v2[952] v2[953] v2[954] v2[955] v2[956] v2[957] v2[958] v2[959] v2[95] v2[960] v2[961] v2[962] v2[963] v2[964] v2[965] v2[966] v2[967] v2[968] v2[969] v2[96] v2[970] v2[971] v2[972] v2[973] v2[974] v2[975] v2[976] v2[977] v2[978] v2[979] v2[97] v2[980] v2[981] v2[982] v2[983] v2[984] v2[985] v2[986] v2[987] v2[988] v2[989] v2[98] v2[990] v2[991] v2[992] v2[993] v2[994] v2[995] v2[996] v2[997] v2[998] v2[999] v2[99] v2[9] </list> 2520.02/2519.90 v <values>620 88 544 60 32 256 24 56 216 496 448 652 76 288 264 72 196 360 192 412 48 204 292 316 168 236 396 388 604 288 224 224 264 460 216 40 240 492 364 20 72 184 480 392 240 228 200 200 292 412 16 164 188 200 188 60 92 84 132 108 180 36 600 84 40 80 216 236 228 124 168 228 272 564 200 68 64 44 344 108 64 284 124 140 108 260 212 212 208 300 116 120 124 72 244 108 104 216 24 416 96 40 260 216 472 40 172 116 68 296 176 148 72 164 260 180 352 64 44 180 168 56 68 208 180 236 88 112 520 140 124 180 256 320 536 36 92 36 364 592 56 280 156 112 444 396 444 404 216 44 348 36 80 84 156 352 92 648 252 288 264 500 320 584 124 204 284 368 452 412 636 676 296 172 36 124 88 24 212 228 196 68 100 548 492 36 112 40 136 12 240 324 56 220 248 28 384 112 60 272 76 108 216 156 260 188 180 228 96 60 40 432 36 236 72 20 220 456 368 480 540 540 508 316 632 168 488 132 232 488 204 268 132 148 184 220 300 356 72 440 224 240 400 400 268 168 16 400 188 400 164 172 204 264 272 40 520 136 280 68 324 148 44 184 176 108 240 68 352 308 80 560 440 480 116 32 192 388 128 684 288 488 444 324 16 480 240 44 16 88 304 360 8 552 48 604 208 364 244 236 228 320 36 56 320 20 372 132 556 32 116 252 44 196 232 384 232 464 188 328 412 312 312 568 176 488 180 72 444 432 496 236 656 36 16 300 416 16 656 436 368 460 208 36 20 200 120 16 620 492 452 244 80 252 264 200 156 492 340 248 208 584 68 368 60 320 36 176 56 224 60 348 404 36 444 128 596 156 352 648 236 32 108 148 116 164 288 104 288 344 24 284 20 96 32 392 176 460 80 64 120 144 212 184 188 552 440 248 380 160 216 332 208 424 332 116 200 108 160 472 416 284 356 368 284 424 84 392 352 40 248 152 92 172 80 500 172 144 60 24 356 88 240 256 672 324 288 448 8 636 432 36 208 192 488 232 404 404 328 132 48 424 120 96 364 28 204 396 568 296 588 612 380 620 172 40 628 80 16 52 188 584 464 456 200 180 432 296 216 132 48 136 176 424 84 300 168 460 324 236 300 72 236 96 64 392 448 488 316 640 200 296 496 332 32 380 172 344 268 108 72 380 208 424 332 108 388 172 112 208 404 44 40 56 264 680 220 232 632 308 560 176 596 144 460 584 312 96 256 96 104 112 68 368 468 212 304 280 308 452 524 368 40 508 60 244 116 52 168 448 48 120 256 84 304 80 536 64 608 220 4 96 40 188 184 104 176 428 144 196 332 564 556 280 16 396 232 312 36 332 76 204 308 316 56 612 216 416 580 420 200 600 284 168 416 24 184 196 96 420 260 308 460 228 552 292 268 240 100 364 416 352 156 464 240 376 52 292 92 200 280 272 92 304 116 100 316 12 32 68 264 184 232 316 128 240 48 208 248 300 396 380 64 592 76 208 104 252 304 56 364 72 208 56 252 72 216 332 140 572 292 84 180 204 100 548 380 140 172 416 256 68 32 264 284 380 376 324 416 220 268 56 64 156 72 104 116 80 56 396 400 276 420 324 220 40 332 592 172 40 200 284 132 148 88 284 264 8 52 92 308 200 104 96 284 180 12 412 88 376 104 268 412 76 396 148 240 456 364 140 420 280 436 312 212 12 212 264 40 176 132 280 508 260 124 440 68 132 84 328 192 364 288 92 116 400 88 160 128 104 540 160 324 108 592 116 520 548 72 36 172 272 8 252 116 288 248 252 164 308 84 200 108 292 124 252 36 40 276 56 8 80 272 260 204 280 120 208 360 520 284 108 132 136 16 516 440 244 344 360 120 616 300 468 40 28 124 96 100 192 352 76 252 64 520 320 604 156 80 68 116 164 272 40 304 672 348 452 384 680 132 636 272 24 128 40 152 148 260 208 276 188 168 368 160 148 80 376 172 268 88 304 64 332 272 312 12 172 376 156 100 96 16 112 96 200 120 88 332 400 64 212 176 492 132 300 76 192 28 36 452 52 136 44 364 28 172 28 548 120 380 260 100 64 372 636 452 232 256 352 92 452 20 524 80 236 44 172 80 168 64 404 316 548 332 108 632 412 516 208 80 268 588 356 196 364 312 196 112 376 96 448 64 616 160 220 448 8 620 632 432 36 68 232 396 472 40 384 76 192 104 348 124 296 308 384 264 68 56 416 412 308 136 36 316 368 16 156 332 116 132 92 76 136 200 36 112 308 136 180 84 264 32 64 16 324 396 196 192 28 216 132 472 332 348 344 384 144 252 556 20 160 196 144 456 92 188 16 452 428 164 28 432 432 204 488 16 172 272 44 24 200 216 172 84 84 4 308 72 128 532 440 84 48 168 352 352 392 112 132 308 68 68 108 64 112 48 272 300 200 540 380 48 32 164 352 104 204 148 72 44 380 56 540 224 172 348 96 172 252 12 168 204 148 84 268 28 84 292 16 132 628 548 640 680 440 44 272 160 212 256 16 64 72 68 100 276 12 68 356 12 2232 2860 2344 2476 2824 2504 2220 2644 2352 2524 2344 2336 2596 2812 2544 2420 2304 2304 2616 2220 2304 2312 2664 2892 2584 2260 2380 2892 2412 2568 2672 2576 2260 2284 2576 2440 2504 2304 2608 2220 2312 2604 2356 2444 2260 2344 2692 2268 2544 2756 2612 2612 2500 2584 2344 2328 2480 2304 2316 2584 2520 2572 2528 2544 2900 2648 2664 2372 2616 2644 2640 2544 2284 2444 2260 2336 2836 2264 2612 2912 2536 2220 2828 2484 2260 2884 2724 2392 2896 2744 2272 2516 2388 2352 2256 2372 2560 2796 2628 2600 2784 2260 2412 2544 2628 2668 2576 2436 2260 2480 2304 2428 2716 2372 2376 2856 2356 2436 2684 2412 2672 2628 2652 2540 2544 2456 2332 2452 2440 2504 2552 2476 2488 2480 2220 2332 2332 2520 2224 2624 2260 2316 2540 2368 2852 2720 2772 2260 2220 2572 2220 2416 2552 2500 2460 2404 2500 2304 2592 2616 2856 2852 2756 2260 2244 2684 2844 2812 2412 2304 2612 2228 2816 2308 2632 2376 2452 2372 2788 2236 2344 2276 2264 2732 2652 2324 2624 2772 2644 2220 2352 2392 2892 2708 2588 2872 2272 2396 2220 2576 2220 2648 2484 2900 2612 2352 2784 2668 2220 2688 2296 2300 2860 2528 2812 2708 2452 2636 2536 2652 2512 2608 2552 2876 2344 2684 2636 2304 2568 2836 2796 2260 2504 2312 2544 2680 2624 2344 2712 2344 2668 2852 2268 2592 2504 2340 2576 2676 2588 2852 7 1 1 0 0 1 0 1 0 1 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 1 1 1 1 0 0 0 0 1 0 1 1 0 0 1 1 1 0 0 0 0 0 1 1 1 1 1 1 0 1 0 1 1 1 0 0 0 0 1 0 0 0 1 1 0 1 0 1 0 0 1 0 0 0 1 0 0 1 1 0 1 0 1 1 0 0 1 0 0 1 0 1 1 1 0 1 0 1 1 1 1 0 0 0 0 0 1 1 1 1 0 1 0 0 0 1 1 0 1 0 1 1 0 1 1 1 0 0 1 0 1 1 1 0 1 1 1 0 1 0 0 0 1 1 0 1 0 0 0 1 1 1 0 0 1 0 0 1 0 0 1 1 0 0 0 0 0 0 0 1 1 0 0 0 0 1 1 1 1 0 0 0 0 1 0 1 1 1 1 0 0 0 0 0 0 1 0 1 1 0 1 0 1 0 0 1 0 0 0 1 0 1 1 0 1 1 1 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 1 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 0 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 0 0 0 0 0 0 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 0 0 0 0 0 0 0 0 0 0 0 0 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 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 0 0 0 0 0 0 0 0 0 0 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 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 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 1 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 2 6 6 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 1 4 0 0 1 6 0 0 5 0 6 0 1 0 0 0 0 0 0 1 0 0 6 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 1 0 0 1 1 0 0 0 0 0 0 0 1 0 6 0 0 0 0 1 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 4 0 0 1 1 4 1 6 0 0 0 0 4 0 0 3 0 0 1 0 0 0 1 5 0 1 0 0 0 0 1 6 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 3 0 0 0 0 4 0 0 5 0 0 0 0 0 0 0 0 1 0 0 0 0 6 0 0 0 6 0 0 0 0 0 0 0 0 2 1 1 0 0 0 1 0 0 0 0 0 3 0 1 0 0 0 1 0 6 0 1 0 0 1 0 0 0 0 0 1 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 1 6 0 0 0 0 1 0 0 6 5 6 0 6 0 5 1 0 0 0 1 6 0 0 0 0 0 0 0 0 3 0 0 0 1 0 1 0 0 3 0 1 1 0 0 6 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 6 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 5 0 0 0 1 1 6 1 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 1 1 1 1 0 6 2 6 0 1 1 0 0 0 0 1 0 0 3 0 0 0 0 0 0 1 3 0 0 0 4 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 1 0 3 0 0 1 1 3 0 0 2 0 0 0 6 3 0 0 0 0 1 0 1 0 0 1 0 1 0 0 6 0 1 0 0 0 4 0 0 1 1 0 1 0 6 0 0 0 0 6 1 0 3 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 4 1 6 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 5 0 0 1 0 0 0 1 0 0 0 6 1 1 1 6 2 6 0 0 5 0 0 0 0 6 0 1 0 0 0 0 0 0 0 0 0 0 0 0 5 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 2 0 0 1 1 0 3 0 6 0 1 0 0 2 6 0 0 3 1 0 0 1 1 0 1 0 0 0 0 0 1 0 0 0 0 6 1 6 0 0 0 1 0 0 0 0 0 2 0 6 0 1 6 0 0 0 1 0 2 6 1 1 6 0 0 0 1 0 0 1 0 0 0 0 0 1 0 5 0 0 6 0 3 0 5 0 0 6 0 3 0 0 0 1 2 0 1 0 6 0 0 0 0 0 3 0 0 0 2 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 6 1 6 0 0 2 0 4 0 0 0 0 0 0 1 1 1 0 0 0 0 3 0 5 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 5 0 0 1 3 0 1 0 4 0 1 1 0 0 0 0 0 0 1 1 0 1 0 1 6 0 0 1 1 0 0 6 0 0 0 6 0 0 0 0 0 0 0 0 3 0 2 0 0 0 0 5 0 0 4 0 0 0 0 0 0 0 0 0 6 1 0 1 1 5 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 1 0 0 0 0 0 1 0 6 0 0 0 4 0 0 1 4 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 4 1 6 0 1 0 0 0 0 1 0 0 0 0 0 0 1 6 4 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 6 1 0 0 0 1 5 1 0 0 0 0 0 0 1 0 0 0 0 0 0 3 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 3 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 4 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 1 6 0 0 1 0 0 0 1 0 0 3 0 0 4 0 0 5 0 0 0 0 0 0 1 1 6 0 0 3 0 6 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 6 0 5 0 0 1 0 0 0 0 0 0 </values> 2520.02/2519.90 v </instantiation> 2520.02/2519.90
OK 89983130
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 (6382 MiB free)
memory of node 1: 16384 MiB (11103 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4299032-1532783690/watcher-4299032-1532783690 -o /tmp/evaluation-result-4299032-1532783690/solver-4299032-1532783690 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1532776049-11498 --watchdog 2580 HOME/cosoco -lc -model -restarts HOME/instance-4299032-1532783690.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=12254, runsolver pid=12251
[startup+0.100169 s]*
/proc/loadavg: 2.34 2.11 2.09 3/188 12255
/proc/meminfo: memFree=17888440/32770624 swapFree=67108860/67108860
[pid=12254] ppid=12251 vsize=44484 memory=20632 CPUtime=0.1 cores=1,3,5,7
/proc/12254/stat : 12254 (cosoco) R 12251 12254 11466 0 -1 4202496 5363 0 0 0 10 0 0 0 20 0 1 0 95932357 45551616 5158 33554432000 4194304 6142532 140736506044192 140736506040824 140451298310048 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 8243016 8247936 23478272 140736506049670 140736506049800 140736506049800 140736506052558 0
/proc/12254/statm: 11121 5158 790 476 0 4443 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 44484 KiB
Current children cumulated memory: 20632 KiB
[startup+0.209941 s]*
/proc/loadavg: 2.34 2.11 2.09 3/188 12255
/proc/meminfo: memFree=17883112/32770624 swapFree=67108860/67108860
[pid=12254] ppid=12251 vsize=49364 memory=25472 CPUtime=0.21 cores=1,3,5,7
/proc/12254/stat : 12254 (cosoco) R 12251 12254 11466 0 -1 4202496 6596 0 0 0 21 0 0 0 20 0 1 0 95932357 50548736 6368 33554432000 4194304 6142532 140736506044192 140736506039112 140451298700288 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 8243016 8247936 23478272 140736506049670 140736506049800 140736506049800 140736506052558 0
/proc/12254/statm: 12341 6368 790 476 0 5663 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 49364 KiB
Current children cumulated memory: 25472 KiB
[startup+0.309565 s]*
/proc/loadavg: 2.34 2.11 2.09 3/188 12255
/proc/meminfo: memFree=17880764/32770624 swapFree=67108860/67108860
[pid=12254] ppid=12251 vsize=52380 memory=28572 CPUtime=0.3 cores=1,3,5,7
/proc/12254/stat : 12254 (cosoco) R 12251 12254 11466 0 -1 4202496 7745 0 0 0 30 0 0 0 20 0 1 0 95932357 53637120 7143 33554432000 4194304 6142532 140736506044192 140736506039112 5801854 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 8243016 8247936 23478272 140736506049670 140736506049800 140736506049800 140736506052558 0
/proc/12254/statm: 13095 7143 791 476 0 6417 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 52380 KiB
Current children cumulated memory: 28572 KiB
[startup+0.700298 s]
/proc/loadavg: 2.34 2.11 2.09 3/188 12255
/proc/meminfo: memFree=17877292/32770624 swapFree=67108860/67108860
[pid=12254] ppid=12251 vsize=56708 memory=32528 CPUtime=0.69 cores=1,3,5,7
/proc/12254/stat : 12254 (cosoco) R 12251 12254 11466 0 -1 4202496 8784 0 0 0 69 0 0 0 20 0 1 0 95932357 58068992 8132 33554432000 4194304 6142532 140736506044192 140736506040840 5801107 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 8243016 8247936 23478272 140736506049670 140736506049800 140736506049800 140736506052558 0
/proc/12254/statm: 14177 8132 791 476 0 7499 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 56708 KiB
Current children cumulated memory: 32528 KiB
[startup+1.5003 s]
/proc/loadavg: 2.34 2.11 2.09 3/188 12255
/proc/meminfo: memFree=17872860/32770624 swapFree=67108860/67108860
[pid=12254] ppid=12251 vsize=65964 memory=41240 CPUtime=1.48 cores=1,3,5,7
/proc/12254/stat : 12254 (cosoco) R 12251 12254 11466 0 -1 4202496 10967 0 0 0 148 0 0 0 20 0 1 0 95932357 67547136 10310 33554432000 4194304 6142532 140736506044192 140736506040840 5802418 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 8243016 8247936 23478272 140736506049670 140736506049800 140736506049800 140736506052558 0
/proc/12254/statm: 16491 10310 791 476 0 9813 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 65964 KiB
Current children cumulated memory: 41240 KiB
[startup+3.10976 s]
/proc/loadavg: 2.34 2.11 2.09 3/188 12255
/proc/meminfo: memFree=17850044/32770624 swapFree=67108860/67108860
[pid=12254] ppid=12251 vsize=85000 memory=59368 CPUtime=3.1 cores=1,3,5,7
/proc/12254/stat : 12254 (cosoco) R 12251 12254 11466 0 -1 4202496 16309 0 0 0 309 1 0 0 20 0 1 0 95932357 87040000 14842 33554432000 4194304 6142532 140736506044192 140736506040840 5205737 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 8243016 8247936 23478272 140736506049670 140736506049800 140736506049800 140736506052558 0
/proc/12254/statm: 21250 14842 791 476 0 14572 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 85000 KiB
Current children cumulated memory: 59368 KiB
[startup+6.30029 s]
/proc/loadavg: 2.39 2.13 2.09 3/188 12255
/proc/meminfo: memFree=17777840/32770624 swapFree=67108860/67108860
[pid=12254] ppid=12251 vsize=120092 memory=92732 CPUtime=6.29 cores=1,3,5,7
/proc/12254/stat : 12254 (cosoco) R 12251 12254 11466 0 -1 4202496 25571 0 0 0 627 2 0 0 20 0 1 0 95932357 122974208 23183 33554432000 4194304 6142532 140736506044192 140736506040840 5403315 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 8243016 8247936 23478272 140736506049670 140736506049800 140736506049800 140736506052558 0
/proc/12254/statm: 30023 23183 791 476 0 23345 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 120092 KiB
Current children cumulated memory: 92732 KiB
[startup+12.7003 s]
/proc/loadavg: 2.44 2.14 2.10 3/187 12255
/proc/meminfo: memFree=17753764/32770624 swapFree=67108860/67108860
[pid=12254] ppid=12251 vsize=192356 memory=161120 CPUtime=12.69 cores=1,3,5,7
/proc/12254/stat : 12254 (cosoco) R 12251 12254 11466 0 -1 4202496 44344 0 0 0 1264 5 0 0 20 0 1 0 95932357 196972544 40280 33554432000 4194304 6142532 140736506044192 140736506040840 5802412 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 8243016 8247936 23478272 140736506049670 140736506049800 140736506049800 140736506052558 0
/proc/12254/statm: 48089 40280 791 476 0 41411 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 192356 KiB
Current children cumulated memory: 161120 KiB
[startup+25.5003 s]
/proc/loadavg: 2.34 2.14 2.10 3/187 12255
/proc/meminfo: memFree=17616232/32770624 swapFree=67108860/67108860
[pid=12254] ppid=12251 vsize=336012 memory=296928 CPUtime=25.49 cores=1,3,5,7
/proc/12254/stat : 12254 (cosoco) R 12251 12254 11466 0 -1 4202496 80992 0 0 0 2540 9 0 0 20 0 1 0 95932357 344076288 74232 33554432000 4194304 6142532 140736506044192 140736506040840 5404952 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 8243016 8247936 23478272 140736506049670 140736506049800 140736506049800 140736506052558 0
/proc/12254/statm: 84003 74232 791 476 0 77325 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 336012 KiB
Current children cumulated memory: 296928 KiB
[startup+51.1098 s]
/proc/loadavg: 2.23 2.12 2.09 3/187 12255
/proc/meminfo: memFree=17340040/32770624 swapFree=67108860/67108860
[pid=12254] ppid=12251 vsize=622180 memory=567724 CPUtime=51.11 cores=1,3,5,7
/proc/12254/stat : 12254 (cosoco) R 12251 12254 11466 0 -1 4202496 150483 0 0 0 5092 19 0 0 20 0 1 0 95932357 637112320 141931 33554432000 4194304 6142532 140736506044192 140736506040840 5801705 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 8243016 8247936 23478272 140736506049670 140736506049800 140736506049800 140736506052558 0
/proc/12254/statm: 155545 141931 791 476 0 148867 0
Current children cumulated CPU time: 51.11 s
Current children cumulated vsize: 622180 KiB
Current children cumulated memory: 567724 KiB
[startup+102.3 s]
/proc/loadavg: 2.10 2.11 2.09 3/187 12256
/proc/meminfo: memFree=16791504/32770624 swapFree=67108860/67108860
[pid=12254] ppid=12251 vsize=1196380 memory=1112308 CPUtime=102.29 cores=1,3,5,7
/proc/12254/stat : 12254 (cosoco) R 12251 12254 11466 0 -1 4202496 288287 0 0 0 10190 39 0 0 20 0 1 0 95932357 1225093120 278077 33554432000 4194304 6142532 140736506044192 140736506040840 5800116 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 8243016 8247936 23478272 140736506049670 140736506049800 140736506049800 140736506052558 0
/proc/12254/statm: 299095 278077 791 476 0 292417 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 1196380 KiB
Current children cumulated memory: 1112308 KiB
[startup+162.3 s]
/proc/loadavg: 1.80 2.02 2.06 6/200 12286
/proc/meminfo: memFree=12288304/32770624 swapFree=67108860/67108860
[pid=12254] ppid=12251 vsize=1876672 memory=1775492 CPUtime=162.3 cores=1,3,5,7
/proc/12254/stat : 12254 (cosoco) R 12251 12254 11466 0 -1 4202496 798632 0 0 0 16156 74 0 0 20 0 1 0 95932357 1921712128 443873 33554432000 4194304 6142532 140736506044192 140736506041016 5017806 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 23478272 140736506049670 140736506049800 140736506049800 140736506052558 0
/proc/12254/statm: 469168 443873 848 476 0 462490 0
Current children cumulated CPU time: 162.3 s
Current children cumulated vsize: 1876672 KiB
Current children cumulated memory: 1775492 KiB
[startup+222.3 s]
/proc/loadavg: 2.01 2.05 2.07 3/187 12322
/proc/meminfo: memFree=18223264/32770624 swapFree=67108860/67108860
[pid=12254] ppid=12251 vsize=1904868 memory=1808576 CPUtime=222.28 cores=1,3,5,7
/proc/12254/stat : 12254 (cosoco) R 12251 12254 11466 0 -1 4202496 1016551 0 0 0 22143 85 0 0 20 0 1 0 95932357 1950584832 452144 33554432000 4194304 6142532 140736506044192 140736506040904 5013950 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 23478272 140736506049670 140736506049800 140736506049800 140736506052558 0
/proc/12254/statm: 476217 452144 848 476 0 469539 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 1904868 KiB
Current children cumulated memory: 1808576 KiB
[startup+282.3 s]
/proc/loadavg: 1.95 2.02 2.05 3/187 12323
/proc/meminfo: memFree=18197904/32770624 swapFree=67108860/67108860
[pid=12254] ppid=12251 vsize=1925300 memory=1833548 CPUtime=282.29 cores=1,3,5,7
/proc/12254/stat : 12254 (cosoco) R 12251 12254 11466 0 -1 4202496 1328381 0 0 0 28131 98 0 0 20 0 1 0 95932357 1971507200 458387 33554432000 4194304 6142532 140736506044192 140736506040904 5329966 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 23478272 140736506049670 140736506049800 140736506049800 140736506052558 0
/proc/12254/statm: 481325 458387 848 476 0 474647 0
Current children cumulated CPU time: 282.29 s
Current children cumulated vsize: 1925300 KiB
Current children cumulated memory: 1833548 KiB
[startup+342.3 s]
/proc/loadavg: 1.98 2.02 2.05 3/188 12332
/proc/meminfo: memFree=18187184/32770624 swapFree=67108860/67108860
[pid=12254] ppid=12251 vsize=1929944 memory=1843136 CPUtime=342.29 cores=1,3,5,7
/proc/12254/stat : 12254 (cosoco) R 12251 12254 11466 0 -1 4202496 1637237 0 0 0 34118 111 0 0 20 0 1 0 95932357 1976262656 460784 33554432000 4194304 6142532 140736506044192 140736506041720 5017767 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 23478272 140736506049670 140736506049800 140736506049800 140736506052558 0
/proc/12254/statm: 482486 460784 850 476 0 475808 0
Current children cumulated CPU time: 342.29 s
Current children cumulated vsize: 1929944 KiB
Current children cumulated memory: 1843136 KiB
[startup+402.3 s]
/proc/loadavg: 1.99 2.01 2.05 3/188 12333
/proc/meminfo: memFree=18182236/32770624 swapFree=67108860/67108860
[pid=12254] ppid=12251 vsize=1929944 memory=1848488 CPUtime=402.3 cores=1,3,5,7
/proc/12254/stat : 12254 (cosoco) R 12251 12254 11466 0 -1 4202496 1798149 0 0 0 40111 119 0 0 20 0 1 0 95932357 1976262656 462122 33554432000 4194304 6142532 140736506044192 140736506041720 5017767 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 23478272 140736506049670 140736506049800 140736506049800 140736506052558 0
/proc/12254/statm: 482486 462122 850 476 0 475808 0
Current children cumulated CPU time: 402.3 s
Current children cumulated vsize: 1929944 KiB
Current children cumulated memory: 1848488 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 12334
/proc/meminfo: memFree=18176968/32770624 swapFree=67108860/67108860
[pid=12254] ppid=12251 vsize=1929944 memory=1853816 CPUtime=462.3 cores=1,3,5,7
/proc/12254/stat : 12254 (cosoco) R 12251 12254 11466 0 -1 4202496 2223332 0 0 0 46093 137 0 0 20 0 1 0 95932357 1976262656 463454 33554432000 4194304 6142532 140736506044192 140736506041720 5017767 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 23478272 140736506049670 140736506049800 140736506049800 140736506052558 0
/proc/12254/statm: 482486 463454 850 476 0 475808 0
Current children cumulated CPU time: 462.3 s
Current children cumulated vsize: 1929944 KiB
Current children cumulated memory: 1853816 KiB
################
# More data... #
################
/proc/12254/statm: 483632 477599 850 476 0 476954 0
Current children cumulated CPU time: 1782.37 s
Current children cumulated vsize: 1934528 KiB
Current children cumulated memory: 1910396 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 12375
/proc/meminfo: memFree=18120144/32770624 swapFree=67108860/67108860
[pid=12254] ppid=12251 vsize=1934528 memory=1910396 CPUtime=1842.37 cores=1,3,5,7
/proc/12254/stat : 12254 (cosoco) R 12251 12254 11466 0 -1 4202496 3388572 0 0 0 184045 192 0 0 20 0 1 0 95932357 1980956672 477599 33554432000 4194304 6142532 140736506044192 140736506041720 5140084 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 23478272 140736506049670 140736506049800 140736506049800 140736506052558 0
/proc/12254/statm: 483632 477599 850 476 0 476954 0
Current children cumulated CPU time: 1842.37 s
Current children cumulated vsize: 1934528 KiB
Current children cumulated memory: 1910396 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 12376
/proc/meminfo: memFree=18119652/32770624 swapFree=67108860/67108860
[pid=12254] ppid=12251 vsize=1934956 memory=1910800 CPUtime=1902.37 cores=1,3,5,7
/proc/12254/stat : 12254 (cosoco) R 12251 12254 11466 0 -1 4202496 3391523 0 0 0 190045 192 0 0 20 0 1 0 95932357 1981394944 477700 33554432000 4194304 6142532 140736506044192 140736506031464 5017767 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 23478272 140736506049670 140736506049800 140736506049800 140736506052558 0
/proc/12254/statm: 483739 477700 850 476 0 477061 0
Current children cumulated CPU time: 1902.37 s
Current children cumulated vsize: 1934956 KiB
Current children cumulated memory: 1910800 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 12377
/proc/meminfo: memFree=18119640/32770624 swapFree=67108860/67108860
[pid=12254] ppid=12251 vsize=1934956 memory=1910800 CPUtime=1962.38 cores=1,3,5,7
/proc/12254/stat : 12254 (cosoco) R 12251 12254 11466 0 -1 4202496 3393105 0 0 0 196046 192 0 0 20 0 1 0 95932357 1981394944 477700 33554432000 4194304 6142532 140736506044192 140736506031464 5017549 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 23478272 140736506049670 140736506049800 140736506049800 140736506052558 0
/proc/12254/statm: 483739 477700 850 476 0 477061 0
Current children cumulated CPU time: 1962.38 s
Current children cumulated vsize: 1934956 KiB
Current children cumulated memory: 1910800 KiB
[startup+2022.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/187 12378
/proc/meminfo: memFree=18119448/32770624 swapFree=67108860/67108860
[pid=12254] ppid=12251 vsize=1934956 memory=1910800 CPUtime=2022.38 cores=1,3,5,7
/proc/12254/stat : 12254 (cosoco) R 12251 12254 11466 0 -1 4202496 3394924 0 0 0 202046 192 0 0 20 0 1 0 95932357 1981394944 477700 33554432000 4194304 6142532 140736506044192 140736506031464 5017790 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 23478272 140736506049670 140736506049800 140736506049800 140736506052558 0
/proc/12254/statm: 483739 477700 850 476 0 477061 0
Current children cumulated CPU time: 2022.38 s
Current children cumulated vsize: 1934956 KiB
Current children cumulated memory: 1910800 KiB
[startup+2082.3 s]
/proc/loadavg: 2.03 2.02 2.05 3/187 12379
/proc/meminfo: memFree=18119816/32770624 swapFree=67108860/67108860
[pid=12254] ppid=12251 vsize=1934956 memory=1910800 CPUtime=2082.38 cores=1,3,5,7
/proc/12254/stat : 12254 (cosoco) R 12251 12254 11466 0 -1 4202496 3396348 0 0 0 208046 192 0 0 20 0 1 0 95932357 1981394944 477700 33554432000 4194304 6142532 140736506044192 140736506031464 5017759 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 23478272 140736506049670 140736506049800 140736506049800 140736506052558 0
/proc/12254/statm: 483739 477700 850 476 0 477061 0
Current children cumulated CPU time: 2082.38 s
Current children cumulated vsize: 1934956 KiB
Current children cumulated memory: 1910800 KiB
[startup+2142.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/189 12389
/proc/meminfo: memFree=18119104/32770624 swapFree=67108860/67108860
[pid=12254] ppid=12251 vsize=1934956 memory=1910800 CPUtime=2142.39 cores=1,3,5,7
/proc/12254/stat : 12254 (cosoco) R 12251 12254 11466 0 -1 4202496 3398230 0 0 0 214047 192 0 0 20 0 1 0 95932357 1981394944 477700 33554432000 4194304 6142532 140736506044192 140736506031464 5017895 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 23478272 140736506049670 140736506049800 140736506049800 140736506052558 0
/proc/12254/statm: 483739 477700 850 476 0 477061 0
Current children cumulated CPU time: 2142.39 s
Current children cumulated vsize: 1934956 KiB
Current children cumulated memory: 1910800 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 12390
/proc/meminfo: memFree=18119104/32770624 swapFree=67108860/67108860
[pid=12254] ppid=12251 vsize=1934956 memory=1910800 CPUtime=2202.4 cores=1,3,5,7
/proc/12254/stat : 12254 (cosoco) R 12251 12254 11466 0 -1 4202496 3399754 0 0 0 220047 193 0 0 20 0 1 0 95932357 1981394944 477700 33554432000 4194304 6142532 140736506044192 140736506031464 5017767 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 23478272 140736506049670 140736506049800 140736506049800 140736506052558 0
/proc/12254/statm: 483739 477700 850 476 0 477061 0
Current children cumulated CPU time: 2202.4 s
Current children cumulated vsize: 1934956 KiB
Current children cumulated memory: 1910800 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 12391
/proc/meminfo: memFree=18119480/32770624 swapFree=67108860/67108860
[pid=12254] ppid=12251 vsize=1934956 memory=1910800 CPUtime=2262.4 cores=1,3,5,7
/proc/12254/stat : 12254 (cosoco) R 12251 12254 11466 0 -1 4202496 3401534 0 0 0 226047 193 0 0 20 0 1 0 95932357 1981394944 477700 33554432000 4194304 6142532 140736506044192 140736506031464 5017767 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 23478272 140736506049670 140736506049800 140736506049800 140736506052558 0
/proc/12254/statm: 483739 477700 850 476 0 477061 0
Current children cumulated CPU time: 2262.4 s
Current children cumulated vsize: 1934956 KiB
Current children cumulated memory: 1910800 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 12392
/proc/meminfo: memFree=18119480/32770624 swapFree=67108860/67108860
[pid=12254] ppid=12251 vsize=1934956 memory=1910800 CPUtime=2322.4 cores=1,3,5,7
/proc/12254/stat : 12254 (cosoco) R 12251 12254 11466 0 -1 4202496 3403283 0 0 0 232047 193 0 0 20 0 1 0 95932357 1981394944 477700 33554432000 4194304 6142532 140736506044192 140736506031464 5016416 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 23478272 140736506049670 140736506049800 140736506049800 140736506052558 0
/proc/12254/statm: 483739 477700 850 476 0 477061 0
Current children cumulated CPU time: 2322.4 s
Current children cumulated vsize: 1934956 KiB
Current children cumulated memory: 1910800 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 12393
/proc/meminfo: memFree=18119084/32770624 swapFree=67108860/67108860
[pid=12254] ppid=12251 vsize=1934956 memory=1910800 CPUtime=2382.4 cores=1,3,5,7
/proc/12254/stat : 12254 (cosoco) R 12251 12254 11466 0 -1 4202496 3404682 0 0 0 238047 193 0 0 20 0 1 0 95932357 1981394944 477700 33554432000 4194304 6142532 140736506044192 140736506031464 5017767 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 23478272 140736506049670 140736506049800 140736506049800 140736506052558 0
/proc/12254/statm: 483739 477700 850 476 0 477061 0
Current children cumulated CPU time: 2382.4 s
Current children cumulated vsize: 1934956 KiB
Current children cumulated memory: 1910800 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 12395
/proc/meminfo: memFree=18119208/32770624 swapFree=67108860/67108860
[pid=12254] ppid=12251 vsize=1934956 memory=1910800 CPUtime=2442.41 cores=1,3,5,7
/proc/12254/stat : 12254 (cosoco) R 12251 12254 11466 0 -1 4202496 3406074 0 0 0 244047 194 0 0 20 0 1 0 95932357 1981394944 477700 33554432000 4194304 6142532 140736506044192 140736506031464 5017892 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 23478272 140736506049670 140736506049800 140736506049800 140736506052558 0
/proc/12254/statm: 483739 477700 850 476 0 477061 0
Current children cumulated CPU time: 2442.41 s
Current children cumulated vsize: 1934956 KiB
Current children cumulated memory: 1910800 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 12396
/proc/meminfo: memFree=18118352/32770624 swapFree=67108860/67108860
[pid=12254] ppid=12251 vsize=1935808 memory=1912088 CPUtime=2502.42 cores=1,3,5,7
/proc/12254/stat : 12254 (cosoco) R 12251 12254 11466 0 -1 4202496 3408804 0 0 0 250047 195 0 0 20 0 1 0 95932357 1982267392 478022 33554432000 4194304 6142532 140736506044192 140736506031464 5013896 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 23478272 140736506049670 140736506049800 140736506049800 140736506052558 0
/proc/12254/statm: 483952 478022 850 476 0 477274 0
Current children cumulated CPU time: 2502.42 s
Current children cumulated vsize: 1935808 KiB
Current children cumulated memory: 1912088 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2519.9 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 12396
/proc/meminfo: memFree=18118600/32770624 swapFree=67108860/67108860
[pid=12254] ppid=12251 vsize=1935808 memory=1912088 CPUtime=2520.02 cores=1,3,5,7
/proc/12254/stat : 12254 (cosoco) R 12251 12254 11466 0 -1 4202496 3409410 0 0 0 251807 195 0 0 20 0 1 0 95932357 1982267392 478022 33554432000 4194304 6142532 140736506044192 140736506031464 5017767 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 23478272 140736506049670 140736506049800 140736506049800 140736506052558 0
/proc/12254/statm: 483952 478022 850 476 0 477274 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 1935808 KiB
Current children cumulated memory: 1912088 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2519.91 s]
# the end of solver process 12254 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2518.08 s, system=1.95614 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2519.9 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 12396
/proc/meminfo: memFree=18118600/32770624 swapFree=67108860/67108860
[pid=12254] ppid=12251 vsize=1935808 memory=1912088 CPUtime=2520.02 cores=1,3,5,7
/proc/12254/stat : 12254 (cosoco) R 12251 12254 11466 0 -1 4202496 3409410 0 0 0 251807 195 0 0 20 0 1 0 95932357 1982267392 478022 33554432000 4194304 6142532 140736506044192 140736506031464 5017767 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 23478272 140736506049670 140736506049800 140736506049800 140736506052558 0
/proc/12254/statm: 483952 478022 850 476 0 477274 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 1935808 KiB
Current children cumulated memory: 1912088 KiB
Child status: 1
Real time (s): 2519.91
CPU time (s): 2520.03
CPU user time (s): 2518.08
CPU system time (s): 1.95614
CPU usage (%): 100.005
Max. virtual memory (cumulated for all children) (KiB): 1935808
Max. memory (cumulated for all children) (KiB): 1912088
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.08
system time used= 1.95614
maximum resident set size= 1912152
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3409463
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 123
involuntary context switches= 736
# summary of solver processes directly reported to runsolver:
# pid: 12254
# total CPU time (s): 2520.03
# total CPU user time (s): 2518.08
# total CPU system time (s): 1.95614
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.0554 second user time and 19.2761 second system time
The end
Begin job on node105 at 2018-07-28 15:14:52 IDJOB=4299032 IDBENCH=141286 IDSOLVER=2761 FILE ID=node105/4299032-1532783690 RUNJOBID= node105-1532776049-11498 PBS_JOBID= 21022469 Free space on /tmp= 43844 MiB SOLVER NAME= cosoco 1.12 BENCH NAME= XCSP18/Fapp/Fapp-ext/Fapp-ext-test02-0250_c18.xml COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4299032-1532783690/watcher-4299032-1532783690 -o /tmp/evaluation-result-4299032-1532783690/solver-4299032-1532783690 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1532776049-11498 --watchdog 2580 HOME/cosoco -lc -model -restarts HOME/instance-4299032-1532783690.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 973c4f7d3bfa6ee5bf8044e5608ab9c3 RANDOM SEED=150915000 node105.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.32 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.32 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.32 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.32 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 17905756 kB MemAvailable: 30165596 kB Buffers: 269048 kB Cached: 12119000 kB SwapCached: 0 kB Active: 4950140 kB Inactive: 9255600 kB Active(anon): 1772388 kB Inactive(anon): 73344 kB Active(file): 3177752 kB Inactive(file): 9182256 kB Unevictable: 7296 kB Mlocked: 7296 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 436988 kB Writeback: 0 kB AnonPages: 1808780 kB Mapped: 45172 kB Shmem: 25228 kB Slab: 355852 kB SReclaimable: 328292 kB SUnreclaim: 27560 kB KernelStack: 3296 kB PageTables: 8724 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 2122208 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 1615872 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 130432 kB DirectMap2M: 33415168 kB Free space on /tmp at the end= 44196 MiB End job on node105 at 2018-07-28 15:56:52