Trace number 4298732

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 1.12SAT 1531.73 1531.65

General information on the benchmark

NamePseudoBoolean-dec/
Pb-fpga45-45-sat_c18.xml
MD5SUMc010012410fc2279b5e14fdb4de11b49
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 benchmark4.19137
Satisfiable
(Un)Satisfiability was proved
Number of variables3038
Number of constraints2160
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":3038}]
Minimum variable degree3
Maximum variable degree46
Distribution of variable degrees[{"degree":3,"count":2025},{"degree":46,"count":1013}]
Minimum constraint arity22
Maximum constraint arity45
Distribution of constraint arities[{"arity":22,"count":22},{"arity":23,"count":1013},{"arity":24,"count":1035},{"arity":45,"count":90}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"sum","count":2160}]
Optimization problemNO
Type of objective

Solver Data 

0.21/0.28	c root propagations     : 0           
0.21/0.28	c restarts enabled, print stats at every restarts
0.21/0.28	c
0.21/0.28	c
0.21/0.28	c
0.21/0.28	c This is cosoco 1.12 --  
0.21/0.28	c
0.21/0.28	c command line: HOME/cosoco -lc -model -restarts HOME/instance-4298732-1532765942.xml 
0.21/0.28	c ========================================[ Problem Statistics ]===========================================
0.21/0.28	c |                                                                                                       
0.21/0.28	c |  Parse time        :         0.25 s 
0.21/0.28	c |
0.21/0.28	c |               Variables: 3038
0.21/0.28	c |            Domain Sizes: 2..2
0.21/0.28	c |
0.21/0.28	c |             Constraints: 2160
0.21/0.28	c |                   Arity: 22..45
0.21/0.28	c | 
0.21/0.28	c |                   Types: 
0.21/0.28	c |                          Sum: 2160
0.21/0.28	c |                          
0.21/0.28	c =========================================================================================================
0.21/0.28	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.40/0.46	c 101            4447           91704          51024          0              0              2671   2752   2676
0.50/0.60	c 211            7099           180898         60386          0              0              2298   2377   2324
0.69/0.72	c 332            10974          232168         84094          0              0              2293   2350   2299
0.79/0.86	c 465            14914          300370         113690         0              0              2358   2402   2360
0.89/0.97	c 611            19055          324129         136190         0              0              1529   1581   1553
1.10/1.13	c 771            25094          362885         173282         0              0              1605   1698   1643
1.19/1.29	c 947            30981          409143         228904         0              0              1625   1675   1647
1.39/1.44	c 1140           36741          446567         276006         0              0              1584   1666   1618
1.49/1.57	c 1352           39865          474987         307587         0              0              633   801   695
1.69/1.77	c 1585           44519          528972         388169         0              0              563   678   611
2.00/2.02	c 1841           54111          589271         443839         0              0              1583   1665   1629
2.19/2.26	c 2122           63094          641263         503608         0              0              1400   1528   1449
2.39/2.43	c 2431           70312          683444         538491         0              0              1748   1826   1790
2.68/2.70	c 2770           81858          752299         597377         0              0              1502   1793   1685
2.88/2.95	c 3142           88831          835399         686752         0              0              1502   1613   1532
3.18/3.24	c 3551           100804         903709         759799         0              0              1544   1665   1607
3.49/3.53	c 4000           111059         972559         824345         0              0              1098   1498   1339
4.00/4.01	c 4493           127350         1078322        934631         0              0              1137   1257   1213
4.59/4.62	c 5035           148123         1209796        1065372        0              0              1044   1222   1134
5.29/5.35	c 5631           170310         1393793        1270535        0              0              1029   1136   1090
6.39/6.40	c 6286           201777         1584892        1465376        0              0              554   1196   644
6.89/6.94	c 7006           225223         1731908        1601666        0              0              936   1985   1831
7.49/7.54	c 7798           253165         1888539        1744183        0              0              1361   1874   1800
8.29/8.32	c 8669           287380         2080699        1930826        0              0              1497   1771   1696
8.99/9.05	c 9627           309398         2322306        2232268        0              0              1433   1533   1474
9.99/10.02	c 10680          348428         2544137        2444129        0              0              1359   1571   1493
11.39/11.40	c 11838          404075         2856205        2767376        0              0              1373   1522   1466
12.89/12.94	c 13111          457896         3175560        3085779        0              0              750   1607   1197
15.29/15.33	c 14511          541007         3634153        3567231        0              0              875   1034   983
17.39/17.46	c 16051          609495         4102843        4063854        0              0              767   914   863
18.69/18.75	c 17745          666164         4465170        4431858        0              0              720   1864   1723
21.39/21.42	c 19608          755832         5013336        4995157        0              0              676   1745   988
24.18/24.21	c 21657          849265         5733641        5613021        0              0              608   2003   1309
26.88/26.92	c 23910          911549         6579621        6469801        0              0              793   903   849
28.58/28.63	c 26388          984983         7071339        6911154        0              0              331   1878   1666
30.78/30.83	c 29113          1081687        7686912        7491558        0              0              353   1807   1650
34.08/34.18	c 32110          1202618        8591063        8398716        0              0              377   1785   1369
36.67/36.73	c 35406          1290679        9326630        9118518        0              0              506   1974   1387
40.17/40.24	c 39031          1363735        10496075       10190786       0              0              321   864   783
42.87/42.90	c 43018          1486299        11255926       10936431       0              0              216   1853   1733
46.87/46.96	c 47403          1653954        12237332       11928410       0              0              243   1568   1464
51.87/51.99	c 52226          1841077        13398066       13168402       0              0              257   1279   1250
56.37/56.49	c 57531          1969695        14681052       14920744       0              0              403   1055   1003
59.77/59.88	c 63366          2094192        15698208       15764654       0              0              616   1925   1548
64.17/64.22	c 69784          2292732        17058380       17117349       0              0              602   1937   1801
70.87/70.97	c 76843          2540457        19036572       19238785       0              0              620   1581   1488
82.37/82.45	c 84607          2920992        21541709       21673336       0              0              807   960   926
91.17/91.29	c 93147          3168544        24096027       24470584       0              0              691   1229   1040
94.98/95.01	c 102541         3341480        25398949       25501055       0              0              324   1982   1911
100.47/100.51	c 112874         3623274        27137599       27112681       0              0              410   1961   1888
108.77/108.88	c 124240         4030251        29568757       29543611       0              0              498   1832   1798
121.67/121.78	c 136742         4586558        32994820       33405212       0              0              799   1691   1596
139.98/140.02	c 150494         5210005        37522443       38358350       0              0              988   1326   1116
154.17/154.24	c 165621         5461267        55673541       39863547       0              0              439   2964   2309
160.17/160.29	c 182260         5756513        57739618       41716030       0              0              507   2005   1981
172.98/173.03	c 200562         6339128        61540981       45210576       0              0              676   1893   1811
194.27/194.38	c 220694         7218466        67990336       52407835       0              0              935   1788   1707
222.17/222.22	c 242839         8228279        74951691       61156189       0              0              1235   1531   1363
258.09/258.13	c 267198         9292855        83982931       70219133       0              0              777   1232   1029
272.38/272.43	c 293992         9801454        88509619       73856017       0              0              425   1968   1699
291.28/291.38	c 323465         10672536       94763019       80117493       0              0              423   1919   1893
323.28/323.39	c 355885         11765533       104294802      89931278       0              0              631   1528   1482
391.79/391.87	c 391547         13513345       122532962      104850924      0              0              671   988   792
489.69/489.71	c 430775         13928712       269179405      111094592      0              0              977   2331   2225
571.90/572.00	c 473925         14520872       396806399      116000251      0              0              1694   3023   2920
700.02/700.04	c 521390         15261994       580987854      125611535      0              0              975   2555   2484
723.61/723.64	c 573601         16286338       591277112      130649018      0              0              1342   2231   2162
756.21/756.20	c 631033         17703755       601888907      141604960      0              0              1622   2019   1967
834.52/834.57	c 694208         19899585       627184274      165242145      0              0              1218   1485   1344
967.23/967.29	c 763700         23505605       655643171      188100142      0              0              383   592   542
1045.53/1045.54	c 840141         26169610       678685023      206935969      0              0              470   1807   1580
1167.15/1167.15	c 924226         29312914       715323398      236778285      0              0              629   1244   1118
1210.54/1210.54	c 1016719        31007456       729706692      249781438      0              0              372   2003   1902
1292.06/1292.01	c 1118461        33798566       759632324      275121794      0              0              508   1950   1795
1458.46/1458.45	c 1230377        37683378       809784795      324953644      0              0              821   1191   1005
1531.67/1531.63	c solution 1
1531.67/1531.63	
1531.67/1531.63	v <instantiation type='solution'>
1531.67/1531.63	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] x[2237] x[2238] x[2239] x[2240] x[2241] x[2242] x[2243] x[2244] x[2245] x[2246] x[2247] x[2248] x[2249] x[2250] x[2251] x[2252] x[2253] x[2254] x[2255] x[2256] x[2257] x[2258] x[2259] x[2260] x[2261] x[2262] x[2263] x[2264] x[2265] x[2266] x[2267] x[2268] x[2269] x[2270] x[2271] x[2272] x[2273] x[2274] x[2275] x[2276] x[2277] x[2278] x[2279] x[2280] x[2281] x[2282] x[2283] x[2284] x[2285] x[2286] x[2287] x[2288] x[2289] x[2290] x[2291] x[2292] x[2293] x[2294] x[2295] x[2296] x[2297] x[2298] x[2299] x[2300] x[2301] x[2302] x[2303] x[2304] x[2305] x[2306] x[2307] x[2308] x[2309] x[2310] x[2311] x[2312] x[2313] x[2314] x[2315] x[2316] x[2317] x[2318] x[2319] x[2320] x[2321] x[2322] x[2323] x[2324] x[2325] x[2326] x[2327] x[2328] x[2329] x[2330] x[2331] x[2332] x[2333] x[2334] x[2335] x[2336] x[2337] x[2338] x[2339] x[2340] x[2341] x[2342] x[2343] x[2344] x[2345] x[2346] x[2347] x[2348] x[2349] x[2350] x[2351] x[2352] x[2353] x[2354] x[2355] x[2356] x[2357] x[2358] x[2359] x[2360] x[2361] x[2362] x[2363] x[2364] x[2365] x[2366] x[2367] x[2368] x[2369] x[2370] x[2371] x[2372] x[2373] x[2374] x[2375] x[2376] x[2377] x[2378] x[2379] x[2380] x[2381] x[2382] x[2383] x[2384] x[2385] x[2386] x[2387] x[2388] x[2389] x[2390] x[2391] x[2392] x[2393] x[2394] x[2395] x[2396] x[2397] x[2398] x[2399] x[2400] x[2401] x[2402] x[2403] x[2404] x[2405] x[2406] x[2407] x[2408] x[2409] x[2410] x[2411] x[2412] x[2413] x[2414] x[2415] x[2416] x[2417] x[2418] x[2419] x[2420] x[2421] x[2422] x[2423] x[2424] x[2425] x[2426] x[2427] x[2428] x[2429] x[2430] x[2431] x[2432] x[2433] x[2434] x[2435] x[2436] x[2437] x[2438] x[2439] x[2440] x[2441] x[2442] x[2443] x[2444] x[2445] x[2446] x[2447] x[2448] x[2449] x[2450] x[2451] x[2452] x[2453] x[2454] x[2455] x[2456] x[2457] x[2458] x[2459] x[2460] x[2461] x[2462] x[2463] x[2464] x[2465] x[2466] x[2467] x[2468] x[2469] x[2470] x[2471] x[2472] x[2473] x[2474] x[2475] x[2476] x[2477] x[2478] x[2479] x[2480] x[2481] x[2482] x[2483] x[2484] x[2485] x[2486] x[2487] x[2488] x[2489] x[2490] x[2491] x[2492] x[2493] x[2494] x[2495] x[2496] x[2497] x[2498] x[2499] x[2500] x[2501] x[2502] x[2503] x[2504] x[2505] x[2506] x[2507] x[2508] x[2509] x[2510] x[2511] x[2512] x[2513] x[2514] x[2515] x[2516] x[2517] x[2518] x[2519] x[2520] x[2521] x[2522] x[2523] x[2524] x[2525] x[2526] x[2527] x[2528] x[2529] x[2530] x[2531] x[2532] x[2533] x[2534] x[2535] x[2536] x[2537] x[2538] x[2539] x[2540] x[2541] x[2542] x[2543] x[2544] x[2545] x[2546] x[2547] x[2548] x[2549] x[2550] x[2551] x[2552] x[2553] x[2554] x[2555] x[2556] x[2557] x[2558] x[2559] x[2560] x[2561] x[2562] x[2563] x[2564] x[2565] x[2566] x[2567] x[2568] x[2569] x[2570] x[2571] x[2572] x[2573] x[2574] x[2575] x[2576] x[2577] x[2578] x[2579] x[2580] x[2581] x[2582] x[2583] x[2584] x[2585] x[2586] x[2587] x[2588] x[2589] x[2590] x[2591] x[2592] x[2593] x[2594] x[2595] x[2596] x[2597] x[2598] x[2599] x[2600] x[2601] x[2602] x[2603] x[2604] x[2605] x[2606] x[2607] x[2608] x[2609] x[2610] x[2611] x[2612] x[2613] x[2614] x[2615] x[2616] x[2617] x[2618] x[2619] x[2620] x[2621] x[2622] x[2623] x[2624] x[2625] x[2626] x[2627] x[2628] x[2629] x[2630] x[2631] x[2632] x[2633] x[2634] x[2635] x[2636] x[2637] x[2638] x[2639] x[2640] x[2641] x[2642] x[2643] x[2644] x[2645] x[2646] x[2647] x[2648] x[2649] x[2650] x[2651] x[2652] x[2653] x[2654] x[2655] x[2656] x[2657] x[2658] x[2659] x[2660] x[2661] x[2662] x[2663] x[2664] x[2665] x[2666] x[2667] x[2668] x[2669] x[2670] x[2671] x[2672] x[2673] x[2674] x[2675] x[2676] x[2677] x[2678] x[2679] x[2680] x[2681] x[2682] x[2683] x[2684] x[2685] x[2686] x[2687] x[2688] x[2689] x[2690] x[2691] x[2692] x[2693] x[2694] x[2695] x[2696] x[2697] x[2698] x[2699] x[2700] x[2701] x[2702] x[2703] x[2704] x[2705] x[2706] x[2707] x[2708] x[2709] x[2710] x[2711] x[2712] x[2713] x[2714] x[2715] x[2716] x[2717] x[2718] x[2719] x[2720] x[2721] x[2722] x[2723] x[2724] x[2725] x[2726] x[2727] x[2728] x[2729] x[2730] x[2731] x[2732] x[2733] x[2734] x[2735] x[2736] x[2737] x[2738] x[2739] x[2740] x[2741] x[2742] x[2743] x[2744] x[2745] x[2746] x[2747] x[2748] x[2749] x[2750] x[2751] x[2752] x[2753] x[2754] x[2755] x[2756] x[2757] x[2758] x[2759] x[2760] x[2761] x[2762] x[2763] x[2764] x[2765] x[2766] x[2767] x[2768] x[2769] x[2770] x[2771] x[2772] x[2773] x[2774] x[2775] x[2776] x[2777] x[2778] x[2779] x[2780] x[2781] x[2782] x[2783] x[2784] x[2785] x[2786] x[2787] x[2788] x[2789] x[2790] x[2791] x[2792] x[2793] x[2794] x[2795] x[2796] x[2797] x[2798] x[2799] x[2800] x[2801] x[2802] x[2803] x[2804] x[2805] x[2806] x[2807] x[2808] x[2809] x[2810] x[2811] x[2812] x[2813] x[2814] x[2815] x[2816] x[2817] x[2818] x[2819] x[2820] x[2821] x[2822] x[2823] x[2824] x[2825] x[2826] x[2827] x[2828] x[2829] x[2830] x[2831] x[2832] x[2833] x[2834] x[2835] x[2836] x[2837] x[2838] x[2839] x[2840] x[2841] x[2842] x[2843] x[2844] x[2845] x[2846] x[2847] x[2848] x[2849] x[2850] x[2851] x[2852] x[2853] x[2854] x[2855] x[2856] x[2857] x[2858] x[2859] x[2860] x[2861] x[2862] x[2863] x[2864] x[2865] x[2866] x[2867] x[2868] x[2869] x[2870] x[2871] x[2872] x[2873] x[2874] x[2875] x[2876] x[2877] x[2878] x[2879] x[2880] x[2881] x[2882] x[2883] x[2884] x[2885] x[2886] x[2887] x[2888] x[2889] x[2890] x[2891] x[2892] x[2893] x[2894] x[2895] x[2896] x[2897] x[2898] x[2899] x[2900] x[2901] x[2902] x[2903] x[2904] x[2905] x[2906] x[2907] x[2908] x[2909] x[2910] x[2911] x[2912] x[2913] x[2914] x[2915] x[2916] x[2917] x[2918] x[2919] x[2920] x[2921] x[2922] x[2923] x[2924] x[2925] x[2926] x[2927] x[2928] x[2929] x[2930] x[2931] x[2932] x[2933] x[2934] x[2935] x[2936] x[2937] x[2938] x[2939] x[2940] x[2941] x[2942] x[2943] x[2944] x[2945] x[2946] x[2947] x[2948] x[2949] x[2950] x[2951] x[2952] x[2953] x[2954] x[2955] x[2956] x[2957] x[2958] x[2959] x[2960] x[2961] x[2962] x[2963] x[2964] x[2965] x[2966] x[2967] x[2968] x[2969] x[2970] x[2971] x[2972] x[2973] x[2974] x[2975] x[2976] x[2977] x[2978] x[2979] x[2980] x[2981] x[2982] x[2983] x[2984] x[2985] x[2986] x[2987] x[2988] x[2989] x[2990] x[2991] x[2992] x[2993] x[2994] x[2995] x[2996] x[2997] x[2998] x[2999] x[3000] x[3001] x[3002] x[3003] x[3004] x[3005] x[3006] x[3007] x[3008] x[3009] x[3010] x[3011] x[3012] x[3013] x[3014] x[3015] x[3016] x[3017] x[3018] x[3019] x[3020] x[3021] x[3022] x[3023] x[3024] x[3025] x[3026] x[3027] x[3028] x[3029] x[3030] x[3031] x[3032] x[3033] x[3034] x[3035] x[3036] x[3037] </list>
1531.67/1531.64	v <values>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 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 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 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 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 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 1 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 0 0 0 0 0 0 0 0 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 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 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 1 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 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 1 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 1 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 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 0 0 0 0 0 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 1 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 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 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 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 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 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 1 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 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 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 1 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 1 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 1 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 1 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 </values>
1531.67/1531.64	v </instantiation>
1531.67/1531.64	
1531.67/1531.65	c restarts              : 75          
1531.67/1531.65	c conflicts             : 1304512      (852 /sec)
1531.67/1531.65	c decisions             : 39168369     (25572 /sec)
1531.67/1531.65	c propagations          : 335453588   (219010 /sec)
1531.67/1531.65	c root propagations     : 0           
1531.67/1531.65	c filter calls          : 879050272      (573911 /sec)
1531.67/1531.65	c useless filter calls  : 854789911      (97 %)
1531.67/1531.65	c Memory used           : 94.79 MB
1531.67/1531.65	c CPU time              : 1531.68 s
1531.67/1531.65	
1531.67/1531.65	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 (13151 MiB free)
  memory of node 1: 16384 MiB (13680 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4298732-1532765942/watcher-4298732-1532765942 -o /tmp/evaluation-result-4298732-1532765942/solver-4298732-1532765942 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1532740685-23502 --watchdog 2580 HOME/cosoco -lc -model -restarts HOME/instance-4298732-1532765942.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
Current StackSize limit: 8192 KiB

solver pid=26605, runsolver pid=26602

[startup+0.100166 s]*
/proc/loadavg: 2.00 2.01 2.05 3/192 26606
/proc/meminfo: memFree=27463396/32770624 swapFree=67108856/67108860
[pid=26605] ppid=26602 vsize=40244 memory=16672 CPUtime=0.1 cores=1,3,5,7
/proc/26605/stat : 26605 (cosoco) R 26602 26605 23470 0 -1 4202496 4342 0 0 0 10 0 0 0 20 0 1 0 94157316 41209856 4168 33554432000 4194304 6142532 140725116628432 140725116625064 140047062666213 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 8243016 8247936 10092544 140725116634246 140725116634376 140725116634376 140725116637134 0
/proc/26605/statm: 10061 4168 823 476 0 3383 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 40244 KiB
Current children cumulated memory: 16672 KiB

[startup+0.20994 s]*
/proc/loadavg: 2.00 2.01 2.05 3/192 26606
/proc/meminfo: memFree=27450004/32770624 swapFree=67108856/67108860
[pid=26605] ppid=26602 vsize=53656 memory=30064 CPUtime=0.21 cores=1,3,5,7
/proc/26605/stat : 26605 (cosoco) R 26602 26605 23470 0 -1 4202496 7677 0 0 0 21 0 0 0 20 0 1 0 94157316 54943744 7516 33554432000 4194304 6142532 140725116628432 140725116625064 140047062666213 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 8243016 8247936 10092544 140725116634246 140725116634376 140725116634376 140725116637134 0
/proc/26605/statm: 13414 7516 823 476 0 6736 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 53656 KiB
Current children cumulated memory: 30064 KiB

[startup+0.309767 s]*
/proc/loadavg: 2.00 2.01 2.05 3/192 26606
/proc/meminfo: memFree=27444052/32770624 swapFree=67108856/67108860
[pid=26605] ppid=26602 vsize=58876 memory=35288 CPUtime=0.3 cores=1,3,5,7
/proc/26605/stat : 26605 (cosoco) R 26602 26605 23470 0 -1 4202496 9036 0 0 0 30 0 0 0 20 0 1 0 94157316 60289024 8822 33554432000 4194304 6142532 140725116628432 140725116625064 5138872 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 10092544 140725116634246 140725116634376 140725116634376 140725116637134 0
/proc/26605/statm: 14719 8822 862 476 0 8041 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 58876 KiB
Current children cumulated memory: 35288 KiB

[startup+0.700394 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 26606
/proc/meminfo: memFree=27423768/32770624 swapFree=67108856/67108860
[pid=26605] ppid=26602 vsize=87892 memory=64328 CPUtime=0.69 cores=1,3,5,7
/proc/26605/stat : 26605 (cosoco) R 26602 26605 23470 0 -1 4202496 16243 0 0 0 67 2 0 0 20 0 1 0 94157316 90001408 16082 33554432000 4194304 6142532 140725116628432 140725116625352 5347460 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 10092544 140725116634246 140725116634376 140725116634376 140725116637134 0
/proc/26605/statm: 21973 16082 864 476 0 15295 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 87892 KiB
Current children cumulated memory: 64328 KiB

[startup+1.50029 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 26606
/proc/meminfo: memFree=27412236/32770624 swapFree=67108856/67108860
[pid=26605] ppid=26602 vsize=90196 memory=66440 CPUtime=1.49 cores=1,3,5,7
/proc/26605/stat : 26605 (cosoco) R 26602 26605 23470 0 -1 4202496 16813 0 0 0 147 2 0 0 20 0 1 0 94157316 92360704 16610 33554432000 4194304 6142532 140725116628432 140725116625352 5347469 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 10092544 140725116634246 140725116634376 140725116634376 140725116637134 0
/proc/26605/statm: 22549 16610 864 476 0 15871 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 90196 KiB
Current children cumulated memory: 66440 KiB

[startup+3.1097 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 26606
/proc/meminfo: memFree=27411920/32770624 swapFree=67108856/67108860
[pid=26605] ppid=26602 vsize=90328 memory=66748 CPUtime=3.09 cores=1,3,5,7
/proc/26605/stat : 26605 (cosoco) R 26602 26605 23470 0 -1 4202496 25161 0 0 0 307 2 0 0 20 0 1 0 94157316 92495872 16687 33554432000 4194304 6142532 140725116628432 140725116625832 5170144 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 10092544 140725116634246 140725116634376 140725116634376 140725116637134 0
/proc/26605/statm: 22582 16687 864 476 0 15904 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 90328 KiB
Current children cumulated memory: 66748 KiB

[startup+6.30027 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 26606
/proc/meminfo: memFree=27411920/32770624 swapFree=67108856/67108860
[pid=26605] ppid=26602 vsize=90328 memory=66760 CPUtime=6.29 cores=1,3,5,7
/proc/26605/stat : 26605 (cosoco) R 26602 26605 23470 0 -1 4202496 33002 0 0 0 626 3 0 0 20 0 1 0 94157316 92495872 16690 33554432000 4194304 6142532 140725116628432 140725116625832 5347469 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 10092544 140725116634246 140725116634376 140725116634376 140725116637134 0
/proc/26605/statm: 22582 16690 864 476 0 15904 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 90328 KiB
Current children cumulated memory: 66760 KiB

[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 26606
/proc/meminfo: memFree=27411924/32770624 swapFree=67108856/67108860
[pid=26605] ppid=26602 vsize=90736 memory=67164 CPUtime=12.69 cores=1,3,5,7
/proc/26605/stat : 26605 (cosoco) R 26602 26605 23470 0 -1 4202496 42861 0 0 0 1266 3 0 0 20 0 1 0 94157316 92913664 16791 33554432000 4194304 6142532 140725116628432 140725116625832 5347460 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 10092544 140725116634246 140725116634376 140725116634376 140725116637134 0
/proc/26605/statm: 22684 16791 864 476 0 16006 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 90736 KiB
Current children cumulated memory: 67164 KiB

[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 26606
/proc/meminfo: memFree=27411144/32770624 swapFree=67108856/67108860
[pid=26605] ppid=26602 vsize=90868 memory=67332 CPUtime=25.48 cores=1,3,5,7
/proc/26605/stat : 26605 (cosoco) R 26602 26605 23470 0 -1 4202496 52961 0 0 0 2544 4 0 0 20 0 1 0 94157316 93048832 16833 33554432000 4194304 6142532 140725116628432 140725116625832 5336583 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 10092544 140725116634246 140725116634376 140725116634376 140725116637134 0
/proc/26605/statm: 22717 16833 864 476 0 16039 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 90868 KiB
Current children cumulated memory: 67332 KiB

[startup+51.1092 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 26606
/proc/meminfo: memFree=27411424/32770624 swapFree=67108856/67108860
[pid=26605] ppid=26602 vsize=91000 memory=67624 CPUtime=51.08 cores=1,3,5,7
/proc/26605/stat : 26605 (cosoco) R 26602 26605 23470 0 -1 4202496 55265 0 0 0 5104 4 0 0 20 0 1 0 94157316 93184000 16906 33554432000 4194304 6142532 140725116628432 140725116625832 5318976 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 10092544 140725116634246 140725116634376 140725116634376 140725116637134 0
/proc/26605/statm: 22750 16906 864 476 0 16072 0
Current children cumulated CPU time: 51.08 s
Current children cumulated vsize: 91000 KiB
Current children cumulated memory: 67624 KiB

[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/193 26616
/proc/meminfo: memFree=27410712/32770624 swapFree=67108856/67108860
[pid=26605] ppid=26602 vsize=91132 memory=67720 CPUtime=102.27 cores=1,3,5,7
/proc/26605/stat : 26605 (cosoco) R 26602 26605 23470 0 -1 4202496 55395 0 0 0 10223 4 0 0 20 0 1 0 94157316 93319168 16930 33554432000 4194304 6142532 140725116628432 140725116625832 5318976 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 10092544 140725116634246 140725116634376 140725116634376 140725116637134 0
/proc/26605/statm: 22783 16930 864 476 0 16105 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 91132 KiB
Current children cumulated memory: 67720 KiB

[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/193 26617
/proc/meminfo: memFree=27407264/32770624 swapFree=67108856/67108860
[pid=26605] ppid=26602 vsize=95136 memory=71544 CPUtime=162.27 cores=1,3,5,7
/proc/26605/stat : 26605 (cosoco) R 26602 26605 23470 0 -1 4202496 56467 0 0 0 16223 4 0 0 20 0 1 0 94157316 97419264 17886 33554432000 4194304 6142532 140725116628432 140725116625832 5347469 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 10092544 140725116634246 140725116634376 140725116634376 140725116637134 0
/proc/26605/statm: 23784 17886 864 476 0 17106 0
Current children cumulated CPU time: 162.27 s
Current children cumulated vsize: 95136 KiB
Current children cumulated memory: 71544 KiB

[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/193 26618
/proc/meminfo: memFree=27406976/32770624 swapFree=67108856/67108860
[pid=26605] ppid=26602 vsize=95136 memory=71684 CPUtime=222.27 cores=1,3,5,7
/proc/26605/stat : 26605 (cosoco) R 26602 26605 23470 0 -1 4202496 56526 0 0 0 22223 4 0 0 20 0 1 0 94157316 97419264 17921 33554432000 4194304 6142532 140725116628432 140725116625832 5215594 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 10092544 140725116634246 140725116634376 140725116634376 140725116637134 0
/proc/26605/statm: 23784 17921 864 476 0 17106 0
Current children cumulated CPU time: 222.27 s
Current children cumulated vsize: 95136 KiB
Current children cumulated memory: 71684 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/193 26619
/proc/meminfo: memFree=27406784/32770624 swapFree=67108856/67108860
[pid=26605] ppid=26602 vsize=95136 memory=71732 CPUtime=282.28 cores=1,3,5,7
/proc/26605/stat : 26605 (cosoco) R 26602 26605 23470 0 -1 4202496 56528 0 0 0 28224 4 0 0 20 0 1 0 94157316 97419264 17933 33554432000 4194304 6142532 140725116628432 140725116625832 5347469 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 10092544 140725116634246 140725116634376 140725116634376 140725116637134 0
/proc/26605/statm: 23784 17933 864 476 0 17106 0
Current children cumulated CPU time: 282.28 s
Current children cumulated vsize: 95136 KiB
Current children cumulated memory: 71732 KiB

[startup+342.3 s]
/proc/loadavg: 2.49 2.14 2.08 3/193 26620
/proc/meminfo: memFree=27406504/32770624 swapFree=67108856/67108860
[pid=26605] ppid=26602 vsize=95136 memory=71732 CPUtime=342.28 cores=1,3,5,7
/proc/26605/stat : 26605 (cosoco) R 26602 26605 23470 0 -1 4202496 56586 0 0 0 34224 4 0 0 20 0 1 0 94157316 97419264 17933 33554432000 4194304 6142532 140725116628432 140725116625832 5347460 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 10092544 140725116634246 140725116634376 140725116634376 140725116637134 0
/proc/26605/statm: 23784 17933 864 476 0 17106 0
Current children cumulated CPU time: 342.28 s
Current children cumulated vsize: 95136 KiB
Current children cumulated memory: 71732 KiB

[startup+402.3 s]
/proc/loadavg: 2.21 2.13 2.08 3/192 26623
/proc/meminfo: memFree=27406248/32770624 swapFree=67108856/67108860
[pid=26605] ppid=26602 vsize=95136 memory=71732 CPUtime=402.29 cores=1,3,5,7
/proc/26605/stat : 26605 (cosoco) R 26602 26605 23470 0 -1 4202496 56595 0 0 0 40225 4 0 0 20 0 1 0 94157316 97419264 17933 33554432000 4194304 6142532 140725116628432 140725116625832 5137453 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 10092544 140725116634246 140725116634376 140725116634376 140725116637134 0
/proc/26605/statm: 23784 17933 864 476 0 17106 0
Current children cumulated CPU time: 402.29 s
Current children cumulated vsize: 95136 KiB
Current children cumulated memory: 71732 KiB

[startup+462.3 s]
/proc/loadavg: 2.08 2.10 2.08 3/192 26624
/proc/meminfo: memFree=27406232/32770624 swapFree=67108856/67108860
[pid=26605] ppid=26602 vsize=95136 memory=71732 CPUtime=462.29 cores=1,3,5,7
/proc/26605/stat : 26605 (cosoco) R 26602 26605 23470 0 -1 4202496 56629 0 0 0 46225 4 0 0 20 0 1 0 94157316 97419264 17933 33554432000 4194304 6142532 140725116628432 140725116625832 5137595 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 10092544 140725116634246 140725116634376 140725116634376 140725116637134 0
/proc/26605/statm: 23784 17933 864 476 0 17106 0
Current children cumulated CPU time: 462.29 s
Current children cumulated vsize: 95136 KiB
Current children cumulated memory: 71732 KiB


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

Current children cumulated memory: 72968 KiB

[startup+1122.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/192 26709
/proc/meminfo: memFree=27382728/32770624 swapFree=67108856/67108860
[pid=26605] ppid=26602 vsize=96372 memory=72968 CPUtime=1122.34 cores=1,3,5,7
/proc/26605/stat : 26605 (cosoco) R 26602 26605 23470 0 -1 4202496 57496 0 0 0 112230 4 0 0 20 0 1 0 94157316 98684928 18242 33554432000 4194304 6142532 140725116628432 140725116625832 5215810 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 10092544 140725116634246 140725116634376 140725116634376 140725116637134 0
/proc/26605/statm: 24093 18242 864 476 0 17415 0
Current children cumulated CPU time: 1122.34 s
Current children cumulated vsize: 96372 KiB
Current children cumulated memory: 72968 KiB

[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/192 26710
/proc/meminfo: memFree=27382252/32770624 swapFree=67108856/67108860
[pid=26605] ppid=26602 vsize=96372 memory=72968 CPUtime=1182.34 cores=1,3,5,7
/proc/26605/stat : 26605 (cosoco) R 26602 26605 23470 0 -1 4202496 57557 0 0 0 118230 4 0 0 20 0 1 0 94157316 98684928 18242 33554432000 4194304 6142532 140725116628432 140725116625832 5347469 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 10092544 140725116634246 140725116634376 140725116634376 140725116637134 0
/proc/26605/statm: 24093 18242 864 476 0 17415 0
Current children cumulated CPU time: 1182.34 s
Current children cumulated vsize: 96372 KiB
Current children cumulated memory: 72968 KiB

[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/192 26711
/proc/meminfo: memFree=27382476/32770624 swapFree=67108856/67108860
[pid=26605] ppid=26602 vsize=96372 memory=72968 CPUtime=1242.35 cores=1,3,5,7
/proc/26605/stat : 26605 (cosoco) R 26602 26605 23470 0 -1 4202496 57557 0 0 0 124231 4 0 0 20 0 1 0 94157316 98684928 18242 33554432000 4194304 6142532 140725116628432 140725116625832 5215611 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 10092544 140725116634246 140725116634376 140725116634376 140725116637134 0
/proc/26605/statm: 24093 18242 864 476 0 17415 0
Current children cumulated CPU time: 1242.35 s
Current children cumulated vsize: 96372 KiB
Current children cumulated memory: 72968 KiB

[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/193 26720
/proc/meminfo: memFree=27382260/32770624 swapFree=67108856/67108860
[pid=26605] ppid=26602 vsize=96372 memory=72968 CPUtime=1302.35 cores=1,3,5,7
/proc/26605/stat : 26605 (cosoco) R 26602 26605 23470 0 -1 4202496 57616 0 0 0 130231 4 0 0 20 0 1 0 94157316 98684928 18242 33554432000 4194304 6142532 140725116628432 140725116625832 5347469 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 10092544 140725116634246 140725116634376 140725116634376 140725116637134 0
/proc/26605/statm: 24093 18242 864 476 0 17415 0
Current children cumulated CPU time: 1302.35 s
Current children cumulated vsize: 96372 KiB
Current children cumulated memory: 72968 KiB

[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/193 26721
/proc/meminfo: memFree=27381752/32770624 swapFree=67108856/67108860
[pid=26605] ppid=26602 vsize=96372 memory=72968 CPUtime=1362.35 cores=1,3,5,7
/proc/26605/stat : 26605 (cosoco) R 26602 26605 23470 0 -1 4202496 57616 0 0 0 136231 4 0 0 20 0 1 0 94157316 98684928 18242 33554432000 4194304 6142532 140725116628432 140725116625832 5215819 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 10092544 140725116634246 140725116634376 140725116634376 140725116637134 0
/proc/26605/statm: 24093 18242 864 476 0 17415 0
Current children cumulated CPU time: 1362.35 s
Current children cumulated vsize: 96372 KiB
Current children cumulated memory: 72968 KiB

[startup+1422.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/192 26722
/proc/meminfo: memFree=27381876/32770624 swapFree=67108856/67108860
[pid=26605] ppid=26602 vsize=96372 memory=72968 CPUtime=1422.36 cores=1,3,5,7
/proc/26605/stat : 26605 (cosoco) R 26602 26605 23470 0 -1 4202496 57656 0 0 0 142232 4 0 0 20 0 1 0 94157316 98684928 18242 33554432000 4194304 6142532 140725116628432 140725116625832 5139620 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 10092544 140725116634246 140725116634376 140725116634376 140725116637134 0
/proc/26605/statm: 24093 18242 864 476 0 17415 0
Current children cumulated CPU time: 1422.36 s
Current children cumulated vsize: 96372 KiB
Current children cumulated memory: 72968 KiB

[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/192 26723
/proc/meminfo: memFree=27382216/32770624 swapFree=67108856/67108860
[pid=26605] ppid=26602 vsize=96372 memory=72968 CPUtime=1482.36 cores=1,3,5,7
/proc/26605/stat : 26605 (cosoco) R 26602 26605 23470 0 -1 4202496 57676 0 0 0 148232 4 0 0 20 0 1 0 94157316 98684928 18242 33554432000 4194304 6142532 140725116628432 140725116625832 5137685 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 10092544 140725116634246 140725116634376 140725116634376 140725116637134 0
/proc/26605/statm: 24093 18242 864 476 0 17415 0
Current children cumulated CPU time: 1482.36 s
Current children cumulated vsize: 96372 KiB
Current children cumulated memory: 72968 KiB

[startup+1531.65 s]
# the end of solver process 26605 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1531.68 s, system=0.048003 s

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

[startup+1484.8 s]
/proc/loadavg: 2.00 2.01 2.04 3/192 26723
/proc/meminfo: memFree=27382216/32770624 swapFree=67108856/67108860
[pid=26605] ppid=26602 vsize=96372 memory=72968 CPUtime=1484.86 cores=1,3,5,7
/proc/26605/stat : 26605 (cosoco) R 26602 26605 23470 0 -1 4202496 57676 0 0 0 148482 4 0 0 20 0 1 0 94157316 98684928 18242 33554432000 4194304 6142532 140725116628432 140725116625832 5138256 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 10092544 140725116634246 140725116634376 140725116634376 140725116637134 0
/proc/26605/statm: 24093 18242 864 476 0 17415 0
Current children cumulated CPU time: 1484.86 s
Current children cumulated vsize: 96372 KiB
Current children cumulated memory: 72968 KiB

[startup+1510.4 s]
/proc/loadavg: 2.00 2.01 2.04 3/192 26724
/proc/meminfo: memFree=27381208/32770624 swapFree=67108856/67108860
[pid=26605] ppid=26602 vsize=96928 memory=73516 CPUtime=1510.46 cores=1,3,5,7
/proc/26605/stat : 26605 (cosoco) R 26602 26605 23470 0 -1 4202496 57971 0 0 0 151042 4 0 0 20 0 1 0 94157316 99254272 18379 33554432000 4194304 6142532 140725116628432 140725116625464 5137443 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 10092544 140725116634246 140725116634376 140725116634376 140725116637134 0
/proc/26605/statm: 24232 18379 864 476 0 17554 0
Current children cumulated CPU time: 1510.46 s
Current children cumulated vsize: 96928 KiB
Current children cumulated memory: 73516 KiB

[startup+1523.2 s]
/proc/loadavg: 2.00 2.01 2.04 3/192 26724
/proc/meminfo: memFree=27381332/32770624 swapFree=67108856/67108860
[pid=26605] ppid=26602 vsize=97064 memory=73516 CPUtime=1523.26 cores=1,3,5,7
/proc/26605/stat : 26605 (cosoco) R 26602 26605 23470 0 -1 4202496 57988 0 0 0 152322 4 0 0 20 0 1 0 94157316 99393536 18379 33554432000 4194304 6142532 140725116628432 140725116625464 5137595 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 10092544 140725116634246 140725116634376 140725116634376 140725116637134 0
/proc/26605/statm: 24266 18379 864 476 0 17588 0
Current children cumulated CPU time: 1523.26 s
Current children cumulated vsize: 97064 KiB
Current children cumulated memory: 73516 KiB

[startup+1526.4 s]
/proc/loadavg: 2.00 2.01 2.04 3/192 26724
/proc/meminfo: memFree=27381332/32770624 swapFree=67108856/67108860
[pid=26605] ppid=26602 vsize=97064 memory=73516 CPUtime=1526.47 cores=1,3,5,7
/proc/26605/stat : 26605 (cosoco) R 26602 26605 23470 0 -1 4202496 57988 0 0 0 152643 4 0 0 20 0 1 0 94157316 99393536 18379 33554432000 4194304 6142532 140725116628432 140725116625464 5318987 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 10092544 140725116634246 140725116634376 140725116634376 140725116637134 0
/proc/26605/statm: 24266 18379 864 476 0 17588 0
Current children cumulated CPU time: 1526.47 s
Current children cumulated vsize: 97064 KiB
Current children cumulated memory: 73516 KiB

[startup+1529.6 s]
/proc/loadavg: 2.00 2.01 2.04 3/192 26724
/proc/meminfo: memFree=27381456/32770624 swapFree=67108856/67108860
[pid=26605] ppid=26602 vsize=97064 memory=73516 CPUtime=1529.67 cores=1,3,5,7
/proc/26605/stat : 26605 (cosoco) R 26602 26605 23470 0 -1 4202496 57988 0 0 0 152963 4 0 0 20 0 1 0 94157316 99393536 18379 33554432000 4194304 6142532 140725116628432 140725116625464 5215644 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 10092544 140725116634246 140725116634376 140725116634376 140725116637134 0
/proc/26605/statm: 24266 18379 864 476 0 17588 0
Current children cumulated CPU time: 1529.67 s
Current children cumulated vsize: 97064 KiB
Current children cumulated memory: 73516 KiB

[startup+1530.4 s]
/proc/loadavg: 2.00 2.01 2.04 3/192 26724
/proc/meminfo: memFree=27381456/32770624 swapFree=67108856/67108860
[pid=26605] ppid=26602 vsize=97064 memory=73516 CPUtime=1530.47 cores=1,3,5,7
/proc/26605/stat : 26605 (cosoco) R 26602 26605 23470 0 -1 4202496 57988 0 0 0 153043 4 0 0 20 0 1 0 94157316 99393536 18379 33554432000 4194304 6142532 140725116628432 140725116625464 5137685 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 10092544 140725116634246 140725116634376 140725116634376 140725116637134 0
/proc/26605/statm: 24266 18379 864 476 0 17588 0
Current children cumulated CPU time: 1530.47 s
Current children cumulated vsize: 97064 KiB
Current children cumulated memory: 73516 KiB

[startup+1531.2 s]
/proc/loadavg: 2.00 2.01 2.04 3/192 26724
/proc/meminfo: memFree=27381456/32770624 swapFree=67108856/67108860
[pid=26605] ppid=26602 vsize=97064 memory=73516 CPUtime=1531.27 cores=1,3,5,7
/proc/26605/stat : 26605 (cosoco) R 26602 26605 23470 0 -1 4202496 57988 0 0 0 153123 4 0 0 20 0 1 0 94157316 99393536 18379 33554432000 4194304 6142532 140725116628432 140725116625464 5137858 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 10092544 140725116634246 140725116634376 140725116634376 140725116637134 0
/proc/26605/statm: 24266 18379 864 476 0 17588 0
Current children cumulated CPU time: 1531.27 s
Current children cumulated vsize: 97064 KiB
Current children cumulated memory: 73516 KiB

[startup+1531.6 s]
/proc/loadavg: 2.00 2.01 2.04 3/192 26724
/proc/meminfo: memFree=27381456/32770624 swapFree=67108856/67108860
[pid=26605] ppid=26602 vsize=97064 memory=73516 CPUtime=1531.67 cores=1,3,5,7
/proc/26605/stat : 26605 (cosoco) R 26602 26605 23470 0 -1 4202496 57988 0 0 0 153163 4 0 0 20 0 1 0 94157316 99393536 18379 33554432000 4194304 6142532 140725116628432 140725116625464 5215611 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 10092544 140725116634246 140725116634376 140725116634376 140725116637134 0
/proc/26605/statm: 24266 18379 864 476 0 17588 0
Current children cumulated CPU time: 1531.67 s
Current children cumulated vsize: 97064 KiB
Current children cumulated memory: 73516 KiB

Child status: 0
Real time (s): 1531.65
CPU time (s): 1531.73
CPU user time (s): 1531.68
CPU system time (s): 0.048003
CPU usage (%): 100.005
Max. virtual memory (cumulated for all children) (KiB): 97064
Max. memory (cumulated for all children) (KiB): 73516

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1531.68
system time used= 0.048003
maximum resident set size= 73628
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 58154
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= 44
involuntary context switches= 444


# summary of solver processes directly reported to runsolver:
#   pid: 26605
#   total CPU time (s): 1531.73
#   total CPU user time (s): 1531.68
#   total CPU system time (s): 0.048003

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.73606 second user time and 10.6817 second system time

The end

Launcher Data 

Begin job on node133 at 2018-07-28 10:19:02
IDJOB=4298732
IDBENCH=141227
IDSOLVER=2761
FILE ID=node133/4298732-1532765942
RUNJOBID= node133-1532740685-23502
PBS_JOBID= 21022445
Free space on /tmp= 48248 MiB

SOLVER NAME= cosoco 1.12
BENCH NAME= XCSP18/PseudoBoolean-dec/Pb-fpga45-45-sat_c18.xml
COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4298732-1532765942/watcher-4298732-1532765942 -o /tmp/evaluation-result-4298732-1532765942/solver-4298732-1532765942 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1532740685-23502 --watchdog 2580  HOME/cosoco -lc -model -restarts HOME/instance-4298732-1532765942.xml

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

MD5SUM BENCH= c010012410fc2279b5e14fdb4de11b49
RANDOM SEED=550680874

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:        27475688 kB
MemAvailable:   31930664 kB
Buffers:          174708 kB
Cached:          4528844 kB
SwapCached:            0 kB
Active:          2153056 kB
Inactive:        2621196 kB
Active(anon):      22304 kB
Inactive(anon):    76688 kB
Active(file):    2130752 kB
Inactive(file):  2544508 kB
Unevictable:        7100 kB
Mlocked:            7100 kB
SwapTotal:      67108860 kB
SwapFree:       67108856 kB
Dirty:              2800 kB
Writeback:             0 kB
AnonPages:        107000 kB
Mapped:            42956 kB
Shmem:             25244 kB
Slab:             218760 kB
SReclaimable:     191100 kB
SUnreclaim:        27660 kB
KernelStack:        3648 kB
PageTables:         4932 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     370940 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     51200 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= 48244 MiB
End job on node133 at 2018-07-28 10:44:33