Trace number 4299025

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
cosoco 1.12SAT (TO)35891368 2520.06 2520.01

General information on the benchmark

NameFapp/Fapp-ext/
Fapp-ext-01-0200_c18.xml
MD5SUM0e8e562de5d18dab033d3d20f1b4790d
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark35891368
Best CPU time to get the best result obtained on this benchmark2520.06
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 constraints2053
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":2053}]
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 

36.49/36.51	c best=?? lower=0 upper=107172450 
77.19/77.23	c
77.19/77.23	c This is cosoco 1.12 --  
77.19/77.23	c
77.19/77.23	c command line: HOME/cosoco -lc -model -restarts HOME/instance-4299025-1532782629.xml 
77.19/77.23	c enable optimization
77.19/77.23	c ========================================[ Problem Statistics ]===========================================
77.19/77.23	c |                                                                                                       
77.19/77.23	c |  Parse time        :        36.32 s 
77.19/77.23	c |
77.19/77.23	c |               Variables: 3236
77.19/77.23	c |            Domain Sizes: 1..95
77.19/77.23	c |
77.19/77.23	c |             Constraints: 2054
77.19/77.23	c |                   Arity: 2..1891  -- Binary: 163  -- Ternary: 945
77.19/77.23	c | 
77.19/77.23	c |                   Types: 
77.19/77.23	c |                          Extension: 2053  (nb tuples: 0..9025) -- (shared: 0)
77.19/77.23	c |                          Sum: 1
77.19/77.23	c |                          
77.19/77.23	c |               Objective: Minimize Sum
77.19/77.23	
77.19/77.23	c =========================================================================================================
77.19/77.23	o 100097570
77.19/77.23	c    1 calls to solver: best=100097570 lower=0 upper=100097569 
98.19/98.24	o 71868323
106.19/106.28	o 71849411
106.19/106.28	c    3 calls to solver: best=71849411 lower=0 upper=71849410 
137.70/137.73	o 71764213
167.60/167.62	o 62758211
167.60/167.62	c    5 calls to solver: best=62758211 lower=0 upper=62758210 
264.71/264.74	o 53865650
376.22/376.23	o 44963524
376.22/376.23	c    7 calls to solver: best=44963524 lower=0 upper=44963523 
553.04/553.06	o 44954098
612.24/612.28	o 36080458
612.24/612.28	c    9 calls to solver: best=36080458 lower=0 upper=36080457 
755.64/755.61	o 36033185
873.76/873.77	o 35976449
873.76/873.77	c   11 calls to solver: best=35976449 lower=0 upper=35976448 
1538.91/1538.80	o 35967011
1632.31/1632.28	o 35929207
1632.31/1632.28	c   13 calls to solver: best=35929207 lower=0 upper=35929206 
1634.81/1634.75	o 35929206
1637.22/1637.16	o 35929205
1637.22/1637.16	c   15 calls to solver: best=35929205 lower=0 upper=35929204 
1639.61/1639.54	o 35929203
1641.01/1640.92	o 35929202
1641.01/1640.92	c   17 calls to solver: best=35929202 lower=0 upper=35929201 
1643.51/1643.43	o 35929201
1649.61/1649.50	o 35910275
1649.61/1649.50	c   19 calls to solver: best=35910275 lower=0 upper=35910274 
1651.31/1651.25	o 35900822
1654.12/1654.06	o 35900820
1654.12/1654.06	c   21 calls to solver: best=35900820 lower=0 upper=35900819 
1658.12/1658.01	o 35900819
1660.32/1660.28	o 35900818
1660.32/1660.28	c   23 calls to solver: best=35900818 lower=0 upper=35900817 
1662.62/1662.55	o 35900817
1664.72/1664.65	o 35900816
1664.72/1664.65	c   25 calls to solver: best=35900816 lower=0 upper=35900815 
1666.62/1666.52	o 35900815
1668.32/1668.27	o 35900814
1668.32/1668.27	c   27 calls to solver: best=35900814 lower=0 upper=35900813 
1678.82/1678.77	o 35891380
1680.82/1680.77	o 35891376
1680.82/1680.77	c   29 calls to solver: best=35891376 lower=0 upper=35891375 
1682.82/1682.73	o 35891375
1684.92/1684.89	o 35891374
1684.92/1684.89	c   31 calls to solver: best=35891374 lower=0 upper=35891373 
1696.72/1696.63	o 35891373
1700.02/1699.98	o 35891372
1700.02/1699.98	c   33 calls to solver: best=35891372 lower=0 upper=35891371 
1702.52/1702.41	o 35891371
1710.13/1710.06	o 35891370
1710.13/1710.06	c   35 calls to solver: best=35891370 lower=0 upper=35891369 
1715.62/1715.52	o 35891369
1722.51/1722.46	o 35891368
1722.51/1722.46	c   37 calls to solver: best=35891368 lower=0 upper=35891367 
2520.04/2520.01	
2520.04/2520.01	c *** INTERRUPTED ***
2520.04/2520.01	c restarts              : 68          
2520.04/2520.01	c conflicts             : 679434       (270 /sec)
2520.04/2520.01	c decisions             : 2516010      (999 /sec)
2520.04/2520.01	c propagations          : 490806472   (194884 /sec)
2520.04/2520.01	c root propagations     : 5859        
2520.04/2520.01	c filter calls          : 170252694      (67602 /sec)
2520.04/2520.01	c useless filter calls  : 91042017       (53 %)
2520.04/2520.01	c Memory used           : 541.27 MB
2520.04/2520.01	c CPU time              : 2518.45 s
2520.04/2520.01	
2520.04/2520.01	c nb Solutions = 37
2520.04/2520.01	s SATISFIABLE
2520.04/2520.01	c Best value found: 35891368
2520.04/2520.01	
2520.04/2520.01	
2520.04/2520.01	v <instantiation type='solution' cost='35891368'>
2520.04/2520.01	v <list>d[0] d[100] d[101] d[102] d[103] d[104] d[105] d[106] d[107] d[108] d[109] d[10] d[110] d[111] d[112] d[113] d[114] d[115] d[116] d[117] d[118] d[119] d[11] d[120] d[121] d[122] d[123] d[124] d[125] d[126] d[127] d[128] d[129] d[12] d[130] d[131] d[132] d[133] d[134] d[135] d[136] d[137] d[138] d[139] d[13] d[140] d[141] d[142] d[143] d[144] d[145] d[146] d[147] d[148] d[149] d[14] d[150] d[151] d[152] d[153] d[154] d[155] d[156] d[157] d[158] d[159] d[15] d[160] d[161] d[162] d[163] d[164] d[165] d[166] d[167] d[168] d[169] d[16] d[170] d[171] d[172] d[173] d[174] d[175] d[176] d[177] d[178] d[179] d[17] d[180] d[181] d[182] d[183] d[184] d[185] d[186] d[187] d[188] d[189] d[18] d[190] d[191] d[192] d[193] d[194] d[195] d[196] d[197] d[198] d[199] d[19] d[1] d[200] d[201] d[202] d[203] d[204] d[205] d[206] d[207] d[208] d[209] d[20] d[210] d[211] d[212] d[213] d[214] d[215] d[216] d[217] d[218] d[219] d[21] d[220] d[221] d[222] d[223] d[224] d[225] d[226] d[227] d[228] d[229] d[22] d[230] d[231] d[232] d[233] d[234] d[235] d[236] d[237] d[238] d[239] d[23] d[240] d[241] d[242] d[243] d[244] d[245] d[246] d[247] d[248] d[249] d[24] d[250] d[251] d[252] d[253] d[254] d[255] d[256] d[257] d[258] d[259] d[25] d[260] d[261] d[262] d[263] d[264] d[265] d[266] d[267] d[268] d[269] d[26] d[270] d[271] d[272] d[273] d[274] d[275] d[276] d[277] d[278] d[279] d[27] d[280] d[281] d[282] d[283] d[284] d[285] d[286] d[287] d[288] d[289] d[28] d[290] d[291] d[292] d[293] d[294] d[295] d[296] d[297] d[298] d[299] d[29] d[2] d[300] d[301] d[302] d[303] d[304] d[305] d[306] d[307] d[308] d[309] d[30] d[310] d[311] d[312] d[313] d[314] d[315] d[316] d[317] d[318] d[319] d[31] d[320] d[321] d[322] d[323] d[324] d[325] d[326] d[327] d[328] d[329] d[32] d[330] d[331] d[332] d[333] d[334] d[335] d[336] d[337] d[338] d[339] d[33] d[340] d[341] d[342] d[343] d[344] d[345] d[346] d[347] d[348] d[349] d[34] d[350] d[351] d[352] d[353] d[354] d[355] d[356] d[357] d[358] d[359] d[35] d[360] d[361] d[362] d[363] d[364] d[365] d[366] d[367] d[368] d[369] d[36] d[370] d[371] d[372] d[373] d[374] d[375] d[376] d[377] d[378] d[379] d[37] d[380] d[381] d[382] d[383] d[384] d[385] d[386] d[387] d[388] d[389] d[38] d[390] d[391] d[392] d[393] d[394] d[395] d[396] d[397] d[398] d[399] d[39] d[3] d[400] d[401] d[402] d[403] d[404] d[405] d[406] d[407] d[408] d[409] d[40] d[410] d[411] d[412] d[413] d[414] d[415] d[416] d[417] d[418] d[419] d[41] d[420] d[421] d[422] d[423] d[424] d[425] d[426] d[427] d[428] d[429] d[42] d[430] d[431] d[432] d[433] d[434] d[435] d[436] d[437] d[438] d[439] d[43] d[440] d[441] d[442] d[443] d[444] d[445] d[446] d[447] d[448] d[449] d[44] d[450] d[451] d[452] d[453] d[454] d[455] d[456] d[457] d[458] d[459] d[45] d[460] d[461] d[462] d[463] d[464] d[465] d[466] d[467] d[468] d[469] d[46] d[470] d[471] d[472] d[473] d[474] d[475] d[476] d[477] d[478] d[479] d[47] d[480] d[481] d[482] d[483] d[484] d[485] d[486] d[487] d[488] d[489] d[48] d[490] d[491] d[492] d[493] d[494] d[495] d[496] d[497] d[498] d[499] d[49] d[4] d[500] d[501] d[502] d[503] d[504] d[505] d[506] d[507] d[508] d[509] d[50] d[510] d[511] d[512] d[513] d[514] d[515] d[516] d[517] d[518] d[519] d[51] d[520] d[521] d[522] d[523] d[524] d[525] d[526] d[527] d[528] d[529] d[52] d[530] d[531] d[532] d[533] d[534] d[535] d[536] d[537] d[538] d[539] d[53] d[540] d[541] d[542] d[543] d[544] d[545] d[546] d[547] d[548] d[549] d[54] d[550] d[551] d[552] d[553] d[554] d[555] d[556] d[557] d[558] d[559] d[55] d[560] d[561] d[562] d[563] d[564] d[565] d[566] d[567] d[568] d[569] d[56] d[570] d[571] d[572] d[573] d[574] d[575] d[576] d[577] d[578] d[579] d[57] d[580] d[581] d[582] d[583] d[584] d[585] d[586] d[587] d[588] d[589] d[58] d[590] d[591] d[592] d[593] d[594] d[595] d[596] d[597] d[598] d[599] d[59] d[5] d[600] d[601] d[602] d[603] d[604] d[605] d[606] d[607] d[608] d[609] d[60] d[610] d[611] d[612] d[613] d[614] d[615] d[616] d[617] d[618] d[619] d[61] d[620] d[621] d[622] d[623] d[624] d[625] d[626] d[627] d[628] d[629] d[62] d[630] d[631] d[632] d[633] d[634] d[635] d[636] d[637] d[638] d[639] d[63] d[640] d[641] d[642] d[643] d[644] d[645] d[646] d[647] d[648] d[649] d[64] d[650] d[651] d[652] d[653] d[654] d[655] d[656] d[657] d[658] d[659] d[65] d[660] d[661] d[662] d[663] d[664] d[665] d[666] d[667] d[668] d[669] d[66] d[670] d[671] d[672] d[673] d[674] d[675] d[676] d[677] d[678] d[679] d[67] d[680] d[681] d[682] d[683] d[684] d[685] d[686] d[687] d[688] d[689] d[68] d[690] d[691] d[692] d[693] d[694] d[695] d[696] d[697] d[698] d[699] d[69] d[6] d[700] d[701] d[702] d[703] d[704] d[705] d[706] d[707] d[708] d[709] d[70] d[710] d[711] d[712] d[713] d[714] d[715] d[716] d[717] d[718] d[719] d[71] d[720] d[721] d[722] d[723] d[724] d[725] d[726] d[727] d[728] d[729] d[72] d[730] d[731] d[732] d[733] d[734] d[735] d[736] d[737] d[738] d[739] d[73] d[740] d[741] d[742] d[743] d[744] d[745] d[746] d[747] d[748] d[749] d[74] d[750] d[751] d[752] d[753] d[754] d[755] d[756] d[757] d[758] d[759] d[75] d[760] d[761] d[762] d[763] d[764] d[765] d[766] d[767] d[768] d[769] d[76] d[770] d[771] d[772] d[773] d[774] d[775] d[776] d[777] d[778] d[779] d[77] d[780] d[781] d[782] d[783] d[784] d[785] d[786] d[787] d[788] d[789] d[78] d[790] d[791] d[792] d[793] d[794] d[795] d[796] d[797] d[798] d[799] d[79] d[7] d[800] d[801] d[802] d[803] d[804] d[805] d[806] d[807] d[808] d[809] d[80] d[810] d[811] d[812] d[813] d[814] d[815] d[816] d[817] d[818] d[819] d[81] d[820] d[821] d[822] d[823] d[824] d[825] d[826] d[827] d[828] d[829] d[82] d[830] d[831] d[832] d[833] d[834] d[835] d[836] d[837] d[838] d[839] d[83] d[840] d[841] d[842] d[843] d[844] d[845] d[846] d[847] d[848] d[849] d[84] d[850] d[851] d[852] d[853] d[854] d[855] d[856] d[857] d[858] d[859] d[85] d[860] d[861] d[862] d[863] d[864] d[865] d[866] d[867] d[868] d[869] d[86] d[870] d[871] d[872] d[873] d[874] d[875] d[876] d[877] d[878] d[879] d[87] d[880] d[881] d[882] d[883] d[884] d[885] d[886] d[887] d[888] d[889] d[88] d[890] d[891] d[892] d[893] d[894] d[895] d[896] d[897] d[898] d[899] d[89] d[8] d[900] d[901] d[902] d[903] d[904] d[905] d[906] d[907] d[908] d[909] d[90] d[910] d[911] d[912] d[913] d[914] d[915] d[916] d[917] d[918] d[919] d[91] d[920] d[921] d[922] d[923] d[924] d[925] d[926] d[927] d[928] d[929] d[92] d[930] d[931] d[932] d[933] d[934] d[935] d[936] d[937] d[938] d[939] d[93] d[940] d[941] d[942] d[943] d[944] d[94] d[95] d[96] d[97] d[98] d[99] d[9] f[0] f[100] f[101] f[102] f[103] f[104] f[105] f[106] f[107] f[108] f[109] f[10] f[110] f[111] f[112] f[113] f[114] f[115] f[116] f[117] f[118] f[119] f[11] f[120] f[121] f[122] f[123] f[124] f[125] f[126] f[127] f[128] f[129] f[12] f[130] f[131] f[132] f[133] f[134] f[135] f[136] f[137] f[138] f[139] f[13] f[140] f[141] f[142] f[143] f[144] f[145] f[146] f[147] f[148] f[149] f[14] f[150] f[151] f[152] f[153] f[154] f[155] f[156] f[157] f[158] f[159] f[15] f[160] f[161] f[162] f[163] f[164] f[165] f[166] f[167] f[168] f[169] f[16] f[170] f[171] f[172] f[173] f[174] f[175] f[176] f[177] f[178] f[179] f[17] f[180] f[181] f[182] f[183] f[184] f[185] f[186] f[187] f[188] f[189] f[18] f[190] f[191] f[192] f[193] f[194] f[195] f[196] f[197] f[198] f[199] f[19] f[1] f[20] f[21] f[22] f[23] f[24] f[25] f[26] f[27] f[28] f[29] f[2] f[30] f[31] f[32] f[33] f[34] f[35] f[36] f[37] f[38] f[39] f[3] f[40] f[41] f[42] f[43] f[44] f[45] f[46] f[47] f[48] f[49] f[4] f[50] f[51] f[52] f[53] f[54] f[55] f[56] f[57] f[58] f[59] f[5] f[60] f[61] f[62] f[63] f[64] f[65] f[66] f[67] f[68] f[69] f[6] f[70] f[71] f[72] f[73] f[74] f[75] f[76] f[77] f[78] f[79] f[7] f[80] f[81] f[82] f[83] f[84] f[85] f[86] f[87] f[88] f[89] f[8] f[90] f[91] f[92] f[93] f[94] f[95] f[96] f[97] f[98] f[99] f[9] k p[0] p[100] p[101] p[102] p[103] p[104] p[105] p[106] p[107] p[108] p[109] p[10] p[110] p[111] p[112] p[113] p[114] p[115] p[116] p[117] p[118] p[119] p[11] p[120] p[121] p[122] p[123] p[124] p[125] p[126] p[127] p[128] p[129] p[12] p[130] p[131] p[132] p[133] p[134] p[135] p[136] p[137] p[138] p[139] p[13] p[140] p[141] p[142] p[143] p[144] p[145] p[146] p[147] p[148] p[149] p[14] p[150] p[151] p[152] p[153] p[154] p[155] p[156] p[157] p[158] p[159] p[15] p[160] p[161] p[162] p[163] p[164] p[165] p[166] p[167] p[168] p[169] p[16] p[170] p[171] p[172] p[173] p[174] p[175] p[176] p[177] p[178] p[179] p[17] p[180] p[181] p[182] p[183] p[184] p[185] p[186] p[187] p[188] p[189] p[18] p[190] p[191] p[192] p[193] p[194] p[195] p[196] p[197] p[198] p[199] p[19] p[1] p[20] p[21] p[22] p[23] p[24] p[25] p[26] p[27] p[28] p[29] p[2] p[30] p[31] p[32] p[33] p[34] p[35] p[36] p[37] p[38] p[39] p[3] p[40] p[41] p[42] p[43] p[44] p[45] p[46] p[47] p[48] p[49] p[4] p[50] p[51] p[52] p[53] p[54] p[55] p[56] p[57] p[58] p[59] p[5] p[60] p[61] p[62] p[63] p[64] p[65] p[66] p[67] p[68] p[69] p[6] p[70] p[71] p[72] p[73] p[74] p[75] p[76] p[77] p[78] p[79] p[7] p[80] p[81] p[82] p[83] p[84] p[85] p[86] p[87] p[88] p[89] p[8] p[90] p[91] p[92] p[93] p[94] p[95] p[96] p[97] p[98] p[99] p[9] v1[0] v1[100] v1[101] v1[102] v1[103] v1[104] v1[105] v1[106] v1[107] v1[108] v1[109] v1[10] v1[110] v1[111] v1[112] v1[113] v1[114] v1[115] v1[116] v1[117] v1[118] v1[119] v1[11] v1[120] v1[121] v1[122] v1[123] v1[124] v1[125] v1[126] v1[127] v1[128] v1[129] v1[12] v1[130] v1[131] v1[132] v1[133] v1[134] v1[135] v1[136] v1[137] v1[138] v1[139] v1[13] v1[140] v1[141] v1[142] v1[143] v1[144] v1[145] v1[146] v1[147] v1[148] v1[149] v1[14] v1[150] v1[151] v1[152] v1[153] v1[154] v1[155] v1[156] v1[157] v1[158] v1[159] v1[15] v1[160] v1[161] v1[162] v1[163] v1[164] v1[165] v1[166] v1[167] v1[168] v1[169] v1[16] v1[170] v1[171] v1[172] v1[173] v1[174] v1[175] v1[176] v1[177] v1[178] v1[179] v1[17] v1[180] v1[181] v1[182] v1[183] v1[184] v1[185] v1[186] v1[187] v1[188] v1[189] v1[18] v1[190] v1[191] v1[192] v1[193] v1[194] v1[195] v1[196] v1[197] v1[198] v1[199] v1[19] v1[1] v1[200] v1[201] v1[202] v1[203] v1[204] v1[205] v1[206] v1[207] v1[208] v1[209] v1[20] v1[210] v1[211] v1[212] v1[213] v1[214] v1[215] v1[216] v1[217] v1[218] v1[219] v1[21] v1[220] v1[221] v1[222] v1[223] v1[224] v1[225] v1[226] v1[227] v1[228] v1[229] v1[22] v1[230] v1[231] v1[232] v1[233] v1[234] v1[235] v1[236] v1[237] v1[238] v1[239] v1[23] v1[240] v1[241] v1[242] v1[243] v1[244] v1[245] v1[246] v1[247] v1[248] v1[249] v1[24] v1[250] v1[251] v1[252] v1[253] v1[254] v1[255] v1[256] v1[257] v1[258] v1[259] v1[25] v1[260] v1[261] v1[262] v1[263] v1[264] v1[265] v1[266] v1[267] v1[268] v1[269] v1[26] v1[270] v1[271] v1[272] v1[273] v1[274] v1[275] v1[276] v1[277] v1[278] v1[279] v1[27] v1[280] v1[281] v1[282] v1[283] v1[284] v1[285] v1[286] v1[287] v1[288] v1[289] v1[28] v1[290] v1[291] v1[292] v1[293] v1[294] v1[295] v1[296] v1[297] v1[298] v1[299] v1[29] v1[2] v1[300] v1[301] v1[302] v1[303] v1[304] v1[305] v1[306] v1[307] v1[308] v1[309] v1[30] v1[310] v1[311] v1[312] v1[313] v1[314] v1[315] v1[316] v1[317] v1[318] v1[319] v1[31] v1[320] v1[321] v1[322] v1[323] v1[324] v1[325] v1[326] v1[327] v1[328] v1[329] v1[32] v1[330] v1[331] v1[332] v1[333] v1[334] v1[335] v1[336] v1[337] v1[338] v1[339] v1[33] v1[340] v1[341] v1[342] v1[343] v1[344] v1[345] v1[346] v1[347] v1[348] v1[349] v1[34] v1[350] v1[351] v1[352] v1[353] v1[354] v1[355] v1[356] v1[357] v1[358] v1[359] v1[35] v1[360] v1[361] v1[362] v1[363] v1[364] v1[365] v1[366] v1[367] v1[368] v1[369] v1[36] v1[370] v1[371] v1[372] v1[373] v1[374] v1[375] v1[376] v1[377] v1[378] v1[379] v1[37] v1[380] v1[381] v1[382] v1[383] v1[384] v1[385] v1[386] v1[387] v1[388] v1[389] v1[38] v1[390] v1[391] v1[392] v1[393] v1[394] v1[395] v1[396] v1[397] v1[398] v1[399] v1[39] v1[3] v1[400] v1[401] v1[402] v1[403] v1[404] v1[405] v1[406] v1[407] v1[408] v1[409] v1[40] v1[410] v1[411] v1[412] v1[413] v1[414] v1[415] v1[416] v1[417] v1[418] v1[419] v1[41] v1[420] v1[421] v1[422] v1[423] v1[424] v1[425] v1[426] v1[427] v1[428] v1[429] v1[42] v1[430] v1[431] v1[432] v1[433] v1[434] v1[435] v1[436] v1[437] v1[438] v1[439] v1[43] v1[440] v1[441] v1[442] v1[443] v1[444] v1[445] v1[446] v1[447] v1[448] v1[449] v1[44] v1[450] v1[451] v1[452] v1[453] v1[454] v1[455] v1[456] v1[457] v1[458] v1[459] v1[45] v1[460] v1[461] v1[462] v1[463] v1[464] v1[465] v1[466] v1[467] v1[468] v1[469] v1[46] v1[470] v1[471] v1[472] v1[473] v1[474] v1[475] v1[476] v1[477] v1[478] v1[479] v1[47] v1[480] v1[481] v1[482] v1[483] v1[484] v1[485] v1[486] v1[487] v1[488] v1[489] v1[48] v1[490] v1[491] v1[492] v1[493] v1[494] v1[495] v1[496] v1[497] v1[498] v1[499] v1[49] v1[4] v1[500] v1[501] v1[502] v1[503] v1[504] v1[505] v1[506] v1[507] v1[508] v1[509] v1[50] v1[510] v1[511] v1[512] v1[513] v1[514] v1[515] v1[516] v1[517] v1[518] v1[519] v1[51] v1[520] v1[521] v1[522] v1[523] v1[524] v1[525] v1[526] v1[527] v1[528] v1[529] v1[52] v1[530] v1[531] v1[532] v1[533] v1[534] v1[535] v1[536] v1[537] v1[538] v1[539] v1[53] v1[540] v1[541] v1[542] v1[543] v1[544] v1[545] v1[546] v1[547] v1[548] v1[549] v1[54] v1[550] v1[551] v1[552] v1[553] v1[554] v1[555] v1[556] v1[557] v1[558] v1[559] v1[55] v1[560] v1[561] v1[562] v1[563] v1[564] v1[565] v1[566] v1[567] v1[568] v1[569] v1[56] v1[570] v1[571] v1[572] v1[573] v1[574] v1[575] v1[576] v1[577] v1[578] v1[579] v1[57] v1[580] v1[581] v1[582] v1[583] v1[584] v1[585] v1[586] v1[587] v1[588] v1[589] v1[58] v1[590] v1[591] v1[592] v1[593] v1[594] v1[595] v1[596] v1[597] v1[598] v1[599] v1[59] v1[5] v1[600] v1[601] v1[602] v1[603] v1[604] v1[605] v1[606] v1[607] v1[608] v1[609] v1[60] v1[610] v1[611] v1[612] v1[613] v1[614] v1[615] v1[616] v1[617] v1[618] v1[619] v1[61] v1[620] v1[621] v1[622] v1[623] v1[624] v1[625] v1[626] v1[627] v1[628] v1[629] v1[62] v1[630] v1[631] v1[632] v1[633] v1[634] v1[635] v1[636] v1[637] v1[638] v1[639] v1[63] v1[640] v1[641] v1[642] v1[643] v1[644] v1[645] v1[646] v1[647] v1[648] v1[649] v1[64] v1[650] v1[651] v1[652] v1[653] v1[654] v1[655] v1[656] v1[657] v1[658] v1[659] v1[65] v1[660] v1[661] v1[662] v1[663] v1[664] v1[665] v1[666] v1[667] v1[668] v1[669] v1[66] v1[670] v1[671] v1[672] v1[673] v1[674] v1[675] v1[676] v1[677] v1[678] v1[679] v1[67] v1[680] v1[681] v1[682] v1[683] v1[684] v1[685] v1[686] v1[687] v1[688] v1[689] v1[68] v1[690] v1[691] v1[692] v1[693] v1[694] v1[695] v1[696] v1[697] v1[698] v1[699] v1[69] v1[6] v1[700] v1[701] v1[702] v1[703] v1[704] v1[705] v1[706] v1[707] v1[708] v1[709] v1[70] v1[710] v1[711] v1[712] v1[713] v1[714] v1[715] v1[716] v1[717] v1[718] v1[719] v1[71] v1[720] v1[721] v1[722] v1[723] v1[724] v1[725] v1[726] v1[727] v1[728] v1[729] v1[72] v1[730] v1[731] v1[732] v1[733] v1[734] v1[735] v1[736] v1[737] v1[738] v1[739] v1[73] v1[740] v1[741] v1[742] v1[743] v1[744] v1[745] v1[746] v1[747] v1[748] v1[749] v1[74] v1[750] v1[751] v1[752] v1[753] v1[754] v1[755] v1[756] v1[757] v1[758] v1[759] v1[75] v1[760] v1[761] v1[762] v1[763] v1[764] v1[765] v1[766] v1[767] v1[768] v1[769] v1[76] v1[770] v1[771] v1[772] v1[773] v1[774] v1[775] v1[776] v1[777] v1[778] v1[779] v1[77] v1[780] v1[781] v1[782] v1[783] v1[784] v1[785] v1[786] v1[787] v1[788] v1[789] v1[78] v1[790] v1[791] v1[792] v1[793] v1[794] v1[795] v1[796] v1[797] v1[798] v1[799] v1[79] v1[7] v1[800] v1[801] v1[802] v1[803] v1[804] v1[805] v1[806] v1[807] v1[808] v1[809] v1[80] v1[810] v1[811] v1[812] v1[813] v1[814] v1[815] v1[816] v1[817] v1[818] v1[819] v1[81] v1[820] v1[821] v1[822] v1[823] v1[824] v1[825] v1[826] v1[827] v1[828] v1[829] v1[82] v1[830] v1[831] v1[832] v1[833] v1[834] v1[835] v1[836] v1[837] v1[838] v1[839] v1[83] v1[840] v1[841] v1[842] v1[843] v1[844] v1[845] v1[846] v1[847] v1[848] v1[849] v1[84] v1[850] v1[851] v1[852] v1[853] v1[854] v1[855] v1[856] v1[857] v1[858] v1[859] v1[85] v1[860] v1[861] v1[862] v1[863] v1[864] v1[865] v1[866] v1[867] v1[868] v1[869] v1[86] v1[870] v1[871] v1[872] v1[873] v1[874] v1[875] v1[876] v1[877] v1[878] v1[879] v1[87] v1[880] v1[881] v1[882] v1[883] v1[884] v1[885] v1[886] v1[887] v1[888] v1[889] v1[88] v1[890] v1[891] v1[892] v1[893] v1[894] v1[895] v1[896] v1[897] v1[898] v1[899] v1[89] v1[8] v1[900] v1[901] v1[902] v1[903] v1[904] v1[905] v1[906] v1[907] v1[908] v1[909] v1[90] v1[910] v1[911] v1[912] v1[913] v1[914] v1[915] v1[916] v1[917] v1[918] v1[919] v1[91] v1[920] v1[921] v1[922] v1[923] v1[924] v1[925] v1[926] v1[927] v1[928] v1[929] v1[92] v1[930] v1[931] v1[932] v1[933] v1[934] v1[935] v1[936] v1[937] v1[938] v1[939] v1[93] v1[940] v1[941] v1[942] v1[943] v1[944] v1[94] v1[95] v1[96] v1[97] v1[98] v1[99] v1[9] v2[0] v2[100] v2[101] v2[102] v2[103] v2[104] v2[105] v2[106] v2[107] v2[108] v2[109] v2[10] v2[110] v2[111] v2[112] v2[113] v2[114] v2[115] v2[116] v2[117] v2[118] v2[119] v2[11] v2[120] v2[121] v2[122] v2[123] v2[124] v2[125] v2[126] v2[127] v2[128] v2[129] v2[12] v2[130] v2[131] v2[132] v2[133] v2[134] v2[135] v2[136] v2[137] v2[138] v2[139] v2[13] v2[140] v2[141] v2[142] v2[143] v2[144] v2[145] v2[146] v2[147] v2[148] v2[149] v2[14] v2[150] v2[151] v2[152] v2[153] v2[154] v2[155] v2[156] v2[157] v2[158] v2[159] v2[15] v2[160] v2[161] v2[162] v2[163] v2[164] v2[165] v2[166] v2[167] v2[168] v2[169] v2[16] v2[170] v2[171] v2[172] v2[173] v2[174] v2[175] v2[176] v2[177] v2[178] v2[179] v2[17] v2[180] v2[181] v2[182] v2[183] v2[184] v2[185] v2[186] v2[187] v2[188] v2[189] v2[18] v2[190] v2[191] v2[192] v2[193] v2[194] v2[195] v2[196] v2[197] v2[198] v2[199] v2[19] v2[1] v2[200] v2[201] v2[202] v2[203] v2[204] v2[205] v2[206] v2[207] v2[208] v2[209] v2[20] v2[210] v2[211] v2[212] v2[213] v2[214] v2[215] v2[216] v2[217] v2[218] v2[219] v2[21] v2[220] v2[221] v2[222] v2[223] v2[224] v2[225] v2[226] v2[227] v2[228] v2[229] v2[22] v2[230] v2[231] v2[232] v2[233] v2[234] v2[235] v2[236] v2[237] v2[238] v2[239] v2[23] v2[240] v2[241] v2[242] v2[243] v2[244] v2[245] v2[246] v2[247] v2[248] v2[249] v2[24] v2[250] v2[251] v2[252] v2[253] v2[254] v2[255] v2[256] v2[257] v2[258] v2[259] v2[25] v2[260] v2[261] v2[262] v2[263] v2[264] v2[265] v2[266] v2[267] v2[268] v2[269] v2[26] v2[270] v2[271] v2[272] v2[273] v2[274] v2[275] v2[276] v2[277] v2[278] v2[279] v2[27] v2[280] v2[281] v2[282] v2[283] v2[284] v2[285] v2[286] v2[287] v2[288] v2[289] v2[28] v2[290] v2[291] v2[292] v2[293] v2[294] v2[295] v2[296] v2[297] v2[298] v2[299] v2[29] v2[2] v2[300] v2[301] v2[302] v2[303] v2[304] v2[305] v2[306] v2[307] v2[308] v2[309] v2[30] v2[310] v2[311] v2[312] v2[313] v2[314] v2[315] v2[316] v2[317] v2[318] v2[319] v2[31] v2[320] v2[321] v2[322] v2[323] v2[324] v2[325] v2[326] v2[327] v2[328] v2[329] v2[32] v2[330] v2[331] v2[332] v2[333] v2[334] v2[335] v2[336] v2[337] v2[338] v2[339] v2[33] v2[340] v2[341] v2[342] v2[343] v2[344] v2[345] v2[346] v2[347] v2[348] v2[349] v2[34] v2[350] v2[351] v2[352] v2[353] v2[354] v2[355] v2[356] v2[357] v2[358] v2[359] v2[35] v2[360] v2[361] v2[362] v2[363] v2[364] v2[365] v2[366] v2[367] v2[368] v2[369] v2[36] v2[370] v2[371] v2[372] v2[373] v2[374] v2[375] v2[376] v2[377] v2[378] v2[379] v2[37] v2[380] v2[381] v2[382] v2[383] v2[384] v2[385] v2[386] v2[387] v2[388] v2[389] v2[38] v2[390] v2[391] v2[392] v2[393] v2[394] v2[395] v2[396] v2[397] v2[398] v2[399] v2[39] v2[3] v2[400] v2[401] v2[402] v2[403] v2[404] v2[405] v2[406] v2[407] v2[408] v2[409] v2[40] v2[410] v2[411] v2[412] v2[413] v2[414] v2[415] v2[416] v2[417] v2[418] v2[419] v2[41] v2[420] v2[421] v2[422] v2[423] v2[424] v2[425] v2[426] v2[427] v2[428] v2[429] v2[42] v2[430] v2[431] v2[432] v2[433] v2[434] v2[435] v2[436] v2[437] v2[438] v2[439] v2[43] v2[440] v2[441] v2[442] v2[443] v2[444] v2[445] v2[446] v2[447] v2[448] v2[449] v2[44] v2[450] v2[451] v2[452] v2[453] v2[454] v2[455] v2[456] v2[457] v2[458] v2[459] v2[45] v2[460] v2[461] v2[462] v2[463] v2[464] v2[465] v2[466] v2[467] v2[468] v2[469] v2[46] v2[470] v2[471] v2[472] v2[473] v2[474] v2[475] v2[476] v2[477] v2[478] v2[479] v2[47] v2[480] v2[481] v2[482] v2[483] v2[484] v2[485] v2[486] v2[487] v2[488] v2[489] v2[48] v2[490] v2[491] v2[492] v2[493] v2[494] v2[495] v2[496] v2[497] v2[498] v2[499] v2[49] v2[4] v2[500] v2[501] v2[502] v2[503] v2[504] v2[505] v2[506] v2[507] v2[508] v2[509] v2[50] v2[510] v2[511] v2[512] v2[513] v2[514] v2[515] v2[516] v2[517] v2[518] v2[519] v2[51] v2[520] v2[521] v2[522] v2[523] v2[524] v2[525] v2[526] v2[527] v2[528] v2[529] v2[52] v2[530] v2[531] v2[532] v2[533] v2[534] v2[535] v2[536] v2[537] v2[538] v2[539] v2[53] v2[540] v2[541] v2[542] v2[543] v2[544] v2[545] v2[546] v2[547] v2[548] v2[549] v2[54] v2[550] v2[551] v2[552] v2[553] v2[554] v2[555] v2[556] v2[557] v2[558] v2[559] v2[55] v2[560] v2[561] v2[562] v2[563] v2[564] v2[565] v2[566] v2[567] v2[568] v2[569] v2[56] v2[570] v2[571] v2[572] v2[573] v2[574] v2[575] v2[576] v2[577] v2[578] v2[579] v2[57] v2[580] v2[581] v2[582] v2[583] v2[584] v2[585] v2[586] v2[587] v2[588] v2[589] v2[58] v2[590] v2[591] v2[592] v2[593] v2[594] v2[595] v2[596] v2[597] v2[598] v2[599] v2[59] v2[5] v2[600] v2[601] v2[602] v2[603] v2[604] v2[605] v2[606] v2[607] v2[608] v2[609] v2[60] v2[610] v2[611] v2[612] v2[613] v2[614] v2[615] v2[616] v2[617] v2[618] v2[619] v2[61] v2[620] v2[621] v2[622] v2[623] v2[624] v2[625] v2[626] v2[627] v2[628] v2[629] v2[62] v2[630] v2[631] v2[632] v2[633] v2[634] v2[635] v2[636] v2[637] v2[638] v2[639] v2[63] v2[640] v2[641] v2[642] v2[643] v2[644] v2[645] v2[646] v2[647] v2[648] v2[649] v2[64] v2[650] v2[651] v2[652] v2[653] v2[654] v2[655] v2[656] v2[657] v2[658] v2[659] v2[65] v2[660] v2[661] v2[662] v2[663] v2[664] v2[665] v2[666] v2[667] v2[668] v2[669] v2[66] v2[670] v2[671] v2[672] v2[673] v2[674] v2[675] v2[676] v2[677] v2[678] v2[679] v2[67] v2[680] v2[681] v2[682] v2[683] v2[684] v2[685] v2[686] v2[687] v2[688] v2[689] v2[68] v2[690] v2[691] v2[692] v2[693] v2[694] v2[695] v2[696] v2[697] v2[698] v2[699] v2[69] v2[6] v2[700] v2[701] v2[702] v2[703] v2[704] v2[705] v2[706] v2[707] v2[708] v2[709] v2[70] v2[710] v2[711] v2[712] v2[713] v2[714] v2[715] v2[716] v2[717] v2[718] v2[719] v2[71] v2[720] v2[721] v2[722] v2[723] v2[724] v2[725] v2[726] v2[727] v2[728] v2[729] v2[72] v2[730] v2[731] v2[732] v2[733] v2[734] v2[735] v2[736] v2[737] v2[738] v2[739] v2[73] v2[740] v2[741] v2[742] v2[743] v2[744] v2[745] v2[746] v2[747] v2[748] v2[749] v2[74] v2[750] v2[751] v2[752] v2[753] v2[754] v2[755] v2[756] v2[757] v2[758] v2[759] v2[75] v2[760] v2[761] v2[762] v2[763] v2[764] v2[765] v2[766] v2[767] v2[768] v2[769] v2[76] v2[770] v2[771] v2[772] v2[773] v2[774] v2[775] v2[776] v2[777] v2[778] v2[779] v2[77] v2[780] v2[781] v2[782] v2[783] v2[784] v2[785] v2[786] v2[787] v2[788] v2[789] v2[78] v2[790] v2[791] v2[792] v2[793] v2[794] v2[795] v2[796] v2[797] v2[798] v2[799] v2[79] v2[7] v2[800] v2[801] v2[802] v2[803] v2[804] v2[805] v2[806] v2[807] v2[808] v2[809] v2[80] v2[810] v2[811] v2[812] v2[813] v2[814] v2[815] v2[816] v2[817] v2[818] v2[819] v2[81] v2[820] v2[821] v2[822] v2[823] v2[824] v2[825] v2[826] v2[827] v2[828] v2[829] v2[82] v2[830] v2[831] v2[832] v2[833] v2[834] v2[835] v2[836] v2[837] v2[838] v2[839] v2[83] v2[840] v2[841] v2[842] v2[843] v2[844] v2[845] v2[846] v2[847] v2[848] v2[849] v2[84] v2[850] v2[851] v2[852] v2[853] v2[854] v2[855] v2[856] v2[857] v2[858] v2[859] v2[85] v2[860] v2[861] v2[862] v2[863] v2[864] v2[865] v2[866] v2[867] v2[868] v2[869] v2[86] v2[870] v2[871] v2[872] v2[873] v2[874] v2[875] v2[876] v2[877] v2[878] v2[879] v2[87] v2[880] v2[881] v2[882] v2[883] v2[884] v2[885] v2[886] v2[887] v2[888] v2[889] v2[88] v2[890] v2[891] v2[892] v2[893] v2[894] v2[895] v2[896] v2[897] v2[898] v2[899] v2[89] v2[8] v2[900] v2[901] v2[902] v2[903] v2[904] v2[905] v2[906] v2[907] v2[908] v2[909] v2[90] v2[910] v2[911] v2[912] v2[913] v2[914] v2[915] v2[916] v2[917] v2[918] v2[919] v2[91] v2[920] v2[921] v2[922] v2[923] v2[924] v2[925] v2[926] v2[927] v2[928] v2[929] v2[92] v2[930] v2[931] v2[932] v2[933] v2[934] v2[935] v2[936] v2[937] v2[938] v2[939] v2[93] v2[940] v2[941] v2[942] v2[943] v2[944] v2[94] v2[95] v2[96] v2[97] v2[98] v2[99] v2[9] </list>
2520.04/2520.01	v <values>20 116 88 112 284 228 116 80 76 44 76 48 160 100 136 84 48 40 156 112 56 72 24 168 132 76 132 60 172 36 56 84 148 208 120 160 140 152 56 140 120 184 136 40 32 4 80 96 60 20 228 36 24 196 60 48 312 52 28 16 216 216 16 60 212 272 40 168 32 124 28 104 140 128 112 64 12 132 148 120 96 140 280 280 108 296 344 252 204 204 268 24 356 24 184 64 180 80 156 64 96 104 12 108 132 184 272 136 28 336 108 100 332 96 44 24 268 48 220 108 92 172 232 72 64 228 140 100 232 52 40 140 116 124 164 136 92 88 124 180 200 84 192 32 212 96 228 332 196 152 128 192 40 88 64 164 92 248 80 52 28 52 256 332 96 292 300 244 276 332 88 40 168 108 176 24 60 164 40 108 52 76 196 68 160 268 336 248 276 196 220 92 36 124 56 164 184 148 184 80 108 208 160 264 24 8 20 180 160 4 236 32 328 104 112 76 120 48 120 56 128 236 184 128 48 100 8 180 12 72 36 60 212 148 72 136 124 212 8 196 36 296 304 220 272 100 172 164 48 116 136 48 28 204 108 40 104 112 120 128 176 100 48 184 120 324 40 184 236 136 48 312 48 300 8 276 92 68 60 28 284 52 160 8 48 176 48 12 4 188 8 92 188 40 96 36 120 60 8 84 40 160 236 192 60 36 40 80 20 32 232 232 92 256 40 44 124 224 36 112 84 276 84 308 280 12 336 164 16 84 84 76 312 36 180 52 64 52 232 12 56 16 12 344 100 248 124 108 56 128 172 176 40 180 152 128 60 72 248 244 60 176 216 148 184 112 328 152 44 84 96 28 228 216 168 40 84 236 36 208 64 276 272 100 308 196 228 292 168 12 108 152 48 132 56 276 196 92 144 176 96 268 220 24 44 64 96 176 96 56 360 128 160 92 168 84 116 76 248 172 48 136 76 224 240 192 124 108 44 12 324 32 36 88 124 216 84 176 148 104 76 68 128 120 80 288 32 308 296 96 328 124 36 72 160 64 60 100 12 64 200 24 220 80 164 144 192 208 124 144 204 240 200 48 40 156 136 100 56 196 112 132 28 108 88 100 108 104 96 88 124 188 24 200 16 84 180 144 308 136 12 224 204 20 52 56 188 224 176 76 80 96 36 128 136 296 136 268 220 56 84 52 76 168 308 296 116 40 16 96 36 200 68 124 104 180 40 332 12 300 40 288 40 20 376 40 88 264 328 76 136 144 32 280 28 268 220 276 324 156 144 48 188 8 176 328 160 224 332 324 296 60 40 40 192 20 236 228 124 300 324 128 80 88 92 60 120 56 64 144 176 136 140 44 184 44 280 36 376 24 148 60 84 108 232 80 28 264 84 156 72 44 16 276 264 180 136 88 164 92 52 96 92 272 56 52 116 52 64 124 212 108 60 60 168 120 260 112 236 72 120 196 124 196 116 92 168 180 276 72 168 160 100 108 236 80 92 140 228 36 96 120 104 148 56 96 172 232 100 76 128 60 332 312 196 156 200 120 20 232 148 244 168 288 184 132 188 160 100 148 132 140 144 152 12 108 176 36 232 56 92 200 128 72 128 164 32 196 32 56 140 208 248 304 100 188 44 228 228 112 332 12 120 100 292 168 280 176 24 84 204 128 20 68 108 188 168 308 148 72 32 68 16 4 192 32 28 192 20 268 32 16 52 176 8 224 84 192 332 220 60 152 168 88 204 160 164 52 140 232 56 332 220 68 108 180 84 192 40 140 52 184 148 64 120 188 152 40 104 320 56 104 228 116 88 372 340 192 132 160 84 200 140 100 212 300 128 88 48 284 52 44 60 144 88 56 124 108 8 192 260 8 32 104 208 88 156 120 344 368 100 72 368 232 272 136 104 88 44 308 136 40 84 324 308 20 136 48 40 276 316 320 360 100 204 164 36 52 340 12 56 144 180 28 296 308 44 32 88 284 32 64 28 36 232 276 176 192 256 372 156 104 196 92 108 28 192 28 136 224 36 148 284 336 136 240 40 100 76 272 252 244 84 28 136 292 188 224 360 176 324 196 100 140 20 296 168 236 292 332 244 48 284 272 244 140 116 264 12 236 220 100 4 32 180 316 16 128 228 64 244 156 64 32 32 2592 2632 2568 2468 2476 2420 2456 2584 2508 2320 2332 2328 2524 2292 2384 2580 2348 2512 2428 2616 2448 2652 2564 2388 2500 2432 2320 2324 2280 2420 2400 2328 2460 2416 2600 2580 2440 2456 2284 2488 2552 2280 2628 2608 2448 2320 2652 2456 2280 2460 2472 2360 2612 2368 2368 2476 2588 2652 2464 2440 2512 2416 2588 2388 2508 2616 2508 2416 2552 2544 2316 2656 2640 2476 2420 2652 2452 2604 2280 2612 2300 2376 2320 2336 2460 2336 2376 2396 2532 2648 2332 2620 2280 2652 2608 2416 2356 2596 2400 2288 2484 2320 2292 2620 2416 2612 2424 2388 2280 2516 2560 2408 2636 2428 2320 2548 2556 2452 2612 2568 2612 2408 2580 2616 2504 2620 2336 2468 2492 2588 2504 2412 2604 2556 2592 2328 2468 2420 2416 2376 2504 2628 2460 2624 2280 2456 2572 2356 2380 2320 2320 2356 2420 2408 2324 2512 2544 2292 2448 2540 2412 2476 2528 2408 2600 2376 2480 2644 2376 2628 2516 2320 2608 2280 2596 2604 2332 2516 2284 2280 2316 2340 2512 2656 2548 2596 2564 2576 2460 2340 2392 2556 2516 2428 2508 2516 2472 2552 2612 2288 4 1 1 0 0 0 1 1 1 1 1 1 0 1 1 0 0 1 0 1 1 1 0 0 0 0 1 0 1 0 1 1 1 1 0 0 0 1 1 0 0 0 1 0 1 1 1 0 0 1 1 1 1 0 1 1 0 1 1 1 0 0 1 1 0 0 0 1 1 1 0 0 1 0 1 1 0 0 1 0 0 0 0 1 1 1 0 1 1 1 1 0 0 0 1 1 0 1 1 1 1 0 1 0 0 0 1 0 0 1 0 0 1 0 0 0 1 1 0 0 1 1 1 0 0 0 0 1 0 0 0 0 0 1 0 1 1 1 0 1 1 1 1 1 0 1 0 0 0 0 0 0 1 0 0 1 1 0 0 1 0 0 1 1 0 0 0 1 1 1 0 1 1 0 0 1 0 1 1 0 1 1 1 0 0 0 1 1 0 0 1 0 1 0 1 0 0 1 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 0 3 0 0 0 1 0 0 0 0 0 2 0 0 2 1 0 0 0 0 1 1 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 1 0 3 0 3 2 1 0 0 3 0 0 0 0 0 0 0 1 0 0 0 0 0 3 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 3 0 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 1 0 0 0 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 3 0 0 0 3 0 0 1 0 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 1 0 0 0 0 1 0 0 0 2 0 3 0 0 0 0 3 1 0 0 0 0 1 1 0 2 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 2 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 3 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 3 0 0 0 0 0 1 1 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 0 1 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 3 0 0 0 0 2 0 0 1 1 1 0 0 0 0 0 1 2 1 0 0 0 0 0 0 0 0 0 0 0 0 2 0 3 1 0 0 0 0 0 0 0 1 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 3 0 0 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 0 1 0 0 0 0 0 0 0 0 0 0 3 0 0 1 0 0 0 3 0 0 0 1 1 0 0 0 3 1 1 0 0 0 0 0 0 1 3 0 0 0 0 0 0 0 0 0 0 0 2 0 0 3 0 0 0 0 0 0 0 0 1 0 0 0 1 3 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 3 1 3 3 0 0 0 0 2 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 1 1 0 3 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 1 0 0 1 0 1 1 0 0 0 1 0 0 0 1 1 0 0 2 0 0 1 0 0 0 0 0 1 1 0 1 1 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 1 0 3 1 0 0 3 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 1 0 3 1 0 0 0 0 0 1 0 0 1 0 0 0 1 0 1 1 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 0 3 0 0 0 1 0 0 0 1 </values>
2520.04/2520.01	v </instantiation>
2520.04/2520.01

Verifier Data 

OK	35891368

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4299025-1532782629/watcher-4299025-1532782629 -o /tmp/evaluation-result-4299025-1532782629/solver-4299025-1532782629 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1532775038-27467 --watchdog 2580 HOME/cosoco -lc -model -restarts HOME/instance-4299025-1532782629.xml 

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

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=28305, runsolver pid=28302
Current StackSize limit: 8192 KiB


[startup+0.100203 s]*
/proc/loadavg: 2.28 2.08 2.06 3/192 28306
/proc/meminfo: memFree=26612700/32770624 swapFree=67108856/67108860
[pid=28305] ppid=28302 vsize=37944 memory=14176 CPUtime=0.1 cores=0,2,4,6
/proc/28305/stat : 28305 (cosoco) R 28302 28305 27436 0 -1 4202496 3709 0 0 0 10 0 0 0 20 0 1 0 95826125 38854656 3544 33554432000 4194304 6142532 140720572918080 140720572914712 5801573 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8243016 8247936 15163392 140720572925062 140720572925192 140720572925192 140720572927950 0
/proc/28305/statm: 9486 3544 791 476 0 2808 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 37944 KiB
Current children cumulated memory: 14176 KiB

[startup+0.209843 s]*
/proc/loadavg: 2.28 2.08 2.06 3/192 28306
/proc/meminfo: memFree=26615072/32770624 swapFree=67108856/67108860
[pid=28305] ppid=28302 vsize=39260 memory=15496 CPUtime=0.2 cores=0,2,4,6
/proc/28305/stat : 28305 (cosoco) R 28302 28305 27436 0 -1 4202496 4048 0 0 0 20 0 0 0 20 0 1 0 95826125 40202240 3874 33554432000 4194304 6142532 140720572918080 140720572914712 5489446 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8243016 8247936 15163392 140720572925062 140720572925192 140720572925192 140720572927950 0
/proc/28305/statm: 9815 3874 791 476 0 3137 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 39260 KiB
Current children cumulated memory: 15496 KiB

[startup+0.309223 s]*
/proc/loadavg: 2.28 2.08 2.06 3/192 28306
/proc/meminfo: memFree=26607340/32770624 swapFree=67108856/67108860
[pid=28305] ppid=28302 vsize=40892 memory=16696 CPUtime=0.3 cores=0,2,4,6
/proc/28305/stat : 28305 (cosoco) R 28302 28305 27436 0 -1 4202496 4484 0 0 0 30 0 0 0 20 0 1 0 95826125 41873408 4174 33554432000 4194304 6142532 140720572918080 140720572914712 5489200 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8243016 8247936 15163392 140720572925062 140720572925192 140720572925192 140720572927950 0
/proc/28305/statm: 10223 4174 791 476 0 3545 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 40892 KiB
Current children cumulated memory: 16696 KiB

[startup+0.70034 s]
/proc/loadavg: 2.33 2.09 2.07 3/192 28306
/proc/meminfo: memFree=26603156/32770624 swapFree=67108856/67108860
[pid=28305] ppid=28302 vsize=45776 memory=21444 CPUtime=0.69 cores=0,2,4,6
/proc/28305/stat : 28305 (cosoco) R 28302 28305 27436 0 -1 4202496 5652 0 0 0 69 0 0 0 20 0 1 0 95826125 46874624 5361 33554432000 4194304 6142532 140720572918080 140720572914712 5404833 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8243016 8247936 15163392 140720572925062 140720572925192 140720572925192 140720572927950 0
/proc/28305/statm: 11444 5361 791 476 0 4766 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 45776 KiB
Current children cumulated memory: 21444 KiB

[startup+1.50035 s]
/proc/loadavg: 2.33 2.09 2.07 3/192 28306
/proc/meminfo: memFree=26617620/32770624 swapFree=67108856/67108860
[pid=28305] ppid=28302 vsize=54344 memory=29892 CPUtime=1.49 cores=0,2,4,6
/proc/28305/stat : 28305 (cosoco) R 28302 28305 27436 0 -1 4202496 7748 0 0 0 148 1 0 0 20 0 1 0 95826125 55648256 7473 33554432000 4194304 6142532 140720572918080 140720572914712 5404814 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8243016 8247936 15163392 140720572925062 140720572925192 140720572925192 140720572927950 0
/proc/28305/statm: 13586 7473 791 476 0 6908 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 54344 KiB
Current children cumulated memory: 29892 KiB

[startup+3.10964 s]
/proc/loadavg: 2.33 2.09 2.07 3/192 28306
/proc/meminfo: memFree=26590404/32770624 swapFree=67108856/67108860
[pid=28305] ppid=28302 vsize=73936 memory=48580 CPUtime=3.1 cores=0,2,4,6
/proc/28305/stat : 28305 (cosoco) R 28302 28305 27436 0 -1 4202496 13037 0 0 0 309 1 0 0 20 0 1 0 95826125 75710464 12145 33554432000 4194304 6142532 140720572918080 140720572914728 139907508562944 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8243016 8247936 15163392 140720572925062 140720572925192 140720572925192 140720572927950 0
/proc/28305/statm: 18484 12145 791 476 0 11806 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 73936 KiB
Current children cumulated memory: 48580 KiB

[startup+6.30033 s]
/proc/loadavg: 2.31 2.09 2.07 3/192 28306
/proc/meminfo: memFree=26525320/32770624 swapFree=67108856/67108860
[pid=28305] ppid=28302 vsize=110908 memory=84224 CPUtime=6.29 cores=0,2,4,6
/proc/28305/stat : 28305 (cosoco) R 28302 28305 27436 0 -1 4202496 22882 0 0 0 626 3 0 0 20 0 1 0 95826125 113569792 21056 33554432000 4194304 6142532 140720572918080 140720572914728 5801870 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8243016 8247936 15163392 140720572925062 140720572925192 140720572925192 140720572927950 0
/proc/28305/statm: 27727 21056 791 476 0 21049 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 110908 KiB
Current children cumulated memory: 84224 KiB

[startup+12.7003 s]
/proc/loadavg: 2.28 2.09 2.07 3/192 28306
/proc/meminfo: memFree=26392360/32770624 swapFree=67108856/67108860
[pid=28305] ppid=28302 vsize=186212 memory=156604 CPUtime=12.69 cores=0,2,4,6
/proc/28305/stat : 28305 (cosoco) R 28302 28305 27436 0 -1 4202496 41854 0 0 0 1263 6 0 0 20 0 1 0 95826125 190681088 39151 33554432000 4194304 6142532 140720572918080 140720572914728 5462033 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8243016 8247936 15163392 140720572925062 140720572925192 140720572925192 140720572927950 0
/proc/28305/statm: 46553 39151 791 476 0 39875 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 186212 KiB
Current children cumulated memory: 156604 KiB

[startup+25.5003 s]
/proc/loadavg: 2.24 2.09 2.07 3/192 28306
/proc/meminfo: memFree=26118076/32770624 swapFree=67108856/67108860
[pid=28305] ppid=28302 vsize=321320 memory=286600 CPUtime=25.49 cores=0,2,4,6
/proc/28305/stat : 28305 (cosoco) R 28302 28305 27436 0 -1 4202496 77171 0 0 0 2537 12 0 0 20 0 1 0 95826125 329031680 71650 33554432000 4194304 6142532 140720572918080 140720572914728 5800082 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8243016 8247936 15163392 140720572925062 140720572925192 140720572925192 140720572927950 0
/proc/28305/statm: 80330 71650 794 476 0 73652 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 321320 KiB
Current children cumulated memory: 286600 KiB

[startup+51.1098 s]
/proc/loadavg: 2.15 2.08 2.06 3/192 28306
/proc/meminfo: memFree=25628276/32770624 swapFree=67108856/67108860
[pid=28305] ppid=28302 vsize=522076 memory=484332 CPUtime=51.11 cores=0,2,4,6
/proc/28305/stat : 28305 (cosoco) R 28302 28305 27436 0 -1 4202496 268899 0 0 0 5085 26 0 0 20 0 1 0 95826125 534605824 121083 33554432000 4194304 6142532 140720572918080 140720572914904 5017806 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 15163392 140720572925062 140720572925192 140720572925192 140720572927950 0
/proc/28305/statm: 130519 121083 848 476 0 123841 0
Current children cumulated CPU time: 51.11 s
Current children cumulated vsize: 522076 KiB
Current children cumulated memory: 484332 KiB

[startup+102.3 s]
/proc/loadavg: 2.06 2.07 2.06 3/192 28308
/proc/meminfo: memFree=25041824/32770624 swapFree=67108856/67108860
[pid=28305] ppid=28302 vsize=548596 memory=510392 CPUtime=102.29 cores=0,2,4,6
/proc/28305/stat : 28305 (cosoco) R 28302 28305 27436 0 -1 4202496 394570 0 0 0 10196 33 0 0 20 0 1 0 95826125 561762304 127598 33554432000 4194304 6142532 140720572918080 140720572915608 5017820 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 15163392 140720572925062 140720572925192 140720572925192 140720572927950 0
/proc/28305/statm: 137149 127598 850 476 0 130471 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 548596 KiB
Current children cumulated memory: 510392 KiB

[startup+162.3 s]
/proc/loadavg: 2.02 2.05 2.05 3/191 28309
/proc/meminfo: memFree=24433632/32770624 swapFree=67108856/67108860
[pid=28305] ppid=28302 vsize=549988 memory=511784 CPUtime=162.3 cores=0,2,4,6
/proc/28305/stat : 28305 (cosoco) R 28302 28305 27436 0 -1 4202496 479002 0 0 0 16193 37 0 0 20 0 1 0 95826125 563187712 127946 33554432000 4194304 6142532 140720572918080 140720572915608 5347460 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 15163392 140720572925062 140720572925192 140720572925192 140720572927950 0
/proc/28305/statm: 137497 127946 850 476 0 130819 0
Current children cumulated CPU time: 162.3 s
Current children cumulated vsize: 549988 KiB
Current children cumulated memory: 511784 KiB

[startup+222.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/191 28317
/proc/meminfo: memFree=23707712/32770624 swapFree=67108856/67108860
[pid=28305] ppid=28302 vsize=550548 memory=512224 CPUtime=222.31 cores=0,2,4,6
/proc/28305/stat : 28305 (cosoco) R 28302 28305 27436 0 -1 4202496 583686 0 0 0 22188 43 0 0 20 0 1 0 95826125 563761152 128056 33554432000 4194304 6142532 140720572918080 140720572905352 5017767 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 15163392 140720572925062 140720572925192 140720572925192 140720572927950 0
/proc/28305/statm: 137637 128056 850 476 0 130959 0
Current children cumulated CPU time: 222.31 s
Current children cumulated vsize: 550548 KiB
Current children cumulated memory: 512224 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/192 28341
/proc/meminfo: memFree=23690924/32770624 swapFree=67108856/67108860
[pid=28305] ppid=28302 vsize=550960 memory=512608 CPUtime=282.31 cores=0,2,4,6
/proc/28305/stat : 28305 (cosoco) R 28302 28305 27436 0 -1 4202496 682711 0 0 0 28183 48 0 0 20 0 1 0 95826125 564183040 128152 33554432000 4194304 6142532 140720572918080 140720572915608 5017759 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 15163392 140720572925062 140720572925192 140720572925192 140720572927950 0
/proc/28305/statm: 137740 128152 850 476 0 131062 0
Current children cumulated CPU time: 282.31 s
Current children cumulated vsize: 550960 KiB
Current children cumulated memory: 512608 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/192 28343
/proc/meminfo: memFree=23666688/32770624 swapFree=67108856/67108860
[pid=28305] ppid=28302 vsize=550960 memory=512608 CPUtime=342.32 cores=0,2,4,6
/proc/28305/stat : 28305 (cosoco) R 28302 28305 27436 0 -1 4202496 746475 0 0 0 34181 51 0 0 20 0 1 0 95826125 564183040 128152 33554432000 4194304 6142532 140720572918080 140720572915608 5017712 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 15163392 140720572925062 140720572925192 140720572925192 140720572927950 0
/proc/28305/statm: 137740 128152 850 476 0 131062 0
Current children cumulated CPU time: 342.32 s
Current children cumulated vsize: 550960 KiB
Current children cumulated memory: 512608 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/193 28345
/proc/meminfo: memFree=23623676/32770624 swapFree=67108856/67108860
[pid=28305] ppid=28302 vsize=551376 memory=512940 CPUtime=402.32 cores=0,2,4,6
/proc/28305/stat : 28305 (cosoco) R 28302 28305 27436 0 -1 4202496 854970 0 0 0 40175 57 0 0 20 0 1 0 95826125 564609024 128235 33554432000 4194304 6142532 140720572918080 140720572905352 5017431 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 15163392 140720572925062 140720572925192 140720572925192 140720572927950 0
/proc/28305/statm: 137844 128235 850 476 0 131166 0
Current children cumulated CPU time: 402.32 s
Current children cumulated vsize: 551376 KiB
Current children cumulated memory: 512940 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/193 28346
/proc/meminfo: memFree=23609992/32770624 swapFree=67108856/67108860
[pid=28305] ppid=28302 vsize=551376 memory=512940 CPUtime=462.32 cores=0,2,4,6
/proc/28305/stat : 28305 (cosoco) R 28302 28305 27436 0 -1 4202496 925456 0 0 0 46172 60 0 0 20 0 1 0 95826125 564609024 128235 33554432000 4194304 6142532 140720572918080 140720572905352 5013840 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 15163392 140720572925062 140720572925192 140720572925192 140720572927950 0
/proc/28305/statm: 137844 128235 850 476 0 131166 0
Current children cumulated CPU time: 462.32 s
Current children cumulated vsize: 551376 KiB
Current children cumulated memory: 512940 KiB


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

/proc/28305/statm: 138565 128961 850 476 0 131887 0
Current children cumulated CPU time: 1722.41 s
Current children cumulated vsize: 554260 KiB
Current children cumulated memory: 515844 KiB

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 28388
/proc/meminfo: memFree=23360060/32770624 swapFree=67108856/67108860
[pid=28305] ppid=28302 vsize=554260 memory=515852 CPUtime=1782.41 cores=0,2,4,6
/proc/28305/stat : 28305 (cosoco) R 28302 28305 27436 0 -1 4202496 2514425 0 0 0 178090 151 0 0 20 0 1 0 95826125 567562240 128963 33554432000 4194304 6142532 140720572918080 140720572905352 5017767 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 15163392 140720572925062 140720572925192 140720572925192 140720572927950 0
/proc/28305/statm: 138565 128963 850 476 0 131887 0
Current children cumulated CPU time: 1782.41 s
Current children cumulated vsize: 554260 KiB
Current children cumulated memory: 515852 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 28390
/proc/meminfo: memFree=23356848/32770624 swapFree=67108856/67108860
[pid=28305] ppid=28302 vsize=554260 memory=519464 CPUtime=1842.39 cores=0,2,4,6
/proc/28305/stat : 28305 (cosoco) R 28302 28305 27436 0 -1 4202496 2565933 0 0 0 184085 154 0 0 20 0 1 0 95826125 567562240 129866 33554432000 4194304 6142532 140720572918080 140720572905352 4991359 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 15163392 140720572925062 140720572925192 140720572925192 140720572927950 0
/proc/28305/statm: 138565 129866 850 476 0 131887 0
Current children cumulated CPU time: 1842.39 s
Current children cumulated vsize: 554260 KiB
Current children cumulated memory: 519464 KiB

[startup+1902.3 s]
/proc/loadavg: 2.56 2.17 2.09 3/191 28392
/proc/meminfo: memFree=23352804/32770624 swapFree=67108856/67108860
[pid=28305] ppid=28302 vsize=554260 memory=523416 CPUtime=1902.37 cores=0,2,4,6
/proc/28305/stat : 28305 (cosoco) R 28302 28305 27436 0 -1 4202496 2575515 0 0 0 190082 155 0 0 20 0 1 0 95826125 567562240 130854 33554432000 4194304 6142532 140720572918080 140720572905352 5013907 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 15163392 140720572925062 140720572925192 140720572925192 140720572927950 0
/proc/28305/statm: 138565 130854 850 476 0 131887 0
Current children cumulated CPU time: 1902.37 s
Current children cumulated vsize: 554260 KiB
Current children cumulated memory: 523416 KiB

[startup+1962.3 s]
/proc/loadavg: 2.21 2.14 2.09 3/191 28393
/proc/meminfo: memFree=23349336/32770624 swapFree=67108856/67108860
[pid=28305] ppid=28302 vsize=554260 memory=526996 CPUtime=1962.35 cores=0,2,4,6
/proc/28305/stat : 28305 (cosoco) R 28302 28305 27436 0 -1 4202496 2634160 0 0 0 196076 159 0 0 20 0 1 0 95826125 567562240 131749 33554432000 4194304 6142532 140720572918080 140720572905352 5017767 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 15163392 140720572925062 140720572925192 140720572925192 140720572927950 0
/proc/28305/statm: 138565 131749 850 476 0 131887 0
Current children cumulated CPU time: 1962.35 s
Current children cumulated vsize: 554260 KiB
Current children cumulated memory: 526996 KiB

[startup+2022.3 s]
/proc/loadavg: 2.08 2.11 2.08 3/191 28401
/proc/meminfo: memFree=23345688/32770624 swapFree=67108856/67108860
[pid=28305] ppid=28302 vsize=554260 memory=530192 CPUtime=2022.33 cores=0,2,4,6
/proc/28305/stat : 28305 (cosoco) R 28302 28305 27436 0 -1 4202496 2646855 0 0 0 202074 159 0 0 20 0 1 0 95826125 567562240 132548 33554432000 4194304 6142532 140720572918080 140720572905352 5017979 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 15163392 140720572925062 140720572925192 140720572925192 140720572927950 0
/proc/28305/statm: 138565 132548 850 476 0 131887 0
Current children cumulated CPU time: 2022.33 s
Current children cumulated vsize: 554260 KiB
Current children cumulated memory: 530192 KiB

[startup+2082.3 s]
/proc/loadavg: 2.03 2.09 2.08 3/191 28402
/proc/meminfo: memFree=23345816/32770624 swapFree=67108856/67108860
[pid=28305] ppid=28302 vsize=554260 memory=530192 CPUtime=2082.32 cores=0,2,4,6
/proc/28305/stat : 28305 (cosoco) R 28302 28305 27436 0 -1 4202496 2651535 0 0 0 208072 160 0 0 20 0 1 0 95826125 567562240 132548 33554432000 4194304 6142532 140720572918080 140720572905352 5018336 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 15163392 140720572925062 140720572925192 140720572925192 140720572927950 0
/proc/28305/statm: 138565 132548 850 476 0 131887 0
Current children cumulated CPU time: 2082.32 s
Current children cumulated vsize: 554260 KiB
Current children cumulated memory: 530192 KiB

[startup+2142.3 s]
/proc/loadavg: 2.01 2.07 2.07 3/191 28404
/proc/meminfo: memFree=23345680/32770624 swapFree=67108856/67108860
[pid=28305] ppid=28302 vsize=554260 memory=530844 CPUtime=2142.31 cores=0,2,4,6
/proc/28305/stat : 28305 (cosoco) R 28302 28305 27436 0 -1 4202496 2652386 0 0 0 214071 160 0 0 20 0 1 0 95826125 567562240 132711 33554432000 4194304 6142532 140720572918080 140720572905352 5017923 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 15163392 140720572925062 140720572925192 140720572925192 140720572927950 0
/proc/28305/statm: 138565 132711 850 476 0 131887 0
Current children cumulated CPU time: 2142.31 s
Current children cumulated vsize: 554260 KiB
Current children cumulated memory: 530844 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.06 2.07 3/191 28405
/proc/meminfo: memFree=23345644/32770624 swapFree=67108856/67108860
[pid=28305] ppid=28302 vsize=554260 memory=530844 CPUtime=2202.32 cores=0,2,4,6
/proc/28305/stat : 28305 (cosoco) R 28302 28305 27436 0 -1 4202496 2653131 0 0 0 220072 160 0 0 20 0 1 0 95826125 567562240 132711 33554432000 4194304 6142532 140720572918080 140720572905352 5017759 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 15163392 140720572925062 140720572925192 140720572925192 140720572927950 0
/proc/28305/statm: 138565 132711 850 476 0 131887 0
Current children cumulated CPU time: 2202.32 s
Current children cumulated vsize: 554260 KiB
Current children cumulated memory: 530844 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.05 2.06 3/191 28406
/proc/meminfo: memFree=23345512/32770624 swapFree=67108856/67108860
[pid=28305] ppid=28302 vsize=554260 memory=530844 CPUtime=2262.32 cores=0,2,4,6
/proc/28305/stat : 28305 (cosoco) R 28302 28305 27436 0 -1 4202496 2653868 0 0 0 226072 160 0 0 20 0 1 0 95826125 567562240 132711 33554432000 4194304 6142532 140720572918080 140720572905352 5215635 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 15163392 140720572925062 140720572925192 140720572925192 140720572927950 0
/proc/28305/statm: 138565 132711 850 476 0 131887 0
Current children cumulated CPU time: 2262.32 s
Current children cumulated vsize: 554260 KiB
Current children cumulated memory: 530844 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/190 28407
/proc/meminfo: memFree=23347648/32770624 swapFree=67108856/67108860
[pid=28305] ppid=28302 vsize=554260 memory=530844 CPUtime=2322.32 cores=0,2,4,6
/proc/28305/stat : 28305 (cosoco) R 28302 28305 27436 0 -1 4202496 2654603 0 0 0 232072 160 0 0 20 0 1 0 95826125 567562240 132711 33554432000 4194304 6142532 140720572918080 140720572905352 5017759 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 15163392 140720572925062 140720572925192 140720572925192 140720572927950 0
/proc/28305/statm: 138565 132711 850 476 0 131887 0
Current children cumulated CPU time: 2322.32 s
Current children cumulated vsize: 554260 KiB
Current children cumulated memory: 530844 KiB

[startup+2382.3 s]
/proc/loadavg: 2.12 2.08 2.06 3/191 28409
/proc/meminfo: memFree=23347184/32770624 swapFree=67108856/67108860
[pid=28305] ppid=28302 vsize=554260 memory=530844 CPUtime=2382.33 cores=0,2,4,6
/proc/28305/stat : 28305 (cosoco) R 28302 28305 27436 0 -1 4202496 2655279 0 0 0 238073 160 0 0 20 0 1 0 95826125 567562240 132711 33554432000 4194304 6142532 140720572918080 140720572905352 5017759 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 15163392 140720572925062 140720572925192 140720572925192 140720572927950 0
/proc/28305/statm: 138565 132711 850 476 0 131887 0
Current children cumulated CPU time: 2382.33 s
Current children cumulated vsize: 554260 KiB
Current children cumulated memory: 530844 KiB

[startup+2442.3 s]
/proc/loadavg: 2.05 2.06 2.06 3/191 28411
/proc/meminfo: memFree=23347044/32770624 swapFree=67108856/67108860
[pid=28305] ppid=28302 vsize=554260 memory=530844 CPUtime=2442.33 cores=0,2,4,6
/proc/28305/stat : 28305 (cosoco) R 28302 28305 27436 0 -1 4202496 2656091 0 0 0 244073 160 0 0 20 0 1 0 95826125 567562240 132711 33554432000 4194304 6142532 140720572918080 140720572905352 5017767 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 15163392 140720572925062 140720572925192 140720572925192 140720572927950 0
/proc/28305/statm: 138565 132711 850 476 0 131887 0
Current children cumulated CPU time: 2442.33 s
Current children cumulated vsize: 554260 KiB
Current children cumulated memory: 530844 KiB

[startup+2502.3 s]
/proc/loadavg: 2.06 2.07 2.06 3/191 28412
/proc/meminfo: memFree=23347060/32770624 swapFree=67108856/67108860
[pid=28305] ppid=28302 vsize=554260 memory=530844 CPUtime=2502.33 cores=0,2,4,6
/proc/28305/stat : 28305 (cosoco) R 28302 28305 27436 0 -1 4202496 2656750 0 0 0 250073 160 0 0 20 0 1 0 95826125 567562240 132711 33554432000 4194304 6142532 140720572918080 140720572905352 4991324 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 15163392 140720572925062 140720572925192 140720572925192 140720572927950 0
/proc/28305/statm: 138565 132711 850 476 0 131887 0
Current children cumulated CPU time: 2502.33 s
Current children cumulated vsize: 554260 KiB
Current children cumulated memory: 530844 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 1.97 2.05 2.05 6/204 28441
/proc/meminfo: memFree=23262008/32770624 swapFree=67108856/67108860
[pid=28305] ppid=28302 vsize=554260 memory=530844 CPUtime=2520.04 cores=0,2,4,6
/proc/28305/stat : 28305 (cosoco) R 28302 28305 27436 0 -1 4202496 2656830 0 0 0 251844 160 0 0 20 0 1 0 95826125 567562240 132711 33554432000 4194304 6142532 140720572918080 140720572905352 5017767 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 15163392 140720572925062 140720572925192 140720572925192 140720572927950 0
/proc/28305/statm: 138565 132711 850 476 0 131887 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 554260 KiB
Current children cumulated memory: 530844 KiB

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

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

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

Child status: 1
Real time (s): 2520.01
CPU time (s): 2520.06
CPU user time (s): 2518.45
CPU system time (s): 1.6101
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 554260
Max. memory (cumulated for all children) (KiB): 530844

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.45
system time used= 1.6101
maximum resident set size= 530908
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2656883
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= 214
involuntary context switches= 770


# summary of solver processes directly reported to runsolver:
#   pid: 28305
#   total CPU time (s): 2520.06
#   total CPU user time (s): 2518.45
#   total CPU system time (s): 1.6101

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.2348 second user time and 17.6568 second system time

The end

Launcher Data 

Begin job on node133 at 2018-07-28 14:57:10
IDJOB=4299025
IDBENCH=141285
IDSOLVER=2761
FILE ID=node133/4299025-1532782629
RUNJOBID= node133-1532775038-27467
PBS_JOBID= 21022462
Free space on /tmp= 47576 MiB

SOLVER NAME= cosoco 1.12
BENCH NAME= XCSP18/Fapp/Fapp-ext/Fapp-ext-01-0200_c18.xml
COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4299025-1532782629/watcher-4299025-1532782629 -o /tmp/evaluation-result-4299025-1532782629/solver-4299025-1532782629 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1532775038-27467 --watchdog 2580  HOME/cosoco -lc -model -restarts HOME/instance-4299025-1532782629.xml

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

MD5SUM BENCH= 0e8e562de5d18dab033d3d20f1b4790d
RANDOM SEED=818691032

node133.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.24
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.24
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.24
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.24
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:        26627616 kB
MemAvailable:   31781080 kB
Buffers:          177628 kB
Cached:          5221336 kB
SwapCached:            0 kB
Active:          2951284 kB
Inactive:        2626620 kB
Active(anon):     130432 kB
Inactive(anon):    76688 kB
Active(file):    2820852 kB
Inactive(file):  2549932 kB
Unevictable:        7100 kB
Mlocked:            7100 kB
SwapTotal:      67108860 kB
SwapFree:       67108856 kB
Dirty:            150860 kB
Writeback:         70524 kB
AnonPages:        185960 kB
Mapped:            42676 kB
Shmem:             25244 kB
Slab:             264760 kB
SReclaimable:     197032 kB
SUnreclaim:        67728 kB
KernelStack:        3392 kB
PageTables:         5224 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     487720 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      6144 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      116096 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 47576 MiB
End job on node133 at 2018-07-28 15:39:10