Trace number 4266357

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 NameAnswerCPU timeWall clock time
cosoco-sat 1.12SAT 3.1131401 3.1189101

General information on the benchmark

NameSat/
Sat-dual-flat200-479/Sat-flat200-55-dual.xml
MD5SUM5b8ecf8a7d2901cb06b5717f26e52ae6
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark3.95363
Satisfiable
(Un)Satisfiability was proved
Number of variables2237
Number of constraints16233
Number of domains2
Minimum domain size3
Maximum domain size7
Distribution of domain sizes[{"size":3,"count":2037},{"size":7,"count":200}]
Minimum variable degree5
Maximum variable degree27
Distribution of variable degrees[{"degree":5,"count":24},{"degree":6,"count":8},{"degree":7,"count":45},{"degree":8,"count":3},{"degree":9,"count":96},{"degree":10,"count":36},{"degree":11,"count":162},{"degree":12,"count":137},{"degree":13,"count":294},{"degree":14,"count":219},{"degree":15,"count":376},{"degree":16,"count":243},{"degree":17,"count":276},{"degree":18,"count":150},{"degree":19,"count":84},{"degree":20,"count":15},{"degree":21,"count":30},{"degree":24,"count":26},{"degree":27,"count":13}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":16233}]
Number of extensional constraints16233
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":16233}]
Optimization problemNO
Type of objective

Solver Data 

0.21/0.31	c SAT : Variables: 7511 -- Clauses: 12548
0.30/0.33	c root propagations     : 800         
0.30/0.33	c restarts enabled, print stats at every restarts
0.30/0.33	c
0.30/0.33	c
0.30/0.33	c
0.30/0.33	c This is cosoco 1.12 --  
0.30/0.33	c
0.30/0.33	c command line: cosoco -lc -model -restarts -sat HOME/instance-4266357-1502571150.xml 
0.30/0.33	c ========================================[ Problem Statistics ]===========================================
0.30/0.33	c |                                                                                                       
0.30/0.33	c |  Parse time        :         0.26 s 
0.30/0.33	c |
0.30/0.33	c |               Variables: 2237
0.30/0.33	c |            Domain Sizes: 3..7
0.30/0.33	c |
0.30/0.33	c |             Constraints: 16233
0.30/0.33	c |                   Arity: 2..2  -- Binary: 16233
0.30/0.33	c | 
0.30/0.33	c |                   Types: 
0.30/0.33	c |                          Extension: 16233  (nb tuples: 5..10) -- (shared: 16220)
0.30/0.33	c |                          
0.30/0.33	c =========================================================================================================
0.30/0.33	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.30/0.35	c 10             515            104781         16497          200            1              366   502   387
0.30/0.39	c 20             957            241500         41942          200            2              166   410   280
0.30/0.41	c 30             1047           371588         66517          200            7              21   37   27   
0.41/0.44	c 40             1143           500506         90649          200            9              23   38   29   
0.41/0.46	c 50             1263           606066         111129         200            13             35   67   41   
0.41/0.48	c 60             1406           689525         126775         200            18             26   71   43   
0.41/0.50	c 70             1550           826903         152923         200            20             43   66   50   
0.51/0.53	c 80             1669           943856         174075         200            21             35   62   43   
0.51/0.55	c 90             1815           1042647        191787         200            24             43   72   48   
0.51/0.57	c 100            1917           1164847        215021         200            26             33   57   40   
0.51/0.58	c 101            1971           1189212        217824         200            27             54   54   27   
0.51/0.60	c 110            2066           1292702        236835         200            28             37   50   37   
0.60/0.62	c 120            2219           1418119        259389         200            31             35   76   46   
0.60/0.64	c 130            2303           1518933        279695         200            33             33   49   35   
0.60/0.66	c 140            2426           1636480        302057         200            35             18   56   34   
0.60/0.68	c 150            2585           1731888        317889         200            40             33   54   39   
0.69/0.70	c 160            2686           1835977        337017         200            43             33   50   39   
0.69/0.73	c 170            2803           1958384        357939         200            44             25   52   34   
0.69/0.74	c 180            2921           2057205        375882         200            47             35   56   42   
0.69/0.77	c 190            3075           2194090        399789         200            50             37   54   40   
0.69/0.79	c 200            3165           2297024        418059         200            51             33   44   35   
0.79/0.81	c 210            3266           2407786        438836         200            52             35   49   37   
0.79/0.82	c 211            3310           2437356        443085         200            53             44   44   22   
0.79/0.84	c 220            3425           2554735        464687         200            57             29   49   34   
0.79/0.86	c 230            3530           2668167        484793         200            62             34   61   41   
0.79/0.88	c 240            3642           2781705        506551         200            63             20   46   30   
0.89/0.91	c 250            3767           2930777        534036         200            66             38   51   38   
0.89/0.93	c 260            3869           3060933        560354         200            71             15   41   26   
0.89/0.96	c 270            3973           3184064        582862         200            74             23   52   30   
0.89/0.99	c 280            4086           3332189        610754         200            78             29   44   33   
0.89/1.00	c 290            4159           3408303        623995         200            79             22   31   24   
1.00/1.03	c 300            4274           3562958        653352         200            82             23   37   29   
1.00/1.05	c 310            4360           3662251        671645         200            84             27   46   30   
1.00/1.07	c 320            4477           3760958        688529         200            86             14   52   27   
1.00/1.09	c 330            4565           3877956        709448         200            88             20   38   27   
1.00/1.10	c 332            4604           3921441        717001         200            90             31   34   21   
1.10/1.11	c 340            4706           3999583        729843         200            92             33   55   39   
1.10/1.13	c 350            4799           4090243        745845         200            97             26   37   30   
1.10/1.15	c 360            4897           4210188        768091         200            100            25   40   29   
1.10/1.17	c 370            4989           4312908        787626         200            102            29   48   32   
1.10/1.20	c 380            5083           4435751        811017         200            105            26   37   28   
1.19/1.22	c 390            5208           4550063        831051         200            108            15   45   32   
1.19/1.24	c 400            5312           4658145        849910         200            110            21   44   30   
1.19/1.26	c 410            5411           4751849        867424         200            114            26   48   31   
1.19/1.27	c 420            5493           4846432        885438         200            117            29   37   30   
1.19/1.29	c 430            5591           4943192        902718         200            119            27   45   31   
1.29/1.32	c 440            5712           5087725        929002         200            121            25   40   30   
1.29/1.34	c 450            5826           5223917        952476         200            123            22   40   31   
1.29/1.36	c 460            5906           5314456        969463         200            126            16   30   22   
1.29/1.37	c 465            5969           5388290        982149         200            128            29   33   25   
1.29/1.39	c 470            6037           5452102        992108         200            132            29   44   31   
1.39/1.41	c 480            6155           5576509        1014321        200            135            25   48   33   
1.39/1.43	c 490            6248           5689776        1033137        200            136            20   49   28   
1.39/1.44	c 500            6333           5757608        1044216        200            138            25   47   30   
1.39/1.47	c 510            6432           5878176        1066535        200            139            25   38   29   
1.39/1.48	c 520            6518           5975797        1083877        200            141            26   41   31   
1.49/1.52	c 530            6677           6170293        1118048        200            143            23   48   31   
1.49/1.54	c 540            6752           6265174        1135137        200            146            27   44   32   
1.49/1.56	c 550            6857           6377289        1155532        200            151            19   35   26   
1.49/1.58	c 560            6965           6482442        1173582        200            156            17   40   29   
1.49/1.59	c 570            7041           6585256        1192695        200            159            16   31   22   
1.59/1.61	c 580            7134           6674612        1208200        200            160            25   55   34   
1.59/1.64	c 590            7225           6801957        1231130        200            162            21   36   27   
1.59/1.65	c 600            7306           6897350        1247947        200            164            21   41   29   
1.59/1.68	c 610            7415           7030731        1271974        200            169            19   36   26   
1.59/1.68	c 611            7449           7058687        1275784        200            170            34   34   17   
1.69/1.70	c 620            7514           7150315        1292049        200            175            18   37   23   
1.69/1.72	c 630            7593           7247182        1309058        200            179            24   33   25   
1.69/1.73	c 640            7672           7342060        1326362        200            181            22   32   25   
1.69/1.76	c 650            7776           7464897        1348090        200            182            27   38   28   
1.69/1.78	c 660            7857           7566950        1365324        200            186            18   38   22   
1.79/1.80	c 670            7947           7674691        1384725        200            188            21   35   26   
1.79/1.82	c 680            8023           7802171        1409507        200            192            18   33   21   
1.79/1.84	c 690            8112           7889341        1424685        200            195            20   49   27   
1.79/1.86	c 700            8220           8020366        1449606        200            199            28   42   29   
1.79/1.88	c 710            8309           8141543        1470847        200            200            24   37   26   
1.89/1.91	c 720            8411           8273247        1494009        200            204            20   32   24   
1.89/1.93	c 730            8495           8375409        1513019        200            205            23   36   25   
1.89/1.95	c 740            8570           8478473        1531687        200            207            20   32   22   
1.89/1.97	c 750            8696           8626616        1557867        200            211            27   38   29   
1.89/2.00	c 760            8789           8748457        1580300        200            215            20   35   25   
2.00/2.03	c 770            8871           8834678        1594928        200            219            16   35   25   
2.00/2.03	c 771            8903           8866114        1599115        200            220            32   32   16   
2.00/2.05	c 780            8980           8944580        1612681        200            224            19   41   28   
2.00/2.07	c 790            9060           9064208        1634738        200            227            18   34   24   
2.00/2.09	c 800            9165           9170181        1652747        200            230            17   41   25   
2.09/2.11	c 810            9250           9273878        1671022        200            232            18   40   24   
2.09/2.13	c 820            9336           9369997        1688193        200            234            25   38   29   
2.09/2.15	c 830            9423           9497650        1711511        200            238            18   34   24   
2.09/2.18	c 840            9510           9625076        1735173        200            241            16   35   22   
2.18/2.20	c 850            9655           9750989        1756556        200            246            22   50   35   
2.18/2.22	c 860            9765           9866550        1777494        200            250            25   48   30   
2.18/2.25	c 870            9889           10010453       1803878        200            254            23   38   26   
2.18/2.27	c 880            10006          10139544       1827036        200            257            18   41   28   
2.18/2.29	c 890            10083          10247528       1847204        200            261            22   31   24   
2.28/2.31	c 900            10182          10351094       1865825        200            265            17   37   26   
2.28/2.34	c 910            10302          10497815       1891900        200            271            22   41   27   
2.28/2.36	c 920            10398          10611918       1911474        200            274            19   41   29   
2.28/2.39	c 930            10516          10729687       1933149        200            276            22   37   28   
2.38/2.41	c 940            10644          10863126       1957098        200            279            17   38   27   
2.38/2.43	c 947            10726          10957032       1973674        200            282            19   33   24   
2.38/2.44	c 950            10766          11008950       1982658        200            283            28   36   23   
2.38/2.47	c 960            10885          11161169       2011682        200            285            22   36   27   
2.48/2.50	c 970            11000          11289310       2034110        200            288            20   39   26   
2.48/2.53	c 980            11128          11440363       2061142        200            291            22   41   30   
2.48/2.55	c 990            11257          11568510       2083775        200            293            21   43   31   
2.48/2.57	c 1000           11353          11677527       2104672        200            294            21   40   27   
2.48/2.59	c 1010           11450          11786751       2123740        200            298            24   41   29   
2.59/2.61	c 1020           11528          11883066       2141823        200            301            13   36   23   
2.59/2.63	c 1030           11628          11989552       2162062        200            304            22   36   25   
2.59/2.65	c 1040           11726          12114986       2184497        200            307            22   40   30   
2.59/2.67	c 1050           11808          12199988       2200042        200            311            24   40   28   
2.69/2.70	c 1060           11947          12358052       2227307        200            312            33   48   37   
2.69/2.72	c 1070           12059          12468923       2246642        200            314            28   42   30   
2.69/2.73	c 1080           12146          12557144       2262316        200            317            25   44   31   
2.69/2.75	c 1090           12243          12669461       2282728        200            318            18   37   26   
2.69/2.77	c 1100           12315          12777758       2303205        200            321            19   38   25   
2.69/2.80	c 1110           12420          12889284       2322420        200            323            26   42   32   
2.79/2.82	c 1120           12537          13007988       2343560        200            327            20   45   27   
2.79/2.84	c 1130           12621          13109735       2362215        200            330            29   39   30   
2.79/2.86	c 1140           12720          13222086       2383259        200            333            24   38   28   
2.79/2.86	c 1141           12734          13245868       2387445        200            334            14   14   7    
2.79/2.88	c 1150           12816          13328381       2401228        200            338            23   38   28   
2.79/2.89	c 1160           12904          13418189       2417872        200            344            22   31   22   
2.89/2.92	c 1170           12998          13544770       2442250        200            346            23   37   28   
2.89/2.94	c 1180           13088          13661833       2463852        200            348            24   42   27   
2.89/2.96	c 1190           13199          13784998       2485978        200            354            25   37   30   
2.89/2.98	c 1200           13281          13874115       2501738        200            355            23   39   27   
2.89/3.00	c 1210           13384          13988442       2522268        200            359            14   45   25   
3.00/3.03	c 1220           13477          14124793       2547249        200            363            22   43   29   
3.00/3.04	c 1230           13565          14216116       2564461        200            367            25   36   29   
3.00/3.09	c solution 1
3.00/3.09	
3.00/3.09	v <instantiation type='solution'>
3.00/3.09	v <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[90] x[91] x[92] x[93] x[94] x[95] x[96] x[97] x[98] x[99] x[100] x[101] x[102] x[103] x[104] x[105] x[106] x[107] x[108] x[109] x[110] x[111] x[112] x[113] x[114] x[115] x[116] x[117] x[118] x[119] x[120] x[121] x[122] x[123] x[124] x[125] x[126] x[127] x[128] x[129] x[130] x[131] x[132] x[133] x[134] x[135] x[136] x[137] x[138] x[139] x[140] x[141] x[142] x[143] x[144] x[145] x[146] x[147] x[148] x[149] x[150] x[151] x[152] x[153] x[154] x[155] x[156] x[157] x[158] x[159] x[160] x[161] x[162] x[163] x[164] x[165] x[166] x[167] x[168] x[169] x[170] x[171] x[172] x[173] x[174] x[175] x[176] x[177] x[178] x[179] x[180] x[181] x[182] x[183] x[184] x[185] x[186] x[187] x[188] x[189] x[190] x[191] x[192] x[193] x[194] x[195] x[196] x[197] x[198] x[199] x[200] x[201] x[202] x[203] x[204] x[205] x[206] x[207] x[208] x[209] x[210] x[211] x[212] x[213] x[214] x[215] x[216] x[217] x[218] x[219] x[220] x[221] x[222] x[223] x[224] x[225] x[226] x[227] x[228] x[229] x[230] x[231] x[232] x[233] x[234] x[235] x[236] x[237] x[238] x[239] x[240] x[241] x[242] x[243] x[244] x[245] x[246] x[247] x[248] x[249] x[250] x[251] x[252] x[253] x[254] x[255] x[256] x[257] x[258] x[259] x[260] x[261] x[262] x[263] x[264] x[265] x[266] x[267] x[268] x[269] x[270] x[271] x[272] x[273] x[274] x[275] x[276] x[277] x[278] x[279] x[280] x[281] x[282] x[283] x[284] x[285] x[286] x[287] x[288] x[289] x[290] x[291] x[292] x[293] x[294] x[295] x[296] x[297] x[298] x[299] x[300] x[301] x[302] x[303] x[304] x[305] x[306] x[307] x[308] x[309] x[310] x[311] x[312] x[313] x[314] x[315] x[316] x[317] x[318] x[319] x[320] x[321] x[322] x[323] x[324] x[325] x[326] x[327] x[328] x[329] x[330] x[331] x[332] x[333] x[334] x[335] x[336] x[337] x[338] x[339] x[340] x[341] x[342] x[343] x[344] x[345] x[346] x[347] x[348] x[349] x[350] x[351] x[352] x[353] x[354] x[355] x[356] x[357] x[358] x[359] x[360] x[361] x[362] x[363] x[364] x[365] x[366] x[367] x[368] x[369] x[370] x[371] x[372] x[373] x[374] x[375] x[376] x[377] x[378] x[379] x[380] x[381] x[382] x[383] x[384] x[385] x[386] x[387] x[388] x[389] x[390] x[391] x[392] x[393] x[394] x[395] x[396] x[397] x[398] x[399] x[400] x[401] x[402] x[403] x[404] x[405] x[406] x[407] x[408] x[409] x[410] x[411] x[412] x[413] x[414] x[415] x[416] x[417] x[418] x[419] x[420] x[421] x[422] x[423] x[424] x[425] x[426] x[427] x[428] x[429] x[430] x[431] x[432] x[433] x[434] x[435] x[436] x[437] x[438] x[439] x[440] x[441] x[442] x[443] x[444] x[445] x[446] x[447] x[448] x[449] x[450] x[451] x[452] x[453] x[454] x[455] x[456] x[457] x[458] x[459] x[460] x[461] x[462] x[463] x[464] x[465] x[466] x[467] x[468] x[469] x[470] x[471] x[472] x[473] x[474] x[475] x[476] x[477] x[478] x[479] x[480] x[481] x[482] x[483] x[484] x[485] x[486] x[487] x[488] x[489] x[490] x[491] x[492] x[493] x[494] x[495] x[496] x[497] x[498] x[499] x[500] x[501] x[502] x[503] x[504] x[505] x[506] x[507] x[508] x[509] x[510] x[511] x[512] x[513] x[514] x[515] x[516] x[517] x[518] x[519] x[520] x[521] x[522] x[523] x[524] x[525] x[526] x[527] x[528] x[529] x[530] x[531] x[532] x[533] x[534] x[535] x[536] x[537] x[538] x[539] x[540] x[541] x[542] x[543] x[544] x[545] x[546] x[547] x[548] x[549] x[550] x[551] x[552] x[553] x[554] x[555] x[556] x[557] x[558] x[559] x[560] x[561] x[562] x[563] x[564] x[565] x[566] x[567] x[568] x[569] x[570] x[571] x[572] x[573] x[574] x[575] x[576] x[577] x[578] x[579] x[580] x[581] x[582] x[583] x[584] x[585] x[586] x[587] x[588] x[589] x[590] x[591] x[592] x[593] x[594] x[595] x[596] x[597] x[598] x[599] x[600] x[601] x[602] x[603] x[604] x[605] x[606] x[607] x[608] x[609] x[610] x[611] x[612] x[613] x[614] x[615] x[616] x[617] x[618] x[619] x[620] x[621] x[622] x[623] x[624] x[625] x[626] x[627] x[628] x[629] x[630] x[631] x[632] x[633] x[634] x[635] x[636] x[637] x[638] x[639] x[640] x[641] x[642] x[643] x[644] x[645] x[646] x[647] x[648] x[649] x[650] x[651] x[652] x[653] x[654] x[655] x[656] x[657] x[658] x[659] x[660] x[661] x[662] x[663] x[664] x[665] x[666] x[667] x[668] x[669] x[670] x[671] x[672] x[673] x[674] x[675] x[676] x[677] x[678] x[679] x[680] x[681] x[682] x[683] x[684] x[685] x[686] x[687] x[688] x[689] x[690] x[691] x[692] x[693] x[694] x[695] x[696] x[697] x[698] x[699] x[700] x[701] x[702] x[703] x[704] x[705] x[706] x[707] x[708] x[709] x[710] x[711] x[712] x[713] x[714] x[715] x[716] x[717] x[718] x[719] x[720] x[721] x[722] x[723] x[724] x[725] x[726] x[727] x[728] x[729] x[730] x[731] x[732] x[733] x[734] x[735] x[736] x[737] x[738] x[739] x[740] x[741] x[742] x[743] x[744] x[745] x[746] x[747] x[748] x[749] x[750] x[751] x[752] x[753] x[754] x[755] x[756] x[757] x[758] x[759] x[760] x[761] x[762] x[763] x[764] x[765] x[766] x[767] x[768] x[769] x[770] x[771] x[772] x[773] x[774] x[775] x[776] x[777] x[778] x[779] x[780] x[781] x[782] x[783] x[784] x[785] x[786] x[787] x[788] x[789] x[790] x[791] x[792] x[793] x[794] x[795] x[796] x[797] x[798] x[799] x[800] x[801] x[802] x[803] x[804] x[805] x[806] x[807] x[808] x[809] x[810] x[811] x[812] x[813] x[814] x[815] x[816] x[817] x[818] x[819] x[820] x[821] x[822] x[823] x[824] x[825] x[826] x[827] x[828] x[829] x[830] x[831] x[832] x[833] x[834] x[835] x[836] x[837] x[838] x[839] x[840] x[841] x[842] x[843] x[844] x[845] x[846] x[847] x[848] x[849] x[850] x[851] x[852] x[853] x[854] x[855] x[856] x[857] x[858] x[859] x[860] x[861] x[862] x[863] x[864] x[865] x[866] x[867] x[868] x[869] x[870] x[871] x[872] x[873] x[874] x[875] x[876] x[877] x[878] x[879] x[880] x[881] x[882] x[883] x[884] x[885] x[886] x[887] x[888] x[889] x[890] x[891] x[892] x[893] x[894] x[895] x[896] x[897] x[898] x[899] x[900] x[901] x[902] x[903] x[904] x[905] x[906] x[907] x[908] x[909] x[910] x[911] x[912] x[913] x[914] x[915] x[916] x[917] x[918] x[919] x[920] x[921] x[922] x[923] x[924] x[925] x[926] x[927] x[928] x[929] x[930] x[931] x[932] x[933] x[934] x[935] x[936] x[937] x[938] x[939] x[940] x[941] x[942] x[943] x[944] x[945] x[946] x[947] x[948] x[949] x[950] x[951] x[952] x[953] x[954] x[955] x[956] x[957] x[958] x[959] x[960] x[961] x[962] x[963] x[964] x[965] x[966] x[967] x[968] x[969] x[970] x[971] x[972] x[973] x[974] x[975] x[976] x[977] x[978] x[979] x[980] x[981] x[982] x[983] x[984] x[985] x[986] x[987] x[988] x[989] x[990] x[991] x[992] x[993] x[994] x[995] x[996] x[997] x[998] x[999] x[1000] x[1001] x[1002] x[1003] x[1004] x[1005] x[1006] x[1007] x[1008] x[1009] x[1010] x[1011] x[1012] x[1013] x[1014] x[1015] x[1016] x[1017] x[1018] x[1019] x[1020] x[1021] x[1022] x[1023] x[1024] x[1025] x[1026] x[1027] x[1028] x[1029] x[1030] x[1031] x[1032] x[1033] x[1034] x[1035] x[1036] x[1037] x[1038] x[1039] x[1040] x[1041] x[1042] x[1043] x[1044] x[1045] x[1046] x[1047] x[1048] x[1049] x[1050] x[1051] x[1052] x[1053] x[1054] x[1055] x[1056] x[1057] x[1058] x[1059] x[1060] x[1061] x[1062] x[1063] x[1064] x[1065] x[1066] x[1067] x[1068] x[1069] x[1070] x[1071] x[1072] x[1073] x[1074] x[1075] x[1076] x[1077] x[1078] x[1079] x[1080] x[1081] x[1082] x[1083] x[1084] x[1085] x[1086] x[1087] x[1088] x[1089] x[1090] x[1091] x[1092] x[1093] x[1094] x[1095] x[1096] x[1097] x[1098] x[1099] x[1100] x[1101] x[1102] x[1103] x[1104] x[1105] x[1106] x[1107] x[1108] x[1109] x[1110] x[1111] x[1112] x[1113] x[1114] x[1115] x[1116] x[1117] x[1118] x[1119] x[1120] x[1121] x[1122] x[1123] x[1124] x[1125] x[1126] x[1127] x[1128] x[1129] x[1130] x[1131] x[1132] x[1133] x[1134] x[1135] x[1136] x[1137] x[1138] x[1139] x[1140] x[1141] x[1142] x[1143] x[1144] x[1145] x[1146] x[1147] x[1148] x[1149] x[1150] x[1151] x[1152] x[1153] x[1154] x[1155] x[1156] x[1157] x[1158] x[1159] x[1160] x[1161] x[1162] x[1163] x[1164] x[1165] x[1166] x[1167] x[1168] x[1169] x[1170] x[1171] x[1172] x[1173] x[1174] x[1175] x[1176] x[1177] x[1178] x[1179] x[1180] x[1181] x[1182] x[1183] x[1184] x[1185] x[1186] x[1187] x[1188] x[1189] x[1190] x[1191] x[1192] x[1193] x[1194] x[1195] x[1196] x[1197] x[1198] x[1199] x[1200] x[1201] x[1202] x[1203] x[1204] x[1205] x[1206] x[1207] x[1208] x[1209] x[1210] x[1211] x[1212] x[1213] x[1214] x[1215] x[1216] x[1217] x[1218] x[1219] x[1220] x[1221] x[1222] x[1223] x[1224] x[1225] x[1226] x[1227] x[1228] x[1229] x[1230] x[1231] x[1232] x[1233] x[1234] x[1235] x[1236] x[1237] x[1238] x[1239] x[1240] x[1241] x[1242] x[1243] x[1244] x[1245] x[1246] x[1247] x[1248] x[1249] x[1250] x[1251] x[1252] x[1253] x[1254] x[1255] x[1256] x[1257] x[1258] x[1259] x[1260] x[1261] x[1262] x[1263] x[1264] x[1265] x[1266] x[1267] x[1268] x[1269] x[1270] x[1271] x[1272] x[1273] x[1274] x[1275] x[1276] x[1277] x[1278] x[1279] x[1280] x[1281] x[1282] x[1283] x[1284] x[1285] x[1286] x[1287] x[1288] x[1289] x[1290] x[1291] x[1292] x[1293] x[1294] x[1295] x[1296] x[1297] x[1298] x[1299] x[1300] x[1301] x[1302] x[1303] x[1304] x[1305] x[1306] x[1307] x[1308] x[1309] x[1310] x[1311] x[1312] x[1313] x[1314] x[1315] x[1316] x[1317] x[1318] x[1319] x[1320] x[1321] x[1322] x[1323] x[1324] x[1325] x[1326] x[1327] x[1328] x[1329] x[1330] x[1331] x[1332] x[1333] x[1334] x[1335] x[1336] x[1337] x[1338] x[1339] x[1340] x[1341] x[1342] x[1343] x[1344] x[1345] x[1346] x[1347] x[1348] x[1349] x[1350] x[1351] x[1352] x[1353] x[1354] x[1355] x[1356] x[1357] x[1358] x[1359] x[1360] x[1361] x[1362] x[1363] x[1364] x[1365] x[1366] x[1367] x[1368] x[1369] x[1370] x[1371] x[1372] x[1373] x[1374] x[1375] x[1376] x[1377] x[1378] x[1379] x[1380] x[1381] x[1382] x[1383] x[1384] x[1385] x[1386] x[1387] x[1388] x[1389] x[1390] x[1391] x[1392] x[1393] x[1394] x[1395] x[1396] x[1397] x[1398] x[1399] x[1400] x[1401] x[1402] x[1403] x[1404] x[1405] x[1406] x[1407] x[1408] x[1409] x[1410] x[1411] x[1412] x[1413] x[1414] x[1415] x[1416] x[1417] x[1418] x[1419] x[1420] x[1421] x[1422] x[1423] x[1424] x[1425] x[1426] x[1427] x[1428] x[1429] x[1430] x[1431] x[1432] x[1433] x[1434] x[1435] x[1436] x[1437] x[1438] x[1439] x[1440] x[1441] x[1442] x[1443] x[1444] x[1445] x[1446] x[1447] x[1448] x[1449] x[1450] x[1451] x[1452] x[1453] x[1454] x[1455] x[1456] x[1457] x[1458] x[1459] x[1460] x[1461] x[1462] x[1463] x[1464] x[1465] x[1466] x[1467] x[1468] x[1469] x[1470] x[1471] x[1472] x[1473] x[1474] x[1475] x[1476] x[1477] x[1478] x[1479] x[1480] x[1481] x[1482] x[1483] x[1484] x[1485] x[1486] x[1487] x[1488] x[1489] x[1490] x[1491] x[1492] x[1493] x[1494] x[1495] x[1496] x[1497] x[1498] x[1499] x[1500] x[1501] x[1502] x[1503] x[1504] x[1505] x[1506] x[1507] x[1508] x[1509] x[1510] x[1511] x[1512] x[1513] x[1514] x[1515] x[1516] x[1517] x[1518] x[1519] x[1520] x[1521] x[1522] x[1523] x[1524] x[1525] x[1526] x[1527] x[1528] x[1529] x[1530] x[1531] x[1532] x[1533] x[1534] x[1535] x[1536] x[1537] x[1538] x[1539] x[1540] x[1541] x[1542] x[1543] x[1544] x[1545] x[1546] x[1547] x[1548] x[1549] x[1550] x[1551] x[1552] x[1553] x[1554] x[1555] x[1556] x[1557] x[1558] x[1559] x[1560] x[1561] x[1562] x[1563] x[1564] x[1565] x[1566] x[1567] x[1568] x[1569] x[1570] x[1571] x[1572] x[1573] x[1574] x[1575] x[1576] x[1577] x[1578] x[1579] x[1580] x[1581] x[1582] x[1583] x[1584] x[1585] x[1586] x[1587] x[1588] x[1589] x[1590] x[1591] x[1592] x[1593] x[1594] x[1595] x[1596] x[1597] x[1598] x[1599] x[1600] x[1601] x[1602] x[1603] x[1604] x[1605] x[1606] x[1607] x[1608] x[1609] x[1610] x[1611] x[1612] x[1613] x[1614] x[1615] x[1616] x[1617] x[1618] x[1619] x[1620] x[1621] x[1622] x[1623] x[1624] x[1625] x[1626] x[1627] x[1628] x[1629] x[1630] x[1631] x[1632] x[1633] x[1634] x[1635] x[1636] x[1637] x[1638] x[1639] x[1640] x[1641] x[1642] x[1643] x[1644] x[1645] x[1646] x[1647] x[1648] x[1649] x[1650] x[1651] x[1652] x[1653] x[1654] x[1655] x[1656] x[1657] x[1658] x[1659] x[1660] x[1661] x[1662] x[1663] x[1664] x[1665] x[1666] x[1667] x[1668] x[1669] x[1670] x[1671] x[1672] x[1673] x[1674] x[1675] x[1676] x[1677] x[1678] x[1679] x[1680] x[1681] x[1682] x[1683] x[1684] x[1685] x[1686] x[1687] x[1688] x[1689] x[1690] x[1691] x[1692] x[1693] x[1694] x[1695] x[1696] x[1697] x[1698] x[1699] x[1700] x[1701] x[1702] x[1703] x[1704] x[1705] x[1706] x[1707] x[1708] x[1709] x[1710] x[1711] x[1712] x[1713] x[1714] x[1715] x[1716] x[1717] x[1718] x[1719] x[1720] x[1721] x[1722] x[1723] x[1724] x[1725] x[1726] x[1727] x[1728] x[1729] x[1730] x[1731] x[1732] x[1733] x[1734] x[1735] x[1736] x[1737] x[1738] x[1739] x[1740] x[1741] x[1742] x[1743] x[1744] x[1745] x[1746] x[1747] x[1748] x[1749] x[1750] x[1751] x[1752] x[1753] x[1754] x[1755] x[1756] x[1757] x[1758] x[1759] x[1760] x[1761] x[1762] x[1763] x[1764] x[1765] x[1766] x[1767] x[1768] x[1769] x[1770] x[1771] x[1772] x[1773] x[1774] x[1775] x[1776] x[1777] x[1778] x[1779] x[1780] x[1781] x[1782] x[1783] x[1784] x[1785] x[1786] x[1787] x[1788] x[1789] x[1790] x[1791] x[1792] x[1793] x[1794] x[1795] x[1796] x[1797] x[1798] x[1799] x[1800] x[1801] x[1802] x[1803] x[1804] x[1805] x[1806] x[1807] x[1808] x[1809] x[1810] x[1811] x[1812] x[1813] x[1814] x[1815] x[1816] x[1817] x[1818] x[1819] x[1820] x[1821] x[1822] x[1823] x[1824] x[1825] x[1826] x[1827] x[1828] x[1829] x[1830] x[1831] x[1832] x[1833] x[1834] x[1835] x[1836] x[1837] x[1838] x[1839] x[1840] x[1841] x[1842] x[1843] x[1844] x[1845] x[1846] x[1847] x[1848] x[1849] x[1850] x[1851] x[1852] x[1853] x[1854] x[1855] x[1856] x[1857] x[1858] x[1859] x[1860] x[1861] x[1862] x[1863] x[1864] x[1865] x[1866] x[1867] x[1868] x[1869] x[1870] x[1871] x[1872] x[1873] x[1874] x[1875] x[1876] x[1877] x[1878] x[1879] x[1880] x[1881] x[1882] x[1883] x[1884] x[1885] x[1886] x[1887] x[1888] x[1889] x[1890] x[1891] x[1892] x[1893] x[1894] x[1895] x[1896] x[1897] x[1898] x[1899] x[1900] x[1901] x[1902] x[1903] x[1904] x[1905] x[1906] x[1907] x[1908] x[1909] x[1910] x[1911] x[1912] x[1913] x[1914] x[1915] x[1916] x[1917] x[1918] x[1919] x[1920] x[1921] x[1922] x[1923] x[1924] x[1925] x[1926] x[1927] x[1928] x[1929] x[1930] x[1931] x[1932] x[1933] x[1934] x[1935] x[1936] x[1937] x[1938] x[1939] x[1940] x[1941] x[1942] x[1943] x[1944] x[1945] x[1946] x[1947] x[1948] x[1949] x[1950] x[1951] x[1952] x[1953] x[1954] x[1955] x[1956] x[1957] x[1958] x[1959] x[1960] x[1961] x[1962] x[1963] x[1964] x[1965] x[1966] x[1967] x[1968] x[1969] x[1970] x[1971] x[1972] x[1973] x[1974] x[1975] x[1976] x[1977] x[1978] x[1979] x[1980] x[1981] x[1982] x[1983] x[1984] x[1985] x[1986] x[1987] x[1988] x[1989] x[1990] x[1991] x[1992] x[1993] x[1994] x[1995] x[1996] x[1997] x[1998] x[1999] x[2000] x[2001] x[2002] x[2003] x[2004] x[2005] x[2006] x[2007] x[2008] x[2009] x[2010] x[2011] x[2012] x[2013] x[2014] x[2015] x[2016] x[2017] x[2018] x[2019] x[2020] x[2021] x[2022] x[2023] x[2024] x[2025] x[2026] x[2027] x[2028] x[2029] x[2030] x[2031] x[2032] x[2033] x[2034] x[2035] x[2036] x[2037] x[2038] x[2039] x[2040] x[2041] x[2042] x[2043] x[2044] x[2045] x[2046] x[2047] x[2048] x[2049] x[2050] x[2051] x[2052] x[2053] x[2054] x[2055] x[2056] x[2057] x[2058] x[2059] x[2060] x[2061] x[2062] x[2063] x[2064] x[2065] x[2066] x[2067] x[2068] x[2069] x[2070] x[2071] x[2072] x[2073] x[2074] x[2075] x[2076] x[2077] x[2078] x[2079] x[2080] x[2081] x[2082] x[2083] x[2084] x[2085] x[2086] x[2087] x[2088] x[2089] x[2090] x[2091] x[2092] x[2093] x[2094] x[2095] x[2096] x[2097] x[2098] x[2099] x[2100] x[2101] x[2102] x[2103] x[2104] x[2105] x[2106] x[2107] x[2108] x[2109] x[2110] x[2111] x[2112] x[2113] x[2114] x[2115] x[2116] x[2117] x[2118] x[2119] x[2120] x[2121] x[2122] x[2123] x[2124] x[2125] x[2126] x[2127] x[2128] x[2129] x[2130] x[2131] x[2132] x[2133] x[2134] x[2135] x[2136] x[2137] x[2138] x[2139] x[2140] x[2141] x[2142] x[2143] x[2144] x[2145] x[2146] x[2147] x[2148] x[2149] x[2150] x[2151] x[2152] x[2153] x[2154] x[2155] x[2156] x[2157] x[2158] x[2159] x[2160] x[2161] x[2162] x[2163] x[2164] x[2165] x[2166] x[2167] x[2168] x[2169] x[2170] x[2171] x[2172] x[2173] x[2174] x[2175] x[2176] x[2177] x[2178] x[2179] x[2180] x[2181] x[2182] x[2183] x[2184] x[2185] x[2186] x[2187] x[2188] x[2189] x[2190] x[2191] x[2192] x[2193] x[2194] x[2195] x[2196] x[2197] x[2198] x[2199] x[2200] x[2201] x[2202] x[2203] x[2204] x[2205] x[2206] x[2207] x[2208] x[2209] x[2210] x[2211] x[2212] x[2213] x[2214] x[2215] x[2216] x[2217] x[2218] x[2219] x[2220] x[2221] x[2222] x[2223] x[2224] x[2225] x[2226] x[2227] x[2228] x[2229] x[2230] x[2231] x[2232] x[2233] x[2234] x[2235] x[2236] </list>
3.00/3.09	v <values>2 3 1 2 3 2 2 1 1 1 3 4 3 2 2 1 3 2 2 1 3 2 2 1 3 2 2 1 2 3 1 2 3 2 2 1 3 2 2 1 3 2 2 1 1 1 3 4 2 3 1 2 3 2 2 1 1 1 3 4 3 2 2 1 2 3 1 2 3 2 2 1 1 1 3 4 2 3 1 2 2 3 1 2 2 3 1 2 3 2 2 1 3 2 2 1 1 1 3 4 3 2 2 1 1 1 3 4 2 3 1 2 3 2 2 1 1 1 3 4 2 3 1 2 2 3 1 2 1 1 3 4 1 1 3 4 1 1 3 4 1 1 3 4 3 2 2 1 2 3 1 2 3 2 2 1 2 3 1 2 1 1 3 4 1 1 3 4 2 3 1 2 1 1 3 4 1 1 3 4 2 3 1 2 1 1 3 4 3 2 2 1 1 1 3 4 3 2 2 1 2 3 1 2 1 1 3 4 1 1 3 4 1 1 3 4 3 2 2 1 2 3 1 2 3 2 2 1 1 1 3 4 2 3 1 2 3 2 2 1 3 2 2 1 1 1 3 4 2 3 1 2 2 3 1 2 3 2 2 1 1 1 3 4 1 1 3 4 1 1 3 4 1 1 3 4 3 2 2 1 1 1 3 4 2 3 1 2 1 1 3 4 3 2 2 1 3 2 2 1 2 3 1 2 3 2 2 1 2 3 1 2 1 1 3 4 1 1 3 4 2 3 1 2 2 3 1 2 2 3 1 2 1 1 3 4 1 1 3 4 1 1 3 4 2 3 1 2 3 2 2 1 1 1 3 4 1 1 3 4 2 3 1 2 1 1 3 4 2 3 1 2 3 2 2 1 2 3 1 2 1 1 3 4 2 3 1 2 2 3 1 2 2 3 1 2 3 2 2 1 3 2 2 1 2 3 1 2 2 3 1 2 1 1 3 4 3 2 2 1 1 1 3 4 3 2 2 1 2 3 1 2 2 3 1 2 2 3 1 2 2 3 1 2 3 2 2 1 1 1 3 4 1 1 3 4 1 1 3 4 3 2 2 1 2 3 1 2 2 3 1 2 3 2 2 1 2 3 1 2 3 2 2 1 1 1 3 4 2 3 1 2 3 2 2 1 3 2 2 1 2 3 1 2 3 2 2 1 3 2 2 1 2 3 1 2 3 2 2 1 2 3 1 2 3 2 2 1 3 2 2 1 3 2 2 1 2 3 1 2 1 1 3 4 1 1 3 4 3 2 2 1 1 1 3 4 1 1 3 4 1 1 3 4 2 3 1 2 2 3 1 2 2 3 1 2 3 2 2 1 2 3 1 2 2 3 1 2 1 1 3 4 3 2 2 1 3 2 2 1 2 3 1 2 1 1 3 4 3 2 2 1 1 1 3 4 3 2 2 1 3 2 2 1 2 3 1 2 3 2 2 1 3 2 2 1 3 2 2 1 1 1 3 4 2 3 1 2 2 3 1 2 2 3 1 2 2 3 1 2 3 2 2 1 3 2 2 1 2 3 1 2 1 1 3 4 1 1 3 4 2 3 1 2 3 2 2 1 1 1 3 4 1 1 3 4 1 1 3 4 1 1 3 4 2 3 1 2 2 3 1 2 1 1 3 4 1 1 3 4 2 3 1 2 2 3 1 2 3 2 2 1 3 2 2 1 3 2 2 1 3 2 2 1 2 3 1 2 1 1 3 4 1 1 3 4 2 3 1 2 2 3 1 2 2 3 1 2 1 1 3 4 2 3 1 2 3 2 2 1 2 3 1 2 2 3 1 2 3 2 2 1 3 2 2 1 2 3 1 2 3 2 1 3 2 1 3 1 2 3 1 2 3 1 2 1 3 2 3 1 2 2 1 3 2 3 1 2 1 3 3 1 2 1 3 2 3 1 2 3 1 2 3 1 2 3 1 2 1 3 2 1 3 2 1 3 2 3 1 2 3 1 2 3 1 2 1 3 2 3 1 2 3 1 2 3 2 1 3 2 1 3 1 2 3 1 2 3 1 2 1 3 2 3 1 2 1 3 2 1 3 2 3 1 2 2 3 1 2 1 3 2 3 1 2 3 1 2 1 3 2 1 3 3 2 1 1 2 3 1 2 3 1 2 3 1 2 3 1 3 2 3 1 2 1 3 2 3 1 2 3 1 2 3 1 2 3 1 2 1 3 2 2 3 1 2 1 3 2 3 1 3 1 2 1 3 2 3 1 2 3 1 2 1 2 3 1 2 3 1 2 3 1 2 3 1 3 2 1 3 2 3 1 2 1 3 2 1 3 2 3 1 2 2 3 1 2 3 1 2 1 3 2 3 1 2 3 1 1 2 3 1 2 3 3 2 1 3 2 1 3 2 1 3 2 1 3 2 1 1 2 3 3 2 1 3 2 1 1 2 3 3 2 1 1 3 2 1 3 2 1 3 2 1 3 2 3 1 2 1 3 2 1 3 2 3 1 2 2 1 3 2 3 1 2 3 1 2 3 1 2 1 3 3 1 2 1 3 2 3 1 2 1 3 2 1 3 2 2 3 1 1 2 3 3 2 1 1 2 3 3 1 2 1 3 2 3 1 2 3 1 2 2 3 1 2 1 3 2 3 1 2 3 1 2 1 3 1 2 3 3 2 1 3 2 1 1 2 3 1 2 3 1 2 3 2 1 3 2 1 3 2 1 3 2 3 1 2 3 1 2 1 3 2 3 1 2 1 3 2 1 3 2 1 3 2 3 1 2 3 1 2 1 3 2 1 3 2 1 3 2 3 1 2 3 1 2 1 3 2 3 1 2 1 3 2 1 3 1 3 2 3 1 2 3 1 2 1 3 2 3 1 2 1 2 3 1 2 3 1 3 2 3 1 2 3 1 2 1 3 2 3 2 1 1 2 3 1 2 3 3 2 1 1 2 3 3 2 1 2 3 1 2 1 3 2 3 1 2 1 3 1 2 3 2 1 3 2 3 1 2 3 1 2 3 1 2 1 3 2 1 3 2 3 1 1 2 3 1 2 3 3 2 1 1 2 3 2 3 1 2 1 3 2 1 3 2 3 1 1 3 2 1 3 2 3 1 2 3 1 2 3 1 2 2 1 3 2 3 1 2 3 1 2 1 3 3 1 2 1 3 2 3 1 2 1 3 2 1 3 2 3 1 2 1 2 3 1 2 3 1 2 3 3 2 1 2 1 3 2 1 3 2 1 3 2 3 1 2 3 1 2 3 1 2 3 1 2 1 3 2 3 1 2 1 3 2 1 3 2 1 3 2 3 1 2 1 3 3 1 2 1 3 2 3 1 2 3 2 1 1 2 3 3 1 2 3 1 2 3 1 2 2 3 1 2 3 1 2 1 3 2 1 3 2 3 1 2 3 1 3 2 1 1 3 2 1 3 2 3 1 2 1 3 2 3 1 2 1 3 2 3 1 2 3 1 2 3 1 2 2 1 3 2 3 1 2 1 3 2 3 1 2 3 1 2 3 1 1 2 3 3 2 1 3 2 1 3 2 1 1 2 3 1 2 3 1 2 3 3 2 1 1 2 3 1 2 3 3 1 2 3 1 2 3 1 2 3 1 2 2 1 3 2 1 3 2 3 1 2 3 1 2 1 3 2 1 3 2 3 1 2 3 1 2 3 1 2 3 1 2 1 3 2 3 1 1 3 2 3 1 2 2 3 1 2 3 1 2 1 3 2 1 3 2 1 3 2 3 1 3 2 1 1 2 3 1 2 3 1 2 3 2 1 3 2 1 3 2 3 1 2 1 3 1 3 2 3 1 2 3 1 2 1 3 2 1 3 2 3 1 2 1 3 2 1 3 2 3 1 2 3 1 2 3 1 2 3 2 1 3 2 1 1 2 3 3 2 1 1 2 3 1 2 3 2 3 1 2 3 1 2 1 3 2 1 3 2 1 3 2 3 1 3 2 1 3 2 1 1 2 3 1 2 3 3 2 1 3 2 1 1 2 3 3 2 1 1 2 3 3 2 1 1 2 3 2 1 3 2 3 1 2 3 1 2 3 1 2 1 3 2 1 3 2 3 1 3 2 1 1 3 2 1 3 2 1 3 2 2 3 1 2 1 3 2 3 1 2 1 3 2 1 3 3 2 1 1 2 3 3 2 1 1 2 3 3 2 1 2 3 1 1 3 2 3 1 2 3 2 1 3 2 1 2 1 3 2 3 1 3 2 1 3 2 1 3 2 1 3 2 1 3 2 1 1 2 3 1 2 3 3 1 2 3 1 2 3 1 2 3 1 2 3 2 1 3 2 1 3 2 1 1 2 3 1 2 3 1 2 3 3 2 1 2 1 3 3 1 2 1 3 2 2 1 3 2 3 1 2 1 3 3 1 2 3 1 2 3 1 2 3 1 2 1 2 3 1 2 3 3 2 1 3 2 1 3 2 1 3 2 1 3 2 1 3 2 1 3 1 2 1 3 2 1 3 2 3 1 2 2 3 1 2 1 3 2 1 3 2 3 1 2 1 3 2 3 1 2 1 3 2 3 1 2 3 1 3 1 2 1 2 3 3 2 1 1 2 3 1 2 3 3 2 1 1 3 2 1 3 2 3 1 2 2 1 3 3 2 1 3 2 1 3 1 2 1 3 2 1 3 2 1 3 2 3 2 1 1 2 3 1 3 2 1 3 2 3 2 1 3 2 1 3 2 1 1 3 2 1 2 3 1 3 2 3 1 2 1 2 3 3 2 1 2 1 3 2 3 1 2 3 1 2 3 1 2 3 1 2 1 3 2 1 3 2 1 3 2 3 1 2 1 3 3 1 2 3 2 1 1 2 3 3 2 1 3 2 1 3 2 1 2 1 3 3 1 2 1 2 3 3 2 1 1 3 2 3 1 2 2 3 1 3 1 2 3 1 2 1 3 2 3 1 2 1 3 2 3 1 2 1 3 2 2 1 3 2 1 3 3 2 1 1 2 3 3 2 1 1 3 2 1 3 2 3 1 2 2 1 3 2 1 3 2 3 1 3 1 2 1 3 2 3 1 2 2 3 1 2 3 1 2 1 3 2 1 3 3 1 2 2 3 1 2 1 3 </values>
3.00/3.09	v </instantiation>
3.00/3.09	
3.00/3.10	c restarts              : 131         
3.00/3.10	c conflicts             : 1236         (407 /sec)
3.00/3.10	c decisions             : 15848        (5217 /sec)
3.00/3.10	c propagations          : 2582324     (850056 /sec)
3.00/3.10	c root propagations     : 800         
3.00/3.10	c filter calls          : 14348853       (4723392 /sec)
3.00/3.10	c useless filter calls  : 12066618       (84 %)
3.00/3.10	c
3.00/3.10	c clauses               : 12915
3.00/3.10	c SAT propagations      : 7
3.00/3.10	c SAT conflicts         : 0 (0 learnts)
3.00/3.10	c Memory used           : 193.84 MB
3.00/3.10	c CPU time              : 3.03771 s
3.00/3.10	
3.00/3.10	s SATISFIABLE

Verifier Data 

OK

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4266357-1502571150/watcher-4266357-1502571150 -o /tmp/evaluation-result-4266357-1502571150/solver-4266357-1502571150 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node113-1502567255-24899 --watchdog 2580 cosoco -lc -model -restarts -sat HOME/instance-4266357-1502571150.xml 

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

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


[startup+0.100822 s]*
/proc/loadavg: 2.30 2.07 1.98 3/187 26094
/proc/meminfo: memFree=26660812/32770624 swapFree=67108860/67108860
[pid=26093] ppid=26090 vsize=74908 memory=51148 CPUtime=0.09 cores=1,3,5,7
/proc/26093/stat : 26093 (cosoco) R 26090 26093 24815 0 -1 4202496 12948 0 0 0 8 1 0 0 20 0 1 0 90202671 76705792 12721 33554432000 4194304 5972588 140722619525632 140722619520040 140116104371173 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8070896 8075904 33423360 140722619532474 140722619532574 140722619532574 140722619535310 0
/proc/26093/statm: 18727 12787 724 435 0 12090 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 74908 KiB
Current children cumulated memory: 51148 KiB

[startup+0.209903 s]*
/proc/loadavg: 2.30 2.07 1.98 3/187 26094
/proc/meminfo: memFree=26614692/32770624 swapFree=67108860/67108860
[pid=26093] ppid=26090 vsize=113612 memory=89692 CPUtime=0.21 cores=1,3,5,7
/proc/26093/stat : 26093 (cosoco) R 26090 26093 24815 0 -1 4202496 22619 0 0 0 18 3 0 0 20 0 1 0 90202671 116338688 22423 33554432000 4194304 5972588 140722619525632 140722619520040 5378869 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8070896 8075904 33423360 140722619532474 140722619532574 140722619532574 140722619535310 0
/proc/26093/statm: 28403 22423 724 435 0 21766 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 113612 KiB
Current children cumulated memory: 89692 KiB

[startup+0.309725 s]*
/proc/loadavg: 2.30 2.07 1.98 3/187 26094
/proc/meminfo: memFree=26549380/32770624 swapFree=67108860/67108860
[pid=26093] ppid=26090 vsize=185272 memory=157216 CPUtime=0.3 cores=1,3,5,7
/proc/26093/stat : 26093 (cosoco) R 26090 26093 24815 0 -1 4202496 39485 0 0 0 26 4 0 0 20 0 1 0 90202671 189718528 39304 33554432000 4194304 5972588 140722619525632 140722619520040 4913318 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8070896 8075904 33423360 140722619532474 140722619532574 140722619532574 140722619535310 0
/proc/26093/statm: 46318 39304 753 435 0 39681 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 185272 KiB
Current children cumulated memory: 157216 KiB

[startup+0.7004 s]
/proc/loadavg: 2.30 2.07 1.98 3/187 26094
/proc/meminfo: memFree=26542248/32770624 swapFree=67108860/67108860
[pid=26093] ppid=26090 vsize=189892 memory=161968 CPUtime=0.69 cores=1,3,5,7
/proc/26093/stat : 26093 (cosoco) R 26090 26093 24815 0 -1 4202496 40661 0 0 0 64 5 0 0 20 0 1 0 90202671 194449408 40492 33554432000 4194304 5972588 140722619525632 140722619522936 4913632 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 33423360 140722619532474 140722619532574 140722619532574 140722619535310 0
/proc/26093/statm: 47473 40492 772 435 0 40836 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 189892 KiB
Current children cumulated memory: 161968 KiB

[startup+1.50038 s]
/proc/loadavg: 2.30 2.07 1.98 3/187 26094
/proc/meminfo: memFree=26542248/32770624 swapFree=67108860/67108860
[pid=26093] ppid=26090 vsize=189892 memory=161968 CPUtime=1.49 cores=1,3,5,7
/proc/26093/stat : 26093 (cosoco) R 26090 26093 24815 0 -1 4202496 40664 0 0 0 144 5 0 0 20 0 1 0 90202671 194449408 40492 33554432000 4194304 5972588 140722619525632 140722619522936 5328506 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 33423360 140722619532474 140722619532574 140722619532574 140722619535310 0
/proc/26093/statm: 47473 40492 772 435 0 40836 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 189892 KiB
Current children cumulated memory: 161968 KiB

[startup+3.11886 s]
# the end of solver process 26093 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=3.03814 s, system=0.075003 s

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

[startup+1.60038 s]
/proc/loadavg: 2.30 2.07 1.98 3/187 26094
/proc/meminfo: memFree=26542248/32770624 swapFree=67108860/67108860
[pid=26093] ppid=26090 vsize=189892 memory=161968 CPUtime=1.59 cores=1,3,5,7
/proc/26093/stat : 26093 (cosoco) R 26090 26093 24815 0 -1 4202496 40664 0 0 0 154 5 0 0 20 0 1 0 90202671 194449408 40492 33554432000 4194304 5972588 140722619525632 140722619522936 5327769 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 33423360 140722619532474 140722619532574 140722619532574 140722619535310 0
/proc/26093/statm: 47473 40492 772 435 0 40836 0
Current children cumulated CPU time: 1.59 s
Current children cumulated vsize: 189892 KiB
Current children cumulated memory: 161968 KiB

[startup+2.40034 s]
/proc/loadavg: 2.30 2.07 1.98 3/187 26094
/proc/meminfo: memFree=26542000/32770624 swapFree=67108860/67108860
[pid=26093] ppid=26090 vsize=189892 memory=162016 CPUtime=2.38 cores=1,3,5,7
/proc/26093/stat : 26093 (cosoco) R 26090 26093 24815 0 -1 4202496 60028 0 0 0 233 5 0 0 20 0 1 0 90202671 194449408 40504 33554432000 4194304 5972588 140722619525632 140722619522936 4913437 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 33423360 140722619532474 140722619532574 140722619532574 140722619535310 0
/proc/26093/statm: 47473 40504 772 435 0 40836 0
Current children cumulated CPU time: 2.38 s
Current children cumulated vsize: 189892 KiB
Current children cumulated memory: 162016 KiB

[startup+2.80034 s]
/proc/loadavg: 2.30 2.07 1.98 3/187 26094
/proc/meminfo: memFree=26542000/32770624 swapFree=67108860/67108860
[pid=26093] ppid=26090 vsize=189892 memory=162016 CPUtime=2.79 cores=1,3,5,7
/proc/26093/stat : 26093 (cosoco) R 26090 26093 24815 0 -1 4202496 60041 0 0 0 273 6 0 0 20 0 1 0 90202671 194449408 40504 33554432000 4194304 5972588 140722619525632 140722619522936 140116104809568 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 33423360 140722619532474 140722619532574 140722619532574 140722619535310 0
/proc/26093/statm: 47473 40504 772 435 0 40836 0
Current children cumulated CPU time: 2.79 s
Current children cumulated vsize: 189892 KiB
Current children cumulated memory: 162016 KiB

[startup+3.00035 s]*
/proc/loadavg: 2.30 2.07 1.98 3/187 26094
/proc/meminfo: memFree=26542000/32770624 swapFree=67108860/67108860
[pid=26093] ppid=26090 vsize=189892 memory=162016 CPUtime=3 cores=1,3,5,7
/proc/26093/stat : 26093 (cosoco) R 26090 26093 24815 0 -1 4202496 60046 0 0 0 294 6 0 0 20 0 1 0 90202671 194449408 40504 33554432000 4194304 5972588 140722619525632 140722619522936 4913550 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 33423360 140722619532474 140722619532574 140722619532574 140722619535310 0
/proc/26093/statm: 47473 40504 772 435 0 40836 0
Current children cumulated CPU time: 3 s
Current children cumulated vsize: 189892 KiB
Current children cumulated memory: 162016 KiB

Child status: 0
Real time (s): 3.11891
CPU time (s): 3.11314
CPU user time (s): 3.03814
CPU system time (s): 0.075003
CPU usage (%): 99.815
Max. virtual memory (cumulated for all children) (KiB): 189892
Max. memory (cumulated for all children) (KiB): 162016

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.03814
system time used= 0.075003
maximum resident set size= 170696
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 62539
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= 6
involuntary context switches= 7


# summary of solver processes directly reported to runsolver:
#   pid: 26093
#   total CPU time (s): 3.11314
#   total CPU user time (s): 3.03814
#   total CPU system time (s): 0.075003

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.039464 second user time and 0.077802 second system time

The end

Launcher Data 

Begin job on node113 at 2017-08-12 22:38:12
IDJOB=4266357
IDBENCH=123325
IDSOLVER=2655
FILE ID=node113/4266357-1502571150
RUNJOBID= node113-1502567255-24899
PBS_JOBID= 20628282
Free space on /tmp= 61808 MiB

SOLVER NAME= cosoco-sat 1.12
BENCH NAME= XCSP17/Sat/Sat-dual-flat200-479/Sat-flat200-55-dual.xml
COMMAND LINE= cosoco -lc -model -restarts -sat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4266357-1502571150/watcher-4266357-1502571150 -o /tmp/evaluation-result-4266357-1502571150/solver-4266357-1502571150 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node113-1502567255-24899 --watchdog 2580  cosoco -lc -model -restarts -sat HOME/instance-4266357-1502571150.xml

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

MD5SUM BENCH= 5b8ecf8a7d2901cb06b5717f26e52ae6
RANDOM SEED=293403742

node113.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.89
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.89
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.89
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.89
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:        26701016 kB
MemAvailable:   31544928 kB
Buffers:          122872 kB
Cached:          5013912 kB
SwapCached:            0 kB
Active:           912108 kB
Inactive:        4728200 kB
Active(anon):     506448 kB
Inactive(anon):    24988 kB
Active(file):     405660 kB
Inactive(file):  4703212 kB
Unevictable:        6572 kB
Mlocked:            6572 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              2968 kB
Writeback:           132 kB
AnonPages:        507872 kB
Mapped:            44248 kB
Shmem:             25224 kB
Slab:             127592 kB
SReclaimable:     101752 kB
SUnreclaim:        25840 kB
KernelStack:        3408 kB
PageTables:         5860 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     849012 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    440320 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= 61804 MiB
End job on node113 at 2017-08-12 22:38:15