Trace number 4304112

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)100248846 2519.97 2520.01

General information on the benchmark

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

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c Mistral 01082018
19.69/19.70	o 100731334
19.69/19.70	o 100731293
19.69/19.70	o 100731286
19.69/19.71	o 100731261
19.69/19.71	o 100731245
19.69/19.71	o 100731242
19.69/19.71	o 100731241
19.69/19.74	o 100731239
19.69/19.76	o 100731214
19.69/19.76	o 100731212
19.69/19.77	o 100731210
19.69/19.77	o 100731209
19.89/19.95	o 100721749
20.10/20.19	o 100721748
20.29/20.31	o 100721738
27.48/27.51	o 100721735
27.68/27.74	o 100721732
28.09/28.15	o 100721730
29.10/29.15	o 100721722
29.88/29.92	o 100721715
29.99/30.04	o 100721712
30.18/30.25	o 100721711
30.18/30.26	o 100721705
37.00/37.04	o 100721704
37.00/37.04	o 100721703
37.00/37.05	o 100721701
37.00/37.05	o 100712251
37.00/37.06	o 100712247
37.00/37.07	o 100702795
37.09/37.13	o 100693343
37.09/37.13	o 100683892
37.58/37.63	o 100683891
37.88/37.94	o 100683889
38.99/39.02	o 100683888
87.17/87.25	o 100683887
88.08/88.11	o 100683881
93.57/93.60	o 100683877
105.27/105.39	o 100674427
105.27/105.39	o 100674425
105.27/105.39	o 100674417
105.27/105.40	o 100674415
105.87/105.95	o 100664956
108.17/108.22	o 100664955
108.17/108.26	o 100664947
110.67/110.73	o 100664946
131.86/131.94	o 100664944
131.86/131.94	o 100655494
131.86/131.94	o 100646042
131.86/131.94	o 100636600
131.97/132.04	o 100636585
131.97/132.04	o 100636583
132.07/132.13	o 100636575
132.36/132.48	o 100636574
132.36/132.48	o 100636566
132.76/132.85	o 100636565
132.97/133.01	o 100627106
133.26/133.36	o 100627100
134.07/134.15	o 100617658
134.36/134.45	o 100608201
134.66/134.71	o 100598758
134.86/134.94	o 100598756
136.86/136.94	o 100598748
175.34/175.43	o 100598747
180.24/180.30	o 100589288
180.24/180.31	o 100579838
180.24/180.31	o 100579830
180.24/180.32	o 100579828
180.24/180.34	o 100560923
180.24/180.39	o 100551472
180.34/180.40	o 100551471
180.34/180.46	o 100551470
180.95/181.02	o 100542015
181.64/181.73	o 100532560
181.74/181.88	o 100532549
306.61/306.76	o 100532548
306.61/306.76	o 100513643
307.02/307.12	o 100494716
307.41/307.51	o 100485256
307.81/307.93	o 100475805
307.81/307.98	o 100466354
307.92/308.02	o 100466351
307.92/308.08	o 100466350
307.92/308.09	o 100466347
313.11/313.20	o 100456917
313.11/313.21	o 100456916
313.11/313.26	o 100456914
331.41/331.57	o 100447461
331.41/331.59	o 100447457
345.41/345.51	o 100447456
578.32/578.47	o 100438005
578.32/578.48	o 100438004
578.72/578.81	o 100438002
579.03/579.15	o 100428550
579.42/579.59	o 100419106
580.82/580.96	o 100409654
581.32/581.48	o 100400195
581.32/581.48	o 100400194
582.22/582.39	o 100390743
582.72/582.87	o 100381294
582.72/582.88	o 100371843
582.72/582.89	o 100371840
585.42/585.50	o 100362388
589.03/589.15	o 100362387
625.82/625.90	o 100362386
663.32/663.46	o 100362383
665.93/666.06	o 100362382
665.93/666.07	o 100362381
665.93/666.07	o 100362379
665.93/666.08	o 100362378
665.93/666.08	o 100362377
672.32/672.44	o 100362376
672.42/672.50	o 100362375
672.42/672.55	o 100362374
672.42/672.59	o 100362373
672.52/672.60	o 100362372
673.12/673.29	o 100362369
885.42/885.58	o 100362359
895.12/895.23	o 100362348
944.52/944.64	o 100352891
1535.43/1535.59	o 100343432
1535.83/1535.95	o 100333978
1542.83/1542.97	o 100333977
1542.83/1542.98	o 100333974
1542.83/1542.99	o 100333971
1542.83/1542.99	o 100333970
1571.83/1571.92	o 100333968
1571.94/1572.03	o 100333967
1654.23/1654.35	o 100324519
1719.13/1719.25	o 100324517
1856.43/1856.59	o 100324512
1856.63/1856.76	o 100305605
1856.83/1856.92	o 100296152
1857.43/1857.50	o 100286680
1858.04/1858.12	o 100277230
1858.13/1858.28	o 100277222
1858.23/1858.32	o 100277218
1871.33/1871.44	o 100277217
1886.63/1886.72	o 100277211
1942.73/1942.80	o 100267772
1944.33/1944.46	o 100267764
2024.64/2024.78	o 100267753
2024.74/2024.89	o 100267746
2139.54/2139.69	o 100248846
2519.95/2520.01	s SATISFIABLE
2519.95/2520.01	v <instantiation type="solution">
2519.95/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] f[150] f[151] f[152] f[153] f[154] f[155] f[156] f[157] f[158] f[159] f[160] f[161] f[162] f[163] f[164] f[165] f[166] f[167] f[168] f[169] f[170] f[171] f[172] f[173] f[174] f[175] f[176] f[177] f[178] f[179] f[180] f[181] f[182] f[183] f[184] f[185] f[186] f[187] f[188] f[189] f[190] f[191] f[192] f[193] f[194] f[195] f[196] f[197] f[198] f[199] p[0] p[1] p[2] p[3] p[4] p[5] p[6] p[7] p[8] p[9] p[10] p[11] p[12] p[13] p[14] p[15] p[16] p[17] p[18] p[19] p[20] p[21] p[22] p[23] p[24] p[25] p[26] p[27] p[28] p[29] p[30] p[31] p[32] p[33] p[34] p[35] p[36] p[37] p[38] p[39] p[40] p[41] p[42] p[43] p[44] p[45] p[46] p[47] p[48] p[49] p[50] p[51] p[52] p[53] p[54] p[55] p[56] p[57] p[58] p[59] p[60] p[61] p[62] p[63] p[64] p[65] p[66] p[67] p[68] p[69] p[70] p[71] p[72] p[73] p[74] p[75] p[76] p[77] p[78] p[79] p[80] p[81] p[82] p[83] p[84] p[85] p[86] p[87] p[88] p[89] p[90] p[91] p[92] p[93] p[94] p[95] p[96] p[97] p[98] p[99] p[100] p[101] p[102] p[103] p[104] p[105] p[106] p[107] p[108] p[109] p[110] p[111] p[112] p[113] p[114] p[115] p[116] p[117] p[118] p[119] p[120] p[121] p[122] p[123] p[124] p[125] p[126] p[127] p[128] p[129] p[130] p[131] p[132] p[133] p[134] p[135] p[136] p[137] p[138] p[139] p[140] p[141] p[142] p[143] p[144] p[145] p[146] p[147] p[148] p[149] p[150] p[151] p[152] p[153] p[154] p[155] p[156] p[157] p[158] p[159] p[160] p[161] p[162] p[163] p[164] p[165] p[166] p[167] p[168] p[169] p[170] p[171] p[172] p[173] p[174] p[175] p[176] p[177] p[178] p[179] p[180] p[181] p[182] p[183] p[184] p[185] p[186] p[187] p[188] p[189] p[190] p[191] p[192] p[193] p[194] p[195] p[196] p[197] p[198] p[199] k v1[0] v1[1] v1[2] v1[3] v1[4] v1[5] v1[6] v1[7] v1[8] v1[9] v1[10] v1[11] v1[12] v1[13] v1[14] v1[15] v1[16] v1[17] v1[18] v1[19] v1[20] v1[21] v1[22] v1[23] v1[24] v1[25] v1[26] v1[27] v1[28] v1[29] v1[30] v1[31] v1[32] v1[33] v1[34] v1[35] v1[36] v1[37] v1[38] v1[39] v1[40] v1[41] v1[42] v1[43] v1[44] v1[45] v1[46] v1[47] v1[48] v1[49] v1[50] v1[51] v1[52] v1[53] v1[54] v1[55] v1[56] v1[57] v1[58] v1[59] v1[60] v1[61] v1[62] v1[63] v1[64] v1[65] v1[66] v1[67] v1[68] v1[69] v1[70] v1[71] v1[72] v1[73] v1[74] v1[75] v1[76] v1[77] v1[78] v1[79] v1[80] v1[81] v1[82] v1[83] v1[84] v1[85] v1[86] v1[87] v1[88] v1[89] v1[90] v1[91] v1[92] v1[93] v1[94] v1[95] v1[96] v1[97] v1[98] v1[99] v1[100] v1[101] v1[102] v1[103] v1[104] v1[105] v1[106] v1[107] v1[108] v1[109] v1[110] v1[111] v1[112] v1[113] v1[114] v1[115] v1[116] v1[117] v1[118] v1[119] v1[120] v1[121] v1[122] v1[123] v1[124] v1[125] v1[126] v1[127] v1[128] v1[129] v1[130] v1[131] v1[132] v1[133] v1[134] v1[135] v1[136] v1[137] v1[138] v1[139] v1[140] v1[141] v1[142] v1[143] v1[144] v1[145] v1[146] v1[147] v1[148] v1[149] v1[150] v1[151] v1[152] v1[153] v1[154] v1[155] v1[156] v1[157] v1[158] v1[159] v1[160] v1[161] v1[162] v1[163] v1[164] v1[165] v1[166] v1[167] v1[168] v1[169] v1[170] v1[171] v1[172] v1[173] v1[174] v1[175] v1[176] v1[177] v1[178] v1[179] v1[180] v1[181] v1[182] v1[183] v1[184] v1[185] v1[186] v1[187] v1[188] v1[189] v1[190] v1[191] v1[192] v1[193] v1[194] v1[195] v1[196] v1[197] v1[198] v1[199] v1[200] v1[201] v1[202] v1[203] v1[204] v1[205] v1[206] v1[207] v1[208] v1[209] v1[210] v1[211] v1[212] v1[213] v1[214] v1[215] v1[216] v1[217] v1[218] v1[219] v1[220] v1[221] v1[222] v1[223] v1[224] v1[225] v1[226] v1[227] v1[228] v1[229] v1[230] v1[231] v1[232] v1[233] v1[234] v1[235] v1[236] v1[237] v1[238] v1[239] v1[240] v1[241] v1[242] v1[243] v1[244] v1[245] v1[246] v1[247] v1[248] v1[249] v1[250] v1[251] v1[252] v1[253] v1[254] v1[255] v1[256] v1[257] v1[258] v1[259] v1[260] v1[261] v1[262] v1[263] v1[264] v1[265] v1[266] v1[267] v1[268] v1[269] v1[270] v1[271] v1[272] v1[273] v1[274] v1[275] v1[276] v1[277] v1[278] v1[279] v1[280] v1[281] v1[282] v1[283] v1[284] v1[285] v1[286] v1[287] v1[288] v1[289] v1[290] v1[291] v1[292] v1[293] v1[294] v1[295] v1[296] v1[297] v1[298] v1[299] v1[300] v1[301] v1[302] v1[303] v1[304] v1[305] v1[306] v1[307] v1[308] v1[309] v1[310] v1[311] v1[312] v1[313] v1[314] v1[315] v1[316] v1[317] v1[318] v1[319] v1[320] v1[321] v1[322] v1[323] v1[324] v1[325] v1[326] v1[327] v1[328] v1[329] v1[330] v1[331] v1[332] v1[333] v1[334] v1[335] v1[336] v1[337] v1[338] v1[339] v1[340] v1[341] v1[342] v1[343] v1[344] v1[345] v1[346] v1[347] v1[348] v1[349] v1[350] v1[351] v1[352] v1[353] v1[354] v1[355] v1[356] v1[357] v1[358] v1[359] v1[360] v1[361] v1[362] v1[363] v1[364] v1[365] v1[366] v1[367] v1[368] v1[369] v1[370] v1[371] v1[372] v1[373] v1[374] v1[375] v1[376] v1[377] v1[378] v1[379] v1[380] v1[381] v1[382] v1[383] v1[384] v1[385] v1[386] v1[387] v1[388] v1[389] v1[390] v1[391] v1[392] v1[393] v1[394] v1[395] v1[396] v1[397] v1[398] v1[399] v1[400] v1[401] v1[402] v1[403] v1[404] v1[405] v1[406] v1[407] v1[408] v1[409] v1[410] v1[411] v1[412] v1[413] v1[414] v1[415] v1[416] v1[417] v1[418] v1[419] v1[420] v1[421] v1[422] v1[423] v1[424] v1[425] v1[426] v1[427] v1[428] v1[429] v1[430] v1[431] v1[432] v1[433] v1[434] v1[435] v1[436] v1[437] v1[438] v1[439] v1[440] v1[441] v1[442] v1[443] v1[444] v1[445] v1[446] v1[447] v1[448] v1[449] v1[450] v1[451] v1[452] v1[453] v1[454] v1[455] v1[456] v1[457] v1[458] v1[459] v1[460] v1[461] v1[462] v1[463] v1[464] v1[465] v1[466] v1[467] v1[468] v1[469] v1[470] v1[471] v1[472] v1[473] v1[474] v1[475] v1[476] v1[477] v1[478] v1[479] v1[480] v1[481] v1[482] v1[483] v1[484] v1[485] v1[486] v1[487] v1[488] v1[489] v1[490] v1[491] v1[492] v1[493] v1[494] v1[495] v1[496] v1[497] v1[498] v1[499] v1[500] v1[501] v1[502] v1[503] v1[504] v1[505] v1[506] v1[507] v1[508] v1[509] v1[510] v1[511] v1[512] v1[513] v1[514] v1[515] v1[516] v1[517] v1[518] v1[519] v1[520] v1[521] v1[522] v1[523] v1[524] v1[525] v1[526] v1[527] v1[528] v1[529] v1[530] v1[531] v1[532] v1[533] v1[534] v1[535] v1[536] v1[537] v1[538] v1[539] v1[540] v1[541] v1[542] v1[543] v1[544] v1[545] v1[546] v1[547] v1[548] v1[549] v1[550] v1[551] v1[552] v1[553] v1[554] v1[555] v1[556] v1[557] v1[558] v1[559] v1[560] v1[561] v1[562] v1[563] v1[564] v1[565] v1[566] v1[567] v1[568] v1[569] v1[570] v1[571] v1[572] v1[573] v1[574] v1[575] v1[576] v1[577] v1[578] v1[579] v1[580] v1[581] v1[582] v1[583] v1[584] v1[585] v1[586] v1[587] v1[588] v1[589] v1[590] v1[591] v1[592] v1[593] v1[594] v1[595] v1[596] v1[597] v1[598] v1[599] v1[600] v1[601] v1[602] v1[603] v1[604] v1[605] v1[606] v1[607] v1[608] v1[609] v1[610] v1[611] v1[612] v1[613] v1[614] v1[615] v1[616] v1[617] v1[618] v1[619] v1[620] v1[621] v1[622] v1[623] v1[624] v1[625] v1[626] v1[627] v1[628] v1[629] v1[630] v1[631] v1[632] v1[633] v1[634] v1[635] v1[636] v1[637] v1[638] v1[639] v1[640] v1[641] v1[642] v1[643] v1[644] v1[645] v1[646] v1[647] v1[648] v1[649] v1[650] v1[651] v1[652] v1[653] v1[654] v1[655] v1[656] v1[657] v1[658] v1[659] v1[660] v1[661] v1[662] v1[663] v1[664] v1[665] v1[666] v1[667] v1[668] v1[669] v1[670] v1[671] v1[672] v1[673] v1[674] v1[675] v1[676] v1[677] v1[678] v1[679] v1[680] v1[681] v1[682] v1[683] v1[684] v1[685] v1[686] v1[687] v1[688] v1[689] v1[690] v1[691] v1[692] v1[693] v1[694] v1[695] v1[696] v1[697] v1[698] v1[699] v1[700] v1[701] v1[702] v1[703] v1[704] v1[705] v1[706] v1[707] v1[708] v1[709] v1[710] v1[711] v1[712] v1[713] v1[714] v1[715] v1[716] v1[717] v1[718] v1[719] v1[720] v1[721] v1[722] v1[723] v1[724] v1[725] v1[726] v1[727] v1[728] v1[729] v1[730] v1[731] v1[732] v1[733] v1[734] v1[735] v1[736] v1[737] v1[738] v1[739] v1[740] v1[741] v1[742] v1[743] v1[744] v1[745] v1[746] v1[747] v1[748] v1[749] v1[750] v1[751] v1[752] v1[753] v1[754] v1[755] v1[756] v1[757] v1[758] v1[759] v1[760] v1[761] v1[762] v1[763] v1[764] v1[765] v1[766] v1[767] v1[768] v1[769] v1[770] v1[771] v1[772] v1[773] v1[774] v1[775] v1[776] v1[777] v1[778] v1[779] v1[780] v1[781] v1[782] v1[783] v1[784] v1[785] v1[786] v1[787] v1[788] v1[789] v1[790] v1[791] v1[792] v1[793] v1[794] v1[795] v1[796] v1[797] v1[798] v1[799] v1[800] v1[801] v1[802] v1[803] v1[804] v1[805] v1[806] v1[807] v1[808] v1[809] v1[810] v1[811] v1[812] v1[813] v1[814] v1[815] v1[816] v1[817] v1[818] v1[819] v1[820] v1[821] v1[822] v1[823] v1[824] v1[825] v1[826] v1[827] v1[828] v1[829] v1[830] v1[831] v1[832] v1[833] v1[834] v1[835] v1[836] v1[837] v1[838] v1[839] v1[840] v1[841] v1[842] v1[843] v1[844] v1[845] v1[846] v1[847] v1[848] v1[849] v1[850] v1[851] v1[852] v1[853] v1[854] v1[855] v1[856] v1[857] v1[858] v1[859] v1[860] v1[861] v1[862] v1[863] v1[864] v1[865] v1[866] v1[867] v1[868] v1[869] v1[870] v1[871] v1[872] v1[873] v1[874] v1[875] v1[876] v1[877] v1[878] v1[879] v1[880] v1[881] v1[882] v1[883] v1[884] v1[885] v1[886] v1[887] v1[888] v1[889] v1[890] v1[891] v1[892] v1[893] v1[894] v1[895] v1[896] v1[897] v1[898] v1[899] v1[900] v1[901] v1[902] v1[903] v1[904] v1[905] v1[906] v1[907] v1[908] v1[909] v1[910] v1[911] v1[912] v1[913] v1[914] v1[915] v1[916] v1[917] v1[918] v1[919] v1[920] v1[921] v1[922] v1[923] v1[924] v1[925] v1[926] v1[927] v1[928] v1[929] v1[930] v1[931] v1[932] v1[933] v1[934] v1[935] v1[936] v1[937] v1[938] v1[939] v1[940] v1[941] v1[942] v1[943] v1[944] v2[0] v2[1] v2[2] v2[3] v2[4] v2[5] v2[6] v2[7] v2[8] v2[9] v2[10] v2[11] v2[12] v2[13] v2[14] v2[15] v2[16] v2[17] v2[18] v2[19] v2[20] v2[21] v2[22] v2[23] v2[24] v2[25] v2[26] v2[27] v2[28] v2[29] v2[30] v2[31] v2[32] v2[33] v2[34] v2[35] v2[36] v2[37] v2[38] v2[39] v2[40] v2[41] v2[42] v2[43] v2[44] v2[45] v2[46] v2[47] v2[48] v2[49] v2[50] v2[51] v2[52] v2[53] v2[54] v2[55] v2[56] v2[57] v2[58] v2[59] v2[60] v2[61] v2[62] v2[63] v2[64] v2[65] v2[66] v2[67] v2[68] v2[69] v2[70] v2[71] v2[72] v2[73] v2[74] v2[75] v2[76] v2[77] v2[78] v2[79] v2[80] v2[81] v2[82] v2[83] v2[84] v2[85] v2[86] v2[87] v2[88] v2[89] v2[90] v2[91] v2[92] v2[93] v2[94] v2[95] v2[96] v2[97] v2[98] v2[99] v2[100] v2[101] v2[102] v2[103] v2[104] v2[105] v2[106] v2[107] v2[108] v2[109] v2[110] v2[111] v2[112] v2[113] v2[114] v2[115] v2[116] v2[117] v2[118] v2[119] v2[120] v2[121] v2[122] v2[123] v2[124] v2[125] v2[126] v2[127] v2[128] v2[129] v2[130] v2[131] v2[132] v2[133] v2[134] v2[135] v2[136] v2[137] v2[138] v2[139] v2[140] v2[141] v2[142] v2[143] v2[144] v2[145] v2[146] v2[147] v2[148] v2[149] v2[150] v2[151] v2[152] v2[153] v2[154] v2[155] v2[156] v2[157] v2[158] v2[159] v2[160] v2[161] v2[162] v2[163] v2[164] v2[165] v2[166] v2[167] v2[168] v2[169] v2[170] v2[171] v2[172] v2[173] v2[174] v2[175] v2[176] v2[177] v2[178] v2[179] v2[180] v2[181] v2[182] v2[183] v2[184] v2[185] v2[186] v2[187] v2[188] v2[189] v2[190] v2[191] v2[192] v2[193] v2[194] v2[195] v2[196] v2[197] v2[198] v2[199] v2[200] v2[201] v2[202] v2[203] v2[204] v2[205] v2[206] v2[207] v2[208] v2[209] v2[210] v2[211] v2[212] v2[213] v2[214] v2[215] v2[216] v2[217] v2[218] v2[219] v2[220] v2[221] v2[222] v2[223] v2[224] v2[225] v2[226] v2[227] v2[228] v2[229] v2[230] v2[231] v2[232] v2[233] v2[234] v2[235] v2[236] v2[237] v2[238] v2[239] v2[240] v2[241] v2[242] v2[243] v2[244] v2[245] v2[246] v2[247] v2[248] v2[249] v2[250] v2[251] v2[252] v2[253] v2[254] v2[255] v2[256] v2[257] v2[258] v2[259] v2[260] v2[261] v2[262] v2[263] v2[264] v2[265] v2[266] v2[267] v2[268] v2[269] v2[270] v2[271] v2[272] v2[273] v2[274] v2[275] v2[276] v2[277] v2[278] v2[279] v2[280] v2[281] v2[282] v2[283] v2[284] v2[285] v2[286] v2[287] v2[288] v2[289] v2[290] v2[291] v2[292] v2[293] v2[294] v2[295] v2[296] v2[297] v2[298] v2[299] v2[300] v2[301] v2[302] v2[303] v2[304] v2[305] v2[306] v2[307] v2[308] v2[309] v2[310] v2[311] v2[312] v2[313] v2[314] v2[315] v2[316] v2[317] v2[318] v2[319] v2[320] v2[321] v2[322] v2[323] v2[324] v2[325] v2[326] v2[327] v2[328] v2[329] v2[330] v2[331] v2[332] v2[333] v2[334] v2[335] v2[336] v2[337] v2[338] v2[339] v2[340] v2[341] v2[342] v2[343] v2[344] v2[345] v2[346] v2[347] v2[348] v2[349] v2[350] v2[351] v2[352] v2[353] v2[354] v2[355] v2[356] v2[357] v2[358] v2[359] v2[360] v2[361] v2[362] v2[363] v2[364] v2[365] v2[366] v2[367] v2[368] v2[369] v2[370] v2[371] v2[372] v2[373] v2[374] v2[375] v2[376] v2[377] v2[378] v2[379] v2[380] v2[381] v2[382] v2[383] v2[384] v2[385] v2[386] v2[387] v2[388] v2[389] v2[390] v2[391] v2[392] v2[393] v2[394] v2[395] v2[396] v2[397] v2[398] v2[399] v2[400] v2[401] v2[402] v2[403] v2[404] v2[405] v2[406] v2[407] v2[408] v2[409] v2[410] v2[411] v2[412] v2[413] v2[414] v2[415] v2[416] v2[417] v2[418] v2[419] v2[420] v2[421] v2[422] v2[423] v2[424] v2[425] v2[426] v2[427] v2[428] v2[429] v2[430] v2[431] v2[432] v2[433] v2[434] v2[435] v2[436] v2[437] v2[438] v2[439] v2[440] v2[441] v2[442] v2[443] v2[444] v2[445] v2[446] v2[447] v2[448] v2[449] v2[450] v2[451] v2[452] v2[453] v2[454] v2[455] v2[456] v2[457] v2[458] v2[459] v2[460] v2[461] v2[462] v2[463] v2[464] v2[465] v2[466] v2[467] v2[468] v2[469] v2[470] v2[471] v2[472] v2[473] v2[474] v2[475] v2[476] v2[477] v2[478] v2[479] v2[480] v2[481] v2[482] v2[483] v2[484] v2[485] v2[486] v2[487] v2[488] v2[489] v2[490] v2[491] v2[492] v2[493] v2[494] v2[495] v2[496] v2[497] v2[498] v2[499] v2[500] v2[501] v2[502] v2[503] v2[504] v2[505] v2[506] v2[507] v2[508] v2[509] v2[510] v2[511] v2[512] v2[513] v2[514] v2[515] v2[516] v2[517] v2[518] v2[519] v2[520] v2[521] v2[522] v2[523] v2[524] v2[525] v2[526] v2[527] v2[528] v2[529] v2[530] v2[531] v2[532] v2[533] v2[534] v2[535] v2[536] v2[537] v2[538] v2[539] v2[540] v2[541] v2[542] v2[543] v2[544] v2[545] v2[546] v2[547] v2[548] v2[549] v2[550] v2[551] v2[552] v2[553] v2[554] v2[555] v2[556] v2[557] v2[558] v2[559] v2[560] v2[561] v2[562] v2[563] v2[564] v2[565] v2[566] v2[567] v2[568] v2[569] v2[570] v2[571] v2[572] v2[573] v2[574] v2[575] v2[576] v2[577] v2[578] v2[579] v2[580] v2[581] v2[582] v2[583] v2[584] v2[585] v2[586] v2[587] v2[588] v2[589] v2[590] v2[591] v2[592] v2[593] v2[594] v2[595] v2[596] v2[597] v2[598] v2[599] v2[600] v2[601] v2[602] v2[603] v2[604] v2[605] v2[606] v2[607] v2[608] v2[609] v2[610] v2[611] v2[612] v2[613] v2[614] v2[615] v2[616] v2[617] v2[618] v2[619] v2[620] v2[621] v2[622] v2[623] v2[624] v2[625] v2[626] v2[627] v2[628] v2[629] v2[630] v2[631] v2[632] v2[633] v2[634] v2[635] v2[636] v2[637] v2[638] v2[639] v2[640] v2[641] v2[642] v2[643] v2[644] v2[645] v2[646] v2[647] v2[648] v2[649] v2[650] v2[651] v2[652] v2[653] v2[654] v2[655] v2[656] v2[657] v2[658] v2[659] v2[660] v2[661] v2[662] v2[663] v2[664] v2[665] v2[666] v2[667] v2[668] v2[669] v2[670] v2[671] v2[672] v2[673] v2[674] v2[675] v2[676] v2[677] v2[678] v2[679] v2[680] v2[681] v2[682] v2[683] v2[684] v2[685] v2[686] v2[687] v2[688] v2[689] v2[690] v2[691] v2[692] v2[693] v2[694] v2[695] v2[696] v2[697] v2[698] v2[699] v2[700] v2[701] v2[702] v2[703] v2[704] v2[705] v2[706] v2[707] v2[708] v2[709] v2[710] v2[711] v2[712] v2[713] v2[714] v2[715] v2[716] v2[717] v2[718] v2[719] v2[720] v2[721] v2[722] v2[723] v2[724] v2[725] v2[726] v2[727] v2[728] v2[729] v2[730] v2[731] v2[732] v2[733] v2[734] v2[735] v2[736] v2[737] v2[738] v2[739] v2[740] v2[741] v2[742] v2[743] v2[744] v2[745] v2[746] v2[747] v2[748] v2[749] v2[750] v2[751] v2[752] v2[753] v2[754] v2[755] v2[756] v2[757] v2[758] v2[759] v2[760] v2[761] v2[762] v2[763] v2[764] v2[765] v2[766] v2[767] v2[768] v2[769] v2[770] v2[771] v2[772] v2[773] v2[774] v2[775] v2[776] v2[777] v2[778] v2[779] v2[780] v2[781] v2[782] v2[783] v2[784] v2[785] v2[786] v2[787] v2[788] v2[789] v2[790] v2[791] v2[792] v2[793] v2[794] v2[795] v2[796] v2[797] v2[798] v2[799] v2[800] v2[801] v2[802] v2[803] v2[804] v2[805] v2[806] v2[807] v2[808] v2[809] v2[810] v2[811] v2[812] v2[813] v2[814] v2[815] v2[816] v2[817] v2[818] v2[819] v2[820] v2[821] v2[822] v2[823] v2[824] v2[825] v2[826] v2[827] v2[828] v2[829] v2[830] v2[831] v2[832] v2[833] v2[834] v2[835] v2[836] v2[837] v2[838] v2[839] v2[840] v2[841] v2[842] v2[843] v2[844] v2[845] v2[846] v2[847] v2[848] v2[849] v2[850] v2[851] v2[852] v2[853] v2[854] v2[855] v2[856] v2[857] v2[858] v2[859] v2[860] v2[861] v2[862] v2[863] v2[864] v2[865] v2[866] v2[867] v2[868] v2[869] v2[870] v2[871] v2[872] v2[873] v2[874] v2[875] v2[876] v2[877] v2[878] v2[879] v2[880] v2[881] v2[882] v2[883] v2[884] v2[885] v2[886] v2[887] v2[888] v2[889] v2[890] v2[891] v2[892] v2[893] v2[894] v2[895] v2[896] v2[897] v2[898] v2[899] v2[900] v2[901] v2[902] v2[903] v2[904] v2[905] v2[906] v2[907] v2[908] v2[909] v2[910] v2[911] v2[912] v2[913] v2[914] v2[915] v2[916] v2[917] v2[918] v2[919] v2[920] v2[921] v2[922] v2[923] v2[924] v2[925] v2[926] v2[927] v2[928] v2[929] v2[930] v2[931] v2[932] v2[933] v2[934] v2[935] v2[936] v2[937] v2[938] v2[939] v2[940] v2[941] v2[942] v2[943] v2[944] d[0] d[1] d[2] d[3] d[4] d[5] d[6] d[7] d[8] d[9] d[10] d[11] d[12] d[13] d[14] d[15] d[16] d[17] d[18] d[19] d[20] d[21] d[22] d[23] d[24] d[25] d[26] d[27] d[28] d[29] d[30] d[31] d[32] d[33] d[34] d[35] d[36] d[37] d[38] d[39] d[40] d[41] d[42] d[43] d[44] d[45] d[46] d[47] d[48] d[49] d[50] d[51] d[52] d[53] d[54] d[55] d[56] d[57] d[58] d[59] d[60] d[61] d[62] d[63] d[64] d[65] d[66] d[67] d[68] d[69] d[70] d[71] d[72] d[73] d[74] d[75] d[76] d[77] d[78] d[79] d[80] d[81] d[82] d[83] d[84] d[85] d[86] d[87] d[88] d[89] d[90] d[91] d[92] d[93] d[94] d[95] d[96] d[97] d[98] d[99] d[100] d[101] d[102] d[103] d[104] d[105] d[106] d[107] d[108] d[109] d[110] d[111] d[112] d[113] d[114] d[115] d[116] d[117] d[118] d[119] d[120] d[121] d[122] d[123] d[124] d[125] d[126] d[127] d[128] d[129] d[130] d[131] d[132] d[133] d[134] d[135] d[136] d[137] d[138] d[139] d[140] d[141] d[142] d[143] d[144] d[145] d[146] d[147] d[148] d[149] d[150] d[151] d[152] d[153] d[154] d[155] d[156] d[157] d[158] d[159] d[160] d[161] d[162] d[163] d[164] d[165] d[166] d[167] d[168] d[169] d[170] d[171] d[172] d[173] d[174] d[175] d[176] d[177] d[178] d[179] d[180] d[181] d[182] d[183] d[184] d[185] d[186] d[187] d[188] d[189] d[190] d[191] d[192] d[193] d[194] d[195] d[196] d[197] d[198] d[199] d[200] d[201] d[202] d[203] d[204] d[205] d[206] d[207] d[208] d[209] d[210] d[211] d[212] d[213] d[214] d[215] d[216] d[217] d[218] d[219] d[220] d[221] d[222] d[223] d[224] d[225] d[226] d[227] d[228] d[229] d[230] d[231] d[232] d[233] d[234] d[235] d[236] d[237] d[238] d[239] d[240] d[241] d[242] d[243] d[244] d[245] d[246] d[247] d[248] d[249] d[250] d[251] d[252] d[253] d[254] d[255] d[256] d[257] d[258] d[259] d[260] d[261] d[262] d[263] d[264] d[265] d[266] d[267] d[268] d[269] d[270] d[271] d[272] d[273] d[274] d[275] d[276] d[277] d[278] d[279] d[280] d[281] d[282] d[283] d[284] d[285] d[286] d[287] d[288] d[289] d[290] d[291] d[292] d[293] d[294] d[295] d[296] d[297] d[298] d[299] d[300] d[301] d[302] d[303] d[304] d[305] d[306] d[307] d[308] d[309] d[310] d[311] d[312] d[313] d[314] d[315] d[316] d[317] d[318] d[319] d[320] d[321] d[322] d[323] d[324] d[325] d[326] d[327] d[328] d[329] d[330] d[331] d[332] d[333] d[334] d[335] d[336] d[337] d[338] d[339] d[340] d[341] d[342] d[343] d[344] d[345] d[346] d[347] d[348] d[349] d[350] d[351] d[352] d[353] d[354] d[355] d[356] d[357] d[358] d[359] d[360] d[361] d[362] d[363] d[364] d[365] d[366] d[367] d[368] d[369] d[370] d[371] d[372] d[373] d[374] d[375] d[376] d[377] d[378] d[379] d[380] d[381] d[382] d[383] d[384] d[385] d[386] d[387] d[388] d[389] d[390] d[391] d[392] d[393] d[394] d[395] d[396] d[397] d[398] d[399] d[400] d[401] d[402] d[403] d[404] d[405] d[406] d[407] d[408] d[409] d[410] d[411] d[412] d[413] d[414] d[415] d[416] d[417] d[418] d[419] d[420] d[421] d[422] d[423] d[424] d[425] d[426] d[427] d[428] d[429] d[430] d[431] d[432] d[433] d[434] d[435] d[436] d[437] d[438] d[439] d[440] d[441] d[442] d[443] d[444] d[445] d[446] d[447] d[448] d[449] d[450] d[451] d[452] d[453] d[454] d[455] d[456] d[457] d[458] d[459] d[460] d[461] d[462] d[463] d[464] d[465] d[466] d[467] d[468] d[469] d[470] d[471] d[472] d[473] d[474] d[475] d[476] d[477] d[478] d[479] d[480] d[481] d[482] d[483] d[484] d[485] d[486] d[487] d[488] d[489] d[490] d[491] d[492] d[493] d[494] d[495] d[496] d[497] d[498] d[499] d[500] d[501] d[502] d[503] d[504] d[505] d[506] d[507] d[508] d[509] d[510] d[511] d[512] d[513] d[514] d[515] d[516] d[517] d[518] d[519] d[520] d[521] d[522] d[523] d[524] d[525] d[526] d[527] d[528] d[529] d[530] d[531] d[532] d[533] d[534] d[535] d[536] d[537] d[538] d[539] d[540] d[541] d[542] d[543] d[544] d[545] d[546] d[547] d[548] d[549] d[550] d[551] d[552] d[553] d[554] d[555] d[556] d[557] d[558] d[559] d[560] d[561] d[562] d[563] d[564] d[565] d[566] d[567] d[568] d[569] d[570] d[571] d[572] d[573] d[574] d[575] d[576] d[577] d[578] d[579] d[580] d[581] d[582] d[583] d[584] d[585] d[586] d[587] d[588] d[589] d[590] d[591] d[592] d[593] d[594] d[595] d[596] d[597] d[598] d[599] d[600] d[601] d[602] d[603] d[604] d[605] d[606] d[607] d[608] d[609] d[610] d[611] d[612] d[613] d[614] d[615] d[616] d[617] d[618] d[619] d[620] d[621] d[622] d[623] d[624] d[625] d[626] d[627] d[628] d[629] d[630] d[631] d[632] d[633] d[634] d[635] d[636] d[637] d[638] d[639] d[640] d[641] d[642] d[643] d[644] d[645] d[646] d[647] d[648] d[649] d[650] d[651] d[652] d[653] d[654] d[655] d[656] d[657] d[658] d[659] d[660] d[661] d[662] d[663] d[664] d[665] d[666] d[667] d[668] d[669] d[670] d[671] d[672] d[673] d[674] d[675] d[676] d[677] d[678] d[679] d[680] d[681] d[682] d[683] d[684] d[685] d[686] d[687] d[688] d[689] d[690] d[691] d[692] d[693] d[694] d[695] d[696] d[697] d[698] d[699] d[700] d[701] d[702] d[703] d[704] d[705] d[706] d[707] d[708] d[709] d[710] d[711] d[712] d[713] d[714] d[715] d[716] d[717] d[718] d[719] d[720] d[721] d[722] d[723] d[724] d[725] d[726] d[727] d[728] d[729] d[730] d[731] d[732] d[733] d[734] d[735] d[736] d[737] d[738] d[739] d[740] d[741] d[742] d[743] d[744] d[745] d[746] d[747] d[748] d[749] d[750] d[751] d[752] d[753] d[754] d[755] d[756] d[757] d[758] d[759] d[760] d[761] d[762] d[763] d[764] d[765] d[766] d[767] d[768] d[769] d[770] d[771] d[772] d[773] d[774] d[775] d[776] d[777] d[778] d[779] d[780] d[781] d[782] d[783] d[784] d[785] d[786] d[787] d[788] d[789] d[790] d[791] d[792] d[793] d[794] d[795] d[796] d[797] d[798] d[799] d[800] d[801] d[802] d[803] d[804] d[805] d[806] d[807] d[808] d[809] d[810] d[811] d[812] d[813] d[814] d[815] d[816] d[817] d[818] d[819] d[820] d[821] d[822] d[823] d[824] d[825] d[826] d[827] d[828] d[829] d[830] d[831] d[832] d[833] d[834] d[835] d[836] d[837] d[838] d[839] d[840] d[841] d[842] d[843] d[844] d[845] d[846] d[847] d[848] d[849] d[850] d[851] d[852] d[853] d[854] d[855] d[856] d[857] d[858] d[859] d[860] d[861] d[862] d[863] d[864] d[865] d[866] d[867] d[868] d[869] d[870] d[871] d[872] d[873] d[874] d[875] d[876] d[877] d[878] d[879] d[880] d[881] d[882] d[883] d[884] d[885] d[886] d[887] d[888] d[889] d[890] d[891] d[892] d[893] d[894] d[895] d[896] d[897] d[898] d[899] d[900] d[901] d[902] d[903] d[904] d[905] d[906] d[907] d[908] d[909] d[910] d[911] d[912] d[913] d[914] d[915] d[916] d[917] d[918] d[919] d[920] d[921] d[922] d[923] d[924] d[925] d[926] d[927] d[928] d[929] d[930] d[931] d[932] d[933] d[934] d[935] d[936] d[937] d[938] d[939] d[940] d[941] d[942] d[943] d[944] </list>
2519.95/2520.01	v   <values> 2592 2376 2280 2656 2284 2288 2452 2420 2432 2280 2320 2552 2456 2320 2460 2280 2576 2416 2280 2280 2592 2416 2320 2320 2496 2452 2280 2572 2656 2280 2600 2280 2632 2376 2456 2456 2552 2280 2348 2320 2328 2320 2460 2472 2336 2320 2472 2588 2424 2320 2416 2320 2376 2320 2280 2324 2520 2464 2320 2280 2320 2324 2336 2456 2412 2460 2420 2292 2320 2376 2536 2344 2592 2424 2320 2608 2284 2552 2592 2596 2320 2320 2280 2280 2536 2280 2656 2456 2280 2640 2320 2320 2460 2420 2336 2420 2420 2472 2496 2320 2288 2648 2380 2456 2480 2456 2280 2616 2540 2280 2420 2636 2336 2592 2320 2432 2336 2320 2332 2280 2296 2416 2280 2280 2320 2316 2440 2376 2320 2480 2552 2320 2412 2376 2280 2460 2552 2500 2552 2608 2356 2280 2416 2280 2460 2328 2336 2280 2280 2360 2628 2320 2320 2336 2320 2384 2592 2280 2420 2320 2456 2280 2512 2560 2280 2592 2464 2420 2616 2388 2324 2280 2280 2336 2324 2376 2440 2336 2336 2336 2648 2284 2320 2320 2320 2612 2416 2320 2616 2376 2460 2284 2320 2280 2280 2320 2376 2296 2280 2416 0 1 0 1 0 1 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 1 0 1 1 1 0 0 0 0 0 0 0 1 0 1 1 1 0 1 0 0 0 0 0 0 1 1 0 0 1 1 0 0 1 0 0 1 0 0 1 1 0 1 0 1 1 0 1 1 0 0 1 0 1 1 1 0 0 1 1 0 1 1 0 0 0 0 0 1 1 0 1 0 1 1 0 1 1 0 0 0 0 0 1 0 0 1 1 1 0 1 0 0 0 1 0 0 0 0 1 0 0 0 1 0 1 0 0 1 1 0 1 0 0 1 0 0 1 1 0 0 1 1 1 1 0 1 0 1 0 1 0 0 0 0 1 1 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 11 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 1 0 1 0 0 0 1 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 1 0 1 0 0 0 0 0 1 1 0 0 1 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 1 0 1 0 0 0 0 0 1 0 0 0 0 1 1 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 1 0 0 0 0 1 0 1 1 0 1 0 0 0 0 0 0 0 1 1 0 0 1 1 1 0 0 0 1 0 0 0 0 0 0 1 0 1 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 1 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 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 1 0 0 0 0 0 0 0 1 1 0 1 0 1 0 1 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 1 0 1 0 1 0 0 1 1 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 1 0 1 0 0 0 1 0 0 1 0 0 1 1 0 1 0 1 0 0 0 0 1 1 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 1 1 1 0 1 0 1 0 0 0 1 0 1 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 1 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 1 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 1 0 0 0 0 1 0 0 0 0 1 0 1 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 1 0 1 0 0 1 0 0 1 1 1 0 0 1 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 1 0 10 0 0 0 10 8 0 0 0 10 6 0 10 0 0 1 1 0 2 0 0 10 0 10 10 0 10 0 0 10 10 7 0 10 8 0 0 0 2 5 0 10 0 0 4 1 10 0 0 0 1 0 10 0 0 0 0 0 10 0 0 0 10 10 7 0 10 0 0 0 0 0 0 0 10 0 10 0 10 10 0 0 10 1 9 0 1 0 9 0 0 0 0 0 0 5 0 2 0 1 10 0 0 10 0 0 0 0 0 0 0 8 0 0 10 1 0 0 10 0 0 0 0 10 1 0 10 8 0 0 0 0 0 10 0 0 10 0 0 10 4 10 0 0 1 10 0 0 1 10 10 10 10 10 2 0 0 1 0 1 0 0 0 0 1 0 0 0 0 10 0 7 0 10 0 10 0 0 10 0 10 0 0 0 0 0 10 10 0 0 10 0 8 10 0 0 0 10 5 10 1 8 0 0 0 10 0 0 0 0 10 0 10 4 10 0 0 0 0 0 0 10 0 0 0 10 7 10 10 0 10 9 6 0 0 0 10 10 0 0 0 10 10 10 0 0 0 0 0 10 0 10 9 1 1 0 1 0 8 0 10 0 10 0 0 0 10 0 10 0 0 0 10 0 0 0 0 10 0 10 10 0 10 0 0 0 0 0 0 0 10 10 1 1 10 10 10 5 0 1 10 2 0 0 0 3 6 10 0 10 10 10 0 0 10 0 0 0 0 0 0 0 0 1 4 0 1 0 10 1 0 0 10 0 10 9 0 0 0 4 0 0 9 0 0 0 0 0 10 0 5 6 1 0 0 0 10 0 0 8 10 10 0 10 10 0 0 10 0 0 10 0 0 0 2 0 1 0 0 0 0 10 0 1 2 3 4 10 10 0 1 1 0 0 10 0 6 1 0 0 7 0 10 10 0 0 0 0 0 10 0 5 1 0 0 0 0 10 0 9 0 2 7 0 6 0 1 0 0 0 10 0 0 0 10 10 10 10 1 0 0 10 0 1 0 0 0 1 10 0 0 1 10 0 10 0 1 10 0 0 9 0 1 0 0 0 10 0 10 0 9 10 9 0 0 0 9 0 10 0 0 10 0 0 9 1 0 0 0 1 0 1 0 0 0 0 0 10 0 10 9 7 9 0 10 0 0 0 0 0 10 0 10 10 0 0 0 5 10 10 10 10 0 10 0 10 0 3 0 10 10 0 6 10 10 6 0 10 1 6 0 0 10 0 10 6 10 0 1 10 10 4 0 10 1 1 0 1 10 4 10 8 1 0 0 0 0 0 0 5 10 9 0 0 0 5 0 0 1 10 0 0 0 0 0 1 10 0 0 0 0 10 0 0 9 0 10 6 10 0 0 0 0 0 10 1 0 10 0 0 0 5 0 1 0 0 0 1 0 6 10 1 0 0 10 0 0 2 10 0 1 0 0 4 4 5 6 0 10 0 4 10 0 0 3 10 8 0 0 1 10 5 10 0 0 0 10 0 8 10 0 0 10 10 0 10 0 10 1 0 0 0 10 10 0 10 10 0 0 0 3 0 1 0 10 10 10 0 1 1 5 0 0 0 0 0 10 10 10 10 1 10 0 10 4 8 0 10 1 10 5 8 10 0 10 0 0 10 0 10 0 0 0 0 0 7 3 10 0 10 0 0 10 10 0 0 10 10 10 0 10 3 0 0 1 0 4 0 8 0 0 0 1 10 0 0 0 10 0 10 0 0 0 9 0 0 0 10 0 0 3 0 10 1 10 0 10 0 0 10 0 0 0 10 0 9 10 0 1 0 0 0 0 9 10 1 0 0 0 0 0 1 10 0 10 0 0 10 1 4 0 0 10 0 10 7 10 10 10 0 0 10 10 1 2 1 0 0 7 0 6 10 0 8 10 10 0 6 0 10 0 0 0 0 0 10 0 0 8 3 0 1 2 2 10 0 0 0 0 0 10 10 0 0 1 0 10 0 0 10 7 1 0 0 5 10 0 10 0 10 0 0 3 10 10 0 3 9 10 0 0 0 10 0 5 1 1 0 10 1 10 0 10 0 10 10 0 0 10 10 10 0 0 10 10 0 0 0 0 0 4 0 0 0 10 10 5 7 0 0 6 10 10 0 0 0 0 0 0 0 0 10 0 10 312 136 272 132 160 272 172 216 56 32 80 96 56 40 136 352 56 64 140 192 40 136 0 176 40 0 372 64 336 332 364 336 200 236 196 104 64 4 212 44 36 36 324 136 48 92 308 4 368 32 44 8 8 168 360 172 36 132 28 64 128 140 32 36 132 52 44 64 140 0 84 4 8 112 100 20 16 44 152 96 112 40 0 0 0 0 96 272 40 56 232 296 16 272 176 36 272 260 40 0 220 88 164 228 176 40 80 0 32 176 184 36 40 40 136 120 256 40 40 56 0 40 100 272 24 0 140 44 180 140 92 180 140 140 40 124 140 140 140 44 0 272 132 368 180 0 48 180 256 256 252 296 288 256 280 136 4 56 124 0 136 44 132 0 40 56 136 96 40 40 132 132 0 140 44 216 172 272 44 256 312 232 312 272 272 136 40 192 4 136 4 96 40 132 132 40 8 136 316 40 0 96 40 0 36 232 0 92 96 16 0 140 36 160 80 216 112 120 216 120 148 100 132 4 188 164 172 172 192 256 140 56 220 176 160 180 252 36 292 284 116 216 76 252 44 156 280 372 236 376 376 320 336 44 56 360 140 0 56 40 0 0 160 4 136 56 144 280 320 240 180 264 68 180 308 56 0 44 40 4 40 284 208 112 96 312 80 220 172 312 16 312 216 40 36 80 40 0 52 96 0 36 96 16 192 16 8 36 176 140 16 96 96 176 0 232 56 84 272 272 40 316 0 216 16 0 0 184 0 40 76 72 288 68 280 28 92 268 28 36 160 40 128 264 48 0 268 0 272 120 40 40 0 124 128 36 4 136 40 4 180 4 124 180 48 52 136 192 40 16 40 304 56 272 128 52 0 0 56 28 288 0 32 16 36 120 188 92 152 120 52 268 268 268 268 104 36 48 80 88 76 104 88 0 0 0 328 288 40 4 16 180 136 16 96 136 136 0 0 160 112 96 0 0 0 16 0 56 80 4 240 0 40 12 28 288 232 336 120 0 64 272 240 40 296 4 312 144 376 40 0 56 48 0 108 56 336 136 88 4 60 268 120 236 144 200 40 88 44 8 172 128 144 164 88 4 276 40 272 56 140 376 0 140 52 0 44 56 368 216 32 120 0 140 40 16 328 0 0 156 268 4 228 304 44 4 92 76 40 272 280 16 124 16 312 176 132 16 120 120 172 176 48 92 132 132 28 36 140 180 20 144 132 152 40 20 8 132 0 44 28 28 164 12 320 84 100 160 136 316 272 16 16 0 0 56 96 176 96 12 52 72 116 80 216 116 200 208 60 24 40 132 268 308 136 32 8 16 128 136 168 144 96 16 296 36 40 40 284 40 4 72 4 228 328 36 4 92 0 8 216 268 272 260 112 272 208 276 160 40 100 0 292 320 0 40 36 8 40 96 132 40 312 100 200 56 0 44 248 160 176 200 200 216 40 48 0 56 40 0 280 48 336 320 96 36 192 176 24 44 136 176 132 172 40 56 0 96 48 40 0 40 0 220 160 88 48 252 176 12 40 100 120 40 180 232 0 0 272 96 48 140 180 124 140 0 100 100 140 56 84 132 228 140 76 140 84 100 152 56 44 216 56 120 232 4 40 96 168 8 8 88 168 328 272 148 100 172 120 172 24 4 232 176 136 4 96 176 144 200 160 200 176 120 136 176 80 16 272 312 56 96 40 180 336 64 116 336 336 260 204 120 260 136 0 100 4 8 64 140 4 36 44 100 84 224 40 48 224 40 312 312 20 296 40 0 240 36 56 96 56 16 56 40 16 36 220 168 4 284 52 272 40 140 336 4 316 12 16 136 64 80 136 144 232 80 0 40 48 56 312 56 96 232 16 44 4 36 160 160 104 120 120 156 96 232 96 64 0 0 96 104 176 232 272 56 8 272 40 4 0 100 236 16 96 0 272 336 132 44 196 272 96 272 40 64 128 44 76 40 228 16 60 4 0 56 96 4 40 96 96 280 4 40 40 56 8 8 56 56 0 56 40 256 16 308 308 348 100 16 120 16 0 40 40 240 100 40 104 256 40 96 140 36 0 176 176 120 40 184 0 232 72 96 172 52 204 176 312 152 140 128 96 44 296 108 92 4 0 56 96 276 16 80 16 332 0 40 316 0 24 336 336 96 120 </values>
2519.95/2520.01	v </instantiation>

Verifier Data 

OK	100248846

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4304112-1534011222/watcher-4304112-1534011222 -o /tmp/evaluation-result-4304112-1534011222/solver-4304112-1534011222 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node103-1533993568-10242 --watchdog 2580 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 145379176 HOME/instance-4304112-1534011222.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=12024, runsolver pid=12021
Current StackSize limit: 8192 KiB


[startup+0.100154 s]*
/proc/loadavg: 2.00 2.03 2.05 3/188 12025
/proc/meminfo: memFree=2433916/32770624 swapFree=67058152/67108860
[pid=12024] ppid=12021 vsize=36568 memory=11096 CPUtime=0.1 cores=1,3,5,7
/proc/12024/stat : 12024 (MistralXCSP) R 12021 12024 10209 0 -1 4202496 2993 0 0 0 10 0 0 0 20 0 1 0 218685400 37445632 2774 33554432000 4194304 7499544 140733194902560 140733194893928 140370669960165 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 9598848 9604096 21913600 140733194908782 140733194908931 140733194908931 140733194911689 0
/proc/12024/statm: 9142 2774 704 807 0 2133 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 36568 KiB
Current children cumulated memory: 11096 KiB

[startup+0.20959 s]*
/proc/loadavg: 2.00 2.03 2.05 3/188 12025
/proc/meminfo: memFree=2430196/32770624 swapFree=67058152/67108860
[pid=12024] ppid=12021 vsize=40412 memory=15044 CPUtime=0.21 cores=1,3,5,7
/proc/12024/stat : 12024 (MistralXCSP) R 12021 12024 10209 0 -1 4202496 3982 0 0 0 21 0 0 0 20 0 1 0 218685400 41381888 3761 33554432000 4194304 7499544 140733194902560 140733194893928 4563992 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 9598848 9604096 21913600 140733194908782 140733194908931 140733194908931 140733194911689 0
/proc/12024/statm: 10103 3761 704 807 0 3094 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 40412 KiB
Current children cumulated memory: 15044 KiB

[startup+0.309311 s]*
/proc/loadavg: 2.00 2.03 2.05 3/188 12025
/proc/meminfo: memFree=2426200/32770624 swapFree=67058152/67108860
[pid=12024] ppid=12021 vsize=43844 memory=18476 CPUtime=0.31 cores=1,3,5,7
/proc/12024/stat : 12024 (MistralXCSP) R 12021 12024 10209 0 -1 4202496 4831 0 0 0 31 0 0 0 20 0 1 0 218685400 44896256 4619 33554432000 4194304 7499544 140733194902560 140733194893928 5886637 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 9598848 9604096 21913600 140733194908782 140733194908931 140733194908931 140733194911689 0
/proc/12024/statm: 10961 4619 704 807 0 3952 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 43844 KiB
Current children cumulated memory: 18476 KiB

[startup+0.700291 s]
/proc/loadavg: 2.00 2.03 2.05 3/188 12025
/proc/meminfo: memFree=2420620/32770624 swapFree=67058152/67108860
[pid=12024] ppid=12021 vsize=54800 memory=29268 CPUtime=0.69 cores=1,3,5,7
/proc/12024/stat : 12024 (MistralXCSP) R 12021 12024 10209 0 -1 4202496 7589 0 0 0 69 0 0 0 20 0 1 0 218685400 56115200 7317 33554432000 4194304 7499544 140733194902560 140733194895800 140370670398464 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 9598848 9604096 21913600 140733194908782 140733194908931 140733194908931 140733194911689 0
/proc/12024/statm: 13700 7317 721 807 0 6691 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 54800 KiB
Current children cumulated memory: 29268 KiB

[startup+1.50028 s]
/proc/loadavg: 2.00 2.03 2.05 3/188 12025
/proc/meminfo: memFree=2406484/32770624 swapFree=67058152/67108860
[pid=12024] ppid=12021 vsize=77208 memory=51708 CPUtime=1.49 cores=1,3,5,7
/proc/12024/stat : 12024 (MistralXCSP) R 12021 12024 10209 0 -1 4202496 13204 0 0 0 148 1 0 0 20 0 1 0 218685400 79060992 12927 33554432000 4194304 7499544 140733194902560 140733194895800 140370670398464 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 9598848 9604096 21913600 140733194908782 140733194908931 140733194908931 140733194911689 0
/proc/12024/statm: 19302 12927 721 807 0 12293 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 77208 KiB
Current children cumulated memory: 51708 KiB

[startup+3.10941 s]
/proc/loadavg: 2.00 2.03 2.05 3/188 12025
/proc/meminfo: memFree=2350988/32770624 swapFree=67058152/67108860
[pid=12024] ppid=12021 vsize=121248 memory=95628 CPUtime=3.1 cores=1,3,5,7
/proc/12024/stat : 12024 (MistralXCSP) R 12021 12024 10209 0 -1 4202496 24963 0 0 0 307 3 0 0 20 0 1 0 218685400 124157952 23907 33554432000 4194304 7499544 140733194902560 140733194895800 140370670398464 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 9598848 9604096 21913600 140733194908782 140733194908931 140733194908931 140733194911689 0
/proc/12024/statm: 30312 23907 722 807 0 23303 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 121248 KiB
Current children cumulated memory: 95628 KiB

[startup+6.30027 s]
/proc/loadavg: 2.08 2.05 2.05 3/188 12025
/proc/meminfo: memFree=2267568/32770624 swapFree=67058152/67108860
[pid=12024] ppid=12021 vsize=209656 memory=184088 CPUtime=6.28 cores=1,3,5,7
/proc/12024/stat : 12024 (MistralXCSP) R 12021 12024 10209 0 -1 4202496 48124 0 0 0 623 5 0 0 20 0 1 0 218685400 214687744 46022 33554432000 4194304 7499544 140733194902560 140733194895800 140370670398464 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 9598848 9604096 21913600 140733194908782 140733194908931 140733194908931 140733194911689 0
/proc/12024/statm: 52414 46022 722 807 0 45405 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 209656 KiB
Current children cumulated memory: 184088 KiB

[startup+12.7003 s]
/proc/loadavg: 2.08 2.04 2.05 3/188 12025
/proc/meminfo: memFree=2101248/32770624 swapFree=67058152/67108860
[pid=12024] ppid=12021 vsize=386376 memory=360800 CPUtime=12.69 cores=1,3,5,7
/proc/12024/stat : 12024 (MistralXCSP) R 12021 12024 10209 0 -1 4202496 93535 0 0 0 1258 11 0 0 20 0 1 0 218685400 395649024 90200 33554432000 4194304 7499544 140733194902560 140733194895800 6016370 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 9598848 9604096 21913600 140733194908782 140733194908931 140733194908931 140733194911689 0
/proc/12024/statm: 96594 90200 722 807 0 89585 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 386376 KiB
Current children cumulated memory: 360800 KiB

[startup+25.5004 s]
/proc/loadavg: 2.06 2.04 2.05 3/188 12025
/proc/meminfo: memFree=1947188/32770624 swapFree=67058152/67108860
[pid=12024] ppid=12021 vsize=520700 memory=495604 CPUtime=25.48 cores=1,3,5,7
/proc/12024/stat : 12024 (MistralXCSP) R 12021 12024 10209 0 -1 4202496 195895 0 0 0 2529 19 0 0 20 0 1 0 218685400 533196800 123901 33554432000 4194304 7499544 140733194902560 140733194897096 4317704 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 21913600 140733194908782 140733194908931 140733194908931 140733194911689 0
/proc/12024/statm: 130175 123901 766 807 0 123166 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 520700 KiB
Current children cumulated memory: 495604 KiB

[startup+51.1096 s]
/proc/loadavg: 2.04 2.04 2.05 3/188 12025
/proc/meminfo: memFree=1946508/32770624 swapFree=67058152/67108860
[pid=12024] ppid=12021 vsize=522820 memory=497596 CPUtime=51.09 cores=1,3,5,7
/proc/12024/stat : 12024 (MistralXCSP) R 12021 12024 10209 0 -1 4202496 260243 0 0 0 5086 23 0 0 20 0 1 0 218685400 535367680 124399 33554432000 4194304 7499544 140733194902560 140733194897096 4579521 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 21913600 140733194908782 140733194908931 140733194908931 140733194911689 0
/proc/12024/statm: 130705 124399 766 807 0 123696 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 522820 KiB
Current children cumulated memory: 497596 KiB

[startup+102.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/187 12026
/proc/meminfo: memFree=1945204/32770624 swapFree=67058152/67108860
[pid=12024] ppid=12021 vsize=523752 memory=498568 CPUtime=102.27 cores=1,3,5,7
/proc/12024/stat : 12024 (MistralXCSP) R 12021 12024 10209 0 -1 4202496 317063 0 0 0 10200 27 0 0 20 0 1 0 218685400 536322048 124642 33554432000 4194304 7499544 140733194902560 140733194897576 5790974 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 21913600 140733194908782 140733194908931 140733194908931 140733194911689 0
/proc/12024/statm: 130938 124642 766 807 0 123929 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 523752 KiB
Current children cumulated memory: 498568 KiB

[startup+162.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/187 12027
/proc/meminfo: memFree=1945108/32770624 swapFree=67058152/67108860
[pid=12024] ppid=12021 vsize=523884 memory=498720 CPUtime=162.25 cores=1,3,5,7
/proc/12024/stat : 12024 (MistralXCSP) R 12021 12024 10209 0 -1 4202496 359910 0 0 0 16196 29 0 0 20 0 1 0 218685400 536457216 124680 33554432000 4194304 7499544 140733194902560 140733194897096 5574274 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 21913600 140733194908782 140733194908931 140733194908931 140733194911689 0
/proc/12024/statm: 130971 124680 766 807 0 123962 0
Current children cumulated CPU time: 162.25 s
Current children cumulated vsize: 523884 KiB
Current children cumulated memory: 498720 KiB

[startup+222.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 12028
/proc/meminfo: memFree=1945260/32770624 swapFree=67058152/67108860
[pid=12024] ppid=12021 vsize=524016 memory=498844 CPUtime=222.23 cores=1,3,5,7
/proc/12024/stat : 12024 (MistralXCSP) R 12021 12024 10209 0 -1 4202496 385383 0 0 0 22193 30 0 0 20 0 1 0 218685400 536592384 124711 33554432000 4194304 7499544 140733194902560 140733194897096 4579706 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 21913600 140733194908782 140733194908931 140733194908931 140733194911689 0
/proc/12024/statm: 131004 124711 766 807 0 123995 0
Current children cumulated CPU time: 222.23 s
Current children cumulated vsize: 524016 KiB
Current children cumulated memory: 498844 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 12029
/proc/meminfo: memFree=1945080/32770624 swapFree=67058152/67108860
[pid=12024] ppid=12021 vsize=524016 memory=498844 CPUtime=282.22 cores=1,3,5,7
/proc/12024/stat : 12024 (MistralXCSP) R 12021 12024 10209 0 -1 4202496 391727 0 0 0 28191 31 0 0 20 0 1 0 218685400 536592384 124711 33554432000 4194304 7499544 140733194902560 140733194897096 5790971 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 21913600 140733194908782 140733194908931 140733194908931 140733194911689 0
/proc/12024/statm: 131004 124711 766 807 0 123995 0
Current children cumulated CPU time: 282.22 s
Current children cumulated vsize: 524016 KiB
Current children cumulated memory: 498844 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 12030
/proc/meminfo: memFree=1945432/32770624 swapFree=67058152/67108860
[pid=12024] ppid=12021 vsize=524016 memory=498900 CPUtime=342.21 cores=1,3,5,7
/proc/12024/stat : 12024 (MistralXCSP) R 12021 12024 10209 0 -1 4202496 393108 0 0 0 34190 31 0 0 20 0 1 0 218685400 536592384 124725 33554432000 4194304 7499544 140733194902560 140733194897576 5790626 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 21913600 140733194908782 140733194908931 140733194908931 140733194911689 0
/proc/12024/statm: 131004 124725 766 807 0 123995 0
Current children cumulated CPU time: 342.21 s
Current children cumulated vsize: 524016 KiB
Current children cumulated memory: 498900 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 12038
/proc/meminfo: memFree=1944576/32770624 swapFree=67058152/67108860
[pid=12024] ppid=12021 vsize=524016 memory=498920 CPUtime=402.21 cores=1,3,5,7
/proc/12024/stat : 12024 (MistralXCSP) R 12021 12024 10209 0 -1 4202496 394203 0 0 0 40190 31 0 0 20 0 1 0 218685400 536592384 124730 33554432000 4194304 7499544 140733194902560 140733194897576 4405038 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 21913600 140733194908782 140733194908931 140733194908931 140733194911689 0
/proc/12024/statm: 131004 124730 766 807 0 123995 0
Current children cumulated CPU time: 402.21 s
Current children cumulated vsize: 524016 KiB
Current children cumulated memory: 498920 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 12039
/proc/meminfo: memFree=1944800/32770624 swapFree=67058152/67108860
[pid=12024] ppid=12021 vsize=524016 memory=498944 CPUtime=462.21 cores=1,3,5,7
/proc/12024/stat : 12024 (MistralXCSP) R 12021 12024 10209 0 -1 4202496 395281 0 0 0 46190 31 0 0 20 0 1 0 218685400 536592384 124736 33554432000 4194304 7499544 140733194902560 140733194897576 5790974 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 21913600 140733194908782 140733194908931 140733194908931 140733194911689 0
/proc/12024/statm: 131004 124736 766 807 0 123995 0
Current children cumulated CPU time: 462.21 s
Current children cumulated vsize: 524016 KiB
Current children cumulated memory: 498944 KiB


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

/proc/12024/statm: 131138 124860 766 807 0 124129 0
Current children cumulated CPU time: 1722.23 s
Current children cumulated vsize: 524552 KiB
Current children cumulated memory: 499440 KiB

[startup+1782.3 s]
/proc/loadavg: 2.02 2.08 2.07 3/188 12207
/proc/meminfo: memFree=1040084/32770624 swapFree=67058152/67108860
[pid=12024] ppid=12021 vsize=524552 memory=499456 CPUtime=1782.23 cores=1,3,5,7
/proc/12024/stat : 12024 (MistralXCSP) R 12021 12024 10209 0 -1 4202496 412358 0 0 0 178190 33 0 0 20 0 1 0 218685400 537141248 124864 33554432000 4194304 7499544 140733194902560 140733194897576 5163933 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 21913600 140733194908782 140733194908931 140733194908931 140733194911689 0
/proc/12024/statm: 131138 124864 766 807 0 124129 0
Current children cumulated CPU time: 1782.23 s
Current children cumulated vsize: 524552 KiB
Current children cumulated memory: 499456 KiB

[startup+1842.3 s]
/proc/loadavg: 2.01 2.07 2.07 3/188 12208
/proc/meminfo: memFree=1040220/32770624 swapFree=67058152/67108860
[pid=12024] ppid=12021 vsize=524552 memory=499456 CPUtime=1842.23 cores=1,3,5,7
/proc/12024/stat : 12024 (MistralXCSP) R 12021 12024 10209 0 -1 4202496 413001 0 0 0 184190 33 0 0 20 0 1 0 218685400 537141248 124864 33554432000 4194304 7499544 140733194902560 140733194897576 4408784 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 21913600 140733194908782 140733194908931 140733194908931 140733194911689 0
/proc/12024/statm: 131138 124864 766 807 0 124129 0
Current children cumulated CPU time: 1842.23 s
Current children cumulated vsize: 524552 KiB
Current children cumulated memory: 499456 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.06 2.06 3/187 12209
/proc/meminfo: memFree=1039984/32770624 swapFree=67058152/67108860
[pid=12024] ppid=12021 vsize=524688 memory=499528 CPUtime=1902.23 cores=1,3,5,7
/proc/12024/stat : 12024 (MistralXCSP) R 12021 12024 10209 0 -1 4202496 414061 0 0 0 190190 33 0 0 20 0 1 0 218685400 537280512 124882 33554432000 4194304 7499544 140733194902560 140733194897576 4249951 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 21913600 140733194908782 140733194908931 140733194908931 140733194911689 0
/proc/12024/statm: 131172 124882 766 807 0 124163 0
Current children cumulated CPU time: 1902.23 s
Current children cumulated vsize: 524688 KiB
Current children cumulated memory: 499528 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/187 12210
/proc/meminfo: memFree=1040092/32770624 swapFree=67058152/67108860
[pid=12024] ppid=12021 vsize=524688 memory=499528 CPUtime=1962.23 cores=1,3,5,7
/proc/12024/stat : 12024 (MistralXCSP) R 12021 12024 10209 0 -1 4202496 414716 0 0 0 196190 33 0 0 20 0 1 0 218685400 537280512 124882 33554432000 4194304 7499544 140733194902560 140733194897576 5770261 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 21913600 140733194908782 140733194908931 140733194908931 140733194911689 0
/proc/12024/statm: 131172 124882 766 807 0 124163 0
Current children cumulated CPU time: 1962.23 s
Current children cumulated vsize: 524688 KiB
Current children cumulated memory: 499528 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/187 12211
/proc/meminfo: memFree=1040172/32770624 swapFree=67058152/67108860
[pid=12024] ppid=12021 vsize=524688 memory=499532 CPUtime=2022.24 cores=1,3,5,7
/proc/12024/stat : 12024 (MistralXCSP) R 12021 12024 10209 0 -1 4202496 415362 0 0 0 202190 34 0 0 20 0 1 0 218685400 537280512 124883 33554432000 4194304 7499544 140733194902560 140733194897576 5773225 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 21913600 140733194908782 140733194908931 140733194908931 140733194911689 0
/proc/12024/statm: 131172 124883 766 807 0 124163 0
Current children cumulated CPU time: 2022.24 s
Current children cumulated vsize: 524688 KiB
Current children cumulated memory: 499532 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 12212
/proc/meminfo: memFree=1039668/32770624 swapFree=67058152/67108860
[pid=12024] ppid=12021 vsize=524688 memory=499548 CPUtime=2082.24 cores=1,3,5,7
/proc/12024/stat : 12024 (MistralXCSP) R 12021 12024 10209 0 -1 4202496 416064 0 0 0 208190 34 0 0 20 0 1 0 218685400 537280512 124887 33554432000 4194304 7499544 140733194902560 140733194897576 4249991 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 21913600 140733194908782 140733194908931 140733194908931 140733194911689 0
/proc/12024/statm: 131172 124887 766 807 0 124163 0
Current children cumulated CPU time: 2082.24 s
Current children cumulated vsize: 524688 KiB
Current children cumulated memory: 499548 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 12213
/proc/meminfo: memFree=1039292/32770624 swapFree=67058152/67108860
[pid=12024] ppid=12021 vsize=524688 memory=499548 CPUtime=2142.24 cores=1,3,5,7
/proc/12024/stat : 12024 (MistralXCSP) R 12021 12024 10209 0 -1 4202496 416761 0 0 0 214190 34 0 0 20 0 1 0 218685400 537280512 124887 33554432000 4194304 7499544 140733194902560 140733194897576 4249972 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 21913600 140733194908782 140733194908931 140733194908931 140733194911689 0
/proc/12024/statm: 131172 124887 766 807 0 124163 0
Current children cumulated CPU time: 2142.24 s
Current children cumulated vsize: 524688 KiB
Current children cumulated memory: 499548 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/188 12222
/proc/meminfo: memFree=1039428/32770624 swapFree=67058152/67108860
[pid=12024] ppid=12021 vsize=524688 memory=499560 CPUtime=2202.24 cores=1,3,5,7
/proc/12024/stat : 12024 (MistralXCSP) R 12021 12024 10209 0 -1 4202496 417416 0 0 0 220190 34 0 0 20 0 1 0 218685400 537280512 124890 33554432000 4194304 7499544 140733194902560 140733194897576 5790974 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 21913600 140733194908782 140733194908931 140733194908931 140733194911689 0
/proc/12024/statm: 131172 124890 766 807 0 124163 0
Current children cumulated CPU time: 2202.24 s
Current children cumulated vsize: 524688 KiB
Current children cumulated memory: 499560 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 12223
/proc/meminfo: memFree=1039800/32770624 swapFree=67058152/67108860
[pid=12024] ppid=12021 vsize=524688 memory=499560 CPUtime=2262.24 cores=1,3,5,7
/proc/12024/stat : 12024 (MistralXCSP) R 12021 12024 10209 0 -1 4202496 418075 0 0 0 226190 34 0 0 20 0 1 0 218685400 537280512 124890 33554432000 4194304 7499544 140733194902560 140733194897576 5770124 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 21913600 140733194908782 140733194908931 140733194908931 140733194911689 0
/proc/12024/statm: 131172 124890 766 807 0 124163 0
Current children cumulated CPU time: 2262.24 s
Current children cumulated vsize: 524688 KiB
Current children cumulated memory: 499560 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 12224
/proc/meminfo: memFree=1039420/32770624 swapFree=67058152/67108860
[pid=12024] ppid=12021 vsize=524688 memory=499576 CPUtime=2322.24 cores=1,3,5,7
/proc/12024/stat : 12024 (MistralXCSP) R 12021 12024 10209 0 -1 4202496 419121 0 0 0 232190 34 0 0 20 0 1 0 218685400 537280512 124894 33554432000 4194304 7499544 140733194902560 140733194897576 4249975 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 21913600 140733194908782 140733194908931 140733194908931 140733194911689 0
/proc/12024/statm: 131172 124894 766 807 0 124163 0
Current children cumulated CPU time: 2322.24 s
Current children cumulated vsize: 524688 KiB
Current children cumulated memory: 499576 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 12225
/proc/meminfo: memFree=1039172/32770624 swapFree=67058152/67108860
[pid=12024] ppid=12021 vsize=524688 memory=499584 CPUtime=2382.24 cores=1,3,5,7
/proc/12024/stat : 12024 (MistralXCSP) R 12021 12024 10209 0 -1 4202496 419857 0 0 0 238190 34 0 0 20 0 1 0 218685400 537280512 124896 33554432000 4194304 7499544 140733194902560 140733194897576 5773184 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 21913600 140733194908782 140733194908931 140733194908931 140733194911689 0
/proc/12024/statm: 131172 124896 766 807 0 124163 0
Current children cumulated CPU time: 2382.24 s
Current children cumulated vsize: 524688 KiB
Current children cumulated memory: 499584 KiB

[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 12226
/proc/meminfo: memFree=1039140/32770624 swapFree=67058152/67108860
[pid=12024] ppid=12021 vsize=524688 memory=499588 CPUtime=2442.25 cores=1,3,5,7
/proc/12024/stat : 12024 (MistralXCSP) R 12021 12024 10209 0 -1 4202496 420582 0 0 0 244191 34 0 0 20 0 1 0 218685400 537280512 124897 33554432000 4194304 7499544 140733194902560 140733194897576 4579850 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 21913600 140733194908782 140733194908931 140733194908931 140733194911689 0
/proc/12024/statm: 131172 124897 766 807 0 124163 0
Current children cumulated CPU time: 2442.25 s
Current children cumulated vsize: 524688 KiB
Current children cumulated memory: 499588 KiB

[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 12228
/proc/meminfo: memFree=1039308/32770624 swapFree=67058152/67108860
[pid=12024] ppid=12021 vsize=524688 memory=499592 CPUtime=2502.25 cores=1,3,5,7
/proc/12024/stat : 12024 (MistralXCSP) R 12021 12024 10209 0 -1 4202496 421325 0 0 0 250191 34 0 0 20 0 1 0 218685400 537280512 124898 33554432000 4194304 7499544 140733194902560 140733194897576 5790974 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 21913600 140733194908782 140733194908931 140733194908931 140733194911689 0
/proc/12024/statm: 131172 124898 766 807 0 124163 0
Current children cumulated CPU time: 2502.25 s
Current children cumulated vsize: 524688 KiB
Current children cumulated memory: 499592 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 12228
/proc/meminfo: memFree=1039308/32770624 swapFree=67058152/67108860
[pid=12024] ppid=12021 vsize=524688 memory=499592 CPUtime=2519.95 cores=1,3,5,7
/proc/12024/stat : 12024 (MistralXCSP) R 12021 12024 10209 0 -1 4202496 421337 0 0 0 251961 34 0 0 20 0 1 0 218685400 537280512 124898 33554432000 4194304 7499544 140733194902560 140733194897576 5604078 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 21913600 140733194908782 140733194908931 140733194908931 140733194911689 0
/proc/12024/statm: 131172 124898 766 807 0 124163 0
Current children cumulated CPU time: 2519.95 s
Current children cumulated vsize: 524688 KiB
Current children cumulated memory: 499592 KiB

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

[startup+2520.01 s]
# the end of solver process 12024 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2519.62 s, system=0.347003 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.97
CPU user time (s): 2519.62
CPU system time (s): 0.347003
CPU usage (%): 99.9982
Max. virtual memory (cumulated for all children) (KiB): 524688
Max. memory (cumulated for all children) (KiB): 499592

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.62
system time used= 0.347003
maximum resident set size= 499612
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 421368
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= 165
involuntary context switches= 854


# summary of solver processes directly reported to runsolver:
#   pid: 12024
#   total CPU time (s): 2519.97
#   total CPU user time (s): 2519.62
#   total CPU system time (s): 0.347003

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.30823 second user time and 18.8871 second system time

The end

Launcher Data 

Begin job on node103 at 2018-08-11 20:13:42
IDJOB=4304112
IDBENCH=141272
IDSOLVER=2779
FILE ID=node103/4304112-1534011222
RUNJOBID= node103-1533993568-10242
PBS_JOBID= 21036954
Free space on /tmp= 34412 MiB

SOLVER NAME= Mistral-2.0 2018-08-01
BENCH NAME= XCSP18/Fapp/Fapp-m2s/Fapp-m2s-01-0200_c18.xml
COMMAND LINE= MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4304112-1534011222/watcher-4304112-1534011222 -o /tmp/evaluation-result-4304112-1534011222/solver-4304112-1534011222 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node103-1533993568-10242 --watchdog 2580  MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 145379176 HOME/instance-4304112-1534011222.xml

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

MD5SUM BENCH= bcb772945ca2f244c7b00bb761820cd7
RANDOM SEED=145379176

node103.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.48
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.48
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.48
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.48
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:         2441112 kB
MemAvailable:   31934616 kB
Buffers:          104860 kB
Cached:         29313220 kB
SwapCached:         5736 kB
Active:         14397864 kB
Inactive:       15044304 kB
Active(anon):      15600 kB
Inactive(anon):    59456 kB
Active(file):   14382264 kB
Inactive(file): 14984848 kB
Unevictable:        7784 kB
Mlocked:            7784 kB
SwapTotal:      67108860 kB
SwapFree:       67058152 kB
Dirty:             45880 kB
Writeback:             0 kB
AnonPages:         26312 kB
Mapped:            50228 kB
Shmem:             48516 kB
Slab:             583048 kB
SReclaimable:     554852 kB
SUnreclaim:        28196 kB
KernelStack:        3312 kB
PageTables:         5376 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     387904 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      8192 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      124288 kB
DirectMap2M:    33421312 kB

Free space on /tmp at the end= 34340 MiB
End job on node103 at 2018-08-11 20:55:42