Trace number 4291977

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-06-15SAT (TO)51060217 2400.09 2400

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 16062018
28.30/28.33	o 51290323
28.30/28.33	o 51290321
28.30/28.33	o 51290312
28.30/28.33	o 51283544
28.30/28.34	o 51276774
28.30/28.34	o 51276773
28.30/28.34	o 51276770
28.30/28.34	o 51270011
28.30/28.35	o 51270005
28.30/28.35	o 51270003
28.30/28.37	o 51263241
28.30/28.39	o 51256483
28.30/28.40	o 51256477
28.49/28.54	o 51256472
28.49/28.59	o 51256470
28.59/28.67	o 51256457
28.79/28.89	o 51249698
28.99/29.06	o 51242946
28.99/29.07	o 51242945
29.30/29.33	o 51242944
29.30/29.33	o 51229421
29.40/29.43	o 51229420
29.40/29.43	o 51229413
29.40/29.44	o 51222652
29.40/29.44	o 51222651
29.40/29.45	o 51222643
29.40/29.46	o 51215882
29.40/29.48	o 51209123
29.40/29.48	o 51209122
29.40/29.48	o 51209119
29.40/29.48	o 51209118
29.40/29.49	o 51209111
29.40/29.49	o 51209102
29.49/29.50	o 51209094
29.49/29.50	o 51209093
29.49/29.50	o 51209092
29.49/29.50	o 51209091
29.49/29.50	o 51209085
29.49/29.50	o 51209084
29.49/29.56	o 51202324
29.49/29.56	o 51202315
29.49/29.56	o 51202314
40.70/40.76	o 51202313
40.70/40.77	o 51202311
42.59/42.69	o 51195551
43.49/43.58	o 51188781
43.69/43.72	o 51182021
78.09/78.17	o 51182018
78.09/78.17	o 51182017
78.09/78.18	o 51182009
78.19/78.27	o 51182004
82.69/82.70	o 51182003
97.59/97.68	o 51182002
99.69/99.73	o 51182001
158.60/158.61	o 51181994
158.90/158.91	o 51181993
159.80/159.87	o 51175229
159.80/159.87	o 51175228
159.80/159.88	o 51175226
159.80/159.88	o 51175225
159.80/159.88	o 51175223
167.80/167.83	o 51175221
167.80/167.83	o 51175220
197.09/197.17	o 51175216
291.07/291.16	o 51175209
291.97/292.00	o 51168449
839.97/840.04	o 51168446
839.97/840.04	o 51161678
839.97/840.04	o 51154918
839.97/840.05	o 51148149
839.97/840.07	o 51148148
839.97/840.07	o 51141378
839.97/840.08	o 51134618
840.07/840.11	o 51127854
840.07/840.13	o 51127852
840.17/840.23	o 51127849
841.67/841.70	o 51127841
842.77/842.81	o 51121082
844.87/844.98	o 51114320
844.97/845.01	o 51107560
845.67/845.76	o 51100805
845.67/845.78	o 51100802
845.67/845.78	o 51094042
845.67/845.79	o 51094041
852.38/852.46	o 51094038
852.67/852.78	o 51094037
852.77/852.82	o 51094034
852.77/852.82	o 51094031
857.77/857.90	o 51094030
860.28/860.37	o 51087269
910.57/910.65	o 51087265
919.87/919.99	o 51087264
1050.98/1051.05	o 51087262
1112.78/1112.83	o 51087261
1116.18/1116.20	o 51087258
1116.18/1116.27	o 51087255
1128.59/1128.60	o 51087251
1153.79/1153.88	o 51087250
1180.70/1180.72	o 51087249
1282.90/1282.96	o 51080514
1282.90/1282.96	o 51080505
1282.90/1282.96	o 51080504
1565.02/1565.01	o 51073744
1565.33/1565.38	o 51073738
1645.22/1645.25	o 51066979
1645.22/1645.26	o 51066978
1645.62/1645.66	o 51066973
1715.63/1715.62	o 51060223
1858.14/1858.10	o 51060217
2400.07/2400.00	s SATISFIABLE
2400.07/2400.00	v <instantiation type="solution">
2400.07/2400.00	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>
2400.07/2400.00	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>
2400.07/2400.00	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 (3815 MiB free)
  memory of node 1: 16384 MiB (11632 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4291977-1532263327/watcher-4291977-1532263327 -o /tmp/evaluation-result-4291977-1532263327/solver-4291977-1532263327 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node105-1532260533-31108 --watchdog 2560 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 859852498 HOME/instance-4291977-1532263327.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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=32046, runsolver pid=32043

[startup+0.10016 s]*
/proc/loadavg: 2.10 2.04 2.05 3/187 32047
/proc/meminfo: memFree=15811468/32770624 swapFree=67108860/67108860
[pid=32046] ppid=32043 vsize=35892 memory=10332 CPUtime=0.1 cores=1,3,5,7
/proc/32046/stat : 32046 (MistralXCSP) R 32043 32046 31076 0 -1 4202496 2840 0 0 0 10 0 0 0 20 0 1 0 43895905 36753408 2583 33554432000 4194304 7498468 140727513672384 140727513669384 139941286656997 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 9598848 9604096 36274176 140727513678958 140727513679107 140727513679107 140727513681865 0
/proc/32046/statm: 8973 2583 704 807 0 1964 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 35892 KiB
Current children cumulated memory: 10332 KiB

[startup+0.209544 s]*
/proc/loadavg: 2.10 2.04 2.05 3/187 32047
/proc/meminfo: memFree=15807748/32770624 swapFree=67108860/67108860
[pid=32046] ppid=32043 vsize=39560 memory=14028 CPUtime=0.21 cores=1,3,5,7
/proc/32046/stat : 32046 (MistralXCSP) R 32043 32046 31076 0 -1 4202496 3750 0 0 0 21 0 0 0 20 0 1 0 43895905 40509440 3507 33554432000 4194304 7498468 140727513672384 140727513669384 139941286636418 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 9598848 9604096 36274176 140727513678958 140727513679107 140727513679107 140727513681865 0
/proc/32046/statm: 9890 3507 704 807 0 2881 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 39560 KiB
Current children cumulated memory: 14028 KiB

[startup+0.309119 s]*
/proc/loadavg: 2.10 2.04 2.05 3/187 32047
/proc/meminfo: memFree=15805144/32770624 swapFree=67108860/67108860
[pid=32046] ppid=32043 vsize=42620 memory=17324 CPUtime=0.31 cores=1,3,5,7
/proc/32046/stat : 32046 (MistralXCSP) R 32043 32046 31076 0 -1 4202496 4572 0 0 0 30 1 0 0 20 0 1 0 43895905 43642880 4331 33554432000 4194304 7498468 140727513672384 140727513669384 5882165 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 9598848 9604096 36274176 140727513678958 140727513679107 140727513679107 140727513681865 0
/proc/32046/statm: 10655 4331 717 807 0 3646 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 42620 KiB
Current children cumulated memory: 17324 KiB

[startup+0.700293 s]
/proc/loadavg: 2.10 2.04 2.05 3/187 32047
/proc/meminfo: memFree=15799192/32770624 swapFree=67108860/67108860
[pid=32046] ppid=32043 vsize=52540 memory=26824 CPUtime=0.69 cores=1,3,5,7
/proc/32046/stat : 32046 (MistralXCSP) R 32043 32046 31076 0 -1 4202496 6994 0 0 0 68 1 0 0 20 0 1 0 43895905 53800960 6706 33554432000 4194304 7498468 140727513672384 140727513665624 6016825 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 9598848 9604096 36274176 140727513678958 140727513679107 140727513679107 140727513681865 0
/proc/32046/statm: 13135 6706 717 807 0 6126 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 52540 KiB
Current children cumulated memory: 26824 KiB

[startup+1.50028 s]
/proc/loadavg: 2.10 2.04 2.05 3/187 32047
/proc/meminfo: memFree=15787560/32770624 swapFree=67108860/67108860
[pid=32046] ppid=32043 vsize=72712 memory=47152 CPUtime=1.48 cores=1,3,5,7
/proc/32046/stat : 32046 (MistralXCSP) R 32043 32046 31076 0 -1 4202496 12060 0 0 0 147 1 0 0 20 0 1 0 43895905 74457088 11788 33554432000 4194304 7498468 140727513672384 140727513665624 139941286656997 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 9598848 9604096 36274176 140727513678958 140727513679107 140727513679107 140727513681865 0
/proc/32046/statm: 18178 11788 717 807 0 11169 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 72712 KiB
Current children cumulated memory: 47152 KiB

[startup+3.10953 s]
/proc/loadavg: 2.10 2.04 2.05 3/187 32047
/proc/meminfo: memFree=15714552/32770624 swapFree=67108860/67108860
[pid=32046] ppid=32043 vsize=114088 memory=88676 CPUtime=3.1 cores=1,3,5,7
/proc/32046/stat : 32046 (MistralXCSP) R 32043 32046 31076 0 -1 4202496 23336 0 0 0 307 3 0 0 20 0 1 0 43895905 116826112 22169 33554432000 4194304 7498468 140727513672384 140727513665624 139941286705056 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 9598848 9604096 36274176 140727513678958 140727513679107 140727513679107 140727513681865 0
/proc/32046/statm: 28522 22169 717 807 0 21513 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 114088 KiB
Current children cumulated memory: 88676 KiB

[startup+6.30029 s]*
/proc/loadavg: 2.09 2.04 2.05 3/187 32047
/proc/meminfo: memFree=15651304/32770624 swapFree=67108860/67108860
[pid=32046] ppid=32043 vsize=194764 memory=169092 CPUtime=6.3 cores=1,3,5,7
/proc/32046/stat : 32046 (MistralXCSP) R 32043 32046 31076 0 -1 4202496 45216 0 0 0 625 5 0 0 20 0 1 0 43895905 199438336 42273 33554432000 4194304 7498468 140727513672384 140727513665624 5881855 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 9598848 9604096 36274176 140727513678958 140727513679107 140727513679107 140727513681865 0
/proc/32046/statm: 48691 42273 717 807 0 41682 0
Current children cumulated CPU time: 6.3 s
Current children cumulated vsize: 194764 KiB
Current children cumulated memory: 169092 KiB

[startup+12.7003 s]
/proc/loadavg: 2.08 2.04 2.05 3/187 32047
/proc/meminfo: memFree=15496924/32770624 swapFree=67108860/67108860
[pid=32046] ppid=32043 vsize=358884 memory=333460 CPUtime=12.69 cores=1,3,5,7
/proc/32046/stat : 32046 (MistralXCSP) R 32043 32046 31076 0 -1 4202496 88332 0 0 0 1258 11 0 0 20 0 1 0 43895905 367497216 83365 33554432000 4194304 7498468 140727513672384 140727513665624 5875377 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 9598848 9604096 36274176 140727513678958 140727513679107 140727513679107 140727513681865 0
/proc/32046/statm: 89721 83365 717 807 0 82712 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 358884 KiB
Current children cumulated memory: 333460 KiB

[startup+25.5003 s]
/proc/loadavg: 2.06 2.03 2.05 3/187 32047
/proc/meminfo: memFree=15303536/32770624 swapFree=67108860/67108860
[pid=32046] ppid=32043 vsize=541760 memory=516568 CPUtime=25.49 cores=1,3,5,7
/proc/32046/stat : 32046 (MistralXCSP) R 32043 32046 31076 0 -1 4202496 213838 0 0 0 2529 20 0 0 20 0 1 0 43895905 554762240 129142 33554432000 4194304 7498468 140727513672384 140727513666808 4580091 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 36274176 140727513678958 140727513679107 140727513679107 140727513681865 0
/proc/32046/statm: 135440 129142 755 807 0 128431 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 541760 KiB
Current children cumulated memory: 516568 KiB

[startup+51.1004 s]
/proc/loadavg: 2.04 2.03 2.05 3/187 32047
/proc/meminfo: memFree=15302528/32770624 swapFree=67108860/67108860
[pid=32046] ppid=32043 vsize=543164 memory=517900 CPUtime=51.09 cores=1,3,5,7
/proc/32046/stat : 32046 (MistralXCSP) R 32043 32046 31076 0 -1 4202496 286009 0 0 0 5086 23 0 0 20 0 1 0 43895905 556199936 129475 33554432000 4194304 7498468 140727513672384 140727513666824 5791406 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 36274176 140727513678958 140727513679107 140727513679107 140727513681865 0
/proc/32046/statm: 135791 129475 760 807 0 128782 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 543164 KiB
Current children cumulated memory: 517900 KiB

[startup+102.3 s]*
/proc/loadavg: 2.02 2.03 2.05 3/187 32048
/proc/meminfo: memFree=15300916/32770624 swapFree=67108860/67108860
[pid=32046] ppid=32043 vsize=544880 memory=519748 CPUtime=102.3 cores=1,3,5,7
/proc/32046/stat : 32046 (MistralXCSP) R 32043 32046 31076 0 -1 4202496 368940 0 0 0 10202 28 0 0 20 0 1 0 43895905 557957120 129937 33554432000 4194304 7498468 140727513672384 140727513666920 5791406 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 36274176 140727513678958 140727513679107 140727513679107 140727513681865 0
/proc/32046/statm: 136220 129937 760 807 0 129211 0
Current children cumulated CPU time: 102.3 s
Current children cumulated vsize: 544880 KiB
Current children cumulated memory: 519748 KiB

[startup+162.3 s]*
/proc/loadavg: 2.01 2.02 2.05 3/187 32049
/proc/meminfo: memFree=15299756/32770624 swapFree=67108860/67108860
[pid=32046] ppid=32043 vsize=545276 memory=520104 CPUtime=162.3 cores=1,3,5,7
/proc/32046/stat : 32046 (MistralXCSP) R 32043 32046 31076 0 -1 4202496 428113 0 0 0 16199 31 0 0 20 0 1 0 43895905 558362624 130026 33554432000 4194304 7498468 140727513672384 140727513667400 4249680 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 36274176 140727513678958 140727513679107 140727513679107 140727513681865 0
/proc/32046/statm: 136319 130026 760 807 0 129310 0
Current children cumulated CPU time: 162.3 s
Current children cumulated vsize: 545276 KiB
Current children cumulated memory: 520104 KiB

[startup+222.3 s]*
/proc/loadavg: 2.00 2.02 2.05 3/187 32050
/proc/meminfo: memFree=15300852/32770624 swapFree=67108860/67108860
[pid=32046] ppid=32043 vsize=545952 memory=520792 CPUtime=222.3 cores=1,3,5,7
/proc/32046/stat : 32046 (MistralXCSP) R 32043 32046 31076 0 -1 4202496 482364 0 0 0 22197 33 0 0 20 0 1 0 43895905 559054848 130198 33554432000 4194304 7498468 140727513672384 140727513666920 4258077 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 36274176 140727513678958 140727513679107 140727513679107 140727513681865 0
/proc/32046/statm: 136488 130198 760 807 0 129479 0
Current children cumulated CPU time: 222.3 s
Current children cumulated vsize: 545952 KiB
Current children cumulated memory: 520792 KiB

[startup+282.3 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 32051
/proc/meminfo: memFree=15300096/32770624 swapFree=67108860/67108860
[pid=32046] ppid=32043 vsize=546084 memory=520884 CPUtime=282.29 cores=1,3,5,7
/proc/32046/stat : 32046 (MistralXCSP) R 32043 32046 31076 0 -1 4202496 509033 0 0 0 28195 34 0 0 20 0 1 0 43895905 559190016 130221 33554432000 4194304 7498468 140727513672384 140727513666920 5791406 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 36274176 140727513678958 140727513679107 140727513679107 140727513681865 0
/proc/32046/statm: 136521 130221 760 807 0 129512 0
Current children cumulated CPU time: 282.29 s
Current children cumulated vsize: 546084 KiB
Current children cumulated memory: 520884 KiB

[startup+342.3 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 32052
/proc/meminfo: memFree=15300272/32770624 swapFree=67108860/67108860
[pid=32046] ppid=32043 vsize=546224 memory=520988 CPUtime=342.27 cores=1,3,5,7
/proc/32046/stat : 32046 (MistralXCSP) R 32043 32046 31076 0 -1 4202496 544313 0 0 0 34191 36 0 0 20 0 1 0 43895905 559333376 130247 33554432000 4194304 7498468 140727513672384 140727513667400 5791406 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 36274176 140727513678958 140727513679107 140727513679107 140727513681865 0
/proc/32046/statm: 136556 130247 760 807 0 129547 0
Current children cumulated CPU time: 342.27 s
Current children cumulated vsize: 546224 KiB
Current children cumulated memory: 520988 KiB

[startup+402.3 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 32053
/proc/meminfo: memFree=15300552/32770624 swapFree=67108860/67108860
[pid=32046] ppid=32043 vsize=546224 memory=521036 CPUtime=402.26 cores=1,3,5,7
/proc/32046/stat : 32046 (MistralXCSP) R 32043 32046 31076 0 -1 4202496 557596 0 0 0 40189 37 0 0 20 0 1 0 43895905 559333376 130259 33554432000 4194304 7498468 140727513672384 140727513667400 4253190 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 36274176 140727513678958 140727513679107 140727513679107 140727513681865 0
/proc/32046/statm: 136556 130259 760 807 0 129547 0
Current children cumulated CPU time: 402.26 s
Current children cumulated vsize: 546224 KiB
Current children cumulated memory: 521036 KiB

[startup+462.3 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 32054
/proc/meminfo: memFree=15300588/32770624 swapFree=67108860/67108860
[pid=32046] ppid=32043 vsize=546224 memory=521116 CPUtime=462.25 cores=1,3,5,7
/proc/32046/stat : 32046 (MistralXCSP) R 32043 32046 31076 0 -1 4202496 563892 0 0 0 46188 37 0 0 20 0 1 0 43895905 559333376 130279 33554432000 4194304 7498468 140727513672384 140727513667400 5772144 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 36274176 140727513678958 140727513679107 140727513679107 140727513681865 0
/proc/32046/statm: 136556 130279 760 807 0 129547 0
Current children cumulated CPU time: 462.25 s
Current children cumulated vsize: 546224 KiB
Current children cumulated memory: 521116 KiB


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

/proc/32046/statm: 136657 130370 760 807 0 129648 0
Current children cumulated CPU time: 1662.33 s
Current children cumulated vsize: 546628 KiB
Current children cumulated memory: 521480 KiB

[startup+1722.3 s]*
/proc/loadavg: 2.02 2.02 2.05 3/187 32122
/proc/meminfo: memFree=15297864/32770624 swapFree=67108860/67108860
[pid=32046] ppid=32043 vsize=546628 memory=521480 CPUtime=1722.34 cores=1,3,5,7
/proc/32046/stat : 32046 (MistralXCSP) R 32043 32046 31076 0 -1 4202496 581607 0 0 0 172195 39 0 0 20 0 1 0 43895905 559747072 130370 33554432000 4194304 7498468 140727513672384 140727513667400 4406223 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 36274176 140727513678958 140727513679107 140727513679107 140727513681865 0
/proc/32046/statm: 136657 130370 760 807 0 129648 0
Current children cumulated CPU time: 1722.34 s
Current children cumulated vsize: 546628 KiB
Current children cumulated memory: 521480 KiB

[startup+1782.3 s]*
/proc/loadavg: 2.01 2.02 2.05 3/187 32123
/proc/meminfo: memFree=15298344/32770624 swapFree=67108860/67108860
[pid=32046] ppid=32043 vsize=546628 memory=521480 CPUtime=1782.34 cores=1,3,5,7
/proc/32046/stat : 32046 (MistralXCSP) R 32043 32046 31076 0 -1 4202496 582356 0 0 0 178195 39 0 0 20 0 1 0 43895905 559747072 130370 33554432000 4194304 7498468 140727513672384 140727513667400 5791392 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 36274176 140727513678958 140727513679107 140727513679107 140727513681865 0
/proc/32046/statm: 136657 130370 760 807 0 129648 0
Current children cumulated CPU time: 1782.34 s
Current children cumulated vsize: 546628 KiB
Current children cumulated memory: 521480 KiB

[startup+1842.3 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 32124
/proc/meminfo: memFree=15297832/32770624 swapFree=67108860/67108860
[pid=32046] ppid=32043 vsize=546628 memory=521520 CPUtime=1842.35 cores=1,3,5,7
/proc/32046/stat : 32046 (MistralXCSP) R 32043 32046 31076 0 -1 4202496 583109 0 0 0 184196 39 0 0 20 0 1 0 43895905 559747072 130380 33554432000 4194304 7498468 140727513672384 140727513667400 5791406 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 36274176 140727513678958 140727513679107 140727513679107 140727513681865 0
/proc/32046/statm: 136657 130380 760 807 0 129648 0
Current children cumulated CPU time: 1842.35 s
Current children cumulated vsize: 546628 KiB
Current children cumulated memory: 521520 KiB

[startup+1902.3 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 32125
/proc/meminfo: memFree=15297764/32770624 swapFree=67108860/67108860
[pid=32046] ppid=32043 vsize=546760 memory=521572 CPUtime=1902.35 cores=1,3,5,7
/proc/32046/stat : 32046 (MistralXCSP) R 32043 32046 31076 0 -1 4202496 584389 0 0 0 190196 39 0 0 20 0 1 0 43895905 559882240 130393 33554432000 4194304 7498468 140727513672384 140727513666920 5791406 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 36274176 140727513678958 140727513679107 140727513679107 140727513681865 0
/proc/32046/statm: 136690 130393 760 807 0 129681 0
Current children cumulated CPU time: 1902.35 s
Current children cumulated vsize: 546760 KiB
Current children cumulated memory: 521572 KiB

[startup+1962.3 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 32126
/proc/meminfo: memFree=15298012/32770624 swapFree=67108860/67108860
[pid=32046] ppid=32043 vsize=546760 memory=521676 CPUtime=1962.35 cores=1,3,5,7
/proc/32046/stat : 32046 (MistralXCSP) R 32043 32046 31076 0 -1 4202496 585341 0 0 0 196196 39 0 0 20 0 1 0 43895905 559882240 130419 33554432000 4194304 7498468 140727513672384 140727513666920 4246879 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 36274176 140727513678958 140727513679107 140727513679107 140727513681865 0
/proc/32046/statm: 136690 130419 760 807 0 129681 0
Current children cumulated CPU time: 1962.35 s
Current children cumulated vsize: 546760 KiB
Current children cumulated memory: 521676 KiB

[startup+2022.3 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 32188
/proc/meminfo: memFree=15185260/32770624 swapFree=67108860/67108860
[pid=32046] ppid=32043 vsize=546760 memory=521676 CPUtime=2022.35 cores=1,3,5,7
/proc/32046/stat : 32046 (MistralXCSP) R 32043 32046 31076 0 -1 4202496 586306 0 0 0 202196 39 0 0 20 0 1 0 43895905 559882240 130419 33554432000 4194304 7498468 140727513672384 140727513666920 5772318 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 36274176 140727513678958 140727513679107 140727513679107 140727513681865 0
/proc/32046/statm: 136690 130419 760 807 0 129681 0
Current children cumulated CPU time: 2022.35 s
Current children cumulated vsize: 546760 KiB
Current children cumulated memory: 521676 KiB

[startup+2082.3 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 32189
/proc/meminfo: memFree=13759944/32770624 swapFree=67108860/67108860
[pid=32046] ppid=32043 vsize=546892 memory=521728 CPUtime=2082.36 cores=1,3,5,7
/proc/32046/stat : 32046 (MistralXCSP) R 32043 32046 31076 0 -1 4202496 587277 0 0 0 208197 39 0 0 20 0 1 0 43895905 560017408 130432 33554432000 4194304 7498468 140727513672384 140727513666920 4258062 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 36274176 140727513678958 140727513679107 140727513679107 140727513681865 0
/proc/32046/statm: 136723 130432 760 807 0 129714 0
Current children cumulated CPU time: 2082.36 s
Current children cumulated vsize: 546892 KiB
Current children cumulated memory: 521728 KiB

[startup+2142.3 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 32190
/proc/meminfo: memFree=13754612/32770624 swapFree=67108860/67108860
[pid=32046] ppid=32043 vsize=546892 memory=521756 CPUtime=2142.36 cores=1,3,5,7
/proc/32046/stat : 32046 (MistralXCSP) R 32043 32046 31076 0 -1 4202496 588194 0 0 0 214197 39 0 0 20 0 1 0 43895905 560017408 130439 33554432000 4194304 7498468 140727513672384 140727513666920 5791406 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 36274176 140727513678958 140727513679107 140727513679107 140727513681865 0
/proc/32046/statm: 136723 130439 760 807 0 129714 0
Current children cumulated CPU time: 2142.36 s
Current children cumulated vsize: 546892 KiB
Current children cumulated memory: 521756 KiB

[startup+2202.3 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 32191
/proc/meminfo: memFree=13753124/32770624 swapFree=67108860/67108860
[pid=32046] ppid=32043 vsize=546892 memory=521808 CPUtime=2202.37 cores=1,3,5,7
/proc/32046/stat : 32046 (MistralXCSP) R 32043 32046 31076 0 -1 4202496 589183 0 0 0 220197 40 0 0 20 0 1 0 43895905 560017408 130452 33554432000 4194304 7498468 140727513672384 140727513666920 5791403 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 36274176 140727513678958 140727513679107 140727513679107 140727513681865 0
/proc/32046/statm: 136723 130452 760 807 0 129714 0
Current children cumulated CPU time: 2202.37 s
Current children cumulated vsize: 546892 KiB
Current children cumulated memory: 521808 KiB

[startup+2262.3 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 32192
/proc/meminfo: memFree=13752380/32770624 swapFree=67108860/67108860
[pid=32046] ppid=32043 vsize=546892 memory=521808 CPUtime=2262.38 cores=1,3,5,7
/proc/32046/stat : 32046 (MistralXCSP) R 32043 32046 31076 0 -1 4202496 590180 0 0 0 226198 40 0 0 20 0 1 0 43895905 560017408 130452 33554432000 4194304 7498468 140727513672384 140727513666920 4580282 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 36274176 140727513678958 140727513679107 140727513679107 140727513681865 0
/proc/32046/statm: 136723 130452 760 807 0 129714 0
Current children cumulated CPU time: 2262.38 s
Current children cumulated vsize: 546892 KiB
Current children cumulated memory: 521808 KiB

[startup+2322.3 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 32201
/proc/meminfo: memFree=13751408/32770624 swapFree=67108860/67108860
[pid=32046] ppid=32043 vsize=547024 memory=521816 CPUtime=2322.38 cores=1,3,5,7
/proc/32046/stat : 32046 (MistralXCSP) R 32043 32046 31076 0 -1 4202496 591147 0 0 0 232198 40 0 0 20 0 1 0 43895905 560152576 130454 33554432000 4194304 7498468 140727513672384 140727513666920 5791646 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 36274176 140727513678958 140727513679107 140727513679107 140727513681865 0
/proc/32046/statm: 136756 130454 760 807 0 129747 0
Current children cumulated CPU time: 2322.38 s
Current children cumulated vsize: 547024 KiB
Current children cumulated memory: 521816 KiB

[startup+2382.3 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 32202
/proc/meminfo: memFree=13749888/32770624 swapFree=67108860/67108860
[pid=32046] ppid=32043 vsize=547024 memory=521844 CPUtime=2382.38 cores=1,3,5,7
/proc/32046/stat : 32046 (MistralXCSP) R 32043 32046 31076 0 -1 4202496 592153 0 0 0 238198 40 0 0 20 0 1 0 43895905 560152576 130461 33554432000 4194304 7498468 140727513672384 140727513666920 4579956 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 36274176 140727513678958 140727513679107 140727513679107 140727513681865 0
/proc/32046/statm: 136756 130461 760 807 0 129747 0
Current children cumulated CPU time: 2382.38 s
Current children cumulated vsize: 547024 KiB
Current children cumulated memory: 521844 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2400 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 32202
/proc/meminfo: memFree=13750368/32770624 swapFree=67108860/67108860
[pid=32046] ppid=32043 vsize=547024 memory=521844 CPUtime=2400.07 cores=1,3,5,7
/proc/32046/stat : 32046 (MistralXCSP) R 32043 32046 31076 0 -1 4202496 592166 0 0 0 239967 40 0 0 20 0 1 0 43895905 560152576 130461 33554432000 4194304 7498468 140727513672384 140727513666920 5649070 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 36274176 140727513678958 140727513679107 140727513679107 140727513681865 0
/proc/32046/statm: 136756 130461 760 807 0 129747 0
Current children cumulated CPU time: 2400.07 s
Current children cumulated vsize: 547024 KiB
Current children cumulated memory: 521844 KiB

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

[startup+2400 s]
# the end of solver process 32046 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2399.68 s, system=0.408027 s

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

[startup+2400 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 32202
/proc/meminfo: memFree=13750368/32770624 swapFree=67108860/67108860
[pid=32046] ppid=32043 vsize=547024 memory=521844 CPUtime=2400.07 cores=1,3,5,7
/proc/32046/stat : 32046 (MistralXCSP) R 32043 32046 31076 0 -1 4202496 592166 0 0 0 239967 40 0 0 20 0 1 0 43895905 560152576 130461 33554432000 4194304 7498468 140727513672384 140727513666920 5649070 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 36274176 140727513678958 140727513679107 140727513679107 140727513681865 0
/proc/32046/statm: 136756 130461 760 807 0 129747 0
Current children cumulated CPU time: 2400.07 s
Current children cumulated vsize: 547024 KiB
Current children cumulated memory: 521844 KiB

Child status: 0
Real time (s): 2400
CPU time (s): 2400.09
CPU user time (s): 2399.68
CPU system time (s): 0.408027
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 547024
Max. memory (cumulated for all children) (KiB): 521844

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.68
system time used= 0.408027
maximum resident set size= 521884
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 592201
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= 169
involuntary context switches= 833


# summary of solver processes directly reported to runsolver:
#   pid: 32046
#   total CPU time (s): 2400.09
#   total CPU user time (s): 2399.68
#   total CPU system time (s): 0.408027

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.73482 second user time and 17.5743 second system time

The end

Launcher Data 

Begin job on node105 at 2018-07-22 14:42:07
IDJOB=4291977
IDBENCH=141259
IDSOLVER=2741
FILE ID=node105/4291977-1532263327
RUNJOBID= node105-1532260533-31108
PBS_JOBID= 21018967
Free space on /tmp= 44872 MiB

SOLVER NAME= Mistral-2.0 2018-06-15
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-4291977-1532263327/watcher-4291977-1532263327 -o /tmp/evaluation-result-4291977-1532263327/solver-4291977-1532263327 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node105-1532260533-31108 --watchdog 2560  MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 859852498 HOME/instance-4291977-1532263327.xml

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

MD5SUM BENCH= deef1e755c9079fc369bbf159731f616
RANDOM SEED=859852498

node105.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.32
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.32
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.32
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.32
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:        15819180 kB
MemAvailable:   31684236 kB
Buffers:          157180 kB
Cached:         15680192 kB
SwapCached:            0 kB
Active:          1548200 kB
Inactive:       14598404 kB
Active(anon):     263644 kB
Inactive(anon):    65084 kB
Active(file):    1284556 kB
Inactive(file): 14533320 kB
Unevictable:        7308 kB
Mlocked:            7308 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             54160 kB
Writeback:             0 kB
AnonPages:        201332 kB
Mapped:            37112 kB
Shmem:             17036 kB
Slab:             502712 kB
SReclaimable:     475640 kB
SUnreclaim:        27072 kB
KernelStack:        3568 kB
PageTables:         5408 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     600944 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    139264 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      130432 kB
DirectMap2M:    33415168 kB

Free space on /tmp at the end= 44716 MiB
End job on node105 at 2018-07-22 15:22:08