Trace number 4293708

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 1534.68 1534.72

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 benchmark3.35921
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.20/0.28	c root propagations     : 0           
0.20/0.28	c restarts enabled, print stats at every restarts
0.20/0.28	c
0.20/0.28	c
0.20/0.28	c
0.20/0.28	c This is cosoco 1.12 --  
0.20/0.28	c
0.20/0.28	c command line: HOME/cosoco -lc -model -restarts HOME/instance-4293708-1532325643.xml 
0.20/0.28	c ========================================[ Problem Statistics ]===========================================
0.20/0.28	c |                                                                                                       
0.20/0.28	c |  Parse time        :         0.23 s 
0.20/0.28	c |
0.20/0.28	c |               Variables: 3038
0.20/0.28	c |            Domain Sizes: 2..2
0.20/0.28	c |
0.20/0.28	c |             Constraints: 2160
0.20/0.28	c |                   Arity: 22..45
0.20/0.28	c | 
0.20/0.28	c |                   Types: 
0.20/0.28	c |                          Sum: 2160
0.20/0.28	c |                          
0.20/0.28	c =========================================================================================================
0.20/0.28	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.41/0.46	c 101            4447           91704          51024          0              0              2671   2752   2676
0.51/0.59	c 211            7099           180898         60386          0              0              2298   2377   2324
0.68/0.72	c 332            10974          232168         84094          0              0              2293   2350   2299
0.78/0.86	c 465            14914          300370         113690         0              0              2358   2402   2360
0.88/0.97	c 611            19055          324129         136190         0              0              1529   1581   1553
1.09/1.12	c 771            25094          362885         173282         0              0              1605   1698   1643
1.18/1.29	c 947            30981          409143         228904         0              0              1625   1675   1647
1.38/1.44	c 1140           36741          446567         276006         0              0              1584   1666   1618
1.48/1.57	c 1352           39865          474987         307587         0              0              633   801   695
1.68/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.69/2.71	c 2770           81858          752299         597377         0              0              1502   1793   1685
2.89/2.95	c 3142           88831          835399         686752         0              0              1502   1613   1532
3.19/3.24	c 3551           100804         903709         759799         0              0              1544   1665   1607
3.49/3.54	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.63	c 5035           148123         1209796        1065372        0              0              1044   1222   1134
5.29/5.36	c 5631           170310         1393793        1270535        0              0              1029   1136   1090
6.38/6.41	c 6286           201777         1584892        1465376        0              0              554   1196   644
6.88/6.94	c 7006           225223         1731908        1601666        0              0              936   1985   1831
7.48/7.54	c 7798           253165         1888539        1744183        0              0              1361   1874   1800
8.28/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.03	c 10680          348428         2544137        2444129        0              0              1359   1571   1493
11.38/11.42	c 11838          404075         2856205        2767376        0              0              1373   1522   1466
12.88/12.95	c 13111          457896         3175560        3085779        0              0              750   1607   1197
15.39/15.41	c 14511          541007         3634153        3567231        0              0              875   1034   983
17.59/17.63	c 16051          609495         4102843        4063854        0              0              767   914   863
18.89/19.00	c 17745          666164         4465170        4431858        0              0              720   1864   1723
21.79/21.80	c 19608          755832         5013336        4995157        0              0              676   1745   988
24.69/24.70	c 21657          849265         5733641        5613021        0              0              608   2003   1309
27.49/27.51	c 23910          911549         6579621        6469801        0              0              793   903   849
29.29/29.35	c 26388          984983         7071339        6911154        0              0              331   1878   1666
31.59/31.69	c 29113          1081687        7686912        7491558        0              0              353   1807   1650
35.19/35.21	c 32110          1202618        8591063        8398716        0              0              377   1785   1369
37.89/37.90	c 35406          1290679        9326630        9118518        0              0              506   1974   1387
41.49/41.54	c 39031          1363735        10496075       10190786       0              0              321   864   783
44.29/44.38	c 43018          1486299        11255926       10936431       0              0              216   1853   1733
48.48/48.58	c 47403          1653954        12237332       11928410       0              0              243   1568   1464
53.58/53.61	c 52226          1841077        13398066       13168402       0              0              257   1279   1250
58.08/58.14	c 57531          1969695        14681052       14920744       0              0              403   1055   1003
61.48/61.54	c 63366          2094192        15698208       15764654       0              0              616   1925   1548
65.78/65.87	c 69784          2292732        17058380       17117349       0              0              602   1937   1801
72.57/72.63	c 76843          2540457        19036572       19238785       0              0              620   1581   1488
83.97/84.10	c 84607          2920992        21541709       21673336       0              0              807   960   926
92.86/92.95	c 93147          3168544        24096027       24470584       0              0              691   1229   1040
96.56/96.68	c 102541         3341480        25398949       25501055       0              0              324   1982   1911
102.07/102.19	c 112874         3623274        27137599       27112681       0              0              410   1961   1888
110.46/110.55	c 124240         4030251        29568757       29543611       0              0              498   1832   1798
123.36/123.44	c 136742         4586558        32994820       33405212       0              0              799   1691   1596
141.56/141.68	c 150494         5210005        37522443       38358350       0              0              988   1326   1116
155.77/155.89	c 165621         5461267        55673541       39863547       0              0              439   2964   2309
161.87/161.94	c 182260         5756513        57739618       41716030       0              0              507   2005   1981
174.67/174.73	c 200562         6339128        61540981       45210576       0              0              676   1893   1811
195.98/196.09	c 220694         7218466        67990336       52407835       0              0              935   1788   1707
223.87/223.94	c 242839         8228279        74951691       61156189       0              0              1235   1531   1363
259.77/259.87	c 267198         9292855        83982931       70219133       0              0              777   1232   1029
274.08/274.17	c 293992         9801454        88509619       73856017       0              0              425   1968   1699
293.08/293.14	c 323465         10672536       94763019       80117493       0              0              423   1919   1893
325.08/325.16	c 355885         11765533       104294802      89931278       0              0              631   1528   1482
393.57/393.67	c 391547         13513345       122532962      104850924      0              0              671   988   792
491.57/491.63	c 430775         13928712       269179405      111094592      0              0              977   2331   2225
573.97/574.02	c 473925         14520872       396806399      116000251      0              0              1694   3023   2920
702.07/702.19	c 521390         15261994       580987854      125611535      0              0              975   2555   2484
725.76/725.82	c 573601         16286338       591277112      130649018      0              0              1342   2231   2162
758.36/758.43	c 631033         17703755       601888907      141604960      0              0              1622   2019   1967
836.86/836.94	c 694208         19899585       627184274      165242145      0              0              1218   1485   1344
969.66/969.77	c 763700         23505605       655643171      188100142      0              0              383   592   542
1047.86/1048.00	c 840141         26169610       678685023      206935969      0              0              470   1807   1580
1169.96/1170.01	c 924226         29312914       715323398      236778285      0              0              629   1244   1118
1213.36/1213.43	c 1016719        31007456       729706692      249781438      0              0              372   2003   1902
1294.86/1294.95	c 1118461        33798566       759632324      275121794      0              0              508   1950   1795
1461.35/1461.48	c 1230377        37683378       809784795      324953644      0              0              821   1191   1005
1534.65/1534.70	c solution 1
1534.65/1534.70	
1534.65/1534.70	v <instantiation type='solution'>
1534.65/1534.70	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>
1534.65/1534.70	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>
1534.65/1534.70	v </instantiation>
1534.65/1534.70	
1534.65/1534.72	c restarts              : 75          
1534.65/1534.72	c conflicts             : 1304512      (850 /sec)
1534.65/1534.72	c decisions             : 39168369     (25523 /sec)
1534.65/1534.72	c propagations          : 335453588   (218589 /sec)
1534.65/1534.72	c root propagations     : 0           
1534.65/1534.72	c filter calls          : 879050272      (572810 /sec)
1534.65/1534.72	c useless filter calls  : 854789911      (97 %)
1534.65/1534.72	c Memory used           : 94.79 MB
1534.65/1534.72	c CPU time              : 1534.63 s
1534.65/1534.72	
1534.65/1534.72	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 (13081 MiB free)
  memory of node 1: 16384 MiB (13779 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4293708-1532325643/watcher-4293708-1532325643 -o /tmp/evaluation-result-4293708-1532325643/solver-4293708-1532325643 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1532293349-10563 --watchdog 2580 HOME/cosoco -lc -model -restarts HOME/instance-4293708-1532325643.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=14099, runsolver pid=14096

[startup+0.100122 s]*
/proc/loadavg: 2.08 2.03 2.05 4/192 14100
/proc/meminfo: memFree=27493012/32770624 swapFree=67108860/67108860
[pid=14099] ppid=14096 vsize=40372 memory=16800 CPUtime=0.09 cores=1,3,5,7
/proc/14099/stat : 14099 (cosoco) R 14096 14099 10531 0 -1 4202496 4369 0 0 0 9 0 0 0 20 0 1 0 50127560 41340928 4200 33554432000 4194304 6142532 140726823736736 140726823730472 139921042791397 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8243016 8247936 28770304 140726823744646 140726823744776 140726823744776 140726823747534 0
/proc/14099/statm: 10093 4200 823 476 0 3415 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 40372 KiB
Current children cumulated memory: 16800 KiB

[startup+0.209895 s]*
/proc/loadavg: 2.08 2.03 2.05 3/192 14100
/proc/meminfo: memFree=27479248/32770624 swapFree=67108860/67108860
[pid=14099] ppid=14096 vsize=53912 memory=30320 CPUtime=0.2 cores=1,3,5,7
/proc/14099/stat : 14099 (cosoco) R 14096 14099 10531 0 -1 4202496 7765 0 0 0 19 1 0 0 20 0 1 0 50127560 55205888 7580 33554432000 4194304 6142532 140726823736736 140726823730472 139921042791397 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8243016 8247936 28770304 140726823744646 140726823744776 140726823744776 140726823747534 0
/proc/14099/statm: 13511 7580 823 476 0 6833 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 53912 KiB
Current children cumulated memory: 30320 KiB

[startup+0.309662 s]*
/proc/loadavg: 2.08 2.03 2.05 3/192 14100
/proc/meminfo: memFree=27473668/32770624 swapFree=67108860/67108860
[pid=14099] ppid=14096 vsize=59008 memory=35552 CPUtime=0.31 cores=1,3,5,7
/proc/14099/stat : 14099 (cosoco) R 14096 14099 10531 0 -1 4202496 9069 0 0 0 29 2 0 0 20 0 1 0 50127560 60424192 8888 33554432000 4194304 6142532 140726823736736 140726823730472 139921042791397 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 28770304 140726823744646 140726823744776 140726823744776 140726823747534 0
/proc/14099/statm: 14752 8888 862 476 0 8074 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 59008 KiB
Current children cumulated memory: 35552 KiB

[startup+0.700348 s]
/proc/loadavg: 2.08 2.03 2.05 3/192 14100
/proc/meminfo: memFree=27453580/32770624 swapFree=67108860/67108860
[pid=14099] ppid=14096 vsize=88028 memory=64328 CPUtime=0.68 cores=1,3,5,7
/proc/14099/stat : 14099 (cosoco) R 14096 14099 10531 0 -1 4202496 16258 0 0 0 66 2 0 0 20 0 1 0 50127560 90140672 16082 33554432000 4194304 6142532 140726823736736 140726823734136 139921042860587 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 28770304 140726823744646 140726823744776 140726823744776 140726823747534 0
/proc/14099/statm: 22007 16082 864 476 0 15329 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 88028 KiB
Current children cumulated memory: 64328 KiB

[startup+1.50027 s]
/proc/loadavg: 2.08 2.03 2.05 3/192 14100
/proc/meminfo: memFree=27442048/32770624 swapFree=67108860/67108860
[pid=14099] ppid=14096 vsize=90196 memory=66440 CPUtime=1.48 cores=1,3,5,7
/proc/14099/stat : 14099 (cosoco) R 14096 14099 10531 0 -1 4202496 16814 0 0 0 146 2 0 0 20 0 1 0 50127560 92360704 16610 33554432000 4194304 6142532 140726823736736 140726823733576 5347469 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 28770304 140726823744646 140726823744776 140726823744776 140726823747534 0
/proc/14099/statm: 22549 16610 864 476 0 15871 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 90196 KiB
Current children cumulated memory: 66440 KiB

[startup+3.10958 s]
/proc/loadavg: 2.08 2.03 2.05 3/192 14100
/proc/meminfo: memFree=27441292/32770624 swapFree=67108860/67108860
[pid=14099] ppid=14096 vsize=90328 memory=66752 CPUtime=3.1 cores=1,3,5,7
/proc/14099/stat : 14099 (cosoco) R 14096 14099 10531 0 -1 4202496 25161 0 0 0 307 3 0 0 20 0 1 0 50127560 92495872 16688 33554432000 4194304 6142532 140726823736736 140726823734136 5347469 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 28770304 140726823744646 140726823744776 140726823744776 140726823747534 0
/proc/14099/statm: 22582 16688 864 476 0 15904 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 90328 KiB
Current children cumulated memory: 66752 KiB

[startup+6.30023 s]
/proc/loadavg: 2.08 2.03 2.05 3/192 14100
/proc/meminfo: memFree=27441420/32770624 swapFree=67108860/67108860
[pid=14099] ppid=14096 vsize=90328 memory=66760 CPUtime=6.28 cores=1,3,5,7
/proc/14099/stat : 14099 (cosoco) R 14096 14099 10531 0 -1 4202496 33001 0 0 0 625 3 0 0 20 0 1 0 50127560 92495872 16690 33554432000 4194304 6142532 140726823736736 140726823734136 5319096 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 28770304 140726823744646 140726823744776 140726823744776 140726823747534 0
/proc/14099/statm: 22582 16690 864 476 0 15904 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 90328 KiB
Current children cumulated memory: 66760 KiB

[startup+12.7002 s]
/proc/loadavg: 2.07 2.03 2.05 3/192 14100
/proc/meminfo: memFree=27441048/32770624 swapFree=67108860/67108860
[pid=14099] ppid=14096 vsize=90736 memory=67164 CPUtime=12.68 cores=1,3,5,7
/proc/14099/stat : 14099 (cosoco) R 14096 14099 10531 0 -1 4202496 42859 0 0 0 1265 3 0 0 20 0 1 0 50127560 92913664 16791 33554432000 4194304 6142532 140726823736736 140726823734136 5137682 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 28770304 140726823744646 140726823744776 140726823744776 140726823747534 0
/proc/14099/statm: 22684 16791 864 476 0 16006 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 90736 KiB
Current children cumulated memory: 67164 KiB

[startup+25.5002 s]
/proc/loadavg: 2.05 2.03 2.05 3/193 14123
/proc/meminfo: memFree=27439144/32770624 swapFree=67108860/67108860
[pid=14099] ppid=14096 vsize=90868 memory=67328 CPUtime=25.49 cores=1,3,5,7
/proc/14099/stat : 14099 (cosoco) R 14096 14099 10531 0 -1 4202496 58621 0 0 0 2545 4 0 0 20 0 1 0 50127560 93048832 16832 33554432000 4194304 6142532 140726823736736 140726823734136 5347460 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 28770304 140726823744646 140726823744776 140726823744776 140726823747534 0
/proc/14099/statm: 22717 16832 864 476 0 16039 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 90868 KiB
Current children cumulated memory: 67328 KiB

[startup+51.1091 s]
/proc/loadavg: 2.04 2.03 2.05 3/193 14123
/proc/meminfo: memFree=27439096/32770624 swapFree=67108860/67108860
[pid=14099] ppid=14096 vsize=91000 memory=67416 CPUtime=51.09 cores=1,3,5,7
/proc/14099/stat : 14099 (cosoco) R 14096 14099 10531 0 -1 4202496 68116 0 0 0 5105 4 0 0 20 0 1 0 50127560 93184000 16854 33554432000 4194304 6142532 140726823736736 140726823734136 5347469 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 28770304 140726823744646 140726823744776 140726823744776 140726823747534 0
/proc/14099/statm: 22750 16854 864 476 0 16072 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 91000 KiB
Current children cumulated memory: 67416 KiB

[startup+102.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/193 14125
/proc/meminfo: memFree=27439332/32770624 swapFree=67108860/67108860
[pid=14099] ppid=14096 vsize=91132 memory=67720 CPUtime=102.26 cores=1,3,5,7
/proc/14099/stat : 14099 (cosoco) R 14096 14099 10531 0 -1 4202496 70323 0 0 0 10222 4 0 0 20 0 1 0 50127560 93319168 16930 33554432000 4194304 6142532 140726823736736 140726823734136 5347460 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 28770304 140726823744646 140726823744776 140726823744776 140726823747534 0
/proc/14099/statm: 22783 16930 864 476 0 16105 0
Current children cumulated CPU time: 102.26 s
Current children cumulated vsize: 91132 KiB
Current children cumulated memory: 67720 KiB

[startup+162.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/193 14126
/proc/meminfo: memFree=27436368/32770624 swapFree=67108860/67108860
[pid=14099] ppid=14096 vsize=95136 memory=71632 CPUtime=162.27 cores=1,3,5,7
/proc/14099/stat : 14099 (cosoco) R 14096 14099 10531 0 -1 4202496 71755 0 0 0 16222 5 0 0 20 0 1 0 50127560 97419264 17908 33554432000 4194304 6142532 140726823736736 140726823734136 5347477 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 28770304 140726823744646 140726823744776 140726823744776 140726823747534 0
/proc/14099/statm: 23784 17908 864 476 0 17106 0
Current children cumulated CPU time: 162.27 s
Current children cumulated vsize: 95136 KiB
Current children cumulated memory: 71632 KiB

[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/194 14128
/proc/meminfo: memFree=27435844/32770624 swapFree=67108860/67108860
[pid=14099] ppid=14096 vsize=95136 memory=71696 CPUtime=222.27 cores=1,3,5,7
/proc/14099/stat : 14099 (cosoco) R 14096 14099 10531 0 -1 4202496 71881 0 0 0 22222 5 0 0 20 0 1 0 50127560 97419264 17924 33554432000 4194304 6142532 140726823736736 140726823734136 5215653 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 28770304 140726823744646 140726823744776 140726823744776 140726823747534 0
/proc/14099/statm: 23784 17924 864 476 0 17106 0
Current children cumulated CPU time: 222.27 s
Current children cumulated vsize: 95136 KiB
Current children cumulated memory: 71696 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/193 14129
/proc/meminfo: memFree=27435720/32770624 swapFree=67108860/67108860
[pid=14099] ppid=14096 vsize=95136 memory=71696 CPUtime=282.27 cores=1,3,5,7
/proc/14099/stat : 14099 (cosoco) R 14096 14099 10531 0 -1 4202496 71976 0 0 0 28222 5 0 0 20 0 1 0 50127560 97419264 17924 33554432000 4194304 6142532 140726823736736 140726823734136 4990806 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 28770304 140726823744646 140726823744776 140726823744776 140726823747534 0
/proc/14099/statm: 23784 17924 864 476 0 17106 0
Current children cumulated CPU time: 282.27 s
Current children cumulated vsize: 95136 KiB
Current children cumulated memory: 71696 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 14130
/proc/meminfo: memFree=27435984/32770624 swapFree=67108860/67108860
[pid=14099] ppid=14096 vsize=95136 memory=71696 CPUtime=342.27 cores=1,3,5,7
/proc/14099/stat : 14099 (cosoco) R 14096 14099 10531 0 -1 4202496 72059 0 0 0 34222 5 0 0 20 0 1 0 50127560 97419264 17924 33554432000 4194304 6142532 140726823736736 140726823734136 5347469 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 28770304 140726823744646 140726823744776 140726823744776 140726823747534 0
/proc/14099/statm: 23784 17924 864 476 0 17106 0
Current children cumulated CPU time: 342.27 s
Current children cumulated vsize: 95136 KiB
Current children cumulated memory: 71696 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 14131
/proc/meminfo: memFree=27435924/32770624 swapFree=67108860/67108860
[pid=14099] ppid=14096 vsize=95136 memory=71696 CPUtime=402.27 cores=1,3,5,7
/proc/14099/stat : 14099 (cosoco) R 14096 14099 10531 0 -1 4202496 72196 0 0 0 40222 5 0 0 20 0 1 0 50127560 97419264 17924 33554432000 4194304 6142532 140726823736736 140726823734136 5215632 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 28770304 140726823744646 140726823744776 140726823744776 140726823747534 0
/proc/14099/statm: 23784 17924 864 476 0 17106 0
Current children cumulated CPU time: 402.27 s
Current children cumulated vsize: 95136 KiB
Current children cumulated memory: 71696 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 14132
/proc/meminfo: memFree=27435740/32770624 swapFree=67108860/67108860
[pid=14099] ppid=14096 vsize=95136 memory=71708 CPUtime=462.27 cores=1,3,5,7
/proc/14099/stat : 14099 (cosoco) R 14096 14099 10531 0 -1 4202496 72253 0 0 0 46222 5 0 0 20 0 1 0 50127560 97419264 17927 33554432000 4194304 6142532 140726823736736 140726823734136 5215632 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 28770304 140726823744646 140726823744776 140726823744776 140726823747534 0
/proc/14099/statm: 23784 17927 864 476 0 17106 0
Current children cumulated CPU time: 462.27 s
Current children cumulated vsize: 95136 KiB
Current children cumulated memory: 71708 KiB


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

Current children cumulated memory: 72944 KiB

[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 14224
/proc/meminfo: memFree=26527848/32770624 swapFree=67108860/67108860
[pid=14099] ppid=14096 vsize=96372 memory=72944 CPUtime=1182.26 cores=1,3,5,7
/proc/14099/stat : 14099 (cosoco) R 14096 14099 10531 0 -1 4202496 74322 0 0 0 118221 5 0 0 20 0 1 0 50127560 98684928 18236 33554432000 4194304 6142532 140726823736736 140726823734136 5137861 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 28770304 140726823744646 140726823744776 140726823744776 140726823747534 0
/proc/14099/statm: 24093 18236 864 476 0 17415 0
Current children cumulated CPU time: 1182.26 s
Current children cumulated vsize: 96372 KiB
Current children cumulated memory: 72944 KiB

[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 14225
/proc/meminfo: memFree=26525544/32770624 swapFree=67108860/67108860
[pid=14099] ppid=14096 vsize=96372 memory=72944 CPUtime=1242.26 cores=1,3,5,7
/proc/14099/stat : 14099 (cosoco) R 14096 14099 10531 0 -1 4202496 74410 0 0 0 124221 5 0 0 20 0 1 0 50127560 98684928 18236 33554432000 4194304 6142532 140726823736736 140726823734136 5347469 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 28770304 140726823744646 140726823744776 140726823744776 140726823747534 0
/proc/14099/statm: 24093 18236 864 476 0 17415 0
Current children cumulated CPU time: 1242.26 s
Current children cumulated vsize: 96372 KiB
Current children cumulated memory: 72944 KiB

[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 14226
/proc/meminfo: memFree=26525080/32770624 swapFree=67108860/67108860
[pid=14099] ppid=14096 vsize=96372 memory=72944 CPUtime=1302.25 cores=1,3,5,7
/proc/14099/stat : 14099 (cosoco) R 14096 14099 10531 0 -1 4202496 74495 0 0 0 130220 5 0 0 20 0 1 0 50127560 98684928 18236 33554432000 4194304 6142532 140726823736736 140726823734136 5347465 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 28770304 140726823744646 140726823744776 140726823744776 140726823747534 0
/proc/14099/statm: 24093 18236 864 476 0 17415 0
Current children cumulated CPU time: 1302.25 s
Current children cumulated vsize: 96372 KiB
Current children cumulated memory: 72944 KiB

[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 14227
/proc/meminfo: memFree=26525600/32770624 swapFree=67108860/67108860
[pid=14099] ppid=14096 vsize=96372 memory=72944 CPUtime=1362.25 cores=1,3,5,7
/proc/14099/stat : 14099 (cosoco) R 14096 14099 10531 0 -1 4202496 74556 0 0 0 136220 5 0 0 20 0 1 0 50127560 98684928 18236 33554432000 4194304 6142532 140726823736736 140726823734136 5347481 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 28770304 140726823744646 140726823744776 140726823744776 140726823747534 0
/proc/14099/statm: 24093 18236 864 476 0 17415 0
Current children cumulated CPU time: 1362.25 s
Current children cumulated vsize: 96372 KiB
Current children cumulated memory: 72944 KiB

[startup+1422.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 14228
/proc/meminfo: memFree=26524724/32770624 swapFree=67108860/67108860
[pid=14099] ppid=14096 vsize=96372 memory=72944 CPUtime=1422.25 cores=1,3,5,7
/proc/14099/stat : 14099 (cosoco) R 14096 14099 10531 0 -1 4202496 74616 0 0 0 142220 5 0 0 20 0 1 0 50127560 98684928 18236 33554432000 4194304 6142532 140726823736736 140726823734136 5347477 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 28770304 140726823744646 140726823744776 140726823744776 140726823747534 0
/proc/14099/statm: 24093 18236 864 476 0 17415 0
Current children cumulated CPU time: 1422.25 s
Current children cumulated vsize: 96372 KiB
Current children cumulated memory: 72944 KiB

[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/190 14230
/proc/meminfo: memFree=26525048/32770624 swapFree=67108860/67108860
[pid=14099] ppid=14096 vsize=96372 memory=72944 CPUtime=1482.25 cores=1,3,5,7
/proc/14099/stat : 14099 (cosoco) R 14096 14099 10531 0 -1 4202496 74705 0 0 0 148220 5 0 0 20 0 1 0 50127560 98684928 18236 33554432000 4194304 6142532 140726823736736 140726823734136 5347477 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 28770304 140726823744646 140726823744776 140726823744776 140726823747534 0
/proc/14099/statm: 24093 18236 864 476 0 17415 0
Current children cumulated CPU time: 1482.25 s
Current children cumulated vsize: 96372 KiB
Current children cumulated memory: 72944 KiB

[startup+1534.72 s]
# the end of solver process 14099 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1534.63 s, system=0.053999 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.05 3/190 14230
/proc/meminfo: memFree=26524924/32770624 swapFree=67108860/67108860
[pid=14099] ppid=14096 vsize=96372 memory=72944 CPUtime=1484.75 cores=1,3,5,7
/proc/14099/stat : 14099 (cosoco) R 14096 14099 10531 0 -1 4202496 74707 0 0 0 148470 5 0 0 20 0 1 0 50127560 98684928 18236 33554432000 4194304 6142532 140726823736736 140726823734136 5138684 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 28770304 140726823744646 140726823744776 140726823744776 140726823747534 0
/proc/14099/statm: 24093 18236 864 476 0 17415 0
Current children cumulated CPU time: 1484.75 s
Current children cumulated vsize: 96372 KiB
Current children cumulated memory: 72944 KiB

[startup+1510.4 s]
/proc/loadavg: 2.00 2.01 2.05 3/190 14231
/proc/meminfo: memFree=26524032/32770624 swapFree=67108860/67108860
[pid=14099] ppid=14096 vsize=96928 memory=73492 CPUtime=1510.35 cores=1,3,5,7
/proc/14099/stat : 14099 (cosoco) R 14096 14099 10531 0 -1 4202496 75163 0 0 0 151030 5 0 0 20 0 1 0 50127560 99254272 18373 33554432000 4194304 6142532 140726823736736 140726823733768 5215639 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 28770304 140726823744646 140726823744776 140726823744776 140726823747534 0
/proc/14099/statm: 24232 18373 864 476 0 17554 0
Current children cumulated CPU time: 1510.35 s
Current children cumulated vsize: 96928 KiB
Current children cumulated memory: 73492 KiB

[startup+1523.2 s]
/proc/loadavg: 2.00 2.01 2.05 3/190 14231
/proc/meminfo: memFree=26524288/32770624 swapFree=67108860/67108860
[pid=14099] ppid=14096 vsize=97064 memory=73492 CPUtime=1523.15 cores=1,3,5,7
/proc/14099/stat : 14099 (cosoco) R 14096 14099 10531 0 -1 4202496 75176 0 0 0 152310 5 0 0 20 0 1 0 50127560 99393536 18373 33554432000 4194304 6142532 140726823736736 140726823733768 5138416 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 28770304 140726823744646 140726823744776 140726823744776 140726823747534 0
/proc/14099/statm: 24266 18373 864 476 0 17588 0
Current children cumulated CPU time: 1523.15 s
Current children cumulated vsize: 97064 KiB
Current children cumulated memory: 73492 KiB

[startup+1529.6 s]
/proc/loadavg: 2.00 2.01 2.05 3/190 14231
/proc/meminfo: memFree=26522880/32770624 swapFree=67108860/67108860
[pid=14099] ppid=14096 vsize=97064 memory=73492 CPUtime=1529.55 cores=1,3,5,7
/proc/14099/stat : 14099 (cosoco) R 14096 14099 10531 0 -1 4202496 75176 0 0 0 152950 5 0 0 20 0 1 0 50127560 99393536 18373 33554432000 4194304 6142532 140726823736736 140726823733768 5215584 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 28770304 140726823744646 140726823744776 140726823744776 140726823747534 0
/proc/14099/statm: 24266 18373 864 476 0 17588 0
Current children cumulated CPU time: 1529.55 s
Current children cumulated vsize: 97064 KiB
Current children cumulated memory: 73492 KiB

[startup+1532.8 s]
/proc/loadavg: 2.00 2.01 2.05 3/190 14231
/proc/meminfo: memFree=26522880/32770624 swapFree=67108860/67108860
[pid=14099] ppid=14096 vsize=97064 memory=73492 CPUtime=1532.75 cores=1,3,5,7
/proc/14099/stat : 14099 (cosoco) R 14096 14099 10531 0 -1 4202496 75176 0 0 0 153270 5 0 0 20 0 1 0 50127560 99393536 18373 33554432000 4194304 6142532 140726823736736 140726823733768 5137750 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 28770304 140726823744646 140726823744776 140726823744776 140726823747534 0
/proc/14099/statm: 24266 18373 864 476 0 17588 0
Current children cumulated CPU time: 1532.75 s
Current children cumulated vsize: 97064 KiB
Current children cumulated memory: 73492 KiB

[startup+1533.6 s]
/proc/loadavg: 2.00 2.01 2.05 3/190 14231
/proc/meminfo: memFree=26523232/32770624 swapFree=67108860/67108860
[pid=14099] ppid=14096 vsize=97064 memory=73492 CPUtime=1533.55 cores=1,3,5,7
/proc/14099/stat : 14099 (cosoco) R 14096 14099 10531 0 -1 4202496 75176 0 0 0 153350 5 0 0 20 0 1 0 50127560 99393536 18373 33554432000 4194304 6142532 140726823736736 140726823733768 5138124 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 28770304 140726823744646 140726823744776 140726823744776 140726823747534 0
/proc/14099/statm: 24266 18373 864 476 0 17588 0
Current children cumulated CPU time: 1533.55 s
Current children cumulated vsize: 97064 KiB
Current children cumulated memory: 73492 KiB

[startup+1534.4 s]
/proc/loadavg: 2.00 2.01 2.05 3/190 14231
/proc/meminfo: memFree=26523232/32770624 swapFree=67108860/67108860
[pid=14099] ppid=14096 vsize=97064 memory=73492 CPUtime=1534.35 cores=1,3,5,7
/proc/14099/stat : 14099 (cosoco) R 14096 14099 10531 0 -1 4202496 75176 0 0 0 153430 5 0 0 20 0 1 0 50127560 99393536 18373 33554432000 4194304 6142532 140726823736736 140726823733768 5215632 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 28770304 140726823744646 140726823744776 140726823744776 140726823747534 0
/proc/14099/statm: 24266 18373 864 476 0 17588 0
Current children cumulated CPU time: 1534.35 s
Current children cumulated vsize: 97064 KiB
Current children cumulated memory: 73492 KiB

[startup+1534.6 s]
/proc/loadavg: 2.00 2.01 2.05 3/190 14231
/proc/meminfo: memFree=26523232/32770624 swapFree=67108860/67108860
[pid=14099] ppid=14096 vsize=97064 memory=73492 CPUtime=1534.55 cores=1,3,5,7
/proc/14099/stat : 14099 (cosoco) R 14096 14099 10531 0 -1 4202496 75176 0 0 0 153450 5 0 0 20 0 1 0 50127560 99393536 18373 33554432000 4194304 6142532 140726823736736 140726823733768 5215649 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 28770304 140726823744646 140726823744776 140726823744776 140726823747534 0
/proc/14099/statm: 24266 18373 864 476 0 17588 0
Current children cumulated CPU time: 1534.55 s
Current children cumulated vsize: 97064 KiB
Current children cumulated memory: 73492 KiB

[startup+1534.7 s]
/proc/loadavg: 2.00 2.01 2.05 3/190 14231
/proc/meminfo: memFree=26523232/32770624 swapFree=67108860/67108860
[pid=14099] ppid=14096 vsize=97064 memory=73524 CPUtime=1534.65 cores=1,3,5,7
/proc/14099/stat : 14099 (cosoco) R 14096 14099 10531 0 -1 4202496 75177 0 0 0 153460 5 0 0 20 0 1 0 50127560 99393536 18381 33554432000 4194304 6142532 140726823736736 140726823733768 5138432 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 28770304 140726823744646 140726823744776 140726823744776 140726823747534 0
/proc/14099/statm: 24266 18381 864 476 0 17588 0
Current children cumulated CPU time: 1534.65 s
Current children cumulated vsize: 97064 KiB
Current children cumulated memory: 73524 KiB

Child status: 0
Real time (s): 1534.72
CPU time (s): 1534.68
CPU user time (s): 1534.63
CPU system time (s): 0.053999
CPU usage (%): 99.9973
Max. virtual memory (cumulated for all children) (KiB): 97064
Max. memory (cumulated for all children) (KiB): 73524

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1534.63
system time used= 0.053999
maximum resident set size= 73604
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 75481
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= 435


# summary of solver processes directly reported to runsolver:
#   pid: 14099
#   total CPU time (s): 1534.68
#   total CPU user time (s): 1534.63
#   total CPU system time (s): 0.053999

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.65488 second user time and 9.75958 second system time

The end

Launcher Data 

Begin job on node134 at 2018-07-23 08:00:44
IDJOB=4293708
IDBENCH=141227
IDSOLVER=2752
FILE ID=node134/4293708-1532325643
RUNJOBID= node134-1532293349-10563
PBS_JOBID= 21018978
Free space on /tmp= 55992 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-4293708-1532325643/watcher-4293708-1532325643 -o /tmp/evaluation-result-4293708-1532325643/solver-4293708-1532325643 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1532293349-10563 --watchdog 2580  HOME/cosoco -lc -model -restarts HOME/instance-4293708-1532325643.xml

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

MD5SUM BENCH= c010012410fc2279b5e14fdb4de11b49
RANDOM SEED=1526782691

node134.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.68
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.68
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.68
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.68
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:        27505716 kB
MemAvailable:   31975624 kB
Buffers:          184060 kB
Cached:          4550060 kB
SwapCached:            0 kB
Active:          1394108 kB
Inactive:        3398648 kB
Active(anon):       7924 kB
Inactive(anon):    70304 kB
Active(file):    1386184 kB
Inactive(file):  3328344 kB
Unevictable:        7396 kB
Mlocked:            7396 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              2792 kB
Writeback:             0 kB
AnonPages:         57672 kB
Mapped:            38220 kB
Shmem:             17056 kB
Slab:             170932 kB
SReclaimable:     142428 kB
SUnreclaim:        28504 kB
KernelStack:        3440 kB
PageTables:         5144 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     347172 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /tmp at the end= 55988 MiB
End job on node134 at 2018-07-23 08:26:18