Trace number 4312594

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
Mistral-2.0 2018-08-01SAT (TO)100532549 251.952 252.02

General information on the benchmark

NameFapp/Fapp-m2s/
Fapp-m2s-01-0200_c18.xml
MD5SUMbcb772945ca2f244c7b00bb761820cd7
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark35806253
Best CPU time to get the best result obtained on this benchmark252.084
Satisfiable
(Un)Satisfiability was proved
Number of variables3236
Number of constraints2053
Number of domains39
Minimum domain size1
Maximum domain size95
Distribution of domain sizes[{"size":1,"count":3},{"size":2,"count":1142},{"size":11,"count":945},{"size":12,"count":1},{"size":21,"count":9},{"size":23,"count":22},{"size":25,"count":1},{"size":29,"count":34},{"size":33,"count":35},{"size":34,"count":18},{"size":35,"count":32},{"size":39,"count":8},{"size":40,"count":9},{"size":41,"count":15},{"size":49,"count":1},{"size":50,"count":19},{"size":51,"count":16},{"size":53,"count":5},{"size":55,"count":32},{"size":57,"count":10},{"size":58,"count":7},{"size":60,"count":9},{"size":64,"count":76},{"size":69,"count":85},{"size":74,"count":50},{"size":81,"count":87},{"size":91,"count":84},{"size":93,"count":31},{"size":95,"count":450}]
Minimum variable degree2
Maximum variable degree946
Distribution of variable degrees[{"degree":2,"count":2836},{"degree":3,"count":1},{"degree":4,"count":3},{"degree":5,"count":17},{"degree":6,"count":21},{"degree":7,"count":31},{"degree":8,"count":26},{"degree":9,"count":50},{"degree":10,"count":45},{"degree":11,"count":47},{"degree":12,"count":52},{"degree":13,"count":72},{"degree":14,"count":34},{"degree":946,"count":1}]
Minimum constraint arity2
Maximum constraint arity6
Distribution of constraint arities[{"arity":2,"count":163},{"arity":3,"count":945},{"arity":6,"count":945}]
Number of extensional constraints945
Number of intensional constraints1108
Distribution of constraint types[{"type":"extension","count":945},{"type":"intension","count":1108}]
Optimization problemYES
Type of objectivemin SUM

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c Mistral 01082018
19.88/19.90	o 100731334
19.88/19.90	o 100731293
19.88/19.90	o 100731286
19.88/19.90	o 100731261
19.88/19.91	o 100731245
19.88/19.91	o 100731242
19.88/19.91	o 100731241
19.88/19.94	o 100731239
19.88/19.96	o 100731214
19.88/19.96	o 100731212
19.88/19.96	o 100731210
19.88/19.96	o 100731209
20.09/20.16	o 100721749
20.39/20.40	o 100721748
20.49/20.52	o 100721738
27.78/27.83	o 100721735
27.99/28.07	o 100721732
28.48/28.50	o 100721730
29.49/29.53	o 100721722
30.29/30.32	o 100721715
30.39/30.45	o 100721712
30.59/30.66	o 100721711
30.59/30.68	o 100721705
37.58/37.68	o 100721704
37.58/37.68	o 100721703
37.58/37.68	o 100721701
37.58/37.69	o 100712251
37.68/37.70	o 100712247
37.68/37.70	o 100702795
37.68/37.76	o 100693343
37.68/37.76	o 100683892
38.18/38.27	o 100683891
38.48/38.59	o 100683889
39.58/39.67	o 100683888
87.46/87.57	o 100683887
88.36/88.42	o 100683881
93.76/93.84	o 100683877
105.45/105.54	o 100674427
105.45/105.54	o 100674425
105.45/105.54	o 100674417
105.45/105.54	o 100674415
105.96/106.10	o 100664956
108.25/108.39	o 100664955
108.35/108.43	o 100664947
110.85/110.90	o 100664946
131.96/132.02	o 100664944
131.96/132.02	o 100655494
131.96/132.02	o 100646042
131.96/132.02	o 100636600
132.06/132.12	o 100636585
132.06/132.12	o 100636583
132.15/132.21	o 100636575
132.45/132.56	o 100636574
132.45/132.56	o 100636566
132.85/132.93	o 100636565
132.96/133.10	o 100627106
133.35/133.44	o 100627100
134.15/134.24	o 100617658
134.45/134.54	o 100608201
134.75/134.81	o 100598758
134.96/135.04	o 100598756
136.96/137.06	o 100598748
175.24/175.39	o 100598747
180.14/180.22	o 100589288
180.14/180.23	o 100579838
180.14/180.23	o 100579830
180.14/180.24	o 100579828
180.14/180.26	o 100560923
180.24/180.31	o 100551472
180.24/180.32	o 100551471
180.24/180.38	o 100551470
180.84/180.95	o 100542015
181.54/181.66	o 100532560
181.74/181.81	o 100532549
251.93/252.01	s SATISFIABLE
251.93/252.01	v <instantiation type="solution">
251.93/252.01	v   <list> f[0] f[1] f[2] f[3] f[4] f[5] f[6] f[7] f[8] f[9] f[10] f[11] f[12] f[13] f[14] f[15] f[16] f[17] f[18] f[19] f[20] f[21] f[22] f[23] f[24] f[25] f[26] f[27] f[28] f[29] f[30] f[31] f[32] f[33] f[34] f[35] f[36] f[37] f[38] f[39] f[40] f[41] f[42] f[43] f[44] f[45] f[46] f[47] f[48] f[49] f[50] f[51] f[52] f[53] f[54] f[55] f[56] f[57] f[58] f[59] f[60] f[61] f[62] f[63] f[64] f[65] f[66] f[67] f[68] f[69] f[70] f[71] f[72] f[73] f[74] f[75] f[76] f[77] f[78] f[79] f[80] f[81] f[82] f[83] f[84] f[85] f[86] f[87] f[88] f[89] f[90] f[91] f[92] f[93] f[94] f[95] f[96] f[97] f[98] f[99] f[100] f[101] f[102] f[103] f[104] f[105] f[106] f[107] f[108] f[109] f[110] f[111] f[112] f[113] f[114] f[115] f[116] f[117] f[118] f[119] f[120] f[121] f[122] f[123] f[124] f[125] f[126] f[127] f[128] f[129] f[130] f[131] f[132] f[133] f[134] f[135] f[136] f[137] f[138] f[139] f[140] f[141] f[142] f[143] f[144] f[145] f[146] f[147] f[148] f[149] f[150] f[151] f[152] f[153] f[154] f[155] f[156] f[157] f[158] f[159] f[160] f[161] f[162] f[163] f[164] f[165] f[166] f[167] f[168] f[169] f[170] f[171] f[172] f[173] f[174] f[175] f[176] f[177] f[178] f[179] f[180] f[181] f[182] f[183] f[184] f[185] f[186] f[187] f[188] f[189] f[190] f[191] f[192] f[193] f[194] f[195] f[196] f[197] f[198] f[199] p[0] p[1] p[2] p[3] p[4] p[5] p[6] p[7] p[8] p[9] p[10] p[11] p[12] p[13] p[14] p[15] p[16] p[17] p[18] p[19] p[20] p[21] p[22] p[23] p[24] p[25] p[26] p[27] p[28] p[29] p[30] p[31] p[32] p[33] p[34] p[35] p[36] p[37] p[38] p[39] p[40] p[41] p[42] p[43] p[44] p[45] p[46] p[47] p[48] p[49] p[50] p[51] p[52] p[53] p[54] p[55] p[56] p[57] p[58] p[59] p[60] p[61] p[62] p[63] p[64] p[65] p[66] p[67] p[68] p[69] p[70] p[71] p[72] p[73] p[74] p[75] p[76] p[77] p[78] p[79] p[80] p[81] p[82] p[83] p[84] p[85] p[86] p[87] p[88] p[89] p[90] p[91] p[92] p[93] p[94] p[95] p[96] p[97] p[98] p[99] p[100] p[101] p[102] p[103] p[104] p[105] p[106] p[107] p[108] p[109] p[110] p[111] p[112] p[113] p[114] p[115] p[116] p[117] p[118] p[119] p[120] p[121] p[122] p[123] p[124] p[125] p[126] p[127] p[128] p[129] p[130] p[131] p[132] p[133] p[134] p[135] p[136] p[137] p[138] p[139] p[140] p[141] p[142] p[143] p[144] p[145] p[146] p[147] p[148] p[149] p[150] p[151] p[152] p[153] p[154] p[155] p[156] p[157] p[158] p[159] p[160] p[161] p[162] p[163] p[164] p[165] p[166] p[167] p[168] p[169] p[170] p[171] p[172] p[173] p[174] p[175] p[176] p[177] p[178] p[179] p[180] p[181] p[182] p[183] p[184] p[185] p[186] p[187] p[188] p[189] p[190] p[191] p[192] p[193] p[194] p[195] p[196] p[197] p[198] p[199] k v1[0] v1[1] v1[2] v1[3] v1[4] v1[5] v1[6] v1[7] v1[8] v1[9] v1[10] v1[11] v1[12] v1[13] v1[14] v1[15] v1[16] v1[17] v1[18] v1[19] v1[20] v1[21] v1[22] v1[23] v1[24] v1[25] v1[26] v1[27] v1[28] v1[29] v1[30] v1[31] v1[32] v1[33] v1[34] v1[35] v1[36] v1[37] v1[38] v1[39] v1[40] v1[41] v1[42] v1[43] v1[44] v1[45] v1[46] v1[47] v1[48] v1[49] v1[50] v1[51] v1[52] v1[53] v1[54] v1[55] v1[56] v1[57] v1[58] v1[59] v1[60] v1[61] v1[62] v1[63] v1[64] v1[65] v1[66] v1[67] v1[68] v1[69] v1[70] v1[71] v1[72] v1[73] v1[74] v1[75] v1[76] v1[77] v1[78] v1[79] v1[80] v1[81] v1[82] v1[83] v1[84] v1[85] v1[86] v1[87] v1[88] v1[89] v1[90] v1[91] v1[92] v1[93] v1[94] v1[95] v1[96] v1[97] v1[98] v1[99] v1[100] v1[101] v1[102] v1[103] v1[104] v1[105] v1[106] v1[107] v1[108] v1[109] v1[110] v1[111] v1[112] v1[113] v1[114] v1[115] v1[116] v1[117] v1[118] v1[119] v1[120] v1[121] v1[122] v1[123] v1[124] v1[125] v1[126] v1[127] v1[128] v1[129] v1[130] v1[131] v1[132] v1[133] v1[134] v1[135] v1[136] v1[137] v1[138] v1[139] v1[140] v1[141] v1[142] v1[143] v1[144] v1[145] v1[146] v1[147] v1[148] v1[149] v1[150] v1[151] v1[152] v1[153] v1[154] v1[155] v1[156] v1[157] v1[158] v1[159] v1[160] v1[161] v1[162] v1[163] v1[164] v1[165] v1[166] v1[167] v1[168] v1[169] v1[170] v1[171] v1[172] v1[173] v1[174] v1[175] v1[176] v1[177] v1[178] v1[179] v1[180] v1[181] v1[182] v1[183] v1[184] v1[185] v1[186] v1[187] v1[188] v1[189] v1[190] v1[191] v1[192] v1[193] v1[194] v1[195] v1[196] v1[197] v1[198] v1[199] v1[200] v1[201] v1[202] v1[203] v1[204] v1[205] v1[206] v1[207] v1[208] v1[209] v1[210] v1[211] v1[212] v1[213] v1[214] v1[215] v1[216] v1[217] v1[218] v1[219] v1[220] v1[221] v1[222] v1[223] v1[224] v1[225] v1[226] v1[227] v1[228] v1[229] v1[230] v1[231] v1[232] v1[233] v1[234] v1[235] v1[236] v1[237] v1[238] v1[239] v1[240] v1[241] v1[242] v1[243] v1[244] v1[245] v1[246] v1[247] v1[248] v1[249] v1[250] v1[251] v1[252] v1[253] v1[254] v1[255] v1[256] v1[257] v1[258] v1[259] v1[260] v1[261] v1[262] v1[263] v1[264] v1[265] v1[266] v1[267] v1[268] v1[269] v1[270] v1[271] v1[272] v1[273] v1[274] v1[275] v1[276] v1[277] v1[278] v1[279] v1[280] v1[281] v1[282] v1[283] v1[284] v1[285] v1[286] v1[287] v1[288] v1[289] v1[290] v1[291] v1[292] v1[293] v1[294] v1[295] v1[296] v1[297] v1[298] v1[299] v1[300] v1[301] v1[302] v1[303] v1[304] v1[305] v1[306] v1[307] v1[308] v1[309] v1[310] v1[311] v1[312] v1[313] v1[314] v1[315] v1[316] v1[317] v1[318] v1[319] v1[320] v1[321] v1[322] v1[323] v1[324] v1[325] v1[326] v1[327] v1[328] v1[329] v1[330] v1[331] v1[332] v1[333] v1[334] v1[335] v1[336] v1[337] v1[338] v1[339] v1[340] v1[341] v1[342] v1[343] v1[344] v1[345] v1[346] v1[347] v1[348] v1[349] v1[350] v1[351] v1[352] v1[353] v1[354] v1[355] v1[356] v1[357] v1[358] v1[359] v1[360] v1[361] v1[362] v1[363] v1[364] v1[365] v1[366] v1[367] v1[368] v1[369] v1[370] v1[371] v1[372] v1[373] v1[374] v1[375] v1[376] v1[377] v1[378] v1[379] v1[380] v1[381] v1[382] v1[383] v1[384] v1[385] v1[386] v1[387] v1[388] v1[389] v1[390] v1[391] v1[392] v1[393] v1[394] v1[395] v1[396] v1[397] v1[398] v1[399] v1[400] v1[401] v1[402] v1[403] v1[404] v1[405] v1[406] v1[407] v1[408] v1[409] v1[410] v1[411] v1[412] v1[413] v1[414] v1[415] v1[416] v1[417] v1[418] v1[419] v1[420] v1[421] v1[422] v1[423] v1[424] v1[425] v1[426] v1[427] v1[428] v1[429] v1[430] v1[431] v1[432] v1[433] v1[434] v1[435] v1[436] v1[437] v1[438] v1[439] v1[440] v1[441] v1[442] v1[443] v1[444] v1[445] v1[446] v1[447] v1[448] v1[449] v1[450] v1[451] v1[452] v1[453] v1[454] v1[455] v1[456] v1[457] v1[458] v1[459] v1[460] v1[461] v1[462] v1[463] v1[464] v1[465] v1[466] v1[467] v1[468] v1[469] v1[470] v1[471] v1[472] v1[473] v1[474] v1[475] v1[476] v1[477] v1[478] v1[479] v1[480] v1[481] v1[482] v1[483] v1[484] v1[485] v1[486] v1[487] v1[488] v1[489] v1[490] v1[491] v1[492] v1[493] v1[494] v1[495] v1[496] v1[497] v1[498] v1[499] v1[500] v1[501] v1[502] v1[503] v1[504] v1[505] v1[506] v1[507] v1[508] v1[509] v1[510] v1[511] v1[512] v1[513] v1[514] v1[515] v1[516] v1[517] v1[518] v1[519] v1[520] v1[521] v1[522] v1[523] v1[524] v1[525] v1[526] v1[527] v1[528] v1[529] v1[530] v1[531] v1[532] v1[533] v1[534] v1[535] v1[536] v1[537] v1[538] v1[539] v1[540] v1[541] v1[542] v1[543] v1[544] v1[545] v1[546] v1[547] v1[548] v1[549] v1[550] v1[551] v1[552] v1[553] v1[554] v1[555] v1[556] v1[557] v1[558] v1[559] v1[560] v1[561] v1[562] v1[563] v1[564] v1[565] v1[566] v1[567] v1[568] v1[569] v1[570] v1[571] v1[572] v1[573] v1[574] v1[575] v1[576] v1[577] v1[578] v1[579] v1[580] v1[581] v1[582] v1[583] v1[584] v1[585] v1[586] v1[587] v1[588] v1[589] v1[590] v1[591] v1[592] v1[593] v1[594] v1[595] v1[596] v1[597] v1[598] v1[599] v1[600] v1[601] v1[602] v1[603] v1[604] v1[605] v1[606] v1[607] v1[608] v1[609] v1[610] v1[611] v1[612] v1[613] v1[614] v1[615] v1[616] v1[617] v1[618] v1[619] v1[620] v1[621] v1[622] v1[623] v1[624] v1[625] v1[626] v1[627] v1[628] v1[629] v1[630] v1[631] v1[632] v1[633] v1[634] v1[635] v1[636] v1[637] v1[638] v1[639] v1[640] v1[641] v1[642] v1[643] v1[644] v1[645] v1[646] v1[647] v1[648] v1[649] v1[650] v1[651] v1[652] v1[653] v1[654] v1[655] v1[656] v1[657] v1[658] v1[659] v1[660] v1[661] v1[662] v1[663] v1[664] v1[665] v1[666] v1[667] v1[668] v1[669] v1[670] v1[671] v1[672] v1[673] v1[674] v1[675] v1[676] v1[677] v1[678] v1[679] v1[680] v1[681] v1[682] v1[683] v1[684] v1[685] v1[686] v1[687] v1[688] v1[689] v1[690] v1[691] v1[692] v1[693] v1[694] v1[695] v1[696] v1[697] v1[698] v1[699] v1[700] v1[701] v1[702] v1[703] v1[704] v1[705] v1[706] v1[707] v1[708] v1[709] v1[710] v1[711] v1[712] v1[713] v1[714] v1[715] v1[716] v1[717] v1[718] v1[719] v1[720] v1[721] v1[722] v1[723] v1[724] v1[725] v1[726] v1[727] v1[728] v1[729] v1[730] v1[731] v1[732] v1[733] v1[734] v1[735] v1[736] v1[737] v1[738] v1[739] v1[740] v1[741] v1[742] v1[743] v1[744] v1[745] v1[746] v1[747] v1[748] v1[749] v1[750] v1[751] v1[752] v1[753] v1[754] v1[755] v1[756] v1[757] v1[758] v1[759] v1[760] v1[761] v1[762] v1[763] v1[764] v1[765] v1[766] v1[767] v1[768] v1[769] v1[770] v1[771] v1[772] v1[773] v1[774] v1[775] v1[776] v1[777] v1[778] v1[779] v1[780] v1[781] v1[782] v1[783] v1[784] v1[785] v1[786] v1[787] v1[788] v1[789] v1[790] v1[791] v1[792] v1[793] v1[794] v1[795] v1[796] v1[797] v1[798] v1[799] v1[800] v1[801] v1[802] v1[803] v1[804] v1[805] v1[806] v1[807] v1[808] v1[809] v1[810] v1[811] v1[812] v1[813] v1[814] v1[815] v1[816] v1[817] v1[818] v1[819] v1[820] v1[821] v1[822] v1[823] v1[824] v1[825] v1[826] v1[827] v1[828] v1[829] v1[830] v1[831] v1[832] v1[833] v1[834] v1[835] v1[836] v1[837] v1[838] v1[839] v1[840] v1[841] v1[842] v1[843] v1[844] v1[845] v1[846] v1[847] v1[848] v1[849] v1[850] v1[851] v1[852] v1[853] v1[854] v1[855] v1[856] v1[857] v1[858] v1[859] v1[860] v1[861] v1[862] v1[863] v1[864] v1[865] v1[866] v1[867] v1[868] v1[869] v1[870] v1[871] v1[872] v1[873] v1[874] v1[875] v1[876] v1[877] v1[878] v1[879] v1[880] v1[881] v1[882] v1[883] v1[884] v1[885] v1[886] v1[887] v1[888] v1[889] v1[890] v1[891] v1[892] v1[893] v1[894] v1[895] v1[896] v1[897] v1[898] v1[899] v1[900] v1[901] v1[902] v1[903] v1[904] v1[905] v1[906] v1[907] v1[908] v1[909] v1[910] v1[911] v1[912] v1[913] v1[914] v1[915] v1[916] v1[917] v1[918] v1[919] v1[920] v1[921] v1[922] v1[923] v1[924] v1[925] v1[926] v1[927] v1[928] v1[929] v1[930] v1[931] v1[932] v1[933] v1[934] v1[935] v1[936] v1[937] v1[938] v1[939] v1[940] v1[941] v1[942] v1[943] v1[944] v2[0] v2[1] v2[2] v2[3] v2[4] v2[5] v2[6] v2[7] v2[8] v2[9] v2[10] v2[11] v2[12] v2[13] v2[14] v2[15] v2[16] v2[17] v2[18] v2[19] v2[20] v2[21] v2[22] v2[23] v2[24] v2[25] v2[26] v2[27] v2[28] v2[29] v2[30] v2[31] v2[32] v2[33] v2[34] v2[35] v2[36] v2[37] v2[38] v2[39] v2[40] v2[41] v2[42] v2[43] v2[44] v2[45] v2[46] v2[47] v2[48] v2[49] v2[50] v2[51] v2[52] v2[53] v2[54] v2[55] v2[56] v2[57] v2[58] v2[59] v2[60] v2[61] v2[62] v2[63] v2[64] v2[65] v2[66] v2[67] v2[68] v2[69] v2[70] v2[71] v2[72] v2[73] v2[74] v2[75] v2[76] v2[77] v2[78] v2[79] v2[80] v2[81] v2[82] v2[83] v2[84] v2[85] v2[86] v2[87] v2[88] v2[89] v2[90] v2[91] v2[92] v2[93] v2[94] v2[95] v2[96] v2[97] v2[98] v2[99] v2[100] v2[101] v2[102] v2[103] v2[104] v2[105] v2[106] v2[107] v2[108] v2[109] v2[110] v2[111] v2[112] v2[113] v2[114] v2[115] v2[116] v2[117] v2[118] v2[119] v2[120] v2[121] v2[122] v2[123] v2[124] v2[125] v2[126] v2[127] v2[128] v2[129] v2[130] v2[131] v2[132] v2[133] v2[134] v2[135] v2[136] v2[137] v2[138] v2[139] v2[140] v2[141] v2[142] v2[143] v2[144] v2[145] v2[146] v2[147] v2[148] v2[149] v2[150] v2[151] v2[152] v2[153] v2[154] v2[155] v2[156] v2[157] v2[158] v2[159] v2[160] v2[161] v2[162] v2[163] v2[164] v2[165] v2[166] v2[167] v2[168] v2[169] v2[170] v2[171] v2[172] v2[173] v2[174] v2[175] v2[176] v2[177] v2[178] v2[179] v2[180] v2[181] v2[182] v2[183] v2[184] v2[185] v2[186] v2[187] v2[188] v2[189] v2[190] v2[191] v2[192] v2[193] v2[194] v2[195] v2[196] v2[197] v2[198] v2[199] v2[200] v2[201] v2[202] v2[203] v2[204] v2[205] v2[206] v2[207] v2[208] v2[209] v2[210] v2[211] v2[212] v2[213] v2[214] v2[215] v2[216] v2[217] v2[218] v2[219] v2[220] v2[221] v2[222] v2[223] v2[224] v2[225] v2[226] v2[227] v2[228] v2[229] v2[230] v2[231] v2[232] v2[233] v2[234] v2[235] v2[236] v2[237] v2[238] v2[239] v2[240] v2[241] v2[242] v2[243] v2[244] v2[245] v2[246] v2[247] v2[248] v2[249] v2[250] v2[251] v2[252] v2[253] v2[254] v2[255] v2[256] v2[257] v2[258] v2[259] v2[260] v2[261] v2[262] v2[263] v2[264] v2[265] v2[266] v2[267] v2[268] v2[269] v2[270] v2[271] v2[272] v2[273] v2[274] v2[275] v2[276] v2[277] v2[278] v2[279] v2[280] v2[281] v2[282] v2[283] v2[284] v2[285] v2[286] v2[287] v2[288] v2[289] v2[290] v2[291] v2[292] v2[293] v2[294] v2[295] v2[296] v2[297] v2[298] v2[299] v2[300] v2[301] v2[302] v2[303] v2[304] v2[305] v2[306] v2[307] v2[308] v2[309] v2[310] v2[311] v2[312] v2[313] v2[314] v2[315] v2[316] v2[317] v2[318] v2[319] v2[320] v2[321] v2[322] v2[323] v2[324] v2[325] v2[326] v2[327] v2[328] v2[329] v2[330] v2[331] v2[332] v2[333] v2[334] v2[335] v2[336] v2[337] v2[338] v2[339] v2[340] v2[341] v2[342] v2[343] v2[344] v2[345] v2[346] v2[347] v2[348] v2[349] v2[350] v2[351] v2[352] v2[353] v2[354] v2[355] v2[356] v2[357] v2[358] v2[359] v2[360] v2[361] v2[362] v2[363] v2[364] v2[365] v2[366] v2[367] v2[368] v2[369] v2[370] v2[371] v2[372] v2[373] v2[374] v2[375] v2[376] v2[377] v2[378] v2[379] v2[380] v2[381] v2[382] v2[383] v2[384] v2[385] v2[386] v2[387] v2[388] v2[389] v2[390] v2[391] v2[392] v2[393] v2[394] v2[395] v2[396] v2[397] v2[398] v2[399] v2[400] v2[401] v2[402] v2[403] v2[404] v2[405] v2[406] v2[407] v2[408] v2[409] v2[410] v2[411] v2[412] v2[413] v2[414] v2[415] v2[416] v2[417] v2[418] v2[419] v2[420] v2[421] v2[422] v2[423] v2[424] v2[425] v2[426] v2[427] v2[428] v2[429] v2[430] v2[431] v2[432] v2[433] v2[434] v2[435] v2[436] v2[437] v2[438] v2[439] v2[440] v2[441] v2[442] v2[443] v2[444] v2[445] v2[446] v2[447] v2[448] v2[449] v2[450] v2[451] v2[452] v2[453] v2[454] v2[455] v2[456] v2[457] v2[458] v2[459] v2[460] v2[461] v2[462] v2[463] v2[464] v2[465] v2[466] v2[467] v2[468] v2[469] v2[470] v2[471] v2[472] v2[473] v2[474] v2[475] v2[476] v2[477] v2[478] v2[479] v2[480] v2[481] v2[482] v2[483] v2[484] v2[485] v2[486] v2[487] v2[488] v2[489] v2[490] v2[491] v2[492] v2[493] v2[494] v2[495] v2[496] v2[497] v2[498] v2[499] v2[500] v2[501] v2[502] v2[503] v2[504] v2[505] v2[506] v2[507] v2[508] v2[509] v2[510] v2[511] v2[512] v2[513] v2[514] v2[515] v2[516] v2[517] v2[518] v2[519] v2[520] v2[521] v2[522] v2[523] v2[524] v2[525] v2[526] v2[527] v2[528] v2[529] v2[530] v2[531] v2[532] v2[533] v2[534] v2[535] v2[536] v2[537] v2[538] v2[539] v2[540] v2[541] v2[542] v2[543] v2[544] v2[545] v2[546] v2[547] v2[548] v2[549] v2[550] v2[551] v2[552] v2[553] v2[554] v2[555] v2[556] v2[557] v2[558] v2[559] v2[560] v2[561] v2[562] v2[563] v2[564] v2[565] v2[566] v2[567] v2[568] v2[569] v2[570] v2[571] v2[572] v2[573] v2[574] v2[575] v2[576] v2[577] v2[578] v2[579] v2[580] v2[581] v2[582] v2[583] v2[584] v2[585] v2[586] v2[587] v2[588] v2[589] v2[590] v2[591] v2[592] v2[593] v2[594] v2[595] v2[596] v2[597] v2[598] v2[599] v2[600] v2[601] v2[602] v2[603] v2[604] v2[605] v2[606] v2[607] v2[608] v2[609] v2[610] v2[611] v2[612] v2[613] v2[614] v2[615] v2[616] v2[617] v2[618] v2[619] v2[620] v2[621] v2[622] v2[623] v2[624] v2[625] v2[626] v2[627] v2[628] v2[629] v2[630] v2[631] v2[632] v2[633] v2[634] v2[635] v2[636] v2[637] v2[638] v2[639] v2[640] v2[641] v2[642] v2[643] v2[644] v2[645] v2[646] v2[647] v2[648] v2[649] v2[650] v2[651] v2[652] v2[653] v2[654] v2[655] v2[656] v2[657] v2[658] v2[659] v2[660] v2[661] v2[662] v2[663] v2[664] v2[665] v2[666] v2[667] v2[668] v2[669] v2[670] v2[671] v2[672] v2[673] v2[674] v2[675] v2[676] v2[677] v2[678] v2[679] v2[680] v2[681] v2[682] v2[683] v2[684] v2[685] v2[686] v2[687] v2[688] v2[689] v2[690] v2[691] v2[692] v2[693] v2[694] v2[695] v2[696] v2[697] v2[698] v2[699] v2[700] v2[701] v2[702] v2[703] v2[704] v2[705] v2[706] v2[707] v2[708] v2[709] v2[710] v2[711] v2[712] v2[713] v2[714] v2[715] v2[716] v2[717] v2[718] v2[719] v2[720] v2[721] v2[722] v2[723] v2[724] v2[725] v2[726] v2[727] v2[728] v2[729] v2[730] v2[731] v2[732] v2[733] v2[734] v2[735] v2[736] v2[737] v2[738] v2[739] v2[740] v2[741] v2[742] v2[743] v2[744] v2[745] v2[746] v2[747] v2[748] v2[749] v2[750] v2[751] v2[752] v2[753] v2[754] v2[755] v2[756] v2[757] v2[758] v2[759] v2[760] v2[761] v2[762] v2[763] v2[764] v2[765] v2[766] v2[767] v2[768] v2[769] v2[770] v2[771] v2[772] v2[773] v2[774] v2[775] v2[776] v2[777] v2[778] v2[779] v2[780] v2[781] v2[782] v2[783] v2[784] v2[785] v2[786] v2[787] v2[788] v2[789] v2[790] v2[791] v2[792] v2[793] v2[794] v2[795] v2[796] v2[797] v2[798] v2[799] v2[800] v2[801] v2[802] v2[803] v2[804] v2[805] v2[806] v2[807] v2[808] v2[809] v2[810] v2[811] v2[812] v2[813] v2[814] v2[815] v2[816] v2[817] v2[818] v2[819] v2[820] v2[821] v2[822] v2[823] v2[824] v2[825] v2[826] v2[827] v2[828] v2[829] v2[830] v2[831] v2[832] v2[833] v2[834] v2[835] v2[836] v2[837] v2[838] v2[839] v2[840] v2[841] v2[842] v2[843] v2[844] v2[845] v2[846] v2[847] v2[848] v2[849] v2[850] v2[851] v2[852] v2[853] v2[854] v2[855] v2[856] v2[857] v2[858] v2[859] v2[860] v2[861] v2[862] v2[863] v2[864] v2[865] v2[866] v2[867] v2[868] v2[869] v2[870] v2[871] v2[872] v2[873] v2[874] v2[875] v2[876] v2[877] v2[878] v2[879] v2[880] v2[881] v2[882] v2[883] v2[884] v2[885] v2[886] v2[887] v2[888] v2[889] v2[890] v2[891] v2[892] v2[893] v2[894] v2[895] v2[896] v2[897] v2[898] v2[899] v2[900] v2[901] v2[902] v2[903] v2[904] v2[905] v2[906] v2[907] v2[908] v2[909] v2[910] v2[911] v2[912] v2[913] v2[914] v2[915] v2[916] v2[917] v2[918] v2[919] v2[920] v2[921] v2[922] v2[923] v2[924] v2[925] v2[926] v2[927] v2[928] v2[929] v2[930] v2[931] v2[932] v2[933] v2[934] v2[935] v2[936] v2[937] v2[938] v2[939] v2[940] v2[941] v2[942] v2[943] v2[944] d[0] d[1] d[2] d[3] d[4] d[5] d[6] d[7] d[8] d[9] d[10] d[11] d[12] d[13] d[14] d[15] d[16] d[17] d[18] d[19] d[20] d[21] d[22] d[23] d[24] d[25] d[26] d[27] d[28] d[29] d[30] d[31] d[32] d[33] d[34] d[35] d[36] d[37] d[38] d[39] d[40] d[41] d[42] d[43] d[44] d[45] d[46] d[47] d[48] d[49] d[50] d[51] d[52] d[53] d[54] d[55] d[56] d[57] d[58] d[59] d[60] d[61] d[62] d[63] d[64] d[65] d[66] d[67] d[68] d[69] d[70] d[71] d[72] d[73] d[74] d[75] d[76] d[77] d[78] d[79] d[80] d[81] d[82] d[83] d[84] d[85] d[86] d[87] d[88] d[89] d[90] d[91] d[92] d[93] d[94] d[95] d[96] d[97] d[98] d[99] d[100] d[101] d[102] d[103] d[104] d[105] d[106] d[107] d[108] d[109] d[110] d[111] d[112] d[113] d[114] d[115] d[116] d[117] d[118] d[119] d[120] d[121] d[122] d[123] d[124] d[125] d[126] d[127] d[128] d[129] d[130] d[131] d[132] d[133] d[134] d[135] d[136] d[137] d[138] d[139] d[140] d[141] d[142] d[143] d[144] d[145] d[146] d[147] d[148] d[149] d[150] d[151] d[152] d[153] d[154] d[155] d[156] d[157] d[158] d[159] d[160] d[161] d[162] d[163] d[164] d[165] d[166] d[167] d[168] d[169] d[170] d[171] d[172] d[173] d[174] d[175] d[176] d[177] d[178] d[179] d[180] d[181] d[182] d[183] d[184] d[185] d[186] d[187] d[188] d[189] d[190] d[191] d[192] d[193] d[194] d[195] d[196] d[197] d[198] d[199] d[200] d[201] d[202] d[203] d[204] d[205] d[206] d[207] d[208] d[209] d[210] d[211] d[212] d[213] d[214] d[215] d[216] d[217] d[218] d[219] d[220] d[221] d[222] d[223] d[224] d[225] d[226] d[227] d[228] d[229] d[230] d[231] d[232] d[233] d[234] d[235] d[236] d[237] d[238] d[239] d[240] d[241] d[242] d[243] d[244] d[245] d[246] d[247] d[248] d[249] d[250] d[251] d[252] d[253] d[254] d[255] d[256] d[257] d[258] d[259] d[260] d[261] d[262] d[263] d[264] d[265] d[266] d[267] d[268] d[269] d[270] d[271] d[272] d[273] d[274] d[275] d[276] d[277] d[278] d[279] d[280] d[281] d[282] d[283] d[284] d[285] d[286] d[287] d[288] d[289] d[290] d[291] d[292] d[293] d[294] d[295] d[296] d[297] d[298] d[299] d[300] d[301] d[302] d[303] d[304] d[305] d[306] d[307] d[308] d[309] d[310] d[311] d[312] d[313] d[314] d[315] d[316] d[317] d[318] d[319] d[320] d[321] d[322] d[323] d[324] d[325] d[326] d[327] d[328] d[329] d[330] d[331] d[332] d[333] d[334] d[335] d[336] d[337] d[338] d[339] d[340] d[341] d[342] d[343] d[344] d[345] d[346] d[347] d[348] d[349] d[350] d[351] d[352] d[353] d[354] d[355] d[356] d[357] d[358] d[359] d[360] d[361] d[362] d[363] d[364] d[365] d[366] d[367] d[368] d[369] d[370] d[371] d[372] d[373] d[374] d[375] d[376] d[377] d[378] d[379] d[380] d[381] d[382] d[383] d[384] d[385] d[386] d[387] d[388] d[389] d[390] d[391] d[392] d[393] d[394] d[395] d[396] d[397] d[398] d[399] d[400] d[401] d[402] d[403] d[404] d[405] d[406] d[407] d[408] d[409] d[410] d[411] d[412] d[413] d[414] d[415] d[416] d[417] d[418] d[419] d[420] d[421] d[422] d[423] d[424] d[425] d[426] d[427] d[428] d[429] d[430] d[431] d[432] d[433] d[434] d[435] d[436] d[437] d[438] d[439] d[440] d[441] d[442] d[443] d[444] d[445] d[446] d[447] d[448] d[449] d[450] d[451] d[452] d[453] d[454] d[455] d[456] d[457] d[458] d[459] d[460] d[461] d[462] d[463] d[464] d[465] d[466] d[467] d[468] d[469] d[470] d[471] d[472] d[473] d[474] d[475] d[476] d[477] d[478] d[479] d[480] d[481] d[482] d[483] d[484] d[485] d[486] d[487] d[488] d[489] d[490] d[491] d[492] d[493] d[494] d[495] d[496] d[497] d[498] d[499] d[500] d[501] d[502] d[503] d[504] d[505] d[506] d[507] d[508] d[509] d[510] d[511] d[512] d[513] d[514] d[515] d[516] d[517] d[518] d[519] d[520] d[521] d[522] d[523] d[524] d[525] d[526] d[527] d[528] d[529] d[530] d[531] d[532] d[533] d[534] d[535] d[536] d[537] d[538] d[539] d[540] d[541] d[542] d[543] d[544] d[545] d[546] d[547] d[548] d[549] d[550] d[551] d[552] d[553] d[554] d[555] d[556] d[557] d[558] d[559] d[560] d[561] d[562] d[563] d[564] d[565] d[566] d[567] d[568] d[569] d[570] d[571] d[572] d[573] d[574] d[575] d[576] d[577] d[578] d[579] d[580] d[581] d[582] d[583] d[584] d[585] d[586] d[587] d[588] d[589] d[590] d[591] d[592] d[593] d[594] d[595] d[596] d[597] d[598] d[599] d[600] d[601] d[602] d[603] d[604] d[605] d[606] d[607] d[608] d[609] d[610] d[611] d[612] d[613] d[614] d[615] d[616] d[617] d[618] d[619] d[620] d[621] d[622] d[623] d[624] d[625] d[626] d[627] d[628] d[629] d[630] d[631] d[632] d[633] d[634] d[635] d[636] d[637] d[638] d[639] d[640] d[641] d[642] d[643] d[644] d[645] d[646] d[647] d[648] d[649] d[650] d[651] d[652] d[653] d[654] d[655] d[656] d[657] d[658] d[659] d[660] d[661] d[662] d[663] d[664] d[665] d[666] d[667] d[668] d[669] d[670] d[671] d[672] d[673] d[674] d[675] d[676] d[677] d[678] d[679] d[680] d[681] d[682] d[683] d[684] d[685] d[686] d[687] d[688] d[689] d[690] d[691] d[692] d[693] d[694] d[695] d[696] d[697] d[698] d[699] d[700] d[701] d[702] d[703] d[704] d[705] d[706] d[707] d[708] d[709] d[710] d[711] d[712] d[713] d[714] d[715] d[716] d[717] d[718] d[719] d[720] d[721] d[722] d[723] d[724] d[725] d[726] d[727] d[728] d[729] d[730] d[731] d[732] d[733] d[734] d[735] d[736] d[737] d[738] d[739] d[740] d[741] d[742] d[743] d[744] d[745] d[746] d[747] d[748] d[749] d[750] d[751] d[752] d[753] d[754] d[755] d[756] d[757] d[758] d[759] d[760] d[761] d[762] d[763] d[764] d[765] d[766] d[767] d[768] d[769] d[770] d[771] d[772] d[773] d[774] d[775] d[776] d[777] d[778] d[779] d[780] d[781] d[782] d[783] d[784] d[785] d[786] d[787] d[788] d[789] d[790] d[791] d[792] d[793] d[794] d[795] d[796] d[797] d[798] d[799] d[800] d[801] d[802] d[803] d[804] d[805] d[806] d[807] d[808] d[809] d[810] d[811] d[812] d[813] d[814] d[815] d[816] d[817] d[818] d[819] d[820] d[821] d[822] d[823] d[824] d[825] d[826] d[827] d[828] d[829] d[830] d[831] d[832] d[833] d[834] d[835] d[836] d[837] d[838] d[839] d[840] d[841] d[842] d[843] d[844] d[845] d[846] d[847] d[848] d[849] d[850] d[851] d[852] d[853] d[854] d[855] d[856] d[857] d[858] d[859] d[860] d[861] d[862] d[863] d[864] d[865] d[866] d[867] d[868] d[869] d[870] d[871] d[872] d[873] d[874] d[875] d[876] d[877] d[878] d[879] d[880] d[881] d[882] d[883] d[884] d[885] d[886] d[887] d[888] d[889] d[890] d[891] d[892] d[893] d[894] d[895] d[896] d[897] d[898] d[899] d[900] d[901] d[902] d[903] d[904] d[905] d[906] d[907] d[908] d[909] d[910] d[911] d[912] d[913] d[914] d[915] d[916] d[917] d[918] d[919] d[920] d[921] d[922] d[923] d[924] d[925] d[926] d[927] d[928] d[929] d[930] d[931] d[932] d[933] d[934] d[935] d[936] d[937] d[938] d[939] d[940] d[941] d[942] d[943] d[944] </list>
251.93/252.01	v   <values> 2592 2376 2280 2656 2284 2288 2452 2420 2420 2280 2320 2552 2456 2320 2460 2280 2580 2416 2280 2280 2592 2416 2320 2320 2516 2452 2280 2572 2628 2280 2592 2280 2632 2376 2456 2456 2552 2280 2336 2320 2320 2320 2460 2460 2336 2320 2472 2608 2420 2320 2416 2320 2376 2320 2280 2324 2520 2460 2320 2280 2320 2324 2336 2456 2412 2460 2420 2292 2320 2376 2540 2344 2592 2424 2320 2572 2284 2552 2592 2596 2320 2320 2280 2280 2536 2280 2656 2476 2280 2552 2320 2320 2460 2420 2336 2420 2420 2472 2496 2320 2280 2612 2380 2456 2412 2456 2280 2616 2536 2280 2420 2636 2336 2592 2320 2432 2336 2320 2332 2280 2296 2416 2280 2280 2320 2340 2424 2376 2332 2464 2552 2320 2412 2376 2280 2460 2552 2496 2552 2612 2300 2280 2416 2280 2460 2328 2336 2280 2280 2292 2648 2320 2320 2336 2320 2384 2592 2280 2420 2320 2456 2280 2512 2560 2280 2592 2464 2420 2588 2376 2324 2280 2280 2336 2324 2376 2452 2336 2336 2336 2572 2284 2320 2320 2320 2612 2416 2320 2616 2376 2460 2284 2320 2280 2280 2320 2376 2296 2280 2416 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 1 0 0 0 0 0 0 0 1 0 1 1 1 0 0 1 0 0 0 0 0 0 0 0 0 1 1 1 0 1 1 0 0 1 1 0 1 1 0 0 0 1 0 0 1 0 1 0 0 0 1 1 1 0 0 1 1 1 0 1 0 0 0 0 0 1 1 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 1 1 0 1 0 1 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 11 0 1 0 0 0 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 1 0 1 0 0 0 1 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 1 0 1 0 0 0 0 0 1 1 0 0 1 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 1 0 1 0 0 0 0 0 1 0 0 0 0 1 1 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 1 0 0 0 0 1 0 1 1 0 1 0 0 0 0 0 0 0 1 1 0 0 1 1 1 0 0 1 1 0 0 0 0 0 1 1 0 1 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 1 1 1 0 0 0 1 0 1 0 0 0 0 1 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 1 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 1 1 0 1 0 1 0 1 0 0 0 0 1 0 1 1 0 0 0 1 0 0 0 0 1 0 1 0 1 0 0 1 1 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 1 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 1 1 1 0 0 0 1 0 0 1 0 0 1 1 0 1 0 1 0 0 0 0 1 1 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 1 1 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 1 0 0 1 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 1 0 1 0 1 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 1 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 1 0 1 0 1 1 0 0 1 1 1 0 0 1 1 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 1 1 1 0 0 0 0 0 0 0 0 1 0 1 0 10 0 0 0 10 8 0 0 0 10 10 0 10 0 0 1 1 0 2 0 0 10 0 10 10 0 10 0 0 10 10 7 10 10 10 9 0 0 2 6 0 10 1 0 4 0 10 0 0 0 1 0 10 0 0 0 0 0 10 0 0 0 10 10 7 0 10 0 0 0 1 0 0 0 10 0 10 0 10 2 0 0 10 1 9 0 1 0 9 0 0 0 0 0 1 10 1 2 0 1 10 0 0 10 0 0 0 0 0 0 0 8 0 0 10 1 0 0 10 0 0 0 0 10 1 0 10 8 0 0 0 0 1 10 0 0 10 0 0 10 4 10 0 0 1 10 0 0 0 10 10 10 10 10 2 0 0 1 0 1 0 0 0 2 1 0 0 0 0 10 0 7 0 10 0 10 0 0 10 0 10 0 0 0 5 0 10 10 0 0 10 0 8 10 0 0 0 10 1 10 0 8 0 0 0 10 0 0 0 0 10 0 10 5 10 1 0 0 0 0 0 10 0 0 0 10 7 10 10 0 10 9 6 0 0 0 10 10 0 0 0 10 10 10 0 0 0 0 0 10 0 10 9 1 1 5 1 0 8 0 10 0 10 0 0 0 10 0 10 0 0 0 10 0 0 0 0 10 0 10 10 0 10 0 0 0 0 0 0 0 10 10 1 1 10 10 10 5 0 10 10 2 0 0 0 9 10 10 0 10 10 10 0 0 10 0 0 0 1 0 0 0 0 1 4 0 0 0 10 10 0 0 10 0 10 9 0 0 0 4 10 0 9 10 0 0 0 0 10 0 6 6 1 0 0 0 10 1 1 8 10 10 0 10 10 0 0 10 0 0 10 0 0 0 2 0 1 0 0 0 0 10 0 1 10 4 8 10 10 0 1 1 0 0 10 0 4 1 0 0 7 0 10 10 0 0 0 0 0 10 0 5 1 0 0 0 0 10 0 9 0 6 10 0 6 0 10 0 0 0 10 0 0 0 10 10 10 10 1 0 0 10 0 10 0 0 0 1 10 0 0 1 10 0 10 0 1 10 0 0 9 0 1 0 0 0 10 0 10 0 9 10 0 0 0 0 10 0 10 0 0 10 0 0 10 1 0 0 8 1 0 1 0 0 0 0 0 10 1 10 1 2 9 0 10 0 0 0 0 0 10 0 10 10 0 0 0 10 10 10 10 10 0 10 0 10 0 3 0 10 10 0 10 10 10 6 0 10 1 6 0 0 10 0 10 6 10 0 1 10 10 4 0 10 1 1 0 1 10 5 10 8 10 0 0 0 0 0 0 5 10 9 0 0 0 5 0 0 1 10 0 0 0 0 0 10 10 0 0 0 0 10 0 0 9 0 10 10 10 0 0 0 0 0 10 0 0 10 0 0 0 6 0 1 0 0 0 1 0 6 10 1 0 10 10 0 0 2 10 0 1 0 0 4 4 5 6 0 10 0 4 10 0 0 3 10 8 0 0 8 10 10 10 0 0 0 10 8 8 10 0 0 10 10 0 10 0 10 4 0 0 0 10 10 0 10 10 0 0 0 3 0 1 0 10 10 10 0 10 1 5 0 0 0 0 0 10 10 10 10 9 10 0 10 4 10 0 10 1 10 5 10 10 0 10 0 0 10 0 10 0 0 0 0 0 7 0 10 0 10 0 0 10 10 0 0 10 10 10 0 10 3 0 0 1 0 4 0 10 0 0 0 1 10 0 0 0 10 1 10 0 0 0 9 0 0 0 10 0 0 10 0 10 0 10 0 10 0 0 10 0 0 0 10 0 10 10 0 1 0 0 0 0 10 10 1 0 0 0 0 0 1 10 0 10 0 0 10 1 4 0 0 10 0 10 7 10 10 10 0 0 10 10 1 2 1 0 0 7 0 6 10 0 8 10 0 0 0 0 10 0 0 0 0 0 10 0 2 9 3 0 1 2 10 10 0 0 0 0 0 10 10 0 0 1 0 10 0 0 10 7 1 0 0 5 10 0 10 0 10 0 0 3 10 10 0 3 9 10 0 0 0 10 0 1 0 1 0 10 1 10 0 10 0 10 10 0 0 10 10 10 0 0 10 10 0 0 0 0 0 5 0 0 0 10 10 5 10 0 0 10 10 10 0 0 0 0 0 0 0 0 10 0 10 312 136 272 132 160 272 172 216 56 32 80 96 56 40 136 352 56 64 140 192 40 136 0 176 40 0 372 64 336 332 364 336 180 236 196 104 64 4 232 36 36 36 288 136 48 92 308 4 368 32 44 8 8 168 284 172 36 132 32 76 128 140 32 36 132 40 44 120 140 0 84 4 4 100 88 8 4 44 140 84 100 40 0 0 0 0 96 272 40 56 232 268 16 272 176 56 272 260 40 0 220 88 176 228 176 40 80 0 36 176 96 36 40 40 136 120 260 40 40 56 0 40 100 272 24 0 140 44 180 140 92 180 140 140 40 124 140 140 140 44 0 272 132 332 180 0 48 180 260 260 256 300 300 260 284 136 4 56 120 0 136 44 132 0 40 56 136 96 40 40 132 132 0 140 44 216 172 272 44 256 312 300 312 272 272 136 40 156 4 136 4 96 40 132 132 40 0 136 316 40 0 96 40 0 36 232 12 92 96 16 0 140 36 180 100 236 56 100 236 120 140 100 132 4 100 172 172 172 180 260 140 56 216 176 172 180 252 0 292 292 116 272 0 252 44 156 252 344 208 348 348 292 308 44 56 272 140 0 56 40 0 0 172 4 132 64 136 272 312 300 172 256 56 180 328 56 0 44 40 4 40 296 212 112 92 312 80 220 172 312 44 312 216 40 36 80 40 0 52 96 20 36 164 4 116 16 4 36 176 116 32 96 164 176 0 232 56 84 272 272 40 316 0 216 16 0 0 184 0 40 88 84 300 56 312 16 116 280 16 36 92 40 136 272 40 0 288 0 272 104 40 40 0 124 148 40 0 136 40 4 180 4 124 180 40 40 124 180 40 16 40 216 56 276 128 40 0 0 56 28 252 0 40 16 36 120 188 92 152 120 52 288 288 288 288 100 40 44 76 84 76 100 84 0 0 0 292 292 40 4 16 180 136 16 84 136 136 0 0 92 112 96 0 12 0 16 0 56 80 4 240 0 40 0 28 252 232 336 104 0 64 272 240 40 268 4 312 144 376 40 0 56 48 0 96 56 336 136 88 4 60 268 32 236 144 200 36 92 40 4 176 132 128 188 84 4 276 40 272 56 140 376 0 140 52 0 44 56 292 216 40 104 12 140 40 16 252 0 0 88 268 4 228 324 44 4 92 76 40 236 280 16 124 16 236 176 132 4 120 120 172 176 48 92 132 132 40 36 140 180 48 120 132 152 40 4 8 132 0 44 28 28 184 12 320 84 100 92 136 316 272 16 16 0 0 56 96 176 96 0 52 32 120 76 220 120 204 208 60 24 40 132 268 308 144 32 8 0 128 136 168 144 96 16 268 36 40 40 248 0 4 16 4 228 328 36 4 92 0 8 216 268 272 260 128 272 208 276 144 40 100 0 292 232 0 40 20 8 40 96 132 40 312 100 132 56 0 44 256 160 244 200 200 216 40 48 0 56 40 0 280 44 336 320 96 56 136 196 44 64 116 196 152 192 60 56 0 96 48 40 0 40 0 132 88 0 40 176 176 12 40 100 132 40 176 232 0 0 272 96 48 140 180 124 140 0 100 100 140 56 84 132 152 140 76 140 84 100 152 56 40 216 56 120 232 4 40 96 176 0 0 96 200 292 236 116 100 172 116 172 80 4 232 176 136 4 164 176 76 132 92 132 176 120 124 176 80 16 272 312 56 96 40 180 336 64 120 336 336 256 200 116 256 136 0 100 4 8 120 140 4 36 44 100 84 224 40 48 224 40 312 312 20 296 40 0 240 36 56 96 56 16 56 40 16 36 220 164 4 256 52 272 40 140 336 4 316 12 16 136 48 80 136 144 156 12 0 40 48 56 312 56 96 232 16 48 20 60 144 144 88 104 104 140 96 220 84 52 12 12 80 88 176 232 272 56 8 272 40 4 0 100 160 84 96 0 272 308 132 44 252 272 96 272 40 64 152 40 96 40 228 20 116 8 0 56 96 4 40 96 96 280 4 40 40 56 8 8 56 56 0 56 40 296 84 328 328 368 100 16 132 16 0 40 40 240 100 40 104 256 40 96 140 36 0 176 176 120 40 184 0 232 60 96 184 52 216 176 312 124 140 128 96 44 268 96 92 4 0 56 96 276 16 80 16 332 0 40 316 0 24 336 336 96 120 </values>
251.93/252.01	v </instantiation>

Verifier Data 

OK	100532549

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4312594-1534699767/watcher-4312594-1534699767 -o /tmp/evaluation-result-4312594-1534699767/solver-4312594-1534699767 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node137-1534699007-17092 --watchdog 312 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1658754949 HOME/instance-4312594-1534699767.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=17566, runsolver pid=17563

[startup+0.100979 s]*
/proc/loadavg: 2.00 1.84 1.13 3/181 17567
/proc/meminfo: memFree=21111240/32770624 swapFree=67108372/67108860
[pid=17566] ppid=17563 vsize=36304 memory=10836 CPUtime=0.09 cores=0,2,4,6
/proc/17566/stat : 17566 (MistralXCSP) R 17563 17566 17061 0 -1 4202496 2955 0 0 0 9 0 0 0 20 0 1 0 287539913 37175296 2709 33554432000 4194304 7499544 140729862063520 140729862052360 140079294606309 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9598848 9604096 18890752 140729862067314 140729862067464 140729862067464 140729862070217 0
/proc/17566/statm: 9076 2709 704 807 0 2067 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 36304 KiB
Current children cumulated memory: 10836 KiB

[startup+0.209462 s]*
/proc/loadavg: 2.00 1.84 1.13 3/181 17567
/proc/meminfo: memFree=21107596/32770624 swapFree=67108372/67108860
[pid=17566] ppid=17563 vsize=40148 memory=14784 CPUtime=0.2 cores=0,2,4,6
/proc/17566/stat : 17566 (MistralXCSP) R 17563 17566 17061 0 -1 4202496 3925 0 0 0 20 0 0 0 20 0 1 0 287539913 41111552 3696 33554432000 4194304 7499544 140729862063520 140729862052360 140079294606309 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9598848 9604096 18890752 140729862067314 140729862067464 140729862067464 140729862070217 0
/proc/17566/statm: 10037 3696 704 807 0 3028 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 40148 KiB
Current children cumulated memory: 14784 KiB

[startup+0.309003 s]*
/proc/loadavg: 2.00 1.84 1.13 3/187 17578
/proc/meminfo: memFree=21096844/32770624 swapFree=67108372/67108860
[pid=17566] ppid=17563 vsize=43436 memory=17952 CPUtime=0.3 cores=0,2,4,6
/proc/17566/stat : 17566 (MistralXCSP) R 17563 17566 17061 0 -1 4202496 4730 0 0 0 30 0 0 0 20 0 1 0 287539913 44478464 4488 33554432000 4194304 7499544 140729862063520 140729862052360 4563992 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9598848 9604096 18890752 140729862067314 140729862067464 140729862067464 140729862070217 0
/proc/17566/statm: 10859 4488 704 807 0 3850 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 43436 KiB
Current children cumulated memory: 17952 KiB

[startup+0.70024 s]
/proc/loadavg: 2.00 1.84 1.13 4/187 17578
/proc/meminfo: memFree=21077980/32770624 swapFree=67108372/67108860
[pid=17566] ppid=17563 vsize=54580 memory=29272 CPUtime=0.69 cores=0,2,4,6
/proc/17566/stat : 17566 (MistralXCSP) R 17563 17566 17061 0 -1 4202496 7570 0 0 0 68 1 0 0 20 0 1 0 287539913 55889920 7318 33554432000 4194304 7499544 140729862063520 140729862056760 5881135 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9598848 9604096 18890752 140729862067314 140729862067464 140729862067464 140729862070217 0
/proc/17566/statm: 13645 7318 721 807 0 6636 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 54580 KiB
Current children cumulated memory: 29272 KiB

[startup+1.50024 s]
/proc/loadavg: 2.00 1.84 1.14 3/187 17578
/proc/meminfo: memFree=21048468/32770624 swapFree=67108372/67108860
[pid=17566] ppid=17563 vsize=76276 memory=50920 CPUtime=1.48 cores=0,2,4,6
/proc/17566/stat : 17566 (MistralXCSP) R 17563 17566 17061 0 -1 4202496 12986 0 0 0 147 1 0 0 20 0 1 0 287539913 78106624 12730 33554432000 4194304 7499544 140729862063520 140729862056760 5882048 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9598848 9604096 18890752 140729862067314 140729862067464 140729862067464 140729862070217 0
/proc/17566/statm: 19069 12730 721 807 0 12060 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 76276 KiB
Current children cumulated memory: 50920 KiB

[startup+3.10941 s]
/proc/loadavg: 2.00 1.84 1.14 3/187 17578
/proc/meminfo: memFree=20897260/32770624 swapFree=67108372/67108860
[pid=17566] ppid=17563 vsize=120216 memory=94760 CPUtime=3.09 cores=0,2,4,6
/proc/17566/stat : 17566 (MistralXCSP) R 17563 17566 17061 0 -1 4202496 25077 0 0 0 306 3 0 0 20 0 1 0 287539913 123101184 23690 33554432000 4194304 7499544 140729862063520 140729862054984 5878976 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9598848 9604096 18890752 140729862067314 140729862067464 140729862067464 140729862070217 0
/proc/17566/statm: 30054 23690 722 807 0 23045 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 120216 KiB
Current children cumulated memory: 94760 KiB

[startup+6.30024 s]
/proc/loadavg: 2.00 1.85 1.14 3/187 17578
/proc/meminfo: memFree=20778148/32770624 swapFree=67108372/67108860
[pid=17566] ppid=17563 vsize=207092 memory=181808 CPUtime=6.28 cores=0,2,4,6
/proc/17566/stat : 17566 (MistralXCSP) R 17563 17566 17061 0 -1 4202496 48472 0 0 0 622 6 0 0 20 0 1 0 287539913 212062208 45452 33554432000 4194304 7499544 140729862063520 140729862056760 5875022 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9598848 9604096 18890752 140729862067314 140729862067464 140729862067464 140729862070217 0
/proc/17566/statm: 51773 45452 722 807 0 44764 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 207092 KiB
Current children cumulated memory: 181808 KiB

[startup+12.7003 s]
/proc/loadavg: 2.00 1.85 1.15 3/187 17578
/proc/meminfo: memFree=20452616/32770624 swapFree=67108372/67108860
[pid=17566] ppid=17563 vsize=382684 memory=357284 CPUtime=12.68 cores=0,2,4,6
/proc/17566/stat : 17566 (MistralXCSP) R 17563 17566 17061 0 -1 4202496 94364 0 0 0 1256 12 0 0 20 0 1 0 287539913 391868416 89321 33554432000 4194304 7499544 140729862063520 140729862056760 5880926 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 9598848 9604096 18890752 140729862067314 140729862067464 140729862067464 140729862070217 0
/proc/17566/statm: 95671 89321 722 807 0 88662 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 382684 KiB
Current children cumulated memory: 357284 KiB

[startup+25.5003 s]
/proc/loadavg: 2.00 1.85 1.16 3/187 17578
/proc/meminfo: memFree=19948288/32770624 swapFree=67108372/67108860
[pid=17566] ppid=17563 vsize=520700 memory=495588 CPUtime=25.48 cores=0,2,4,6
/proc/17566/stat : 17566 (MistralXCSP) R 17563 17566 17061 0 -1 4202496 202539 0 0 0 2527 21 0 0 20 0 1 0 287539913 533196800 123897 33554432000 4194304 7499544 140729862063520 140729862058056 4258061 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0 9598848 9604096 18890752 140729862067314 140729862067464 140729862067464 140729862070217 0
/proc/17566/statm: 130175 123897 766 807 0 123166 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 520700 KiB
Current children cumulated memory: 495588 KiB

[startup+51.1097 s]
/proc/loadavg: 2.00 1.87 1.18 3/188 17586
/proc/meminfo: memFree=19647472/32770624 swapFree=67108372/67108860
[pid=17566] ppid=17563 vsize=522556 memory=497492 CPUtime=51.08 cores=0,2,4,6
/proc/17566/stat : 17566 (MistralXCSP) R 17563 17566 17061 0 -1 4202496 273208 0 0 0 5084 24 0 0 20 0 1 0 287539913 535097344 124373 33554432000 4194304 7499544 140729862063520 140729862058056 5791081 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 18890752 140729862067314 140729862067464 140729862067464 140729862070217 0
/proc/17566/statm: 130639 124373 766 807 0 123630 0
Current children cumulated CPU time: 51.08 s
Current children cumulated vsize: 522556 KiB
Current children cumulated memory: 497492 KiB

[startup+102.3 s]
/proc/loadavg: 2.00 1.89 1.23 3/188 17587
/proc/meminfo: memFree=19646004/32770624 swapFree=67108372/67108860
[pid=17566] ppid=17563 vsize=523752 memory=498572 CPUtime=102.26 cores=0,2,4,6
/proc/17566/stat : 17566 (MistralXCSP) R 17563 17566 17061 0 -1 4202496 337138 0 0 0 10199 27 0 0 20 0 1 0 287539913 536322048 124643 33554432000 4194304 7499544 140729862063520 140729862058536 4405003 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 18890752 140729862067314 140729862067464 140729862067464 140729862070217 0
/proc/17566/statm: 130938 124643 766 807 0 123929 0
Current children cumulated CPU time: 102.26 s
Current children cumulated vsize: 523752 KiB
Current children cumulated memory: 498572 KiB

[startup+162.3 s]
/proc/loadavg: 2.00 1.91 1.27 3/188 17588
/proc/meminfo: memFree=19645788/32770624 swapFree=67108372/67108860
[pid=17566] ppid=17563 vsize=523884 memory=498732 CPUtime=162.24 cores=0,2,4,6
/proc/17566/stat : 17566 (MistralXCSP) R 17563 17566 17061 0 -1 4202496 389481 0 0 0 16195 29 0 0 20 0 1 0 287539913 536457216 124683 33554432000 4194304 7499544 140729862063520 140729862058056 4405034 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 18890752 140729862067314 140729862067464 140729862067464 140729862070217 0
/proc/17566/statm: 130971 124683 766 807 0 123962 0
Current children cumulated CPU time: 162.24 s
Current children cumulated vsize: 523884 KiB
Current children cumulated memory: 498732 KiB

[startup+222.3 s]
/proc/loadavg: 2.00 1.93 1.32 3/188 17589
/proc/meminfo: memFree=19645548/32770624 swapFree=67108372/67108860
[pid=17566] ppid=17563 vsize=524016 memory=498848 CPUtime=222.24 cores=0,2,4,6
/proc/17566/stat : 17566 (MistralXCSP) R 17563 17566 17061 0 -1 4202496 424534 0 0 0 22193 31 0 0 20 0 1 0 287539913 536592384 124712 33554432000 4194304 7499544 140729862063520 140729862058056 4405532 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 18890752 140729862067314 140729862067464 140729862067464 140729862070217 0
/proc/17566/statm: 131004 124712 766 807 0 123995 0
Current children cumulated CPU time: 222.24 s
Current children cumulated vsize: 524016 KiB
Current children cumulated memory: 498848 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+252 s]*
/proc/loadavg: 2.00 1.93 1.34 3/188 17590
/proc/meminfo: memFree=19645360/32770624 swapFree=67108372/67108860
[pid=17566] ppid=17563 vsize=524016 memory=498848 CPUtime=251.93 cores=0,2,4,6
/proc/17566/stat : 17566 (MistralXCSP) R 17563 17566 17061 0 -1 4202496 429453 0 0 0 25162 31 0 0 20 0 1 0 287539913 536592384 124712 33554432000 4194304 7499544 140729862063520 140729862058056 5790971 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0 9598848 9604096 18890752 140729862067314 140729862067464 140729862067464 140729862070217 0
/proc/17566/statm: 131004 124712 766 807 0 123995 0
Current children cumulated CPU time: 251.93 s
Current children cumulated vsize: 524016 KiB
Current children cumulated memory: 498848 KiB

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

[startup+252.02 s]
# the end of solver process 17566 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=251.628 s, system=0.323991 s

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

Child status: 0
Real time (s): 252.02
CPU time (s): 251.952
CPU user time (s): 251.628
CPU system time (s): 0.323991
CPU usage (%): 99.9728
Max. virtual memory (cumulated for all children) (KiB): 524016
Max. memory (cumulated for all children) (KiB): 498848

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 251.628
system time used= 0.323991
maximum resident set size= 498868
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 429540
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= 121
involuntary context switches= 344


# summary of solver processes directly reported to runsolver:
#   pid: 17566
#   total CPU time (s): 251.952
#   total CPU user time (s): 251.628
#   total CPU system time (s): 0.323991

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.951165 second user time and 1.94351 second system time

The end

Launcher Data 

Begin job on node137 at 2018-08-19 19:29:27
IDJOB=4312594
IDBENCH=141272
IDSOLVER=2801
FILE ID=node137/4312594-1534699767
RUNJOBID= node137-1534699007-17092
PBS_JOBID= 21038716
Free space on /tmp= 52804 MiB

SOLVER NAME= Mistral-2.0 2018-08-01
BENCH NAME= XCSP18/Fapp/Fapp-m2s/Fapp-m2s-01-0200_c18.xml
COMMAND LINE= MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4312594-1534699767/watcher-4312594-1534699767 -o /tmp/evaluation-result-4312594-1534699767/solver-4312594-1534699767 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node137-1534699007-17092 --watchdog 312  MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1658754949 HOME/instance-4312594-1534699767.xml

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

MD5SUM BENCH= bcb772945ca2f244c7b00bb761820cd7
RANDOM SEED=1658754949

node137.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        21159668 kB
MemAvailable:   31881660 kB
Buffers:          231704 kB
Cached:         10765872 kB
SwapCached:            8 kB
Active:          7258300 kB
Inactive:        3805244 kB
Active(anon):      35088 kB
Inactive(anon):    99156 kB
Active(file):    7223212 kB
Inactive(file):  3706088 kB
Unevictable:        7108 kB
Mlocked:            7108 kB
SwapTotal:      67108860 kB
SwapFree:       67108372 kB
Dirty:             80572 kB
Writeback:             0 kB
AnonPages:        264572 kB
Mapped:            22100 kB
Shmem:             66008 kB
Slab:             245812 kB
SReclaimable:     217056 kB
SUnreclaim:        28756 kB
KernelStack:        3776 kB
PageTables:         5104 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     376348 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    208896 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      114048 kB
DirectMap2M:    33431552 kB

Free space on /tmp at the end= 52732 MiB
End job on node137 at 2018-08-19 19:33:40