Trace number 4301671

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
cosoco 1.12SAT (TO)145576714 252.006 252.027

General information on the benchmark

NameFapp/Fapp-m2s/
Fapp-m2s-test02-0250_c18.xml
MD5SUM2354d9b784d04df982f0d1b4068abd13
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark89722677
Best CPU time to get the best result obtained on this benchmark252.15
Satisfiable
(Un)Satisfiability was proved
Number of variables3894
Number of constraints2462
Number of domains32
Minimum domain size1
Maximum domain size175
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 degree2
Maximum variable degree1132
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 arity2
Maximum constraint arity6
Distribution of constraint arities[{"arity":2,"count":200},{"arity":3,"count":1131},{"arity":6,"count":1131}]
Number of extensional constraints1131
Number of intensional constraints1331
Distribution of constraint types[{"type":"extension","count":1131},{"type":"intension","count":1331}]
Optimization problemYES
Type of objectivemin SUM

Solver Data 

0.10/0.11	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.11	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.11	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.11	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.11	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.11	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.11	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.11	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.11	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.11	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.11	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.11	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.11	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.11	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.11	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.11	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.11	c AllEqual constraint using 1 generic x=y constraints 
39.10/39.20	c best=?? lower=0 upper=153510630 
211.78/211.81	c
211.78/211.81	c This is cosoco 1.12 --  
211.78/211.81	c
211.78/211.81	c command line: HOME/cosoco -lc -model -restarts HOME/instance-4301671-1532885302.xml 
211.78/211.81	c enable optimization
211.78/211.81	c ========================================[ Problem Statistics ]===========================================
211.78/211.81	c |                                                                                                       
211.78/211.81	c |  Parse time        :        39.01 s 
211.78/211.81	c |
211.78/211.81	c |               Variables: 3894
211.78/211.81	c |            Domain Sizes: 1..175
211.78/211.81	c |
211.78/211.81	c |             Constraints: 2463
211.78/211.81	c |                   Arity: 2..2263  -- Binary: 200  -- Ternary: 1131
211.78/211.81	c | 
211.78/211.81	c |                   Types: 
211.78/211.81	c |                          (X != Y): 18
211.78/211.81	c |                          (X = Y): 17
211.78/211.81	c |                          Extension: 1131  (nb tuples: 358..8368) -- (shared: 0)
211.78/211.81	c |                          Intension: 1296
211.78/211.81	c |                          Sum: 1
211.78/211.81	c |                          
211.78/211.81	c |               Objective: Minimize Sum
211.78/211.81	
211.78/211.81	c =========================================================================================================
211.78/211.81	o 145576714
211.78/211.81	c    1 calls to solver: best=145576714 lower=0 upper=145576713 
251.98/252.01	
251.98/252.01	c *** INTERRUPTED ***
251.98/252.01	c restarts              : 34          
251.98/252.01	c conflicts             : 24894        (99 /sec)
251.98/252.01	c decisions             : 129163       (513 /sec)
251.98/252.01	c propagations          : 21943450    (87216 /sec)
251.98/252.01	c root propagations     : 5711        
251.98/252.01	c filter calls          : 2452573        (9748 /sec)
251.98/252.01	c useless filter calls  : 1536788        (62 %)
251.98/252.01	c Memory used           : 577.82 MB
251.98/252.01	c CPU time              : 251.598 s
251.98/252.01	
251.98/252.01	c nb Solutions = 1
251.98/252.01	s SATISFIABLE
251.98/252.01	c Best value found: 145576714
251.98/252.01	
251.98/252.01	
251.98/252.01	v <instantiation type='solution' cost='145576714'>
251.98/252.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>
251.98/252.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>
251.98/252.01	v </instantiation>
251.98/252.01

Verifier Data 

OK	145576714

Watcher Data 

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 (13459 MiB free)
  memory of node 1: 16384 MiB (11416 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4301671-1532885302/watcher-4301671-1532885302 -o /tmp/evaluation-result-4301671-1532885302/solver-4301671-1532885302 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node104-1532880243-4870 --watchdog 312 HOME/cosoco -lc -model -restarts HOME/instance-4301671-1532885302.xml 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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=8018, runsolver pid=8015

[startup+0.100466 s]*
/proc/loadavg: 2.01 2.01 1.97 3/187 8019
/proc/meminfo: memFree=25454248/32770624 swapFree=67108532/67108860
[pid=8018] ppid=8015 vsize=48200 memory=24592 CPUtime=0.1 cores=0,2,4,6
/proc/8018/stat : 8018 (cosoco) R 8015 8018 4839 0 -1 4202496 6321 0 0 0 10 0 0 0 20 0 1 0 106093415 49356800 6148 33554432000 4194304 6142532 140733533825264 140733533819640 139798008003557 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 8243016 8247936 16642048 140733533828235 140733533828365 140733533828365 140733533831118 0
/proc/8018/statm: 12050 6148 803 476 0 5372 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 48200 KiB
Current children cumulated memory: 24592 KiB

[startup+0.209584 s]*
/proc/loadavg: 2.01 2.01 1.97 3/187 8019
/proc/meminfo: memFree=25441204/32770624 swapFree=67108532/67108860
[pid=8018] ppid=8015 vsize=62304 memory=38652 CPUtime=0.2 cores=0,2,4,6
/proc/8018/stat : 8018 (cosoco) R 8015 8018 4839 0 -1 4202496 9820 0 0 0 20 0 0 0 20 0 1 0 106093415 63799296 9663 33554432000 4194304 6142532 140733533825264 140733533819640 139798008003557 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 8243016 8247936 16642048 140733533828235 140733533828365 140733533828365 140733533831118 0
/proc/8018/statm: 15576 9663 807 476 0 8898 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 62304 KiB
Current children cumulated memory: 38652 KiB

[startup+0.309828 s]*
/proc/loadavg: 2.01 2.01 1.97 3/187 8019
/proc/meminfo: memFree=25425208/32770624 swapFree=67108532/67108860
[pid=8018] ppid=8015 vsize=78100 memory=54492 CPUtime=0.31 cores=0,2,4,6
/proc/8018/stat : 8018 (cosoco) R 8015 8018 4839 0 -1 4202496 13791 0 0 0 30 1 0 0 20 0 1 0 106093415 79974400 13623 33554432000 4194304 6142532 140733533825264 140733533819640 139798008003557 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 8243016 8247936 16642048 140733533828235 140733533828365 140733533828365 140733533831118 0
/proc/8018/statm: 19525 13623 807 476 0 12847 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 78100 KiB
Current children cumulated memory: 54492 KiB

[startup+0.70029 s]
/proc/loadavg: 2.01 2.01 1.97 3/187 8019
/proc/meminfo: memFree=25399788/32770624 swapFree=67108532/67108860
[pid=8018] ppid=8015 vsize=103372 memory=79436 CPUtime=0.68 cores=0,2,4,6
/proc/8018/stat : 8018 (cosoco) R 8015 8018 4839 0 -1 4202496 20116 0 0 0 67 1 0 0 20 0 1 0 106093415 105852928 19859 33554432000 4194304 6142532 140733533825264 140733533821912 139798008441856 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 8243016 8247936 16642048 140733533828235 140733533828365 140733533828365 140733533831118 0
/proc/8018/statm: 25843 19859 812 476 0 19165 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 103372 KiB
Current children cumulated memory: 79436 KiB

[startup+1.50029 s]
/proc/loadavg: 2.01 2.01 1.97 3/187 8019
/proc/meminfo: memFree=25395652/32770624 swapFree=67108532/67108860
[pid=8018] ppid=8015 vsize=110368 memory=86204 CPUtime=1.49 cores=0,2,4,6
/proc/8018/stat : 8018 (cosoco) R 8015 8018 4839 0 -1 4202496 21840 0 0 0 147 2 0 0 20 0 1 0 106093415 113016832 21551 33554432000 4194304 6142532 140733533825264 140733533821912 139798008441856 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 8243016 8247936 16642048 140733533828235 140733533828365 140733533828365 140733533831118 0
/proc/8018/statm: 27592 21551 812 476 0 20914 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 110368 KiB
Current children cumulated memory: 86204 KiB

[startup+3.10939 s]
/proc/loadavg: 1.92 2.00 1.97 3/187 8019
/proc/meminfo: memFree=25379144/32770624 swapFree=67108532/67108860
[pid=8018] ppid=8015 vsize=125128 memory=99960 CPUtime=3.09 cores=0,2,4,6
/proc/8018/stat : 8018 (cosoco) R 8015 8018 4839 0 -1 4202496 25730 0 0 0 307 2 0 0 20 0 1 0 106093415 128131072 24990 33554432000 4194304 6142532 140733533825264 140733533821912 139798008441856 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 8243016 8247936 16642048 140733533828235 140733533828365 140733533828365 140733533831118 0
/proc/8018/statm: 31282 24990 812 476 0 24604 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 125128 KiB
Current children cumulated memory: 99960 KiB

[startup+6.30034 s]
/proc/loadavg: 1.92 2.00 1.97 3/187 8019
/proc/meminfo: memFree=25352548/32770624 swapFree=67108532/67108860
[pid=8018] ppid=8015 vsize=153712 memory=126996 CPUtime=6.28 cores=0,2,4,6
/proc/8018/stat : 8018 (cosoco) R 8015 8018 4839 0 -1 4202496 33699 0 0 0 625 3 0 0 20 0 1 0 106093415 157401088 31749 33554432000 4194304 6142532 140733533825264 140733533821912 139798008441856 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 8243016 8247936 16642048 140733533828235 140733533828365 140733533828365 140733533831118 0
/proc/8018/statm: 38428 31749 812 476 0 31750 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 153712 KiB
Current children cumulated memory: 126996 KiB

[startup+12.7003 s]
/proc/loadavg: 1.93 2.00 1.97 3/187 8019
/proc/meminfo: memFree=25302680/32770624 swapFree=67108532/67108860
[pid=8018] ppid=8015 vsize=211608 memory=181208 CPUtime=12.69 cores=0,2,4,6
/proc/8018/stat : 8018 (cosoco) R 8015 8018 4839 0 -1 4202496 48929 0 0 0 1263 6 0 0 20 0 1 0 106093415 216686592 45302 33554432000 4194304 6142532 140733533825264 140733533821912 5798068 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 8243016 8247936 16642048 140733533828235 140733533828365 140733533828365 140733533831118 0
/proc/8018/statm: 52902 45302 812 476 0 46224 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 211608 KiB
Current children cumulated memory: 181208 KiB

[startup+25.5004 s]
/proc/loadavg: 1.95 2.00 1.97 3/187 8019
/proc/meminfo: memFree=25182308/32770624 swapFree=67108532/67108860
[pid=8018] ppid=8015 vsize=327004 memory=289984 CPUtime=25.49 cores=0,2,4,6
/proc/8018/stat : 8018 (cosoco) R 8015 8018 4839 0 -1 4202496 78754 0 0 0 2538 11 0 0 20 0 1 0 106093415 334852096 72496 33554432000 4194304 6142532 140733533825264 140733533821912 5403315 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 8243016 8247936 16642048 140733533828235 140733533828365 140733533828365 140733533831118 0
/proc/8018/statm: 81751 72496 812 476 0 75073 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 327004 KiB
Current children cumulated memory: 289984 KiB

[startup+51.1096 s]
/proc/loadavg: 1.89 1.98 1.96 3/187 8080
/proc/meminfo: memFree=27144404/32770624 swapFree=67108532/67108860
[pid=8018] ppid=8015 vsize=534108 memory=490520 CPUtime=51.1 cores=0,2,4,6
/proc/8018/stat : 8018 (cosoco) R 8015 8018 4839 0 -1 4202496 249024 0 0 0 5086 24 0 0 20 0 1 0 106093415 546926592 122630 33554432000 4194304 6142532 140733533825264 140733533821976 5017759 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 16642048 140733533828235 140733533828365 140733533828365 140733533831118 0
/proc/8018/statm: 133527 122630 860 476 0 126849 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 534108 KiB
Current children cumulated memory: 490520 KiB

[startup+102.3 s]
/proc/loadavg: 2.44 2.11 2.00 3/188 8150
/proc/meminfo: memFree=27202644/32770624 swapFree=67108532/67108860
[pid=8018] ppid=8015 vsize=554820 memory=512524 CPUtime=102.28 cores=0,2,4,6
/proc/8018/stat : 8018 (cosoco) R 8015 8018 4839 0 -1 4202496 357331 0 0 0 10198 30 0 0 20 0 1 0 106093415 568135680 128131 33554432000 4194304 6142532 140733533825264 140733533822120 5366776 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 16642048 140733533828235 140733533828365 140733533828365 140733533831118 0
/proc/8018/statm: 138705 128131 860 476 0 132027 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 554820 KiB
Current children cumulated memory: 512524 KiB

[startup+162.3 s]
/proc/loadavg: 2.26 2.13 2.02 3/188 8151
/proc/meminfo: memFree=26550212/32770624 swapFree=67108532/67108860
[pid=8018] ppid=8015 vsize=578620 memory=541340 CPUtime=162.28 cores=0,2,4,6
/proc/8018/stat : 8018 (cosoco) R 8015 8018 4839 0 -1 4202496 428025 0 0 0 16193 35 0 0 20 0 1 0 106093415 592506880 135335 33554432000 4194304 6142532 140733533825264 140733533821976 5366749 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 16642048 140733533828235 140733533828365 140733533828365 140733533831118 0
/proc/8018/statm: 144655 135335 860 476 0 137977 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 578620 KiB
Current children cumulated memory: 541340 KiB

[startup+222.3 s]
/proc/loadavg: 2.10 2.11 2.02 3/188 8152
/proc/meminfo: memFree=26420044/32770624 swapFree=67108532/67108860
[pid=8018] ppid=8015 vsize=591688 memory=559884 CPUtime=222.27 cores=0,2,4,6
/proc/8018/stat : 8018 (cosoco) R 8015 8018 4839 0 -1 4202496 484478 0 0 0 22188 39 0 0 20 0 1 0 106093415 605888512 139971 33554432000 4194304 6142532 140733533825264 140733533812536 5017767 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 16642048 140733533828235 140733533828365 140733533828365 140733533831118 0
/proc/8018/statm: 147922 139971 862 476 0 141244 0
Current children cumulated CPU time: 222.27 s
Current children cumulated vsize: 591688 KiB
Current children cumulated memory: 559884 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+252 s]*
/proc/loadavg: 2.06 2.10 2.02 3/188 8152
/proc/meminfo: memFree=26403080/32770624 swapFree=67108532/67108860
[pid=8018] ppid=8015 vsize=591688 memory=562540 CPUtime=251.98 cores=0,2,4,6
/proc/8018/stat : 8018 (cosoco) R 8015 8018 4839 0 -1 4202496 485859 0 0 0 25159 39 0 0 20 0 1 0 106093415 605888512 140635 33554432000 4194304 6142532 140733533825264 140733533812536 5017759 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 16642048 140733533828235 140733533828365 140733533828365 140733533831118 0
/proc/8018/statm: 147922 140635 862 476 0 141244 0
Current children cumulated CPU time: 251.98 s
Current children cumulated vsize: 591688 KiB
Current children cumulated memory: 562540 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+252.027 s]
# the end of solver process 8018 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=251.599 s, system=0.407018 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 1
Real time (s): 252.027
CPU time (s): 252.006
CPU user time (s): 251.599
CPU system time (s): 0.407018
CPU usage (%): 99.9916
Max. virtual memory (cumulated for all children) (KiB): 591688
Max. memory (cumulated for all children) (KiB): 562540

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 251.599
system time used= 0.407018
maximum resident set size= 562600
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 485965
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= 65
involuntary context switches= 714


# summary of solver processes directly reported to runsolver:
#   pid: 8018
#   total CPU time (s): 252.006
#   total CPU user time (s): 251.599
#   total CPU system time (s): 0.407018

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.29981 second user time and 1.45117 second system time

The end

Launcher Data 

Begin job on node104 at 2018-07-29 19:28:22
IDJOB=4301671
IDBENCH=141267
IDSOLVER=2774
FILE ID=node104/4301671-1532885302
RUNJOBID= node104-1532880243-4870
PBS_JOBID= 21022518
Free space on /tmp= 50204 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-4301671-1532885302/watcher-4301671-1532885302 -o /tmp/evaluation-result-4301671-1532885302/solver-4301671-1532885302 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node104-1532880243-4870 --watchdog 312  HOME/cosoco -lc -model -restarts HOME/instance-4301671-1532885302.xml

TIME LIMIT= 252 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 2354d9b784d04df982f0d1b4068abd13
RANDOM SEED=1623710438

node104.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.11
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.11
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.11
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.11
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:        25475068 kB
MemAvailable:   29648152 kB
Buffers:          178264 kB
Cached:          4249644 kB
SwapCached:           12 kB
Active:          4610820 kB
Inactive:        2170448 kB
Active(anon):    2307872 kB
Inactive(anon):    73040 kB
Active(file):    2302948 kB
Inactive(file):  2097408 kB
Unevictable:        7360 kB
Mlocked:            7360 kB
SwapTotal:      67108860 kB
SwapFree:       67108532 kB
Dirty:             98376 kB
Writeback:             0 kB
AnonPages:       2360216 kB
Mapped:            44316 kB
Shmem:             25060 kB
Slab:             206120 kB
SReclaimable:     177124 kB
SUnreclaim:        28996 kB
KernelStack:        3360 kB
PageTables:         9448 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2712724 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      6144 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      116096 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 50324 MiB
End job on node104 at 2018-07-29 19:32:35