Trace number 4292042

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)100248846 2400.03 2400.11

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 16062018
19.68/19.75	o 100731334
19.68/19.75	o 100731293
19.68/19.76	o 100731286
19.68/19.76	o 100731261
19.68/19.76	o 100731245
19.68/19.76	o 100731242
19.68/19.77	o 100731241
19.68/19.79	o 100731239
19.78/19.81	o 100731214
19.78/19.82	o 100731212
19.78/19.82	o 100731210
19.78/19.82	o 100731209
19.88/20.00	o 100721749
20.18/20.24	o 100721748
20.29/20.36	o 100721738
27.38/27.49	o 100721735
27.68/27.72	o 100721732
28.09/28.14	o 100721730
29.09/29.13	o 100721722
29.88/29.90	o 100721715
29.99/30.02	o 100721712
30.18/30.23	o 100721711
30.18/30.24	o 100721705
36.99/37.04	o 100721704
36.99/37.04	o 100721703
36.99/37.04	o 100721701
36.99/37.05	o 100712251
36.99/37.06	o 100712247
36.99/37.06	o 100702795
37.09/37.12	o 100693343
37.09/37.12	o 100683892
37.58/37.62	o 100683891
37.88/37.94	o 100683889
38.98/39.01	o 100683888
86.46/86.59	o 100683887
87.36/87.43	o 100683881
92.76/92.81	o 100683877
104.25/104.34	o 100674427
104.25/104.35	o 100674425
104.25/104.35	o 100674417
104.25/104.35	o 100674415
104.85/104.90	o 100664956
107.06/107.18	o 100664955
107.15/107.21	o 100664947
109.55/109.67	o 100664946
130.36/130.43	o 100664944
130.36/130.43	o 100655494
130.36/130.43	o 100646042
130.36/130.44	o 100636600
130.46/130.54	o 100636585
130.46/130.54	o 100636583
130.56/130.62	o 100636575
130.86/130.97	o 100636574
130.86/130.97	o 100636566
131.26/131.34	o 100636565
131.46/131.50	o 100627106
131.76/131.85	o 100627100
132.56/132.63	o 100617658
132.86/132.93	o 100608201
133.07/133.19	o 100598758
133.35/133.42	o 100598756
135.35/135.41	o 100598748
173.25/173.33	o 100598747
178.05/178.13	o 100589288
178.05/178.13	o 100579838
178.05/178.14	o 100579830
178.05/178.14	o 100579828
178.05/178.16	o 100560923
178.14/178.21	o 100551472
178.14/178.23	o 100551471
178.14/178.28	o 100551470
178.74/178.85	o 100542015
179.44/179.56	o 100532560
179.64/179.70	o 100532549
302.62/302.74	o 100532548
302.62/302.74	o 100513643
303.03/303.11	o 100494716
303.42/303.50	o 100485256
303.82/303.92	o 100475805
303.82/303.96	o 100466354
303.93/304.01	o 100466351
303.93/304.07	o 100466350
303.93/304.08	o 100466347
309.12/309.20	o 100456917
309.12/309.21	o 100456916
309.12/309.26	o 100456914
327.52/327.60	o 100447461
327.52/327.62	o 100447457
341.42/341.56	o 100447456
569.22/569.35	o 100438005
569.22/569.37	o 100438004
569.52/569.69	o 100438002
569.93/570.03	o 100428550
570.32/570.48	o 100419106
571.72/571.84	o 100409654
572.22/572.36	o 100400195
572.22/572.36	o 100400194
573.12/573.27	o 100390743
573.62/573.75	o 100381294
573.62/573.76	o 100371843
573.62/573.77	o 100371840
576.22/576.38	o 100362388
579.93/580.04	o 100362387
616.62/616.77	o 100362386
653.32/653.44	o 100362383
655.93/656.02	o 100362382
655.93/656.03	o 100362381
655.93/656.03	o 100362379
655.93/656.04	o 100362378
655.93/656.04	o 100362377
662.22/662.35	o 100362376
662.32/662.41	o 100362375
662.32/662.46	o 100362374
662.42/662.50	o 100362373
662.42/662.51	o 100362372
663.03/663.18	o 100362369
871.03/871.15	o 100362359
880.72/880.82	o 100362348
930.12/930.27	o 100352891
1511.71/1511.86	o 100343432
1512.11/1512.22	o 100333978
1519.11/1519.26	o 100333977
1519.11/1519.26	o 100333974
1519.11/1519.27	o 100333971
1519.11/1519.28	o 100333970
1548.21/1548.30	o 100333968
1548.31/1548.42	o 100333967
1631.02/1631.13	o 100324519
1696.21/1696.30	o 100324517
1834.21/1834.33	o 100324512
1834.41/1834.50	o 100305605
1834.51/1834.65	o 100296152
1835.11/1835.24	o 100286680
1835.71/1835.86	o 100277230
1835.91/1836.02	o 100277222
1835.91/1836.06	o 100277218
1849.11/1849.23	o 100277217
1864.41/1864.56	o 100277211
1920.81/1920.93	o 100267772
1922.51/1922.60	o 100267764
2003.10/2003.28	o 100267753
2003.20/2003.39	o 100267746
2118.60/2118.75	o 100248846
2400.02/2400.11	s SATISFIABLE
2400.02/2400.11	v <instantiation type="solution">
2400.02/2400.11	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>
2400.02/2400.11	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>
2400.02/2400.11	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 (7166 MiB free)
  memory of node 1: 16384 MiB (12011 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4292042-1532265837/watcher-4292042-1532265837 -o /tmp/evaluation-result-4292042-1532265837/solver-4292042-1532265837 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node132-1532260184-2703 --watchdog 2560 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 4670187 HOME/instance-4292042-1532265837.xml 

running on 4 cores: 0,2,4,6

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
Starting watchdog threadCurrent StackSize limit: 8192 KiB

solver pid=3616, runsolver pid=3613

[startup+0.100202 s]*
/proc/loadavg: 2.15 2.05 2.06 3/191 3617
/proc/meminfo: memFree=19631208/32770624 swapFree=67108860/67108860
[pid=3616] ppid=3613 vsize=36436 memory=11096 CPUtime=0.1 cores=0,2,4,6
/proc/3616/stat : 3616 (MistralXCSP) R 3613 3616 2672 0 -1 4202496 2981 0 0 0 10 0 0 0 20 0 1 0 44146857 37310464 2774 33554432000 4194304 7498468 140728289874608 140728289865720 140602182622181 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 9598848 9604096 29286400 140728289883248 140728289883395 140728289883395 140728289886153 0
/proc/3616/statm: 9109 2774 704 807 0 2100 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 36436 KiB
Current children cumulated memory: 11096 KiB

[startup+0.209926 s]*
/proc/loadavg: 2.15 2.05 2.06 3/191 3617
/proc/meminfo: memFree=19627628/32770624 swapFree=67108860/67108860
[pid=3616] ppid=3613 vsize=40412 memory=14780 CPUtime=0.21 cores=0,2,4,6
/proc/3616/stat : 3616 (MistralXCSP) R 3613 3616 2672 0 -1 4202496 3964 0 0 0 21 0 0 0 20 0 1 0 44146857 41381888 3695 33554432000 4194304 7498468 140728289874608 140728289865480 140602182622181 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 9598848 9604096 29286400 140728289883248 140728289883395 140728289883395 140728289886153 0
/proc/3616/statm: 10103 3695 704 807 0 3094 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 40412 KiB
Current children cumulated memory: 14780 KiB

[startup+0.309545 s]*
/proc/loadavg: 2.15 2.05 2.06 3/191 3617
/proc/meminfo: memFree=19623908/32770624 swapFree=67108860/67108860
[pid=3616] ppid=3613 vsize=43708 memory=18212 CPUtime=0.3 cores=0,2,4,6
/proc/3616/stat : 3616 (MistralXCSP) R 3613 3616 2672 0 -1 4202496 4815 0 0 0 30 0 0 0 20 0 1 0 44146857 44756992 4553 33554432000 4194304 7498468 140728289874608 140728289865480 4564424 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 9598848 9604096 29286400 140728289883248 140728289883395 140728289883395 140728289886153 0
/proc/3616/statm: 10927 4553 704 807 0 3918 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 43708 KiB
Current children cumulated memory: 18212 KiB

[startup+0.700351 s]
/proc/loadavg: 2.15 2.05 2.06 3/191 3617
/proc/meminfo: memFree=19618204/32770624 swapFree=67108860/67108860
[pid=3616] ppid=3613 vsize=54800 memory=29260 CPUtime=0.69 cores=0,2,4,6
/proc/3616/stat : 3616 (MistralXCSP) R 3613 3616 2672 0 -1 4202496 7584 0 0 0 68 1 0 0 20 0 1 0 44146857 56115200 7315 33554432000 4194304 7498468 140728289874608 140728289865480 140602201920064 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 9598848 9604096 29286400 140728289883248 140728289883395 140728289883395 140728289886153 0
/proc/3616/statm: 13700 7315 718 807 0 6691 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 54800 KiB
Current children cumulated memory: 29260 KiB

[startup+1.50036 s]
/proc/loadavg: 2.15 2.05 2.06 3/191 3617
/proc/meminfo: memFree=19604440/32770624 swapFree=67108860/67108860
[pid=3616] ppid=3613 vsize=76724 memory=51436 CPUtime=1.49 cores=0,2,4,6
/proc/3616/stat : 3616 (MistralXCSP) R 3613 3616 2672 0 -1 4202496 13102 0 0 0 148 1 0 0 20 0 1 0 44146857 78565376 12859 33554432000 4194304 7498468 140728289874608 140728289865480 5882494 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 9598848 9604096 29286400 140728289883248 140728289883395 140728289883395 140728289886153 0
/proc/3616/statm: 19181 12859 718 807 0 12172 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 76724 KiB
Current children cumulated memory: 51436 KiB

[startup+3.10973 s]
/proc/loadavg: 2.15 2.05 2.06 3/191 3617
/proc/meminfo: memFree=19549384/32770624 swapFree=67108860/67108860
[pid=3616] ppid=3613 vsize=120504 memory=95240 CPUtime=3.1 cores=0,2,4,6
/proc/3616/stat : 3616 (MistralXCSP) R 3613 3616 2672 0 -1 4202496 25176 0 0 0 307 3 0 0 20 0 1 0 44146857 123396096 23810 33554432000 4194304 7498468 140728289874608 140728289865480 5881294 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 9598848 9604096 29286400 140728289883248 140728289883395 140728289883395 140728289886153 0
/proc/3616/statm: 30126 23810 719 807 0 23117 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 120504 KiB
Current children cumulated memory: 95240 KiB

[startup+6.30034 s]
/proc/loadavg: 2.14 2.05 2.05 3/191 3617
/proc/meminfo: memFree=19465376/32770624 swapFree=67108860/67108860
[pid=3616] ppid=3613 vsize=208708 memory=183216 CPUtime=6.28 cores=0,2,4,6
/proc/3616/stat : 3616 (MistralXCSP) R 3613 3616 2672 0 -1 4202496 48129 0 0 0 623 5 0 0 20 0 1 0 44146857 213716992 45804 33554432000 4194304 7498468 140728289874608 140728289867848 5879441 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 9598848 9604096 29286400 140728289883248 140728289883395 140728289883395 140728289886153 0
/proc/3616/statm: 52177 45804 719 807 0 45168 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 208708 KiB
Current children cumulated memory: 183216 KiB

[startup+12.7003 s]
/proc/loadavg: 2.13 2.04 2.05 3/191 3617
/proc/meminfo: memFree=19300412/32770624 swapFree=67108860/67108860
[pid=3616] ppid=3613 vsize=384908 memory=359412 CPUtime=12.68 cores=0,2,4,6
/proc/3616/stat : 3616 (MistralXCSP) R 3613 3616 2672 0 -1 4202496 93176 0 0 0 1257 11 0 0 20 0 1 0 44146857 394145792 89853 33554432000 4194304 7498468 140728289874608 140728289867848 5882784 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 9598848 9604096 29286400 140728289883248 140728289883395 140728289883395 140728289886153 0
/proc/3616/statm: 96227 89853 719 807 0 89218 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 384908 KiB
Current children cumulated memory: 359412 KiB

[startup+25.5004 s]
/proc/loadavg: 2.10 2.04 2.05 3/191 3617
/proc/meminfo: memFree=19143712/32770624 swapFree=67108860/67108860
[pid=3616] ppid=3613 vsize=520700 memory=495628 CPUtime=25.48 cores=0,2,4,6
/proc/3616/stat : 3616 (MistralXCSP) R 3613 3616 2672 0 -1 4202496 194484 0 0 0 2529 19 0 0 20 0 1 0 44146857 533196800 123907 33554432000 4194304 7498468 140728289874608 140728289869144 5770556 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 29286400 140728289883248 140728289883395 140728289883395 140728289886153 0
/proc/3616/statm: 130175 123907 761 807 0 123166 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 520700 KiB
Current children cumulated memory: 495628 KiB

[startup+51.11 s]
/proc/loadavg: 2.07 2.04 2.05 3/191 3617
/proc/meminfo: memFree=19141944/32770624 swapFree=67108860/67108860
[pid=3616] ppid=3613 vsize=522820 memory=497728 CPUtime=51.08 cores=0,2,4,6
/proc/3616/stat : 3616 (MistralXCSP) R 3613 3616 2672 0 -1 4202496 258021 0 0 0 5086 22 0 0 20 0 1 0 44146857 535367680 124432 33554432000 4194304 7498468 140728289874608 140728289869144 4378930 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 29286400 140728289883248 140728289883395 140728289883395 140728289886153 0
/proc/3616/statm: 130705 124432 761 807 0 123696 0
Current children cumulated CPU time: 51.08 s
Current children cumulated vsize: 522820 KiB
Current children cumulated memory: 497728 KiB

[startup+102.3 s]
/proc/loadavg: 2.03 2.04 2.05 3/190 3619
/proc/meminfo: memFree=19141908/32770624 swapFree=67108860/67108860
[pid=3616] ppid=3613 vsize=523752 memory=498552 CPUtime=102.26 cores=0,2,4,6
/proc/3616/stat : 3616 (MistralXCSP) R 3613 3616 2672 0 -1 4202496 311233 0 0 0 10201 25 0 0 20 0 1 0 44146857 536322048 124638 33554432000 4194304 7498468 140728289874608 140728289869624 5791646 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 29286400 140728289883248 140728289883395 140728289883395 140728289886153 0
/proc/3616/statm: 130938 124638 761 807 0 123929 0
Current children cumulated CPU time: 102.26 s
Current children cumulated vsize: 523752 KiB
Current children cumulated memory: 498552 KiB

[startup+162.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/190 3620
/proc/meminfo: memFree=19141380/32770624 swapFree=67108860/67108860
[pid=3616] ppid=3613 vsize=523884 memory=498704 CPUtime=162.25 cores=0,2,4,6
/proc/3616/stat : 3616 (MistralXCSP) R 3613 3616 2672 0 -1 4202496 354899 0 0 0 16198 27 0 0 20 0 1 0 44146857 536457216 124676 33554432000 4194304 7498468 140728289874608 140728289869144 5791403 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 29286400 140728289883248 140728289883395 140728289883395 140728289886153 0
/proc/3616/statm: 130971 124676 761 807 0 123962 0
Current children cumulated CPU time: 162.25 s
Current children cumulated vsize: 523884 KiB
Current children cumulated memory: 498704 KiB

[startup+222.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/190 3621
/proc/meminfo: memFree=19140484/32770624 swapFree=67108860/67108860
[pid=3616] ppid=3613 vsize=524016 memory=498828 CPUtime=222.23 cores=0,2,4,6
/proc/3616/stat : 3616 (MistralXCSP) R 3613 3616 2672 0 -1 4202496 381062 0 0 0 22195 28 0 0 20 0 1 0 44146857 536592384 124707 33554432000 4194304 7498468 140728289874608 140728289869144 5772256 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 29286400 140728289883248 140728289883395 140728289883395 140728289886153 0
/proc/3616/statm: 131004 124707 761 807 0 123995 0
Current children cumulated CPU time: 222.23 s
Current children cumulated vsize: 524016 KiB
Current children cumulated memory: 498828 KiB

[startup+282.3 s]
/proc/loadavg: 2.15 2.05 2.06 3/190 3623
/proc/meminfo: memFree=19140672/32770624 swapFree=67108860/67108860
[pid=3616] ppid=3613 vsize=524016 memory=498828 CPUtime=282.23 cores=0,2,4,6
/proc/3616/stat : 3616 (MistralXCSP) R 3613 3616 2672 0 -1 4202496 386912 0 0 0 28194 29 0 0 20 0 1 0 44146857 536592384 124707 33554432000 4194304 7498468 140728289874608 140728289869144 4405508 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 29286400 140728289883248 140728289883395 140728289883395 140728289886153 0
/proc/3616/statm: 131004 124707 761 807 0 123995 0
Current children cumulated CPU time: 282.23 s
Current children cumulated vsize: 524016 KiB
Current children cumulated memory: 498828 KiB

[startup+342.3 s]
/proc/loadavg: 2.05 2.04 2.05 3/190 3624
/proc/meminfo: memFree=19141516/32770624 swapFree=67108860/67108860
[pid=3616] ppid=3613 vsize=524016 memory=498884 CPUtime=342.22 cores=0,2,4,6
/proc/3616/stat : 3616 (MistralXCSP) R 3613 3616 2672 0 -1 4202496 387704 0 0 0 34193 29 0 0 20 0 1 0 44146857 536592384 124721 33554432000 4194304 7498468 140728289874608 140728289869624 4249735 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 29286400 140728289883248 140728289883395 140728289883395 140728289886153 0
/proc/3616/statm: 131004 124721 761 807 0 123995 0
Current children cumulated CPU time: 342.22 s
Current children cumulated vsize: 524016 KiB
Current children cumulated memory: 498884 KiB

[startup+402.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/191 3633
/proc/meminfo: memFree=19140756/32770624 swapFree=67108860/67108860
[pid=3616] ppid=3613 vsize=524016 memory=498908 CPUtime=402.22 cores=0,2,4,6
/proc/3616/stat : 3616 (MistralXCSP) R 3613 3616 2672 0 -1 4202496 388382 0 0 0 40193 29 0 0 20 0 1 0 44146857 536592384 124727 33554432000 4194304 7498468 140728289874608 140728289869624 5770512 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 29286400 140728289883248 140728289883395 140728289883395 140728289886153 0
/proc/3616/statm: 131004 124727 761 807 0 123995 0
Current children cumulated CPU time: 402.22 s
Current children cumulated vsize: 524016 KiB
Current children cumulated memory: 498908 KiB

[startup+462.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/191 3634
/proc/meminfo: memFree=19141624/32770624 swapFree=67108860/67108860
[pid=3616] ppid=3613 vsize=524016 memory=498932 CPUtime=462.22 cores=0,2,4,6
/proc/3616/stat : 3616 (MistralXCSP) R 3613 3616 2672 0 -1 4202496 389062 0 0 0 46193 29 0 0 20 0 1 0 44146857 536592384 124733 33554432000 4194304 7498468 140728289874608 140728289869624 5791406 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 29286400 140728289883248 140728289883395 140728289883395 140728289886153 0
/proc/3616/statm: 131004 124733 761 807 0 123995 0
Current children cumulated CPU time: 462.22 s
Current children cumulated vsize: 524016 KiB
Current children cumulated memory: 498932 KiB


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

/proc/3616/statm: 131138 124856 761 807 0 124129 0
Current children cumulated CPU time: 1662.21 s
Current children cumulated vsize: 524552 KiB
Current children cumulated memory: 499424 KiB

[startup+1722.3 s]
/proc/loadavg: 2.03 2.10 2.08 3/192 3736
/proc/meminfo: memFree=20445000/32770624 swapFree=67108860/67108860
[pid=3616] ppid=3613 vsize=524552 memory=499440 CPUtime=1722.21 cores=0,2,4,6
/proc/3616/stat : 3616 (MistralXCSP) R 3613 3616 2672 0 -1 4202496 404896 0 0 0 172191 30 0 0 20 0 1 0 44146857 537141248 124860 33554432000 4194304 7498468 140728289874608 140728289869624 4249721 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 29286400 140728289883248 140728289883395 140728289883395 140728289886153 0
/proc/3616/statm: 131138 124860 761 807 0 124129 0
Current children cumulated CPU time: 1722.21 s
Current children cumulated vsize: 524552 KiB
Current children cumulated memory: 499440 KiB

[startup+1782.3 s]
/proc/loadavg: 2.01 2.08 2.08 3/190 3737
/proc/meminfo: memFree=20445044/32770624 swapFree=67108860/67108860
[pid=3616] ppid=3613 vsize=524552 memory=499440 CPUtime=1782.21 cores=0,2,4,6
/proc/3616/stat : 3616 (MistralXCSP) R 3613 3616 2672 0 -1 4202496 405503 0 0 0 178191 30 0 0 20 0 1 0 44146857 537141248 124860 33554432000 4194304 7498468 140728289874608 140728289869624 4257968 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 29286400 140728289883248 140728289883395 140728289883395 140728289886153 0
/proc/3616/statm: 131138 124860 761 807 0 124129 0
Current children cumulated CPU time: 1782.21 s
Current children cumulated vsize: 524552 KiB
Current children cumulated memory: 499440 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.07 2.07 3/190 3738
/proc/meminfo: memFree=20444676/32770624 swapFree=67108860/67108860
[pid=3616] ppid=3613 vsize=524688 memory=499512 CPUtime=1842.21 cores=0,2,4,6
/proc/3616/stat : 3616 (MistralXCSP) R 3613 3616 2672 0 -1 4202496 406670 0 0 0 184191 30 0 0 20 0 1 0 44146857 537280512 124878 33554432000 4194304 7498468 140728289874608 140728289869624 5770556 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 29286400 140728289883248 140728289883395 140728289883395 140728289886153 0
/proc/3616/statm: 131172 124878 761 807 0 124163 0
Current children cumulated CPU time: 1842.21 s
Current children cumulated vsize: 524688 KiB
Current children cumulated memory: 499512 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.06 2.06 3/190 3740
/proc/meminfo: memFree=20444328/32770624 swapFree=67108860/67108860
[pid=3616] ppid=3613 vsize=524688 memory=499512 CPUtime=1902.21 cores=0,2,4,6
/proc/3616/stat : 3616 (MistralXCSP) R 3613 3616 2672 0 -1 4202496 407289 0 0 0 190191 30 0 0 20 0 1 0 44146857 537280512 124878 33554432000 4194304 7498468 140728289874608 140728289869624 4249991 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 29286400 140728289883248 140728289883395 140728289883395 140728289886153 0
/proc/3616/statm: 131172 124878 761 807 0 124163 0
Current children cumulated CPU time: 1902.21 s
Current children cumulated vsize: 524688 KiB
Current children cumulated memory: 499512 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.04 2.06 3/190 3741
/proc/meminfo: memFree=20445204/32770624 swapFree=67108860/67108860
[pid=3616] ppid=3613 vsize=524688 memory=499512 CPUtime=1962.21 cores=0,2,4,6
/proc/3616/stat : 3616 (MistralXCSP) R 3613 3616 2672 0 -1 4202496 407909 0 0 0 196191 30 0 0 20 0 1 0 44146857 537280512 124878 33554432000 4194304 7498468 140728289874608 140728289869624 5770737 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 29286400 140728289883248 140728289883395 140728289883395 140728289886153 0
/proc/3616/statm: 131172 124878 761 807 0 124163 0
Current children cumulated CPU time: 1962.21 s
Current children cumulated vsize: 524688 KiB
Current children cumulated memory: 499512 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/190 3742
/proc/meminfo: memFree=20444972/32770624 swapFree=67108860/67108860
[pid=3616] ppid=3613 vsize=524688 memory=499532 CPUtime=2022.2 cores=0,2,4,6
/proc/3616/stat : 3616 (MistralXCSP) R 3613 3616 2672 0 -1 4202496 408592 0 0 0 202190 30 0 0 20 0 1 0 44146857 537280512 124883 33554432000 4194304 7498468 140728289874608 140728289869624 5772256 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 29286400 140728289883248 140728289883395 140728289883395 140728289886153 0
/proc/3616/statm: 131172 124883 761 807 0 124163 0
Current children cumulated CPU time: 2022.2 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/190 3744
/proc/meminfo: memFree=20444372/32770624 swapFree=67108860/67108860
[pid=3616] ppid=3613 vsize=524688 memory=499532 CPUtime=2082.2 cores=0,2,4,6
/proc/3616/stat : 3616 (MistralXCSP) R 3613 3616 2672 0 -1 4202496 409231 0 0 0 208190 30 0 0 20 0 1 0 44146857 537280512 124883 33554432000 4194304 7498468 140728289874608 140728289869624 5791406 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 29286400 140728289883248 140728289883395 140728289883395 140728289886153 0
/proc/3616/statm: 131172 124883 761 807 0 124163 0
Current children cumulated CPU time: 2082.2 s
Current children cumulated vsize: 524688 KiB
Current children cumulated memory: 499532 KiB

[startup+2142.3 s]
/proc/loadavg: 2.06 2.04 2.05 3/190 3745
/proc/meminfo: memFree=20444936/32770624 swapFree=67108860/67108860
[pid=3616] ppid=3613 vsize=524688 memory=499544 CPUtime=2142.2 cores=0,2,4,6
/proc/3616/stat : 3616 (MistralXCSP) R 3613 3616 2672 0 -1 4202496 409890 0 0 0 214190 30 0 0 20 0 1 0 44146857 537280512 124886 33554432000 4194304 7498468 140728289874608 140728289869624 5773824 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 29286400 140728289883248 140728289883395 140728289883395 140728289886153 0
/proc/3616/statm: 131172 124886 761 807 0 124163 0
Current children cumulated CPU time: 2142.2 s
Current children cumulated vsize: 524688 KiB
Current children cumulated memory: 499544 KiB

[startup+2202.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/191 3754
/proc/meminfo: memFree=20444384/32770624 swapFree=67108860/67108860
[pid=3616] ppid=3613 vsize=524688 memory=499544 CPUtime=2202.2 cores=0,2,4,6
/proc/3616/stat : 3616 (MistralXCSP) R 3613 3616 2672 0 -1 4202496 410525 0 0 0 220190 30 0 0 20 0 1 0 44146857 537280512 124886 33554432000 4194304 7498468 140728289874608 140728289869624 5772291 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 29286400 140728289883248 140728289883395 140728289883395 140728289886153 0
/proc/3616/statm: 131172 124886 761 807 0 124163 0
Current children cumulated CPU time: 2202.2 s
Current children cumulated vsize: 524688 KiB
Current children cumulated memory: 499544 KiB

[startup+2262.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/192 3778
/proc/meminfo: memFree=20442804/32770624 swapFree=67108860/67108860
[pid=3616] ppid=3613 vsize=524688 memory=499544 CPUtime=2262.2 cores=0,2,4,6
/proc/3616/stat : 3616 (MistralXCSP) R 3613 3616 2672 0 -1 4202496 411154 0 0 0 226190 30 0 0 20 0 1 0 44146857 537280512 124886 33554432000 4194304 7498468 140728289874608 140728289869624 4253259 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 29286400 140728289883248 140728289883395 140728289883395 140728289886153 0
/proc/3616/statm: 131172 124886 761 807 0 124163 0
Current children cumulated CPU time: 2262.2 s
Current children cumulated vsize: 524688 KiB
Current children cumulated memory: 499544 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/192 3779
/proc/meminfo: memFree=20443384/32770624 swapFree=67108860/67108860
[pid=3616] ppid=3613 vsize=524688 memory=499564 CPUtime=2322.21 cores=0,2,4,6
/proc/3616/stat : 3616 (MistralXCSP) R 3613 3616 2672 0 -1 4202496 412538 0 0 0 232190 31 0 0 20 0 1 0 44146857 537280512 124891 33554432000 4194304 7498468 140728289874608 140728289869624 4258077 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 29286400 140728289883248 140728289883395 140728289883395 140728289886153 0
/proc/3616/statm: 131172 124891 761 807 0 124163 0
Current children cumulated CPU time: 2322.21 s
Current children cumulated vsize: 524688 KiB
Current children cumulated memory: 499564 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/192 3780
/proc/meminfo: memFree=20443700/32770624 swapFree=67108860/67108860
[pid=3616] ppid=3613 vsize=524688 memory=499572 CPUtime=2382.21 cores=0,2,4,6
/proc/3616/stat : 3616 (MistralXCSP) R 3613 3616 2672 0 -1 4202496 413339 0 0 0 238190 31 0 0 20 0 1 0 44146857 537280512 124893 33554432000 4194304 7498468 140728289874608 140728289869624 4249680 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 29286400 140728289883248 140728289883395 140728289883395 140728289886153 0
/proc/3616/statm: 131172 124893 761 807 0 124163 0
Current children cumulated CPU time: 2382.21 s
Current children cumulated vsize: 524688 KiB
Current children cumulated memory: 499572 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2400.11 s]
/proc/loadavg: 2.00 2.02 2.05 3/192 3780
/proc/meminfo: memFree=20443700/32770624 swapFree=67108860/67108860
[pid=3616] ppid=3613 vsize=524688 memory=499572 CPUtime=2400.02 cores=0,2,4,6
/proc/3616/stat : 3616 (MistralXCSP) R 3613 3616 2672 0 -1 4202496 413340 0 0 0 239971 31 0 0 20 0 1 0 44146857 537280512 124893 33554432000 4194304 7498468 140728289874608 140728289869624 4253243 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 29286400 140728289883248 140728289883395 140728289883395 140728289886153 0
/proc/3616/statm: 131172 124893 761 807 0 124163 0
Current children cumulated CPU time: 2400.02 s
Current children cumulated vsize: 524688 KiB
Current children cumulated memory: 499572 KiB

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

[startup+2400.11 s]
# the end of solver process 3616 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2399.71 s, system=0.312996 s

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

[startup+2400.11 s]
/proc/loadavg: 2.00 2.02 2.05 3/192 3780
/proc/meminfo: memFree=20443700/32770624 swapFree=67108860/67108860
[pid=3616] ppid=3613 vsize=524688 memory=499572 CPUtime=2400.02 cores=0,2,4,6
/proc/3616/stat : 3616 (MistralXCSP) R 3613 3616 2672 0 -1 4202496 413340 0 0 0 239971 31 0 0 20 0 1 0 44146857 537280512 124893 33554432000 4194304 7498468 140728289874608 140728289869624 4253243 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0 9598848 9604096 29286400 140728289883248 140728289883395 140728289883395 140728289886153 0
/proc/3616/statm: 131172 124893 761 807 0 124163 0
Current children cumulated CPU time: 2400.02 s
Current children cumulated vsize: 524688 KiB
Current children cumulated memory: 499572 KiB

Child status: 0
Real time (s): 2400.11
CPU time (s): 2400.03
CPU user time (s): 2399.71
CPU system time (s): 0.312996
CPU usage (%): 99.9965
Max. virtual memory (cumulated for all children) (KiB): 524688
Max. memory (cumulated for all children) (KiB): 499572

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.71
system time used= 0.312996
maximum resident set size= 499592
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 413370
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= 148
involuntary context switches= 738


# summary of solver processes directly reported to runsolver:
#   pid: 3616
#   total CPU time (s): 2400.03
#   total CPU user time (s): 2399.71
#   total CPU system time (s): 0.312996

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.66104 second user time and 17.9636 second system time

The end

Launcher Data 

Begin job on node132 at 2018-07-22 15:23:57
IDJOB=4292042
IDBENCH=141272
IDSOLVER=2741
FILE ID=node132/4292042-1532265837
RUNJOBID= node132-1532260184-2703
PBS_JOBID= 21018965
Free space on /tmp= 54984 MiB

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

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

MD5SUM BENCH= bcb772945ca2f244c7b00bb761820cd7
RANDOM SEED=4670187

node132.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.65
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.65
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.65
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.65
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:        19638348 kB
MemAvailable:   30731824 kB
Buffers:          245576 kB
Cached:         10996168 kB
SwapCached:            0 kB
Active:          3331448 kB
Inactive:        9168480 kB
Active(anon):    1261132 kB
Inactive(anon):    17028 kB
Active(file):    2070316 kB
Inactive(file):  9151452 kB
Unevictable:        6988 kB
Mlocked:            6988 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             48816 kB
Writeback:             0 kB
AnonPages:       1215888 kB
Mapped:            37448 kB
Shmem:             17056 kB
Slab:             327696 kB
SReclaimable:     300168 kB
SUnreclaim:        27528 kB
KernelStack:        3680 kB
PageTables:         7436 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1547528 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1153024 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /tmp at the end= 55072 MiB
End job on node132 at 2018-07-22 16:03:57