Trace number 4312581

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)51175216 251.937 252.021

General information on the benchmark

NameFapp/Fapp-m2s/
Fapp-m2s-test01-0150_c18.xml
MD5SUMdeef1e755c9079fc369bbf159731f616
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark18292601
Best CPU time to get the best result obtained on this benchmark252.062
Satisfiable
(Un)Satisfiability was proved
Number of variables2328
Number of constraints1459
Number of domains42
Minimum domain size2
Maximum domain size151
Distribution of domain sizes[{"size":2,"count":826},{"size":11,"count":676},{"size":12,"count":1},{"size":21,"count":68},{"size":57,"count":16},{"size":61,"count":10},{"size":67,"count":17},{"size":69,"count":10},{"size":77,"count":22},{"size":79,"count":2},{"size":81,"count":11},{"size":84,"count":3},{"size":99,"count":10},{"size":102,"count":17},{"size":104,"count":3},{"size":106,"count":17},{"size":114,"count":2},{"size":116,"count":14},{"size":117,"count":77},{"size":121,"count":12},{"size":125,"count":11},{"size":128,"count":8},{"size":129,"count":4},{"size":131,"count":118},{"size":133,"count":17},{"size":136,"count":68},{"size":138,"count":7},{"size":139,"count":11},{"size":141,"count":78},{"size":143,"count":11},{"size":144,"count":5},{"size":146,"count":98},{"size":148,"count":12},{"size":151,"count":66}]
Minimum variable degree2
Maximum variable degree677
Distribution of variable degrees[{"degree":2,"count":2027},{"degree":3,"count":2},{"degree":4,"count":7},{"degree":5,"count":12},{"degree":6,"count":22},{"degree":7,"count":33},{"degree":8,"count":30},{"degree":9,"count":30},{"degree":10,"count":30},{"degree":11,"count":34},{"degree":12,"count":37},{"degree":13,"count":48},{"degree":14,"count":15},{"degree":677,"count":1}]
Minimum constraint arity2
Maximum constraint arity6
Distribution of constraint arities[{"arity":2,"count":108},{"arity":3,"count":675},{"arity":6,"count":676}]
Number of extensional constraints676
Number of intensional constraints783
Distribution of constraint types[{"type":"extension","count":676},{"type":"intension","count":783}]
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
27.99/28.07	o 51290323
27.99/28.07	o 51290321
27.99/28.07	o 51290312
27.99/28.07	o 51283544
27.99/28.07	o 51276774
27.99/28.08	o 51276773
27.99/28.08	o 51276770
27.99/28.08	o 51270011
27.99/28.09	o 51270005
27.99/28.09	o 51270003
27.99/28.10	o 51263241
28.09/28.13	o 51256483
28.09/28.13	o 51256477
28.18/28.27	o 51256472
28.28/28.33	o 51256470
28.38/28.41	o 51256457
28.58/28.62	o 51249698
28.68/28.79	o 51242946
28.68/28.80	o 51242945
28.99/29.06	o 51242944
28.99/29.06	o 51229421
29.09/29.16	o 51229420
29.09/29.16	o 51229413
29.09/29.16	o 51222652
29.09/29.17	o 51222651
29.09/29.17	o 51222643
29.09/29.19	o 51215882
29.18/29.21	o 51209123
29.18/29.21	o 51209122
29.18/29.21	o 51209119
29.18/29.21	o 51209118
29.18/29.21	o 51209111
29.18/29.22	o 51209102
29.18/29.22	o 51209094
29.18/29.22	o 51209093
29.18/29.22	o 51209092
29.18/29.23	o 51209091
29.18/29.23	o 51209085
29.18/29.23	o 51209084
29.18/29.28	o 51202324
29.18/29.29	o 51202315
29.18/29.29	o 51202314
40.09/40.16	o 51202313
40.09/40.16	o 51202311
41.99/42.01	o 51195551
42.78/42.86	o 51188781
42.88/43.00	o 51182021
76.26/76.37	o 51182018
76.26/76.37	o 51182017
76.26/76.38	o 51182009
76.36/76.46	o 51182004
80.56/80.66	o 51182003
94.85/94.99	o 51182002
96.86/96.96	o 51182001
153.74/153.81	o 51181994
153.95/154.10	o 51181993
154.95/155.03	o 51175229
154.95/155.04	o 51175228
154.95/155.04	o 51175226
154.95/155.04	o 51175225
154.95/155.05	o 51175223
162.54/162.62	o 51175221
162.54/162.62	o 51175220
190.63/190.74	o 51175216
251.92/252.01	s SATISFIABLE
251.92/252.01	v <instantiation type="solution">
251.92/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] 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] 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] 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] 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] </list>
251.92/252.01	v   <values> 2660 2120 2416 2188 2336 2220 2140 2420 2660 2672 2120 2180 2180 2284 2148 2180 2220 2660 2560 2620 2620 2696 2440 2688 2604 2220 2476 2220 2180 2220 2144 2220 2632 2620 2120 2416 2180 2576 2296 2180 2160 2376 2660 2220 2120 2616 2160 2348 2324 2496 2660 2400 2180 2180 2336 2160 2620 2180 2296 2600 2416 2628 2620 2188 2660 2180 2644 2656 2188 2148 2252 2696 2660 2660 2180 2408 2140 2160 2212 2184 2508 2660 2604 2120 2456 2468 2140 2160 2336 2120 2668 2376 2656 2180 2160 2148 2180 2140 2180 2468 2368 2664 2180 2436 2120 2220 2172 2228 2620 2220 2140 2220 2436 2652 2432 2376 2120 2624 2612 2644 2160 2188 2620 2664 2180 2160 2276 2648 2660 2660 2220 2316 2120 2700 2388 2476 2120 2624 2620 2132 2160 2180 2380 2140 2472 2376 2620 2160 2508 2700 0 1 1 1 0 1 1 1 0 0 1 0 0 0 1 0 0 0 0 0 0 1 1 0 1 0 0 1 1 0 0 0 1 0 0 0 1 1 0 1 0 1 1 1 0 0 0 1 1 0 0 1 0 0 0 1 1 0 1 1 0 0 0 0 0 0 1 0 0 1 1 0 1 0 1 0 0 1 0 0 1 0 0 1 0 1 0 0 1 1 0 1 0 0 1 0 1 1 0 0 1 0 1 0 0 1 1 1 0 1 0 1 0 1 1 1 0 0 1 1 0 0 0 0 0 1 1 1 0 1 0 0 0 0 1 0 0 0 0 1 1 0 1 0 1 0 1 0 0 1 11 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 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 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 1 1 1 0 1 0 0 0 0 0 0 1 0 1 0 0 1 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 1 1 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 1 0 0 1 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 1 1 1 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 1 0 0 1 0 0 0 1 0 1 0 1 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 1 0 0 0 8 10 10 0 0 0 10 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 10 10 0 0 0 0 9 4 1 0 0 0 0 0 10 0 1 0 5 1 0 0 0 2 0 0 1 0 1 0 0 0 0 0 1 10 10 0 4 10 3 0 10 0 0 0 10 1 4 6 0 0 10 0 1 10 0 0 0 9 0 0 10 4 0 0 0 1 0 10 0 0 0 10 0 9 1 0 0 1 0 0 10 10 10 10 1 10 0 2 0 0 0 0 10 0 10 0 0 10 10 10 0 4 1 0 0 10 4 10 0 0 0 0 0 10 0 0 9 0 4 7 10 0 0 0 1 0 10 0 0 1 0 0 0 0 6 10 0 0 1 0 10 0 0 10 10 10 0 0 0 10 10 0 0 10 0 4 1 0 0 1 1 0 0 8 0 0 10 10 0 10 0 7 0 10 0 0 0 0 0 4 0 3 0 0 0 1 0 0 6 10 10 0 0 0 10 0 10 10 0 10 9 0 4 10 8 0 0 10 10 0 0 0 0 0 0 0 10 3 0 0 8 0 0 0 10 0 5 7 10 0 0 0 0 5 10 10 0 0 1 10 1 1 0 8 0 0 0 10 4 0 0 0 10 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 10 10 0 9 7 0 0 0 10 5 0 0 0 0 0 10 9 0 0 0 8 0 0 0 10 10 7 10 0 0 0 10 0 0 10 10 0 1 10 10 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 10 0 0 0 1 10 0 10 10 0 2 10 4 10 10 0 0 8 0 10 0 0 0 0 0 0 0 10 0 0 0 10 10 0 0 0 10 10 10 10 0 0 0 10 10 0 8 1 0 0 0 0 0 0 0 0 10 10 0 6 0 10 0 10 9 0 0 10 0 0 10 0 10 0 0 1 0 10 0 0 1 10 0 4 0 0 0 0 0 5 0 10 10 0 0 0 1 0 0 0 10 10 0 0 0 0 10 10 4 0 10 0 0 2 10 7 10 0 10 10 7 10 0 10 0 0 0 0 1 0 0 0 0 0 0 1 0 0 10 10 0 0 10 5 0 10 10 0 0 6 0 10 0 0 0 0 0 0 0 10 0 0 0 0 0 1 0 8 0 0 0 8 0 1 0 0 0 0 0 10 0 10 0 10 10 0 0 7 0 0 10 10 0 0 0 0 0 0 7 10 10 0 0 0 0 0 0 10 0 0 10 10 0 1 0 0 9 0 6 10 1 0 8 10 0 0 0 6 0 0 3 1 0 10 0 0 10 0 1 0 0 0 1 9 8 10 0 8 0 0 10 0 10 0 9 10 0 10 1 10 0 0 0 0 10 0 10 0 10 1 0 0 0 10 0 3 6 0 0 0 0 0 9 7 10 0 0 0 0 0 10 1 0 0 0 0 0 0 0 10 0 10 0 0 0 4 0 10 10 0 0 4 0 0 10 0 0 10 0 0 10 0 0 0 36 0 472 36 500 500 0 440 568 100 356 204 60 500 0 52 40 256 204 296 228 100 276 148 44 4 32 128 140 280 0 284 0 324 172 364 356 60 440 0 60 40 188 384 100 40 276 20 476 40 0 40 0 512 176 40 20 300 240 272 200 212 260 84 12 280 280 40 184 500 164 480 364 204 292 384 0 184 492 512 28 524 12 488 532 8 452 284 48 296 60 440 100 68 0 0 348 0 528 0 440 440 448 480 288 8 468 260 116 0 440 420 516 480 40 32 328 156 444 320 104 376 372 32 32 28 504 32 424 36 0 420 516 40 0 40 136 20 400 0 100 128 156 60 0 440 84 228 540 380 412 84 400 428 204 460 440 244 0 460 4 432 40 0 516 400 508 536 188 36 576 28 76 476 36 576 260 260 260 320 64 216 292 220 124 184 64 392 508 60 312 568 64 196 236 60 16 0 40 440 236 80 156 56 0 400 256 180 296 140 200 356 0 144 96 144 0 72 40 80 248 168 288 40 236 448 20 48 156 196 440 40 188 60 444 48 440 100 168 152 24 36 16 516 512 16 4 508 76 40 0 60 424 40 400 60 452 336 296 12 204 40 440 460 440 0 144 4 0 524 536 20 52 312 100 196 40 244 204 204 232 28 448 0 60 280 44 88 140 404 140 144 44 356 304 332 108 160 324 156 436 144 256 40 40 20 480 480 40 500 256 20 20 60 492 500 540 460 256 196 4 0 500 224 184 540 36 480 100 440 440 8 288 440 80 80 400 80 60 540 92 216 60 40 44 468 108 240 148 8 476 240 308 460 20 460 312 168 308 200 60 272 128 228 92 296 164 184 60 276 60 148 204 260 60 16 0 520 204 480 40 220 260 240 56 180 300 60 276 252 520 464 0 20 476 0 292 284 324 176 156 196 28 20 444 20 216 8 480 40 164 440 0 188 244 112 0 276 440 444 364 364 156 324 328 324 368 156 440 132 428 244 236 276 268 236 196 16 284 40 416 260 408 500 400 460 40 416 424 200 288 56 520 224 224 500 480 8 72 20 60 444 292 524 24 536 436 468 268 496 320 480 472 56 284 28 32 220 72 240 472 368 392 92 288 536 76 0 40 4 152 432 500 0 540 40 60 268 228 32 248 236 80 292 0 316 392 72 448 176 4 36 476 156 288 72 0 192 284 512 440 500 528 520 136 20 56 60 100 504 524 12 580 208 276 336 284 180 288 36 152 232 40 480 560 40 20 12 60 116 216 276 328 156 20 156 364 536 504 40 60 300 528 548 548 192 508 60 156 4 132 96 60 200 276 28 500 316 288 72 8 0 288 440 520 40 328 0 480 20 480 332 188 48 0 440 36 192 4 68 292 148 108 208 484 192 60 252 136 0 48 304 276 100 20 312 0 452 12 32 8 88 500 404 40 60 136 248 560 440 404 60 248 256 48 316 296 464 272 244 4 540 100 500 504 0 484 28 540 0 112 188 20 156 540 348 332 440 528 280 500 152 256 580 500 388 312 232 4 464 244 20 228 112 </values>
251.92/252.01	v </instantiation>

Verifier Data 

OK	51175216

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4312581-1534699642/watcher-4312581-1534699642 -o /tmp/evaluation-result-4312581-1534699642/solver-4312581-1534699642 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node150-1534698881-28440 --watchdog 312 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 466336238 HOME/instance-4312581-1534699642.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=28987, runsolver pid=28984

[startup+0.10013 s]*
/proc/loadavg: 2.00 1.84 1.14 4/187 28988
/proc/meminfo: memFree=23935004/32770624 swapFree=67108792/67108860
[pid=28987] ppid=28984 vsize=35892 memory=10340 CPUtime=0.1 cores=0,2,4,6
/proc/28987/stat : 28987 (MistralXCSP) R 28984 28987 28409 0 -1 4202496 2832 0 0 0 10 0 0 0 20 0 1 0 287527517 36753408 2585 33554432000 4194304 7499544 140730574247424 140730574244424 139838308486117 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 9598848 9604096 42409984 140730574251123 140730574251272 140730574251272 140730574254025 0
/proc/28987/statm: 8973 2585 704 807 0 1964 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 35892 KiB
Current children cumulated memory: 10340 KiB

[startup+0.209656 s]*
/proc/loadavg: 2.00 1.84 1.14 3/187 28988
/proc/meminfo: memFree=23931284/32770624 swapFree=67108792/67108860
[pid=28987] ppid=28984 vsize=39560 memory=14036 CPUtime=0.21 cores=0,2,4,6
/proc/28987/stat : 28987 (MistralXCSP) R 28984 28987 28409 0 -1 4202496 3757 0 0 0 21 0 0 0 20 0 1 0 287527517 40509440 3509 33554432000 4194304 7499544 140730574247424 140730574244424 4563992 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 9598848 9604096 42409984 140730574251123 140730574251272 140730574251272 140730574254025 0
/proc/28987/statm: 9890 3509 704 807 0 2881 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 39560 KiB
Current children cumulated memory: 14036 KiB

[startup+0.309153 s]*
/proc/loadavg: 2.00 1.84 1.14 3/187 28988
/proc/meminfo: memFree=23928432/32770624 swapFree=67108792/67108860
[pid=28987] ppid=28984 vsize=42620 memory=17340 CPUtime=0.3 cores=0,2,4,6
/proc/28987/stat : 28987 (MistralXCSP) R 28984 28987 28409 0 -1 4202496 4575 0 0 0 30 0 0 0 20 0 1 0 287527517 43642880 4335 33554432000 4194304 7499544 140730574247424 140730574244424 5882058 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 9598848 9604096 42409984 140730574251123 140730574251272 140730574251272 140730574254025 0
/proc/28987/statm: 10655 4335 720 807 0 3646 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 42620 KiB
Current children cumulated memory: 17340 KiB

[startup+0.700292 s]
/proc/loadavg: 2.00 1.84 1.14 4/187 28988
/proc/meminfo: memFree=23922604/32770624 swapFree=67108792/67108860
[pid=28987] ppid=28984 vsize=52540 memory=26840 CPUtime=0.69 cores=0,2,4,6
/proc/28987/stat : 28987 (MistralXCSP) R 28984 28987 28409 0 -1 4202496 6999 0 0 0 68 1 0 0 20 0 1 0 287527517 53800960 6710 33554432000 4194304 7499544 140730574247424 140730574240664 5881794 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 9598848 9604096 42409984 140730574251123 140730574251272 140730574251272 140730574254025 0
/proc/28987/statm: 13135 6710 720 807 0 6126 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 52540 KiB
Current children cumulated memory: 26840 KiB

[startup+1.50031 s]
/proc/loadavg: 2.00 1.84 1.14 4/187 28988
/proc/meminfo: memFree=23911292/32770624 swapFree=67108792/67108860
[pid=28987] ppid=28984 vsize=72844 memory=47432 CPUtime=1.49 cores=0,2,4,6
/proc/28987/stat : 28987 (MistralXCSP) R 28984 28987 28409 0 -1 4202496 12114 0 0 0 147 2 0 0 20 0 1 0 287527517 74592256 11858 33554432000 4194304 7499544 140730574247424 140730574240664 5880928 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 9598848 9604096 42409984 140730574251123 140730574251272 140730574251272 140730574254025 0
/proc/28987/statm: 18211 11858 720 807 0 11202 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 72844 KiB
Current children cumulated memory: 47432 KiB

[startup+3.10941 s]
/proc/loadavg: 2.00 1.84 1.14 4/187 28988
/proc/meminfo: memFree=23859616/32770624 swapFree=67108792/67108860
[pid=28987] ppid=28984 vsize=114088 memory=88728 CPUtime=3.1 cores=0,2,4,6
/proc/28987/stat : 28987 (MistralXCSP) R 28984 28987 28409 0 -1 4202496 23595 0 0 0 307 3 0 0 20 0 1 0 287527517 116826112 22182 33554432000 4194304 7499544 140730574247424 140730574240664 139838308924416 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 9598848 9604096 42409984 140730574251123 140730574251272 140730574251272 140730574254025 0
/proc/28987/statm: 28522 22182 720 807 0 21513 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 114088 KiB
Current children cumulated memory: 88728 KiB

[startup+6.30027 s]
/proc/loadavg: 1.92 1.83 1.14 4/187 28988
/proc/meminfo: memFree=23782868/32770624 swapFree=67108792/67108860
[pid=28987] ppid=28984 vsize=195040 memory=169560 CPUtime=6.29 cores=0,2,4,6
/proc/28987/stat : 28987 (MistralXCSP) R 28984 28987 28409 0 -1 4202496 45402 0 0 0 622 7 0 0 20 0 1 0 287527517 199720960 42390 33554432000 4194304 7499544 140730574247424 140730574240664 5879022 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 9598848 9604096 42409984 140730574251123 140730574251272 140730574251272 140730574254025 0
/proc/28987/statm: 48760 42390 720 807 0 41751 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 195040 KiB
Current children cumulated memory: 169560 KiB

[startup+12.7003 s]
/proc/loadavg: 1.92 1.83 1.14 3/187 29049
/proc/meminfo: memFree=23504364/32770624 swapFree=67108792/67108860
[pid=28987] ppid=28984 vsize=359600 memory=333960 CPUtime=12.69 cores=0,2,4,6
/proc/28987/stat : 28987 (MistralXCSP) R 28984 28987 28409 0 -1 4202496 88393 0 0 0 1255 14 0 0 20 0 1 0 287527517 368230400 83490 33554432000 4194304 7499544 140730574247424 140730574238888 6016370 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 9598848 9604096 42409984 140730574251123 140730574251272 140730574251272 140730574254025 0
/proc/28987/statm: 89900 83490 720 807 0 82891 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 359600 KiB
Current children cumulated memory: 333960 KiB

[startup+25.5004 s]
/proc/loadavg: 1.94 1.84 1.16 3/187 29049
/proc/meminfo: memFree=22977360/32770624 swapFree=67108792/67108860
[pid=28987] ppid=28984 vsize=541760 memory=516616 CPUtime=25.48 cores=0,2,4,6
/proc/28987/stat : 28987 (MistralXCSP) R 28984 28987 28409 0 -1 4202496 210315 0 0 0 2524 24 0 0 20 0 1 0 287527517 554762240 129154 33554432000 4194304 7499544 140730574247424 140730574241848 5791014 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 42409984 140730574251123 140730574251272 140730574251272 140730574254025 0
/proc/28987/statm: 135440 129154 762 807 0 128431 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 541760 KiB
Current children cumulated memory: 516616 KiB

[startup+51.1096 s]
/proc/loadavg: 1.96 1.85 1.18 3/187 29050
/proc/meminfo: memFree=22598928/32770624 swapFree=67108792/67108860
[pid=28987] ppid=28984 vsize=543164 memory=517956 CPUtime=51.08 cores=0,2,4,6
/proc/28987/stat : 28987 (MistralXCSP) R 28984 28987 28409 0 -1 4202496 276540 0 0 0 5080 28 0 0 20 0 1 0 287527517 556199936 129489 33554432000 4194304 7499544 140730574247424 140730574241960 4406468 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 42409984 140730574251123 140730574251272 140730574251272 140730574254025 0
/proc/28987/statm: 135791 129489 765 807 0 128782 0
Current children cumulated CPU time: 51.08 s
Current children cumulated vsize: 543164 KiB
Current children cumulated memory: 517956 KiB

[startup+102.3 s]
/proc/loadavg: 1.98 1.88 1.22 3/187 29051
/proc/meminfo: memFree=22594252/32770624 swapFree=67108792/67108860
[pid=28987] ppid=28984 vsize=545012 memory=519804 CPUtime=102.26 cores=0,2,4,6
/proc/28987/stat : 28987 (MistralXCSP) R 28984 28987 28409 0 -1 4202496 337781 0 0 0 10194 32 0 0 20 0 1 0 287527517 558092288 129951 33554432000 4194304 7499544 140730574247424 140730574241960 5790974 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 42409984 140730574251123 140730574251272 140730574251272 140730574254025 0
/proc/28987/statm: 136253 129951 765 807 0 129244 0
Current children cumulated CPU time: 102.26 s
Current children cumulated vsize: 545012 KiB
Current children cumulated memory: 519804 KiB

[startup+162.3 s]
/proc/loadavg: 1.99 1.90 1.27 3/188 29060
/proc/meminfo: memFree=22591156/32770624 swapFree=67108792/67108860
[pid=28987] ppid=28984 vsize=545276 memory=520168 CPUtime=162.24 cores=0,2,4,6
/proc/28987/stat : 28987 (MistralXCSP) R 28984 28987 28409 0 -1 4202496 373064 0 0 0 16190 34 0 0 20 0 1 0 287527517 558362624 130042 33554432000 4194304 7499544 140730574247424 140730574242440 4405284 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 42409984 140730574251123 140730574251272 140730574251272 140730574254025 0
/proc/28987/statm: 136319 130042 765 807 0 129310 0
Current children cumulated CPU time: 162.24 s
Current children cumulated vsize: 545276 KiB
Current children cumulated memory: 520168 KiB

[startup+222.3 s]
/proc/loadavg: 2.00 1.92 1.32 3/188 29061
/proc/meminfo: memFree=22591064/32770624 swapFree=67108792/67108860
[pid=28987] ppid=28984 vsize=545952 memory=520828 CPUtime=222.22 cores=0,2,4,6
/proc/28987/stat : 28987 (MistralXCSP) R 28984 28987 28409 0 -1 4202496 392819 0 0 0 22186 36 0 0 20 0 1 0 287527517 559054848 130207 33554432000 4194304 7499544 140730574247424 140730574241960 4579850 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 42409984 140730574251123 140730574251272 140730574251272 140730574254025 0
/proc/28987/statm: 136488 130207 765 807 0 129479 0
Current children cumulated CPU time: 222.22 s
Current children cumulated vsize: 545952 KiB
Current children cumulated memory: 520828 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+252 s]*
/proc/loadavg: 2.00 1.93 1.34 3/188 29062
/proc/meminfo: memFree=22589864/32770624 swapFree=67108792/67108860
[pid=28987] ppid=28984 vsize=545952 memory=520844 CPUtime=251.92 cores=0,2,4,6
/proc/28987/stat : 28987 (MistralXCSP) R 28984 28987 28409 0 -1 4202496 400935 0 0 0 25156 36 0 0 20 0 1 0 287527517 559054848 130211 33554432000 4194304 7499544 140730574247424 140730574241960 5790974 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 42409984 140730574251123 140730574251272 140730574251272 140730574254025 0
/proc/28987/statm: 136488 130211 765 807 0 129479 0
Current children cumulated CPU time: 251.92 s
Current children cumulated vsize: 545952 KiB
Current children cumulated memory: 520844 KiB

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

[startup+252.021 s]
# the end of solver process 28987 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=251.562 s, system=0.374969 s

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

Child status: 0
Real time (s): 252.021
CPU time (s): 251.937
CPU user time (s): 251.562
CPU system time (s): 0.374969
CPU usage (%): 99.9666
Max. virtual memory (cumulated for all children) (KiB): 545952
Max. memory (cumulated for all children) (KiB): 520844

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 251.562
system time used= 0.374969
maximum resident set size= 520864
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 401009
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= 134
involuntary context switches= 316


# summary of solver processes directly reported to runsolver:
#   pid: 28987
#   total CPU time (s): 251.937
#   total CPU user time (s): 251.562
#   total CPU system time (s): 0.374969

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.970432 second user time and 1.90433 second system time

The end

Launcher Data 

Begin job on node150 at 2018-08-19 19:27:22
IDJOB=4312581
IDBENCH=141259
IDSOLVER=2801
FILE ID=node150/4312581-1534699642
RUNJOBID= node150-1534698881-28440
PBS_JOBID= 21038711
Free space on /tmp= 61136 MiB

SOLVER NAME= Mistral-2.0 2018-08-01
BENCH NAME= XCSP18/Fapp/Fapp-m2s/Fapp-m2s-test01-0150_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-4312581-1534699642/watcher-4312581-1534699642 -o /tmp/evaluation-result-4312581-1534699642/solver-4312581-1534699642 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node150-1534698881-28440 --watchdog 312  MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 466336238 HOME/instance-4312581-1534699642.xml

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

MD5SUM BENCH= deef1e755c9079fc369bbf159731f616
RANDOM SEED=466336238

node150.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.76
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.76
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.76
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.76
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:        23942232 kB
MemAvailable:   31846152 kB
Buffers:          203124 kB
Cached:          7990700 kB
SwapCached:            0 kB
Active:          4432812 kB
Inactive:        3876656 kB
Active(anon):      92088 kB
Inactive(anon):    92016 kB
Active(file):    4340724 kB
Inactive(file):  3784640 kB
Unevictable:        7708 kB
Mlocked:            7708 kB
SwapTotal:      67108860 kB
SwapFree:       67108792 kB
Dirty:             50924 kB
Writeback:             4 kB
AnonPages:        123036 kB
Mapped:            22352 kB
Shmem:             66116 kB
Slab:             217140 kB
SReclaimable:     188784 kB
SUnreclaim:        28356 kB
KernelStack:        3360 kB
PageTables:         5292 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     455688 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     61440 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      126336 kB
DirectMap2M:    33419264 kB

Free space on /tmp at the end= 61064 MiB
End job on node150 at 2018-08-19 19:31:35