| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| cosoco 1.12 | SAT (TO) | 145576714 | 2519.99 | 2520.01 |
| Name | Fapp/Fapp-m2s/ Fapp-m2s-test02-0250_c18.xml |
| MD5SUM | 2354d9b784d04df982f0d1b4068abd13 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 89666091 |
| Best CPU time to get the best result obtained on this benchmark | 2520.12 |
| 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 | 1131 |
| Number of intensional constraints | 1331 |
| Distribution of constraint types | [{"type":"extension","count":1131},{"type":"intension","count":1331}] |
| Optimization problem | YES |
| Type of objective | min SUM |
0.09/0.11 c AllEqual constraint using 1 generic x=y constraints 0.09/0.11 c AllEqual constraint using 1 generic x=y constraints 0.09/0.11 c AllEqual constraint using 1 generic x=y constraints 0.09/0.11 c AllEqual constraint using 1 generic x=y constraints 0.09/0.11 c AllEqual constraint using 1 generic x=y constraints 0.09/0.11 c AllEqual constraint using 1 generic x=y constraints 0.09/0.11 c AllEqual constraint using 1 generic x=y constraints 0.09/0.11 c AllEqual constraint using 1 generic x=y constraints 0.09/0.11 c AllEqual constraint using 1 generic x=y constraints 0.09/0.11 c AllEqual constraint using 1 generic x=y constraints 0.09/0.11 c AllEqual constraint using 1 generic x=y constraints 0.09/0.11 c AllEqual constraint using 1 generic x=y constraints 0.09/0.11 c AllEqual constraint using 1 generic x=y constraints 0.09/0.11 c AllEqual constraint using 1 generic x=y constraints 0.09/0.11 c AllEqual constraint using 1 generic x=y constraints 0.09/0.11 c AllEqual constraint using 1 generic x=y constraints 0.09/0.11 c AllEqual constraint using 1 generic x=y constraints 38.99/39.08 c best=?? lower=0 upper=153510630 215.58/215.62 c 215.58/215.62 c This is cosoco 1.12 -- 215.58/215.62 c 215.58/215.62 c command line: HOME/cosoco -lc -model -restarts HOME/instance-4293931-1532379488.xml 215.58/215.62 c enable optimization 215.58/215.62 c ========================================[ Problem Statistics ]=========================================== 215.58/215.62 c | 215.58/215.62 c | Parse time : 38.83 s 215.58/215.62 c | 215.58/215.62 c | Variables: 3894 215.58/215.62 c | Domain Sizes: 1..175 215.58/215.62 c | 215.58/215.62 c | Constraints: 2463 215.58/215.62 c | Arity: 2..2263 -- Binary: 200 -- Ternary: 1131 215.58/215.62 c | 215.58/215.62 c | Types: 215.58/215.62 c | (X != Y): 18 215.58/215.62 c | (X = Y): 17 215.58/215.62 c | Extension: 1131 (nb tuples: 358..8368) -- (shared: 0) 215.58/215.62 c | Intension: 1296 215.58/215.62 c | Sum: 1 215.58/215.62 c | 215.58/215.62 c | Objective: Minimize Sum 215.58/215.62 215.58/215.62 c ========================================================================================================= 215.58/215.62 o 145576714 215.58/215.62 c 1 calls to solver: best=145576714 lower=0 upper=145576713 2519.98/2520.01 2519.98/2520.01 c *** INTERRUPTED *** 2519.98/2520.01 c restarts : 49 2519.98/2520.01 c conflicts : 108048 (43 /sec) 2519.98/2520.01 c decisions : 400055 (159 /sec) 2519.98/2520.01 c propagations : 122626887 (48679 /sec) 2519.98/2520.01 c root propagations : 5711 2519.98/2520.01 c filter calls : 14858341 (5898 /sec) 2519.98/2520.01 c useless filter calls : 9137198 (61 %) 2519.98/2520.01 c Memory used : 578.37 MB 2519.98/2520.01 c CPU time : 2519.1 s 2519.98/2520.01 2519.98/2520.01 c nb Solutions = 1 2519.98/2520.01 s SATISFIABLE 2519.98/2520.01 c Best value found: 145576714 2519.98/2520.01 2519.98/2520.01 2519.98/2520.01 v <instantiation type='solution' cost='145576714'> 2519.98/2520.01 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> 2519.98/2520.01 v <values>0 80 344 0 40 336 0 0 84 0 40 0 200 40 496 188 0 212 40 336 284 192 212 284 96 40 352 124 344 8 380 380 380 40 44 0 0 60 136 624 0 56 40 112 336 624 624 380 472 532 0 40 0 40 148 124 0 40 0 0 40 0 40 92 32 100 280 344 324 40 432 204 148 20 0 84 0 44 84 0 40 40 40 244 44 200 244 284 200 200 120 284 92 40 156 40 56 40 40 540 56 0 40 336 0 136 160 84 0 84 200 264 40 232 296 132 324 176 176 104 260 392 84 36 56 40 84 20 20 172 508 508 44 352 40 44 40 0 20 0 40 336 352 84 428 40 428 468 468 40 0 648 40 64 0 0 40 0 40 212 0 0 40 40 4 40 40 0 40 420 40 40 200 264 0 24 88 292 284 192 244 0 244 44 44 524 40 76 44 52 84 388 40 0 0 40 40 0 212 0 0 0 468 428 468 428 180 468 32 468 124 468 428 468 256 132 40 40 368 124 0 0 84 284 0 0 0 0 0 0 456 40 0 0 0 424 152 112 112 40 452 352 40 132 344 356 20 200 40 232 128 304 160 412 196 72 96 116 380 64 128 36 264 416 324 132 364 172 416 332 0 384 0 40 0 20 40 40 0 40 0 40 40 172 40 384 284 40 0 40 40 0 608 40 0 40 0 192 172 0 40 40 40 40 40 40 40 40 0 96 20 264 112 476 180 376 180 20 364 0 0 436 304 424 424 224 384 424 384 384 0 212 0 0 0 0 0 0 0 40 0 0 460 0 0 40 96 0 40 480 76 396 0 368 116 288 20 116 340 248 368 0 108 244 40 0 0 152 0 0 40 0 40 648 0 0 0 0 0 0 336 324 40 120 0 284 460 40 40 0 608 0 0 40 0 40 296 0 40 144 144 140 168 492 20 20 40 40 0 368 0 0 0 40 0 40 0 284 380 0 244 284 320 472 284 244 60 244 456 40 272 232 92 44 40 84 84 240 24 0 0 0 0 0 0 40 0 460 0 0 0 40 284 40 40 0 0 40 40 40 40 40 384 132 0 0 0 40 40 0 0 0 0 0 460 0 0 0 0 0 0 40 40 40 40 40 540 40 40 0 40 40 40 244 68 304 96 84 244 40 288 68 352 64 28 0 40 0 200 0 0 40 0 212 0 0 0 0 40 108 40 0 508 40 0 376 40 368 368 368 192 408 368 312 368 0 40 0 40 212 568 240 0 0 468 40 648 0 40 40 0 336 64 0 488 224 624 300 540 496 624 608 40 84 0 40 172 0 296 0 40 568 40 0 148 0 0 0 344 468 0 40 0 352 40 284 204 244 284 92 188 0 0 0 0 0 40 316 0 204 0 0 608 648 608 648 608 648 108 608 312 40 0 0 0 284 160 60 20 44 412 324 124 0 0 344 284 496 40 40 44 40 212 0 352 284 252 160 284 244 188 0 0 156 0 0 0 368 40 0 0 0 40 0 368 0 0 460 0 0 0 372 88 40 248 248 20 40 40 172 40 164 328 180 244 124 352 372 152 516 596 148 324 288 40 116 0 0 40 0 0 40 0 0 0 0 0 40 0 40 404 384 92 0 132 192 0 152 0 556 472 304 44 0 0 40 364 40 0 40 216 284 232 228 40 0 0 68 0 0 284 144 40 40 284 244 40 0 252 40 40 40 0 40 40 384 508 40 0 376 40 492 0 452 576 292 316 148 24 260 0 64 44 324 124 104 40 40 84 568 40 0 0 0 96 40 0 344 336 0 0 0 40 624 0 84 88 84 608 40 508 376 40 356 252 252 412 380 212 212 228 176 0 244 0 284 608 568 160 568 476 568 260 360 236 320 360 276 188 84 192 304 284 320 16 40 0 0 40 336 124 0 124 160 60 68 120 40 40 40 384 124 40 376 40 384 20 224 284 76 188 40 24 40 368 0 40 40 0 0 0 40 192 224 244 0 320 12 160 260 120 28 204 368 264 328 92 368 368 368 328 368 368 328 40 64 0 0 0 296 40 0 0 380 0 284 264 40 0 260 92 192 240 0 212 40 40 20 0 0 40 96 508 40 184 40 16 28 60 224 224 40 0 212 0 40 0 192 84 496 436 0 0 344 0 336 0 296 8 124 40 60 348 140 384 20 0 0 84 324 324 40 40 400 0 20 496 0 40 0 0 344 40 40 336 40 460 0 0 0 0 40 96 224 0 0 100 152 152 152 0 40 420 40 40 40 84 40 360 40 40 40 468 336 0 204 0 0 324 0 0 380 0 68 284 44 364 252 120 120 80 92 92 52 132 0 400 40 0 0 40 0 20 0 0 0 0 0 40 40 40 0 172 296 460 460 460 460 100 100 40 124 0 0 0 40 40 508 376 268 60 260 136 312 160 120 308 364 344 432 0 40 40 40 0 0 0 0 0 72 252 360 320 320 40 0 56 96 344 516 68 84 8 40 128 0 204 168 156 24 108 216 12 96 40 96 40 96 44 20 456 0 316 360 40 40 40 40 0 384 84 0 0 0 0 0 40 240 0 200 116 72 44 116 76 132 332 40 172 0 0 2260 2220 2380 2220 2280 2544 2220 2504 2344 2588 2260 2344 2260 2220 2544 2220 2220 2320 2220 2220 2260 2344 2280 2220 2220 2220 2260 2220 2412 2260 2260 2260 2260 2220 2260 2260 2664 2340 2452 2220 2260 2220 2260 2680 2220 2360 2260 2220 2624 2260 2260 2580 2356 2756 2344 2344 2508 2328 2356 2260 2564 2620 2220 2220 2220 2544 2688 2388 2620 2636 2544 2504 2260 2260 2220 2280 2220 2220 2504 2220 2544 2260 2604 2640 2260 2412 2260 2352 2220 2884 2220 2260 2356 2220 2220 2312 2604 2260 2464 2504 2240 2220 2304 2260 2504 2504 2504 2260 2260 2220 2304 2316 2220 2344 2304 2260 2316 2344 2676 2480 2220 2692 2260 2316 2504 2220 2280 2412 2728 2544 2432 2304 2260 2688 2260 2352 2348 2548 2260 2240 2260 2220 2596 2304 2260 2260 2260 2260 2260 2716 2220 2260 2624 2556 2220 2220 2260 2344 2584 2612 2260 2260 2220 2220 2220 2544 2372 2280 2452 2376 2676 2260 2220 2260 2220 2240 2440 2240 2644 2220 2336 2260 2220 2220 2544 2260 2648 2240 2260 2260 2312 2304 2220 2220 2544 2260 2220 2220 2260 2572 2220 2220 2628 2260 2220 2304 2844 2260 2260 2504 2260 2868 2260 2220 2220 2220 2452 2504 2220 2220 2592 2260 2632 2856 2368 2220 2220 2304 2412 2816 2260 2220 2544 2260 2504 2220 2796 2304 2260 2344 2260 2260 2220 2472 2504 2828 2580 2544 2732 2260 11 1 1 1 0 1 0 0 0 1 0 1 1 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 1 0 1 1 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 1 0 0 1 0 0 0 0 1 0 0 0 1 0 0 1 1 1 1 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 1 1 0 0 1 0 0 1 0 0 0 1 1 1 0 1 1 0 0 0 0 1 1 0 1 1 1 0 0 0 0 0 0 1 1 1 0 1 0 0 0 1 1 1 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 1 1 1 0 0 1 0 1 0 0 0 1 0 0 1 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 1 1 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 1 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 1 0 0 0 0 1 0 1 0 0 0 1 0 1 0 0 1 0 1 0 1 1 0 0 1 0 0 0 1 0 1 1 1 1 1 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 1 1 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 1 1 0 1 0 1 1 0 1 0 0 0 1 1 1 0 1 1 0 1 0 0 0 1 0 0 0 0 1 1 0 1 0 1 0 1 1 0 0 1 0 1 1 1 0 1 0 1 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 1 0 0 1 0 0 1 0 1 0 1 0 1 0 0 0 0 0 1 1 0 1 1 0 0 1 0 1 1 0 1 1 1 0 0 0 1 1 0 0 0 0 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 0 1 0 1 1 0 0 0 0 1 0 1 0 0 0 1 1 1 1 0 1 0 0 1 0 1 1 1 1 0 0 1 0 0 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 1 0 1 1 0 1 0 1 1 0 0 1 0 0 0 1 1 1 1 1 0 0 0 1 1 0 1 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 1 0 0 0 0 1 0 0 1 1 0 0 0 1 0 0 1 0 0 1 0 1 0 0 0 0 1 1 0 0 0 1 0 1 0 0 1 1 1 1 1 1 0 0 0 0 1 1 0 0 0 0 0 1 0 1 0 0 0 0 1 1 0 1 1 0 1 0 1 1 0 0 1 0 0 1 1 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 1 0 1 0 1 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 1 1 1 1 0 0 1 0 0 1 1 0 0 0 0 0 1 1 1 0 1 0 0 0 1 0 1 1 1 0 1 0 0 0 1 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 1 1 0 1 0 1 1 0 0 0 1 1 1 0 0 0 0 0 0 1 0 0 1 0 1 0 1 0 0 0 0 1 0 0 1 1 0 1 0 1 0 1 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 1 0 1 0 1 1 1 0 1 0 1 0 0 0 0 1 1 1 0 1 1 0 1 0 0 0 0 1 1 0 0 0 1 0 0 0 0 1 0 1 0 0 0 1 1 1 1 1 1 0 0 1 0 0 0 0 1 1 1 1 1 0 0 0 1 1 0 0 1 0 1 1 0 0 0 1 1 0 0 1 1 0 0 0 1 0 0 1 1 0 0 0 0 1 1 1 0 0 0 0 1 1 0 0 1 1 1 1 0 0 0 1 1 0 1 0 1 0 0 0 0 1 0 1 0 1 1 0 1 1 1 0 1 1 0 1 0 1 1 1 0 0 1 0 0 0 0 1 0 0 1 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 1 0 0 1 0 1 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 1 1 1 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 1 0 0 0 1 0 0 0 0 1 1 0 0 1 0 0 1 0 1 1 1 0 0 0 0 0 0 1 1 0 0 1 1 1 1 0 1 0 1 1 0 0 0 1 0 0 0 0 0 0 0 1 1 0 1 1 0 1 1 0 1 0 0 1 0 0 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 1 1 1 1 0 0 1 1 1 1 0 0 1 0 0 1 1 1 0 0 1 0 0 0 1 1 0 1 0 0 0 1 1 0 0 1 0 0 1 0 1 1 1 0 0 1 0 1 1 0 1 0 0 1 0 0 1 0 1 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 1 0 1 0 1 0 0 1 0 1 1 1 1 0 0 1 1 0 2 10 10 10 0 0 0 0 0 0 10 10 10 0 10 0 0 0 10 10 10 3 0 0 10 10 0 0 0 0 0 0 0 10 9 0 10 9 0 0 0 0 0 0 0 10 10 10 10 0 1 10 1 10 0 1 0 10 0 2 10 0 10 8 9 9 0 0 10 0 0 10 0 0 0 10 0 10 3 0 10 10 3 0 8 6 0 0 10 0 0 1 3 10 0 10 0 10 10 10 1 10 9 0 0 9 9 10 0 0 0 0 7 0 0 10 0 10 0 0 1 0 0 0 10 10 0 9 0 1 10 0 0 10 10 0 0 9 8 10 0 0 0 8 10 0 7 10 10 0 0 0 10 0 0 1 10 10 0 0 0 0 10 10 10 0 1 0 10 6 10 8 0 10 10 10 0 10 10 10 0 10 1 3 0 10 0 10 10 10 10 10 0 0 0 10 1 10 0 0 0 0 0 10 0 0 0 8 10 0 0 0 10 0 0 10 10 0 2 10 10 1 0 10 8 10 0 6 0 10 1 0 0 10 10 0 10 8 10 10 0 10 0 0 0 10 10 10 0 10 10 0 10 0 0 0 10 0 8 0 0 10 10 0 10 8 10 8 10 10 0 1 10 0 10 10 10 0 10 0 10 10 10 3 0 9 10 0 9 3 7 10 10 9 0 10 10 0 10 0 0 10 0 0 10 10 10 0 10 4 10 0 0 0 0 0 10 10 0 10 10 10 8 10 1 10 10 0 10 10 10 0 0 7 10 10 0 7 0 0 10 10 1 0 10 0 0 10 8 0 10 1 7 10 0 0 1 0 10 0 10 10 0 9 10 0 10 1 10 6 0 0 10 10 10 10 0 10 0 5 10 0 10 10 10 10 0 10 10 0 9 10 0 0 0 0 10 10 0 0 0 0 0 9 0 0 0 0 10 0 0 10 0 0 10 10 0 10 10 6 10 0 10 10 0 0 10 0 10 0 10 10 10 10 10 0 0 0 10 10 0 10 10 10 0 10 0 10 1 4 10 0 0 0 0 1 0 9 10 0 0 10 10 0 0 1 10 0 0 10 0 10 0 0 10 10 0 0 9 10 0 1 10 8 6 10 0 10 0 0 10 0 10 10 9 0 0 10 0 10 0 0 10 10 10 10 10 10 0 0 0 0 10 10 0 4 5 3 0 10 0 10 0 0 0 0 10 10 10 10 10 5 10 0 10 10 0 0 10 0 8 10 10 0 0 0 0 0 0 1 10 0 0 9 10 0 10 8 0 10 0 10 1 10 0 0 0 10 10 1 8 10 1 0 0 0 0 0 8 0 10 10 10 0 10 7 10 5 10 10 10 10 10 0 0 10 0 0 10 10 0 0 0 4 8 10 10 10 0 10 10 8 0 10 0 10 10 10 10 10 0 0 0 10 0 10 0 10 0 10 10 9 8 0 0 0 0 8 0 10 10 0 0 0 0 10 1 0 0 0 0 9 10 10 0 10 0 10 10 5 0 0 10 10 10 0 0 0 0 0 8 10 3 9 10 0 10 10 10 10 1 0 0 10 0 2 10 10 0 10 0 10 9 10 0 0 0 10 0 10 10 0 0 0 0 0 10 9 0 10 0 0 10 10 0 0 0 10 0 10 9 10 10 10 1 10 0 10 10 0 0 0 10 10 10 0 10 10 0 10 3 0 8 0 10 10 0 0 0 10 7 9 0 0 10 10 10 10 0 3 10 10 10 10 10 10 1 0 10 0 0 0 4 10 10 10 10 10 0 4 4 10 10 0 0 10 0 10 10 0 0 0 10 10 10 1 10 10 0 0 0 10 8 0 10 10 0 6 1 0 10 10 10 8 9 1 0 10 10 0 9 10 10 10 10 0 0 0 10 10 0 10 1 10 0 7 1 10 10 0 10 0 10 10 0 10 10 10 10 10 10 0 10 10 10 10 10 0 0 10 0 0 0 0 10 0 0 10 0 0 10 10 0 0 10 0 1 8 0 10 0 0 10 0 10 10 10 9 0 10 0 10 10 0 9 0 0 10 8 0 10 10 0 0 10 0 0 0 10 10 10 2 10 10 10 0 1 0 0 0 0 0 0 0 6 4 10 10 10 10 1 0 0 0 10 8 0 0 10 10 0 9 0 10 10 0 0 10 0 0 10 4 10 10 10 5 0 0 1 0 0 10 10 0 0 10 10 10 10 0 10 0 10 10 0 8 9 10 0 0 0 0 0 0 10 10 10 1 10 10 1 10 10 1 10 0 0 10 0 0 10 0 10 0 0 10 10 4 0 7 0 0 9 0 0 10 0 10 9 10 0 0 10 0 0 0 9 0 0 0 0 0 0 10 0 10 0 10 10 10 10 10 0 0 10 10 10 10 0 0 10 10 0 10 10 10 1 0 10 0 0 10 10 10 0 10 0 5 0 10 10 1 0 10 7 0 10 0 10 10 10 5 7 10 7 10 10 0 10 9 7 10 0 0 10 7 10 10 0 0 0 5 0 10 1 0 10 0 0 0 0 4 10 10 0 10 0 10 1 5 10 3 10 10 10 10 10 0 10 10 0 </values> 2519.98/2520.01 v </instantiation> 2519.98/2520.01
OK 145576714
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 (12266 MiB free)
memory of node 1: 16384 MiB (13643 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4293931-1532379488/watcher-4293931-1532379488 -o /tmp/evaluation-result-4293931-1532379488/solver-4293931-1532379488 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1532369368-20797 --watchdog 2580 HOME/cosoco -lc -model -restarts HOME/instance-4293931-1532379488.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=21798, runsolver pid=21795
[startup+0.100726 s]*
/proc/loadavg: 2.14 2.05 2.05 3/191 21799
/proc/meminfo: memFree=26510484/32770624 swapFree=67108860/67108860
[pid=21798] ppid=21795 vsize=48460 memory=24800 CPUtime=0.09 cores=1,3,5,7
/proc/21798/stat : 21798 (cosoco) R 21795 21798 20765 0 -1 4202496 6386 0 0 0 9 0 0 0 20 0 1 0 55512018 49623040 6200 33554432000 4194304 6142532 140736111075888 140736111070264 140539318705125 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8243016 8247936 20656128 140736111084678 140736111084808 140736111084808 140736111087566 0
/proc/21798/statm: 12115 6200 803 476 0 5437 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 48460 KiB
Current children cumulated memory: 24800 KiB
[startup+0.209788 s]*
/proc/loadavg: 2.14 2.05 2.05 3/191 21799
/proc/meminfo: memFree=26496348/32770624 swapFree=67108860/67108860
[pid=21798] ppid=21795 vsize=62724 memory=38920 CPUtime=0.21 cores=1,3,5,7
/proc/21798/stat : 21798 (cosoco) R 21795 21798 20765 0 -1 4202496 9949 0 0 0 20 1 0 0 20 0 1 0 55512018 64229376 9730 33554432000 4194304 6142532 140736111075888 140736111070264 140539318705125 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8243016 8247936 20656128 140736111084678 140736111084808 140736111084808 140736111087566 0
/proc/21798/statm: 15681 9730 807 476 0 9003 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 62724 KiB
Current children cumulated memory: 38920 KiB
[startup+0.309659 s]*
/proc/loadavg: 2.14 2.05 2.05 3/191 21799
/proc/meminfo: memFree=26479236/32770624 swapFree=67108860/67108860
[pid=21798] ppid=21795 vsize=78760 memory=55024 CPUtime=0.3 cores=1,3,5,7
/proc/21798/stat : 21798 (cosoco) R 21795 21798 20765 0 -1 4202496 13942 0 0 0 29 1 0 0 20 0 1 0 55512018 80650240 13756 33554432000 4194304 6142532 140736111075888 140736111070264 140539318705125 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8243016 8247936 20656128 140736111084678 140736111084808 140736111084808 140736111087566 0
/proc/21798/statm: 19690 13756 807 476 0 13012 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 78760 KiB
Current children cumulated memory: 55024 KiB
[startup+0.700245 s]
/proc/loadavg: 2.14 2.05 2.05 3/191 21799
/proc/meminfo: memFree=26452452/32770624 swapFree=67108860/67108860
[pid=21798] ppid=21795 vsize=103372 memory=79440 CPUtime=0.69 cores=1,3,5,7
/proc/21798/stat : 21798 (cosoco) R 21795 21798 20765 0 -1 4202496 20117 0 0 0 67 2 0 0 20 0 1 0 55512018 105852928 19860 33554432000 4194304 6142532 140736111075888 140736111072536 140539319143424 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8243016 8247936 20656128 140736111084678 140736111084808 140736111084808 140736111087566 0
/proc/21798/statm: 25843 19860 812 476 0 19165 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 103372 KiB
Current children cumulated memory: 79440 KiB
[startup+1.50025 s]
/proc/loadavg: 2.13 2.04 2.05 3/191 21799
/proc/meminfo: memFree=26443896/32770624 swapFree=67108860/67108860
[pid=21798] ppid=21795 vsize=110676 memory=86472 CPUtime=1.48 cores=1,3,5,7
/proc/21798/stat : 21798 (cosoco) R 21795 21798 20765 0 -1 4202496 21873 0 0 0 146 2 0 0 20 0 1 0 55512018 113332224 21618 33554432000 4194304 6142532 140736111075888 140736111072536 5489275 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8243016 8247936 20656128 140736111084678 140736111084808 140736111084808 140736111087566 0
/proc/21798/statm: 27669 21618 812 476 0 20991 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 110676 KiB
Current children cumulated memory: 86472 KiB
[startup+3.10965 s]
/proc/loadavg: 2.13 2.04 2.05 3/191 21799
/proc/meminfo: memFree=26407960/32770624 swapFree=67108860/67108860
[pid=21798] ppid=21795 vsize=124996 memory=99948 CPUtime=3.1 cores=1,3,5,7
/proc/21798/stat : 21798 (cosoco) R 21795 21798 20765 0 -1 4202496 25633 0 0 0 302 8 0 0 20 0 1 0 55512018 127995904 24987 33554432000 4194304 6142532 140736111075888 140736111072536 5800674 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8243016 8247936 20656128 140736111084678 140736111084808 140736111084808 140736111087566 0
/proc/21798/statm: 31249 24987 812 476 0 24571 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 124996 KiB
Current children cumulated memory: 99948 KiB
[startup+6.30023 s]
/proc/loadavg: 2.04 2.03 2.05 3/191 21799
/proc/meminfo: memFree=26352700/32770624 swapFree=67108860/67108860
[pid=21798] ppid=21795 vsize=153364 memory=126692 CPUtime=6.29 cores=1,3,5,7
/proc/21798/stat : 21798 (cosoco) R 21795 21798 20765 0 -1 4202496 33595 0 0 0 620 9 0 0 20 0 1 0 55512018 157044736 31673 33554432000 4194304 6142532 140736111075888 140736111072536 140539319143424 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 8243016 8247936 20656128 140736111084678 140736111084808 140736111084808 140736111087566 0
/proc/21798/statm: 38341 31673 812 476 0 31663 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 153364 KiB
Current children cumulated memory: 126692 KiB
[startup+12.7002 s]
/proc/loadavg: 2.03 2.03 2.05 3/191 21799
/proc/meminfo: memFree=26244868/32770624 swapFree=67108860/67108860
[pid=21798] ppid=21795 vsize=211608 memory=181404 CPUtime=12.68 cores=1,3,5,7
/proc/21798/stat : 21798 (cosoco) R 21795 21798 20765 0 -1 4202496 48882 0 0 0 1257 11 0 0 20 0 1 0 55512018 216686592 45351 33554432000 4194304 6142532 140736111075888 140736111072536 5796039 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 8243016 8247936 20656128 140736111084678 140736111084808 140736111084808 140736111087566 0
/proc/21798/statm: 52902 45351 812 476 0 46224 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 211608 KiB
Current children cumulated memory: 181404 KiB
[startup+25.5002 s]
/proc/loadavg: 2.03 2.03 2.05 3/191 21799
/proc/meminfo: memFree=26011156/32770624 swapFree=67108860/67108860
[pid=21798] ppid=21795 vsize=327452 memory=290500 CPUtime=25.48 cores=1,3,5,7
/proc/21798/stat : 21798 (cosoco) R 21795 21798 20765 0 -1 4202496 78852 0 0 0 2531 17 0 0 20 0 1 0 55512018 335310848 72625 33554432000 4194304 6142532 140736111075888 140736111072536 5404837 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 8243016 8247936 20656128 140736111084678 140736111084808 140736111084808 140736111087566 0
/proc/21798/statm: 81863 72625 812 476 0 75185 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 327452 KiB
Current children cumulated memory: 290500 KiB
[startup+51.1096 s]
/proc/loadavg: 2.02 2.02 2.05 3/190 21799
/proc/meminfo: memFree=25562076/32770624 swapFree=67108860/67108860
[pid=21798] ppid=21795 vsize=534108 memory=490520 CPUtime=51.09 cores=1,3,5,7
/proc/21798/stat : 21798 (cosoco) R 21795 21798 20765 0 -1 4202496 251178 0 0 0 5079 30 0 0 20 0 1 0 55512018 546926592 122630 33554432000 4194304 6142532 140736111075888 140736111072600 5017767 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 20656128 140736111084678 140736111084808 140736111084808 140736111087566 0
/proc/21798/statm: 133527 122630 860 476 0 126849 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 534108 KiB
Current children cumulated memory: 490520 KiB
[startup+102.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/191 21801
/proc/meminfo: memFree=25115760/32770624 swapFree=67108860/67108860
[pid=21798] ppid=21795 vsize=554820 memory=511140 CPUtime=102.28 cores=1,3,5,7
/proc/21798/stat : 21798 (cosoco) R 21795 21798 20765 0 -1 4202496 375117 0 0 0 10193 35 0 0 20 0 1 0 55512018 568135680 127785 33554432000 4194304 6142532 140736111075888 140736111072744 5017759 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 20656128 140736111084678 140736111084808 140736111084808 140736111087566 0
/proc/21798/statm: 138705 127785 860 476 0 132027 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 554820 KiB
Current children cumulated memory: 511140 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 21809
/proc/meminfo: memFree=25063812/32770624 swapFree=67108860/67108860
[pid=21798] ppid=21795 vsize=578620 memory=534244 CPUtime=162.28 cores=1,3,5,7
/proc/21798/stat : 21798 (cosoco) R 21795 21798 20765 0 -1 4202496 447583 0 0 0 16189 39 0 0 20 0 1 0 55512018 592506880 133561 33554432000 4194304 6142532 140736111075888 140736111072520 140539328038048 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 20656128 140736111084678 140736111084808 140736111084808 140736111087566 0
/proc/21798/statm: 144655 133561 860 476 0 137977 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 578620 KiB
Current children cumulated memory: 534244 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/193 21834
/proc/meminfo: memFree=25047168/32770624 swapFree=67108860/67108860
[pid=21798] ppid=21795 vsize=591688 memory=546972 CPUtime=222.28 cores=1,3,5,7
/proc/21798/stat : 21798 (cosoco) R 21795 21798 20765 0 -1 4202496 567663 0 0 0 22183 45 0 0 20 0 1 0 55512018 605888512 136743 33554432000 4194304 6142532 140736111075888 140736111063160 5017759 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 20656128 140736111084678 140736111084808 140736111084808 140736111087566 0
/proc/21798/statm: 147922 136743 862 476 0 141244 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 591688 KiB
Current children cumulated memory: 546972 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/193 21835
/proc/meminfo: memFree=25017260/32770624 swapFree=67108860/67108860
[pid=21798] ppid=21795 vsize=591964 memory=547280 CPUtime=282.28 cores=1,3,5,7
/proc/21798/stat : 21798 (cosoco) R 21795 21798 20765 0 -1 4202496 606570 0 0 0 28181 47 0 0 20 0 1 0 55512018 606171136 136820 33554432000 4194304 6142532 140736111075888 140736111072744 5139728 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 20656128 140736111084678 140736111084808 140736111084808 140736111087566 0
/proc/21798/statm: 147991 136820 862 476 0 141313 0
Current children cumulated CPU time: 282.28 s
Current children cumulated vsize: 591964 KiB
Current children cumulated memory: 547280 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/193 21836
/proc/meminfo: memFree=25000116/32770624 swapFree=67108860/67108860
[pid=21798] ppid=21795 vsize=592248 memory=547628 CPUtime=342.28 cores=1,3,5,7
/proc/21798/stat : 21798 (cosoco) R 21795 21798 20765 0 -1 4202496 711017 0 0 0 34176 52 0 0 20 0 1 0 55512018 606461952 136907 33554432000 4194304 6142532 140736111075888 140736111072712 140539319631268 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 20656128 140736111084678 140736111084808 140736111084808 140736111087566 0
/proc/21798/statm: 148062 136907 862 476 0 141384 0
Current children cumulated CPU time: 342.28 s
Current children cumulated vsize: 592248 KiB
Current children cumulated memory: 547628 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/193 21838
/proc/meminfo: memFree=24993392/32770624 swapFree=67108860/67108860
[pid=21798] ppid=21795 vsize=592248 memory=547628 CPUtime=402.28 cores=1,3,5,7
/proc/21798/stat : 21798 (cosoco) R 21795 21798 20765 0 -1 4202496 719623 0 0 0 40175 53 0 0 20 0 1 0 55512018 606461952 136907 33554432000 4194304 6142532 140736111075888 140736111072712 5367164 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 20656128 140736111084678 140736111084808 140736111084808 140736111087566 0
/proc/21798/statm: 148062 136907 862 476 0 141384 0
Current children cumulated CPU time: 402.28 s
Current children cumulated vsize: 592248 KiB
Current children cumulated memory: 547628 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/193 21839
/proc/meminfo: memFree=24989124/32770624 swapFree=67108860/67108860
[pid=21798] ppid=21795 vsize=592248 memory=547628 CPUtime=462.28 cores=1,3,5,7
/proc/21798/stat : 21798 (cosoco) R 21795 21798 20765 0 -1 4202496 728490 0 0 0 46175 53 0 0 20 0 1 0 55512018 606461952 136907 33554432000 4194304 6142532 140736111075888 140736111072712 5371778 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 20656128 140736111084678 140736111084808 140736111084808 140736111087566 0
/proc/21798/statm: 148062 136907 862 476 0 141384 0
Current children cumulated CPU time: 462.28 s
Current children cumulated vsize: 592248 KiB
Current children cumulated memory: 547628 KiB
################
# More data... #
################
/proc/21798/statm: 148062 142183 862 476 0 141384 0
Current children cumulated CPU time: 1722.27 s
Current children cumulated vsize: 592248 KiB
Current children cumulated memory: 568732 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/191 21881
/proc/meminfo: memFree=24732220/32770624 swapFree=67108860/67108860
[pid=21798] ppid=21795 vsize=592248 memory=568732 CPUtime=1782.27 cores=1,3,5,7
/proc/21798/stat : 21798 (cosoco) R 21795 21798 20765 0 -1 4202496 1470642 0 0 0 178138 89 0 0 20 0 1 0 55512018 606461952 142183 33554432000 4194304 6142532 140736111075888 140736111072712 5017759 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 20656128 140736111084678 140736111084808 140736111084808 140736111087566 0
/proc/21798/statm: 148062 142183 862 476 0 141384 0
Current children cumulated CPU time: 1782.27 s
Current children cumulated vsize: 592248 KiB
Current children cumulated memory: 568732 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 21883
/proc/meminfo: memFree=24728624/32770624 swapFree=67108860/67108860
[pid=21798] ppid=21795 vsize=592248 memory=568732 CPUtime=1842.27 cores=1,3,5,7
/proc/21798/stat : 21798 (cosoco) R 21795 21798 20765 0 -1 4202496 1471026 0 0 0 184138 89 0 0 20 0 1 0 55512018 606461952 142183 33554432000 4194304 6142532 140736111075888 140736111072712 5399803 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 20656128 140736111084678 140736111084808 140736111084808 140736111087566 0
/proc/21798/statm: 148062 142183 862 476 0 141384 0
Current children cumulated CPU time: 1842.27 s
Current children cumulated vsize: 592248 KiB
Current children cumulated memory: 568732 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 21885
/proc/meminfo: memFree=24719184/32770624 swapFree=67108860/67108860
[pid=21798] ppid=21795 vsize=592248 memory=568732 CPUtime=1902.27 cores=1,3,5,7
/proc/21798/stat : 21798 (cosoco) R 21795 21798 20765 0 -1 4202496 1471550 0 0 0 190138 89 0 0 20 0 1 0 55512018 606461952 142183 33554432000 4194304 6142532 140736111075888 140736111072712 140539319628902 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 20656128 140736111084678 140736111084808 140736111084808 140736111087566 0
/proc/21798/statm: 148062 142183 862 476 0 141384 0
Current children cumulated CPU time: 1902.27 s
Current children cumulated vsize: 592248 KiB
Current children cumulated memory: 568732 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 21893
/proc/meminfo: memFree=24718056/32770624 swapFree=67108860/67108860
[pid=21798] ppid=21795 vsize=592248 memory=568732 CPUtime=1962.27 cores=1,3,5,7
/proc/21798/stat : 21798 (cosoco) R 21795 21798 20765 0 -1 4202496 1471943 0 0 0 196138 89 0 0 20 0 1 0 55512018 606461952 142183 33554432000 4194304 6142532 140736111075888 140736111072712 5367443 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 20656128 140736111084678 140736111084808 140736111084808 140736111087566 0
/proc/21798/statm: 148062 142183 862 476 0 141384 0
Current children cumulated CPU time: 1962.27 s
Current children cumulated vsize: 592248 KiB
Current children cumulated memory: 568732 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 21894
/proc/meminfo: memFree=24683924/32770624 swapFree=67108860/67108860
[pid=21798] ppid=21795 vsize=592248 memory=568732 CPUtime=2022.27 cores=1,3,5,7
/proc/21798/stat : 21798 (cosoco) R 21795 21798 20765 0 -1 4202496 1472308 0 0 0 202138 89 0 0 20 0 1 0 55512018 606461952 142183 33554432000 4194304 6142532 140736111075888 140736111072712 5374073 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 20656128 140736111084678 140736111084808 140736111084808 140736111087566 0
/proc/21798/statm: 148062 142183 862 476 0 141384 0
Current children cumulated CPU time: 2022.27 s
Current children cumulated vsize: 592248 KiB
Current children cumulated memory: 568732 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 21895
/proc/meminfo: memFree=24667856/32770624 swapFree=67108860/67108860
[pid=21798] ppid=21795 vsize=592248 memory=568732 CPUtime=2082.27 cores=1,3,5,7
/proc/21798/stat : 21798 (cosoco) R 21795 21798 20765 0 -1 4202496 1472865 0 0 0 208138 89 0 0 20 0 1 0 55512018 606461952 142183 33554432000 4194304 6142532 140736111075888 140736111072712 5146868 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 20656128 140736111084678 140736111084808 140736111084808 140736111087566 0
/proc/21798/statm: 148062 142183 862 476 0 141384 0
Current children cumulated CPU time: 2082.27 s
Current children cumulated vsize: 592248 KiB
Current children cumulated memory: 568732 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 21897
/proc/meminfo: memFree=24640956/32770624 swapFree=67108860/67108860
[pid=21798] ppid=21795 vsize=592248 memory=568732 CPUtime=2142.27 cores=1,3,5,7
/proc/21798/stat : 21798 (cosoco) R 21795 21798 20765 0 -1 4202496 1473249 0 0 0 214138 89 0 0 20 0 1 0 55512018 606461952 142183 33554432000 4194304 6142532 140736111075888 140736111072712 5371724 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 20656128 140736111084678 140736111084808 140736111084808 140736111087566 0
/proc/21798/statm: 148062 142183 862 476 0 141384 0
Current children cumulated CPU time: 2142.27 s
Current children cumulated vsize: 592248 KiB
Current children cumulated memory: 568732 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 21898
/proc/meminfo: memFree=24634228/32770624 swapFree=67108860/67108860
[pid=21798] ppid=21795 vsize=592248 memory=568732 CPUtime=2202.27 cores=1,3,5,7
/proc/21798/stat : 21798 (cosoco) R 21795 21798 20765 0 -1 4202496 1473803 0 0 0 220138 89 0 0 20 0 1 0 55512018 606461952 142183 33554432000 4194304 6142532 140736111075888 140736111072712 140539319631296 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 20656128 140736111084678 140736111084808 140736111084808 140736111087566 0
/proc/21798/statm: 148062 142183 862 476 0 141384 0
Current children cumulated CPU time: 2202.27 s
Current children cumulated vsize: 592248 KiB
Current children cumulated memory: 568732 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 21899
/proc/meminfo: memFree=24616744/32770624 swapFree=67108860/67108860
[pid=21798] ppid=21795 vsize=592248 memory=568732 CPUtime=2262.27 cores=1,3,5,7
/proc/21798/stat : 21798 (cosoco) R 21795 21798 20765 0 -1 4202496 1474160 0 0 0 226138 89 0 0 20 0 1 0 55512018 606461952 142183 33554432000 4194304 6142532 140736111075888 140736111072712 140539328650127 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 20656128 140736111084678 140736111084808 140736111084808 140736111087566 0
/proc/21798/statm: 148062 142183 862 476 0 141384 0
Current children cumulated CPU time: 2262.27 s
Current children cumulated vsize: 592248 KiB
Current children cumulated memory: 568732 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 21900
/proc/meminfo: memFree=24617104/32770624 swapFree=67108860/67108860
[pid=21798] ppid=21795 vsize=592248 memory=568732 CPUtime=2322.27 cores=1,3,5,7
/proc/21798/stat : 21798 (cosoco) R 21795 21798 20765 0 -1 4202496 1474703 0 0 0 232138 89 0 0 20 0 1 0 55512018 606461952 142183 33554432000 4194304 6142532 140736111075888 140736111072712 5375774 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 20656128 140736111084678 140736111084808 140736111084808 140736111087566 0
/proc/21798/statm: 148062 142183 862 476 0 141384 0
Current children cumulated CPU time: 2322.27 s
Current children cumulated vsize: 592248 KiB
Current children cumulated memory: 568732 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 21902
/proc/meminfo: memFree=24616272/32770624 swapFree=67108860/67108860
[pid=21798] ppid=21795 vsize=592248 memory=568732 CPUtime=2382.27 cores=1,3,5,7
/proc/21798/stat : 21798 (cosoco) R 21795 21798 20765 0 -1 4202496 1475286 0 0 0 238138 89 0 0 20 0 1 0 55512018 606461952 142183 33554432000 4194304 6142532 140736111075888 140736111072712 5175092 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 20656128 140736111084678 140736111084808 140736111084808 140736111087566 0
/proc/21798/statm: 148062 142183 862 476 0 141384 0
Current children cumulated CPU time: 2382.27 s
Current children cumulated vsize: 592248 KiB
Current children cumulated memory: 568732 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 21903
/proc/meminfo: memFree=24615940/32770624 swapFree=67108860/67108860
[pid=21798] ppid=21795 vsize=592248 memory=568732 CPUtime=2442.27 cores=1,3,5,7
/proc/21798/stat : 21798 (cosoco) R 21795 21798 20765 0 -1 4202496 1475648 0 0 0 244138 89 0 0 20 0 1 0 55512018 606461952 142183 33554432000 4194304 6142532 140736111075888 140736111072712 140539328650077 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 20656128 140736111084678 140736111084808 140736111084808 140736111087566 0
/proc/21798/statm: 148062 142183 862 476 0 141384 0
Current children cumulated CPU time: 2442.27 s
Current children cumulated vsize: 592248 KiB
Current children cumulated memory: 568732 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/204 21933
/proc/meminfo: memFree=24118440/32770624 swapFree=67108860/67108860
[pid=21798] ppid=21795 vsize=592248 memory=568732 CPUtime=2502.27 cores=1,3,5,7
/proc/21798/stat : 21798 (cosoco) R 21795 21798 20765 0 -1 4202496 1476009 0 0 0 250138 89 0 0 20 0 1 0 55512018 606461952 142183 33554432000 4194304 6142532 140736111075888 140736111072712 5367138 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 20656128 140736111084678 140736111084808 140736111084808 140736111087566 0
/proc/21798/statm: 148062 142183 862 476 0 141384 0
Current children cumulated CPU time: 2502.27 s
Current children cumulated vsize: 592248 KiB
Current children cumulated memory: 568732 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.06 2.03 2.05 3/207 21943
/proc/meminfo: memFree=21622856/32770624 swapFree=67108860/67108860
[pid=21798] ppid=21795 vsize=592248 memory=568732 CPUtime=2519.98 cores=1,3,5,7
/proc/21798/stat : 21798 (cosoco) R 21795 21798 20765 0 -1 4202496 1476072 0 0 0 251909 89 0 0 20 0 1 0 55512018 606461952 142183 33554432000 4194304 6142532 140736111075888 140736111072712 5396651 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 20656128 140736111084678 140736111084808 140736111084808 140736111087566 0
/proc/21798/statm: 148062 142183 862 476 0 141384 0
Current children cumulated CPU time: 2519.98 s
Current children cumulated vsize: 592248 KiB
Current children cumulated memory: 568732 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.01 s]
# the end of solver process 21798 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.1 s, system=0.894999 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 2520.01
CPU time (s): 2519.99
CPU user time (s): 2519.1
CPU system time (s): 0.894999
CPU usage (%): 99.9991
Max. virtual memory (cumulated for all children) (KiB): 592248
Max. memory (cumulated for all children) (KiB): 568732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.1
system time used= 0.894999
maximum resident set size= 568792
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1476121
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= 41
involuntary context switches= 777
# summary of solver processes directly reported to runsolver:
# pid: 21798
# total CPU time (s): 2519.99
# total CPU user time (s): 2519.1
# total CPU system time (s): 0.894999
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.18471 second user time and 17.1517 second system time
The end
Begin job on node134 at 2018-07-23 22:58:08 IDJOB=4293931 IDBENCH=141267 IDSOLVER=2752 FILE ID=node134/4293931-1532379488 RUNJOBID= node134-1532369368-20797 PBS_JOBID= 21021570 Free space on /tmp= 55688 MiB SOLVER NAME= cosoco 1.12 BENCH NAME= XCSP18/Fapp/Fapp-m2s/Fapp-m2s-test02-0250_c18.xml COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4293931-1532379488/watcher-4293931-1532379488 -o /tmp/evaluation-result-4293931-1532379488/solver-4293931-1532379488 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1532369368-20797 --watchdog 2580 HOME/cosoco -lc -model -restarts HOME/instance-4293931-1532379488.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 2354d9b784d04df982f0d1b4068abd13 RANDOM SEED=931003076 node134.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.68 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.68 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.68 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.68 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: 26532944 kB MemAvailable: 31371968 kB Buffers: 197596 kB Cached: 4903424 kB SwapCached: 0 kB Active: 2345956 kB Inactive: 3412368 kB Active(anon): 606772 kB Inactive(anon): 70292 kB Active(file): 1739184 kB Inactive(file): 3342076 kB Unevictable: 7396 kB Mlocked: 7396 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 98256 kB Writeback: 0 kB AnonPages: 623996 kB Mapped: 39460 kB Shmem: 17056 kB Slab: 175600 kB SReclaimable: 147200 kB SUnreclaim: 28400 kB KernelStack: 3632 kB PageTables: 6436 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 956088 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 120192 kB DirectMap2M: 33425408 kB Free space on /tmp at the end= 55684 MiB End job on node134 at 2018-07-23 23:40:08