Trace number 4304120

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)51060217 2519.8 2520.01

General information on the benchmark

NameFapp/Fapp-m2s/
Fapp-m2s-test01-0150_c18.xml
MD5SUMdeef1e755c9079fc369bbf159731f616
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark18292585
Best CPU time to get the best result obtained on this benchmark2058.63
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
28.08/28.13	o 51290323
28.08/28.13	o 51290321
28.08/28.13	o 51290312
28.08/28.14	o 51283544
28.08/28.14	o 51276774
28.08/28.14	o 51276773
28.08/28.14	o 51276770
28.08/28.15	o 51270011
28.08/28.15	o 51270005
28.08/28.15	o 51270003
28.08/28.17	o 51263241
28.08/28.20	o 51256483
28.17/28.20	o 51256477
28.27/28.33	o 51256472
28.27/28.39	o 51256470
28.37/28.47	o 51256457
28.57/28.68	o 51249698
28.77/28.85	o 51242946
28.77/28.86	o 51242945
29.08/29.12	o 51242944
29.08/29.12	o 51229421
29.17/29.22	o 51229420
29.17/29.22	o 51229413
29.17/29.22	o 51222652
29.17/29.23	o 51222651
29.17/29.23	o 51222643
29.17/29.25	o 51215882
29.17/29.27	o 51209123
29.17/29.27	o 51209122
29.17/29.27	o 51209119
29.17/29.27	o 51209118
29.17/29.27	o 51209111
29.17/29.28	o 51209102
29.17/29.28	o 51209094
29.17/29.28	o 51209093
29.17/29.29	o 51209092
29.17/29.29	o 51209091
29.17/29.29	o 51209085
29.17/29.29	o 51209084
29.28/29.34	o 51202324
29.28/29.35	o 51202315
29.28/29.35	o 51202314
40.18/40.25	o 51202313
40.18/40.26	o 51202311
42.09/42.11	o 51195551
42.87/42.96	o 51188781
42.98/43.10	o 51182021
76.66/76.71	o 51182018
76.66/76.71	o 51182017
76.66/76.71	o 51182009
76.75/76.80	o 51182004
80.85/80.99	o 51182003
95.15/95.30	o 51182002
97.15/97.27	o 51182001
154.53/154.60	o 51181994
154.73/154.89	o 51181993
155.73/155.82	o 51175229
155.73/155.82	o 51175228
155.73/155.82	o 51175226
155.73/155.83	o 51175225
155.73/155.83	o 51175223
163.23/163.38	o 51175221
163.23/163.38	o 51175220
191.42/191.57	o 51175216
283.67/283.89	o 51175209
284.47/284.69	o 51168449
833.95/834.11	o 51168446
833.95/834.11	o 51161678
833.95/834.11	o 51154918
833.95/834.12	o 51148149
833.95/834.14	o 51148148
833.95/834.14	o 51141378
833.95/834.15	o 51134618
833.95/834.18	o 51127854
833.95/834.19	o 51127852
834.14/834.30	o 51127849
835.54/835.75	o 51127841
836.64/836.86	o 51121082
838.85/839.02	o 51114320
838.85/839.05	o 51107560
839.64/839.80	o 51100805
839.64/839.81	o 51100802
839.64/839.82	o 51094042
839.64/839.82	o 51094041
846.24/846.46	o 51094038
846.54/846.78	o 51094037
846.64/846.82	o 51094034
846.64/846.82	o 51094031
851.64/851.87	o 51094030
854.14/854.33	o 51087269
904.14/904.39	o 51087265
913.54/913.79	o 51087264
1046.13/1046.31	o 51087262
1109.04/1109.22	o 51087261
1112.44/1112.62	o 51087258
1112.44/1112.69	o 51087255
1124.95/1125.15	o 51087251
1150.43/1150.61	o 51087250
1177.43/1177.64	o 51087249
1280.73/1280.90	o 51080514
1280.73/1280.90	o 51080505
1280.73/1280.91	o 51080504
1569.31/1569.57	o 51073744
1569.71/1569.95	o 51073738
1649.92/1650.13	o 51066979
1649.92/1650.13	o 51066978
1650.32/1650.53	o 51066973
1720.41/1720.68	o 51060223
1863.71/1863.91	o 51060217
2519.78/2520.01	s SATISFIABLE
2519.78/2520.01	v <instantiation type="solution">
2519.78/2520.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>
2519.78/2520.01	v   <values> 2656 2120 2416 2188 2336 2220 2140 2436 2660 2672 2200 2300 2180 2284 2160 2180 2232 2660 2560 2696 2620 2696 2440 2688 2604 2228 2476 2220 2180 2232 2144 2220 2632 2620 2120 2416 2180 2576 2296 2180 2160 2376 2660 2220 2120 2616 2160 2348 2324 2496 2660 2400 2184 2180 2364 2160 2620 2212 2324 2600 2416 2628 2620 2188 2664 2180 2644 2660 2200 2148 2224 2700 2660 2660 2192 2408 2140 2224 2184 2184 2508 2652 2604 2184 2456 2468 2140 2160 2336 2200 2668 2376 2656 2192 2160 2156 2192 2252 2180 2468 2368 2676 2180 2436 2120 2232 2160 2148 2620 2260 2140 2220 2436 2652 2432 2376 2120 2628 2612 2644 2160 2196 2620 2668 2180 2160 2276 2648 2660 2660 2220 2316 2120 2700 2388 2476 2236 2636 2624 2120 2196 2188 2396 2144 2392 2376 2700 2160 2508 2692 0 1 1 1 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 1 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 0 0 0 1 1 1 0 1 1 0 0 0 0 0 0 1 0 0 1 1 1 1 0 1 0 0 1 0 0 1 0 0 0 0 1 0 0 1 1 0 1 0 0 1 0 1 0 0 0 1 0 1 0 0 1 1 1 0 1 0 1 0 1 1 1 0 1 1 1 0 0 0 0 0 1 1 1 0 1 0 0 0 0 1 0 1 0 0 1 1 1 1 0 1 1 0 0 0 0 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 0 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 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 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 0 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 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 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 0 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 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 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 0 0 1 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 0 0 0 0 0 0 0 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 2 4 1 0 0 0 0 0 10 0 0 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 2 0 0 0 10 1 4 6 0 1 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 0 10 10 10 1 10 0 2 0 0 0 0 10 0 3 0 0 10 9 10 0 10 1 0 0 10 4 10 1 0 0 1 1 10 0 0 1 0 4 1 10 0 0 0 0 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 1 0 10 0 4 1 5 0 0 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 7 8 0 1 10 10 0 0 1 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 7 1 1 0 8 0 0 0 10 3 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 1 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 1 10 0 1 10 10 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 10 0 0 0 1 10 0 10 10 0 2 10 4 10 10 5 0 8 0 10 0 0 4 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 8 0 0 1 0 10 0 0 1 10 1 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 1 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 0 0 0 0 0 0 1 0 8 0 0 0 1 0 1 0 0 0 0 0 10 0 10 0 10 10 0 0 7 0 0 10 10 0 0 0 5 0 0 7 10 10 0 0 0 0 0 0 10 0 0 10 10 0 1 0 0 9 0 3 10 0 0 8 10 0 0 0 6 0 0 3 1 0 10 0 0 10 0 10 0 0 0 1 1 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 2 0 10 10 0 0 4 0 0 10 0 0 1 0 0 5 0 0 4 40 4 468 44 496 496 80 440 568 108 356 204 92 500 0 40 76 256 280 296 228 100 272 148 44 4 44 128 140 280 28 284 0 324 172 356 356 60 440 0 60 40 188 384 100 40 276 20 476 72 0 52 0 512 176 48 20 236 136 276 216 196 276 72 28 296 256 36 184 500 164 448 336 204 292 384 0 184 372 512 28 524 12 488 532 4 452 284 36 296 20 360 28 12 16 0 268 80 448 120 320 320 328 364 168 140 348 260 116 4 440 420 520 480 40 4 328 156 456 320 104 380 376 20 32 40 492 28 424 36 0 420 520 40 0 52 136 16 388 12 112 116 144 72 0 428 84 228 540 380 412 84 400 440 280 472 440 244 0 460 8 424 40 4 516 372 508 472 188 44 512 28 76 436 36 460 256 260 260 240 64 216 284 220 124 196 64 392 508 60 312 568 60 196 236 64 20 4 48 432 228 88 148 48 8 472 256 180 296 140 200 356 0 148 80 224 0 72 28 32 248 168 288 40 236 448 20 32 144 184 432 40 176 8 444 72 428 112 156 152 24 48 80 508 512 16 12 508 76 40 0 60 424 28 400 24 452 308 296 12 204 40 428 460 440 0 144 16 0 524 540 132 40 312 100 196 76 244 204 204 232 28 448 12 60 280 44 100 140 416 140 144 44 356 304 332 108 160 324 152 436 144 256 80 40 20 480 480 36 500 256 20 32 60 492 500 540 464 256 164 20 0 436 224 184 424 24 472 100 444 440 36 288 432 80 80 404 76 60 540 64 216 72 40 44 468 108 240 148 12 472 240 308 460 20 540 312 136 312 200 60 272 128 112 92 296 164 184 60 276 60 148 196 260 60 16 0 520 204 468 32 188 264 176 56 168 300 0 272 248 516 464 12 44 476 0 212 256 300 140 184 220 28 20 444 20 216 8 480 32 164 440 0 188 244 112 20 244 408 416 336 336 184 296 304 296 344 180 440 132 440 244 224 276 260 236 184 16 284 40 444 260 396 500 400 460 40 416 424 200 288 68 412 228 228 468 476 20 44 44 56 456 212 460 24 540 400 464 272 500 308 468 460 80 192 40 32 220 84 240 552 396 420 64 292 476 80 8 40 8 152 512 500 0 424 52 72 268 216 32 248 236 92 292 64 252 420 68 476 204 4 36 476 168 276 72 0 184 276 496 392 492 532 508 136 24 56 8 48 444 460 64 508 220 276 336 296 180 276 36 152 224 52 480 552 40 20 0 60 104 216 276 332 156 20 148 356 456 428 40 20 300 528 548 548 192 472 60 156 20 132 84 44 204 276 36 500 316 280 76 16 12 276 508 500 72 216 112 368 16 372 140 188 32 0 520 36 192 76 68 292 148 108 172 496 284 60 252 136 0 48 316 240 140 20 312 116 468 36 16 72 168 384 368 80 100 136 248 552 440 416 60 240 256 48 200 292 456 272 244 20 540 100 504 508 8 448 40 532 4 112 192 16 156 532 360 332 440 540 264 500 152 256 580 580 388 312 312 12 440 248 28 300 192 </values>
2519.78/2520.01	v </instantiation>

Verifier Data 

OK	51060217

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4304120-1534009860/watcher-4304120-1534009860 -o /tmp/evaluation-result-4304120-1534009860/solver-4304120-1534009860 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1533992207-26951 --watchdog 2580 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1897659943 HOME/instance-4304120-1534009860.xml 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=28685, runsolver pid=28682
Current StackSize limit: 8192 KiB


[startup+0.100155 s]*
/proc/loadavg: 2.00 2.04 2.05 3/187 28686
/proc/meminfo: memFree=3906132/32770624 swapFree=67108860/67108860
[pid=28685] ppid=28682 vsize=35892 memory=10340 CPUtime=0.1 cores=1,3,5,7
/proc/28685/stat : 28685 (MistralXCSP) R 28682 28685 26919 0 -1 4202496 2845 0 0 0 10 0 0 0 20 0 1 0 218549210 36753408 2585 33554432000 4194304 7499544 140732941868832 140732941865832 139905262435301 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9598848 9604096 30744576 140732941874285 140732941874435 140732941874435 140732941877193 0
/proc/28685/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.209634 s]*
/proc/loadavg: 2.00 2.04 2.05 3/187 28686
/proc/meminfo: memFree=3902412/32770624 swapFree=67108860/67108860
[pid=28685] ppid=28682 vsize=39824 memory=14300 CPUtime=0.21 cores=1,3,5,7
/proc/28685/stat : 28685 (MistralXCSP) R 28682 28685 26919 0 -1 4202496 3828 0 0 0 21 0 0 0 20 0 1 0 218549210 40779776 3575 33554432000 4194304 7499544 140732941868832 140732941865832 5899266 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9598848 9604096 30744576 140732941874285 140732941874435 140732941874435 140732941877193 0
/proc/28685/statm: 9956 3575 704 807 0 2947 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 39824 KiB
Current children cumulated memory: 14300 KiB

[startup+0.309277 s]*
/proc/loadavg: 2.00 2.04 2.05 3/187 28686
/proc/meminfo: memFree=3899808/32770624 swapFree=67108860/67108860
[pid=28685] ppid=28682 vsize=42620 memory=17340 CPUtime=0.31 cores=1,3,5,7
/proc/28685/stat : 28685 (MistralXCSP) R 28682 28685 26919 0 -1 4202496 4575 0 0 0 31 0 0 0 20 0 1 0 218549210 43642880 4335 33554432000 4194304 7499544 140732941868832 140732941865832 5875057 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9598848 9604096 30744576 140732941874285 140732941874435 140732941874435 140732941877193 0
/proc/28685/statm: 10655 4335 720 807 0 3646 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 42620 KiB
Current children cumulated memory: 17340 KiB

[startup+0.700281 s]
/proc/loadavg: 2.00 2.04 2.05 3/187 28686
/proc/meminfo: memFree=3893568/32770624 swapFree=67108860/67108860
[pid=28685] ppid=28682 vsize=52540 memory=26840 CPUtime=0.69 cores=1,3,5,7
/proc/28685/stat : 28685 (MistralXCSP) R 28682 28685 26919 0 -1 4202496 6999 0 0 0 69 0 0 0 20 0 1 0 218549210 53800960 6710 33554432000 4194304 7499544 140732941868832 140732941865832 6016370 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9598848 9604096 30744576 140732941874285 140732941874435 140732941874435 140732941877193 0
/proc/28685/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.50029 s]
/proc/loadavg: 2.00 2.04 2.05 3/187 28686
/proc/meminfo: memFree=3881292/32770624 swapFree=67108860/67108860
[pid=28685] ppid=28682 vsize=72844 memory=47432 CPUtime=1.49 cores=1,3,5,7
/proc/28685/stat : 28685 (MistralXCSP) R 28682 28685 26919 0 -1 4202496 12114 0 0 0 148 1 0 0 20 0 1 0 218549210 74592256 11858 33554432000 4194304 7499544 140732941868832 140732941865832 5880301 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9598848 9604096 30744576 140732941874285 140732941874435 140732941874435 140732941877193 0
/proc/28685/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.10936 s]
/proc/loadavg: 2.00 2.04 2.05 3/187 28686
/proc/meminfo: memFree=3829956/32770624 swapFree=67108860/67108860
[pid=28685] ppid=28682 vsize=114088 memory=88728 CPUtime=3.09 cores=1,3,5,7
/proc/28685/stat : 28685 (MistralXCSP) R 28682 28685 26919 0 -1 4202496 23595 0 0 0 307 2 0 0 20 0 1 0 218549210 116826112 22182 33554432000 4194304 7499544 140732941868832 140732941865832 5880015 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9598848 9604096 30744576 140732941874285 140732941874435 140732941874435 140732941877193 0
/proc/28685/statm: 28522 22182 720 807 0 21513 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 114088 KiB
Current children cumulated memory: 88728 KiB

[startup+6.30027 s]
/proc/loadavg: 2.00 2.04 2.05 3/187 28686
/proc/meminfo: memFree=3753024/32770624 swapFree=67108860/67108860
[pid=28685] ppid=28682 vsize=195040 memory=169568 CPUtime=6.29 cores=1,3,5,7
/proc/28685/stat : 28685 (MistralXCSP) R 28682 28685 26919 0 -1 4202496 45397 0 0 0 624 5 0 0 20 0 1 0 218549210 199720960 42392 33554432000 4194304 7499544 140732941868832 140732941862072 139905262873600 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9598848 9604096 30744576 140732941874285 140732941874435 140732941874435 140732941877193 0
/proc/28685/statm: 48760 42392 720 807 0 41751 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 195040 KiB
Current children cumulated memory: 169568 KiB

[startup+12.7003 s]
/proc/loadavg: 2.00 2.04 2.05 3/187 28686
/proc/meminfo: memFree=3598484/32770624 swapFree=67108860/67108860
[pid=28685] ppid=28682 vsize=359600 memory=333968 CPUtime=12.69 cores=1,3,5,7
/proc/28685/stat : 28685 (MistralXCSP) R 28682 28685 26919 0 -1 4202496 88380 0 0 0 1257 12 0 0 20 0 1 0 218549210 368230400 83492 33554432000 4194304 7499544 140732941868832 140732941862072 5876961 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9598848 9604096 30744576 140732941874285 140732941874435 140732941874435 140732941877193 0
/proc/28685/statm: 89900 83492 720 807 0 82891 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 359600 KiB
Current children cumulated memory: 333968 KiB

[startup+25.5004 s]
/proc/loadavg: 2.00 2.04 2.05 3/187 28686
/proc/meminfo: memFree=3397540/32770624 swapFree=67108860/67108860
[pid=28685] ppid=28682 vsize=541760 memory=516616 CPUtime=25.48 cores=1,3,5,7
/proc/28685/stat : 28685 (MistralXCSP) R 28682 28685 26919 0 -1 4202496 211119 0 0 0 2527 21 0 0 20 0 1 0 218549210 554762240 129154 33554432000 4194304 7499544 140732941868832 140732941863256 4404944 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 30744576 140732941874285 140732941874435 140732941874435 140732941877193 0
/proc/28685/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: 2.00 2.04 2.05 3/187 28686
/proc/meminfo: memFree=3396296/32770624 swapFree=67108860/67108860
[pid=28685] ppid=28682 vsize=543164 memory=517956 CPUtime=51.08 cores=1,3,5,7
/proc/28685/stat : 28685 (MistralXCSP) R 28682 28685 26919 0 -1 4202496 278145 0 0 0 5084 24 0 0 20 0 1 0 218549210 556199936 129489 33554432000 4194304 7499544 140732941868832 140732941863272 5790971 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 30744576 140732941874285 140732941874435 140732941874435 140732941877193 0
/proc/28685/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: 2.00 2.03 2.05 3/187 28687
/proc/meminfo: memFree=3394436/32770624 swapFree=67108860/67108860
[pid=28685] ppid=28682 vsize=545012 memory=519788 CPUtime=102.25 cores=1,3,5,7
/proc/28685/stat : 28685 (MistralXCSP) R 28682 28685 26919 0 -1 4202496 340294 0 0 0 10198 27 0 0 20 0 1 0 218549210 558092288 129947 33554432000 4194304 7499544 140732941868832 140732941863368 5790974 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 30744576 140732941874285 140732941874435 140732941874435 140732941877193 0
/proc/28685/statm: 136253 129947 765 807 0 129244 0
Current children cumulated CPU time: 102.25 s
Current children cumulated vsize: 545012 KiB
Current children cumulated memory: 519788 KiB

[startup+162.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 28688
/proc/meminfo: memFree=3394052/32770624 swapFree=67108860/67108860
[pid=28685] ppid=28682 vsize=545276 memory=520128 CPUtime=162.23 cores=1,3,5,7
/proc/28685/stat : 28685 (MistralXCSP) R 28682 28685 26919 0 -1 4202496 376046 0 0 0 16194 29 0 0 20 0 1 0 218549210 558362624 130032 33554432000 4194304 7499544 140732941868832 140732941863848 5790896 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 30744576 140732941874285 140732941874435 140732941874435 140732941877193 0
/proc/28685/statm: 136319 130032 765 807 0 129310 0
Current children cumulated CPU time: 162.23 s
Current children cumulated vsize: 545276 KiB
Current children cumulated memory: 520128 KiB

[startup+222.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 28742
/proc/meminfo: memFree=3334560/32770624 swapFree=67108860/67108860
[pid=28685] ppid=28682 vsize=545952 memory=520824 CPUtime=222.21 cores=1,3,5,7
/proc/28685/stat : 28685 (MistralXCSP) R 28682 28685 26919 0 -1 4202496 396107 0 0 0 22190 31 0 0 20 0 1 0 218549210 559054848 130206 33554432000 4194304 7499544 140732941868832 140732941863368 5790974 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 30744576 140732941874285 140732941874435 140732941874435 140732941877193 0
/proc/28685/statm: 136488 130206 765 807 0 129479 0
Current children cumulated CPU time: 222.21 s
Current children cumulated vsize: 545952 KiB
Current children cumulated memory: 520824 KiB

[startup+282.3 s]
/proc/loadavg: 1.97 2.00 2.04 3/187 28755
/proc/meminfo: memFree=2226120/32770624 swapFree=67108860/67108860
[pid=28685] ppid=28682 vsize=546084 memory=520944 CPUtime=282.18 cores=1,3,5,7
/proc/28685/stat : 28685 (MistralXCSP) R 28682 28685 26919 0 -1 4202496 407360 0 0 0 28187 31 0 0 20 0 1 0 218549210 559190016 130236 33554432000 4194304 7499544 140732941868832 140732941863368 4405080 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 30744576 140732941874285 140732941874435 140732941874435 140732941877193 0
/proc/28685/statm: 136521 130236 765 807 0 129512 0
Current children cumulated CPU time: 282.18 s
Current children cumulated vsize: 546084 KiB
Current children cumulated memory: 520944 KiB

[startup+342.3 s]
/proc/loadavg: 1.99 2.00 2.04 3/186 28756
/proc/meminfo: memFree=2225472/32770624 swapFree=67108860/67108860
[pid=28685] ppid=28682 vsize=546224 memory=521064 CPUtime=342.17 cores=1,3,5,7
/proc/28685/stat : 28685 (MistralXCSP) R 28682 28685 26919 0 -1 4202496 413916 0 0 0 34185 32 0 0 20 0 1 0 218549210 559333376 130266 33554432000 4194304 7499544 140732941868832 140732941863848 5790974 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 30744576 140732941874285 140732941874435 140732941874435 140732941877193 0
/proc/28685/statm: 136556 130266 765 807 0 129547 0
Current children cumulated CPU time: 342.17 s
Current children cumulated vsize: 546224 KiB
Current children cumulated memory: 521064 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 28758
/proc/meminfo: memFree=2224440/32770624 swapFree=67108860/67108860
[pid=28685] ppid=28682 vsize=546224 memory=521112 CPUtime=402.16 cores=1,3,5,7
/proc/28685/stat : 28685 (MistralXCSP) R 28682 28685 26919 0 -1 4202496 414790 0 0 0 40184 32 0 0 20 0 1 0 218549210 559333376 130278 33554432000 4194304 7499544 140732941868832 140732941863848 5790974 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 30744576 140732941874285 140732941874435 140732941874435 140732941877193 0
/proc/28685/statm: 136556 130278 765 807 0 129547 0
Current children cumulated CPU time: 402.16 s
Current children cumulated vsize: 546224 KiB
Current children cumulated memory: 521112 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 28759
/proc/meminfo: memFree=2224984/32770624 swapFree=67108860/67108860
[pid=28685] ppid=28682 vsize=546224 memory=521140 CPUtime=462.16 cores=1,3,5,7
/proc/28685/stat : 28685 (MistralXCSP) R 28682 28685 26919 0 -1 4202496 415670 0 0 0 46184 32 0 0 20 0 1 0 218549210 559333376 130285 33554432000 4194304 7499544 140732941868832 140732941863848 4253232 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 30744576 140732941874285 140732941874435 140732941874435 140732941877193 0
/proc/28685/statm: 136556 130285 765 807 0 129547 0
Current children cumulated CPU time: 462.16 s
Current children cumulated vsize: 546224 KiB
Current children cumulated memory: 521140 KiB


################
# More data... #
################

/proc/28685/statm: 136657 130376 765 807 0 129648 0
Current children cumulated CPU time: 1722.11 s
Current children cumulated vsize: 546628 KiB
Current children cumulated memory: 521504 KiB

[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 28824
/proc/meminfo: memFree=2222312/32770624 swapFree=67108860/67108860
[pid=28685] ppid=28682 vsize=546628 memory=521504 CPUtime=1782.11 cores=1,3,5,7
/proc/28685/stat : 28685 (MistralXCSP) R 28682 28685 26919 0 -1 4202496 432148 0 0 0 178177 34 0 0 20 0 1 0 218549210 559747072 130376 33554432000 4194304 7499544 140732941868832 140732941863848 5770143 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 30744576 140732941874285 140732941874435 140732941874435 140732941877193 0
/proc/28685/statm: 136657 130376 765 807 0 129648 0
Current children cumulated CPU time: 1782.11 s
Current children cumulated vsize: 546628 KiB
Current children cumulated memory: 521504 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 28825
/proc/meminfo: memFree=2222384/32770624 swapFree=67108860/67108860
[pid=28685] ppid=28682 vsize=546628 memory=521544 CPUtime=1842.11 cores=1,3,5,7
/proc/28685/stat : 28685 (MistralXCSP) R 28682 28685 26919 0 -1 4202496 432651 0 0 0 184177 34 0 0 20 0 1 0 218549210 559747072 130386 33554432000 4194304 7499544 140732941868832 140732941863848 5790944 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 30744576 140732941874285 140732941874435 140732941874435 140732941877193 0
/proc/28685/statm: 136657 130386 765 807 0 129648 0
Current children cumulated CPU time: 1842.11 s
Current children cumulated vsize: 546628 KiB
Current children cumulated memory: 521544 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 28826
/proc/meminfo: memFree=2222552/32770624 swapFree=67108860/67108860
[pid=28685] ppid=28682 vsize=546760 memory=521596 CPUtime=1902.1 cores=1,3,5,7
/proc/28685/stat : 28685 (MistralXCSP) R 28682 28685 26919 0 -1 4202496 433192 0 0 0 190176 34 0 0 20 0 1 0 218549210 559882240 130399 33554432000 4194304 7499544 140732941868832 140732941863368 5790987 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 30744576 140732941874285 140732941874435 140732941874435 140732941877193 0
/proc/28685/statm: 136690 130399 765 807 0 129681 0
Current children cumulated CPU time: 1902.1 s
Current children cumulated vsize: 546760 KiB
Current children cumulated memory: 521596 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 28827
/proc/meminfo: memFree=2222240/32770624 swapFree=67108860/67108860
[pid=28685] ppid=28682 vsize=546760 memory=521684 CPUtime=1962.1 cores=1,3,5,7
/proc/28685/stat : 28685 (MistralXCSP) R 28682 28685 26919 0 -1 4202496 433708 0 0 0 196176 34 0 0 20 0 1 0 218549210 559882240 130421 33554432000 4194304 7499544 140732941868832 140732941863368 5791018 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 30744576 140732941874285 140732941874435 140732941874435 140732941877193 0
/proc/28685/statm: 136690 130421 765 807 0 129681 0
Current children cumulated CPU time: 1962.1 s
Current children cumulated vsize: 546760 KiB
Current children cumulated memory: 521684 KiB

[startup+2022.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/187 28828
/proc/meminfo: memFree=2222316/32770624 swapFree=67108860/67108860
[pid=28685] ppid=28682 vsize=546760 memory=521700 CPUtime=2022.1 cores=1,3,5,7
/proc/28685/stat : 28685 (MistralXCSP) R 28682 28685 26919 0 -1 4202496 434231 0 0 0 202176 34 0 0 20 0 1 0 218549210 559882240 130425 33554432000 4194304 7499544 140732941868832 140732941863368 4258023 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 30744576 140732941874285 140732941874435 140732941874435 140732941877193 0
/proc/28685/statm: 136690 130425 765 807 0 129681 0
Current children cumulated CPU time: 2022.1 s
Current children cumulated vsize: 546760 KiB
Current children cumulated memory: 521700 KiB

[startup+2082.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 28830
/proc/meminfo: memFree=2222012/32770624 swapFree=67108860/67108860
[pid=28685] ppid=28682 vsize=546892 memory=521724 CPUtime=2082.09 cores=1,3,5,7
/proc/28685/stat : 28685 (MistralXCSP) R 28682 28685 26919 0 -1 4202496 434764 0 0 0 208175 34 0 0 20 0 1 0 218549210 560017408 130431 33554432000 4194304 7499544 140732941868832 140732941863368 4579850 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 30744576 140732941874285 140732941874435 140732941874435 140732941877193 0
/proc/28685/statm: 136723 130431 765 807 0 129714 0
Current children cumulated CPU time: 2082.09 s
Current children cumulated vsize: 546892 KiB
Current children cumulated memory: 521724 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 28831
/proc/meminfo: memFree=2221988/32770624 swapFree=67108860/67108860
[pid=28685] ppid=28682 vsize=546892 memory=521780 CPUtime=2142.09 cores=1,3,5,7
/proc/28685/stat : 28685 (MistralXCSP) R 28682 28685 26919 0 -1 4202496 435308 0 0 0 214175 34 0 0 20 0 1 0 218549210 560017408 130445 33554432000 4194304 7499544 140732941868832 140732941863368 5790987 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 30744576 140732941874285 140732941874435 140732941874435 140732941877193 0
/proc/28685/statm: 136723 130445 765 807 0 129714 0
Current children cumulated CPU time: 2142.09 s
Current children cumulated vsize: 546892 KiB
Current children cumulated memory: 521780 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 28832
/proc/meminfo: memFree=2221804/32770624 swapFree=67108860/67108860
[pid=28685] ppid=28682 vsize=546892 memory=521816 CPUtime=2202.09 cores=1,3,5,7
/proc/28685/stat : 28685 (MistralXCSP) R 28682 28685 26919 0 -1 4202496 435860 0 0 0 220175 34 0 0 20 0 1 0 218549210 560017408 130454 33554432000 4194304 7499544 140732941868832 140732941863368 5791081 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 30744576 140732941874285 140732941874435 140732941874435 140732941877193 0
/proc/28685/statm: 136723 130454 765 807 0 129714 0
Current children cumulated CPU time: 2202.09 s
Current children cumulated vsize: 546892 KiB
Current children cumulated memory: 521816 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 28834
/proc/meminfo: memFree=2221864/32770624 swapFree=67108860/67108860
[pid=28685] ppid=28682 vsize=546892 memory=521832 CPUtime=2262.08 cores=1,3,5,7
/proc/28685/stat : 28685 (MistralXCSP) R 28682 28685 26919 0 -1 4202496 436405 0 0 0 226174 34 0 0 20 0 1 0 218549210 560017408 130458 33554432000 4194304 7499544 140732941868832 140732941863368 4404984 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 30744576 140732941874285 140732941874435 140732941874435 140732941877193 0
/proc/28685/statm: 136723 130458 765 807 0 129714 0
Current children cumulated CPU time: 2262.08 s
Current children cumulated vsize: 546892 KiB
Current children cumulated memory: 521832 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 28835
/proc/meminfo: memFree=2221916/32770624 swapFree=67108860/67108860
[pid=28685] ppid=28682 vsize=547024 memory=521840 CPUtime=2322.08 cores=1,3,5,7
/proc/28685/stat : 28685 (MistralXCSP) R 28682 28685 26919 0 -1 4202496 436957 0 0 0 232174 34 0 0 20 0 1 0 218549210 560152576 130460 33554432000 4194304 7499544 140732941868832 140732941863368 4405034 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 30744576 140732941874285 140732941874435 140732941874435 140732941877193 0
/proc/28685/statm: 136756 130460 765 807 0 129747 0
Current children cumulated CPU time: 2322.08 s
Current children cumulated vsize: 547024 KiB
Current children cumulated memory: 521840 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 28843
/proc/meminfo: memFree=2221624/32770624 swapFree=67108860/67108860
[pid=28685] ppid=28682 vsize=547024 memory=521860 CPUtime=2382.08 cores=1,3,5,7
/proc/28685/stat : 28685 (MistralXCSP) R 28682 28685 26919 0 -1 4202496 437522 0 0 0 238174 34 0 0 20 0 1 0 218549210 560152576 130465 33554432000 4194304 7499544 140732941868832 140732941863368 4258023 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 30744576 140732941874285 140732941874435 140732941874435 140732941877193 0
/proc/28685/statm: 136756 130465 765 807 0 129747 0
Current children cumulated CPU time: 2382.08 s
Current children cumulated vsize: 547024 KiB
Current children cumulated memory: 521860 KiB

[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 28844
/proc/meminfo: memFree=2221944/32770624 swapFree=67108860/67108860
[pid=28685] ppid=28682 vsize=547024 memory=521896 CPUtime=2442.07 cores=1,3,5,7
/proc/28685/stat : 28685 (MistralXCSP) R 28682 28685 26919 0 -1 4202496 438090 0 0 0 244173 34 0 0 20 0 1 0 218549210 560152576 130474 33554432000 4194304 7499544 140732941868832 140732941863368 5790974 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 30744576 140732941874285 140732941874435 140732941874435 140732941877193 0
/proc/28685/statm: 136756 130474 765 807 0 129747 0
Current children cumulated CPU time: 2442.07 s
Current children cumulated vsize: 547024 KiB
Current children cumulated memory: 521896 KiB

[startup+2502.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/187 28845
/proc/meminfo: memFree=2222232/32770624 swapFree=67108860/67108860
[pid=28685] ppid=28682 vsize=547024 memory=521920 CPUtime=2502.07 cores=1,3,5,7
/proc/28685/stat : 28685 (MistralXCSP) R 28682 28685 26919 0 -1 4202496 438661 0 0 0 250173 34 0 0 20 0 1 0 218549210 560152576 130480 33554432000 4194304 7499544 140732941868832 140732941863368 4258023 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 30744576 140732941874285 140732941874435 140732941874435 140732941877193 0
/proc/28685/statm: 136756 130480 765 807 0 129747 0
Current children cumulated CPU time: 2502.07 s
Current children cumulated vsize: 547024 KiB
Current children cumulated memory: 521920 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 2.04 2.03 2.05 3/187 28846
/proc/meminfo: memFree=2222332/32770624 swapFree=67108860/67108860
[pid=28685] ppid=28682 vsize=547024 memory=521920 CPUtime=2519.78 cores=1,3,5,7
/proc/28685/stat : 28685 (MistralXCSP) R 28682 28685 26919 0 -1 4202496 438661 0 0 0 251944 34 0 0 20 0 1 0 218549210 560152576 130480 33554432000 4194304 7499544 140732941868832 140732941863368 4408878 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 30744576 140732941874285 140732941874435 140732941874435 140732941877193 0
/proc/28685/statm: 136756 130480 765 807 0 129747 0
Current children cumulated CPU time: 2519.78 s
Current children cumulated vsize: 547024 KiB
Current children cumulated memory: 521920 KiB

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

[startup+2520.01 s]
# the end of solver process 28685 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2519.45 s, system=0.351983 s

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

Child status: 0
Real time (s): 2520.01
CPU time (s): 2519.8
CPU user time (s): 2519.45
CPU system time (s): 0.351983
CPU usage (%): 99.9914
Max. virtual memory (cumulated for all children) (KiB): 547024
Max. memory (cumulated for all children) (KiB): 521920

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.45
system time used= 0.351983
maximum resident set size= 521940
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 438692
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= 192
involuntary context switches= 897


# summary of solver processes directly reported to runsolver:
#   pid: 28685
#   total CPU time (s): 2519.8
#   total CPU user time (s): 2519.45
#   total CPU system time (s): 0.351983

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.28303 second user time and 22.8078 second system time

The end

Launcher Data 

Begin job on node151 at 2018-08-11 19:51:00
IDJOB=4304120
IDBENCH=141259
IDSOLVER=2779
FILE ID=node151/4304120-1534009860
RUNJOBID= node151-1533992207-26951
PBS_JOBID= 21036947
Free space on /tmp= 40812 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-4304120-1534009860/watcher-4304120-1534009860 -o /tmp/evaluation-result-4304120-1534009860/solver-4304120-1534009860 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1533992207-26951 --watchdog 2580  MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1897659943 HOME/instance-4304120-1534009860.xml

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

MD5SUM BENCH= deef1e755c9079fc369bbf159731f616
RANDOM SEED=1897659943

node151.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.87
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.87
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.87
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.87
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:         3913364 kB
MemAvailable:   31876084 kB
Buffers:          251520 kB
Cached:         27590884 kB
SwapCached:            0 kB
Active:         10838340 kB
Inactive:       17086340 kB
Active(anon):      31504 kB
Inactive(anon):   103256 kB
Active(file):   10806836 kB
Inactive(file): 16983084 kB
Unevictable:        7836 kB
Mlocked:            7836 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             50844 kB
Writeback:             0 kB
AnonPages:         89712 kB
Mapped:            60392 kB
Shmem:             49800 kB
Slab:             629576 kB
SReclaimable:     601260 kB
SUnreclaim:        28316 kB
KernelStack:        3360 kB
PageTables:         5452 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     403920 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     30720 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      118144 kB
DirectMap2M:    33427456 kB

Free space on /tmp at the end= 40716 MiB
End job on node151 at 2018-08-11 20:33:00