Trace number 4242245

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
R1: cosoco 1.1No Cert. 2400.07 2400.6

General information on the benchmark

NameBusScheduling/BusScheduling-cnt-s1/
BusScheduling-cnt-r2.xml
MD5SUM1feceec156c21411e87c939d9e284415
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark14
Best CPU time to get the best result obtained on this benchmark2400.04
Satisfiable
(Un)Satisfiability was proved
Number of variables3001
Number of constraints54
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":3001}]
Minimum variable degree2
Maximum variable degree9
Distribution of variable degrees[{"degree":2,"count":11},{"degree":3,"count":68},{"degree":4,"count":284},{"degree":5,"count":1134},{"degree":6,"count":908},{"degree":7,"count":436},{"degree":8,"count":123},{"degree":9,"count":37}]
Minimum constraint arity139
Maximum constraint arity479
Distribution of constraint arities[{"arity":139,"count":1},{"arity":140,"count":1},{"arity":143,"count":1},{"arity":153,"count":3},{"arity":159,"count":1},{"arity":161,"count":1},{"arity":162,"count":2},{"arity":171,"count":1},{"arity":172,"count":1},{"arity":176,"count":1},{"arity":178,"count":1},{"arity":182,"count":1},{"arity":183,"count":1},{"arity":184,"count":2},{"arity":185,"count":1},{"arity":188,"count":1},{"arity":189,"count":2},{"arity":191,"count":2},{"arity":192,"count":1},{"arity":195,"count":2},{"arity":199,"count":1},{"arity":211,"count":2},{"arity":217,"count":1},{"arity":232,"count":1},{"arity":254,"count":1},{"arity":260,"count":1},{"arity":261,"count":1},{"arity":269,"count":1},{"arity":276,"count":1},{"arity":282,"count":1},{"arity":292,"count":1},{"arity":312,"count":1},{"arity":315,"count":1},{"arity":386,"count":1},{"arity":390,"count":1},{"arity":405,"count":1},{"arity":416,"count":2},{"arity":425,"count":1},{"arity":431,"count":1},{"arity":434,"count":1},{"arity":436,"count":1},{"arity":439,"count":1},{"arity":458,"count":1},{"arity":472,"count":1},{"arity":479,"count":1}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"count","count":54}]
Optimization problemYES
Type of objectivemin SUM

Solver Data 

0.09/0.19	c best=?? lower=0 upper=3001 
1.99/2.07	c
1.99/2.07	c This is cosoco 1.0 --  
1.99/2.07	c
1.99/2.07	c enable optimization
1.99/2.07	c ========================================[ Problem Statistics ]===========================================
1.99/2.07	c |                                                                                                       
1.99/2.07	c |  Parse time        :         0.19 s 
1.99/2.07	c |
1.99/2.07	c |               Variables: 3001
1.99/2.07	c |            Domain Sizes: 2..2
1.99/2.07	c |
1.99/2.07	c |             Constraints: 55
1.99/2.07	c |                   Arity: 139..3001
1.99/2.07	c | 
1.99/2.07	c |                   Types: 
1.99/2.07	c |                          Exactly K: 54
1.99/2.07	c |                          Sum: 1
1.99/2.07	c |                          
1.99/2.07	c =========================================================================================================
1.99/2.07	o 17
1.99/2.07	c    1 calls to solver: best=17 lower=0 upper=16 
1371.48/1371.87	o 16
2400.05/2400.60	
2400.05/2400.60	c *** INTERRUPTED ***
2400.05/2400.60	s SATISFIABLE
2400.05/2400.60	c Best value found: 16
2400.05/2400.60	
2400.05/2400.60	
2400.05/2400.60	v <instantiation type='solution' cost='16'>
2400.05/2400.60	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] </list>
2400.05/2400.60	v <values>0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0

Verifier Data 

ERROR: no instantiation found

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4242245-1500660183/watcher-4242245-1500660183 -o /tmp/evaluation-result-4242245-1500660183/solver-4242245-1500660183 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node138-1500648173-9854 --watchdog 2560 HOME/cosoco -lc -model -restarts HOME/instance-4242245-1500660183.xml 

pid=11074
running on 8 cores: 0,2,4,6,8,10,12,14

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 2.02 2.02 2.05 3/242 11077
/proc/meminfo: memFree=31857564/32770624 swapFree=5908/192436
[pid=11077] ppid=11074 vsize=27248 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/11077/stat : 11077 (cosoco) R 11074 11077 9822 0 -1 4202496 1015 0 0 0 1 0 0 0 20 0 1 0 1285177 27901952 834 33554432000 4194304 5970956 140730598373296 140730598368568 139766006082533 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 8070896 8075904 14430208 140730598380737 140730598380867 140730598380867 140730598383566 0
/proc/11077/statm: 6812 834 698 434 0 176 0

[startup+0.10012 s]
/proc/loadavg: 2.02 2.02 2.05 3/242 11077
/proc/meminfo: memFree=31857564/32770624 swapFree=5908/192436
[pid=11077] ppid=11074 vsize=30184 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/11077/stat : 11077 (cosoco) R 11074 11077 9822 0 -1 4202496 1782 0 0 0 9 0 0 0 20 0 1 0 1285177 30908416 1559 33554432000 4194304 5970956 140730598373296 140730598367192 139766007006528 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 8070896 8075904 14430208 140730598380737 140730598380867 140730598380867 140730598383566 0
/proc/11077/statm: 7546 1559 735 434 0 910 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 30184

[startup+0.200326 s]
/proc/loadavg: 2.02 2.02 2.05 3/242 11077
/proc/meminfo: memFree=31857564/32770624 swapFree=5908/192436
[pid=11077] ppid=11074 vsize=30468 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/11077/stat : 11077 (cosoco) R 11074 11077 9822 0 -1 4202496 1893 0 0 0 19 0 0 0 20 0 1 0 1285177 31199232 1691 33554432000 4194304 5970956 140730598373296 140730598368776 5327850 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 14430208 140730598380737 140730598380867 140730598380867 140730598383566 0
/proc/11077/statm: 7617 1691 740 434 0 981 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 30468

[startup+0.30029 s]
/proc/loadavg: 2.02 2.02 2.05 3/242 11077
/proc/meminfo: memFree=31857564/32770624 swapFree=5908/192436
[pid=11077] ppid=11074 vsize=30996 CPUtime=0.29 cores=0,2,4,6,8,10,12,14
/proc/11077/stat : 11077 (cosoco) R 11074 11077 9822 0 -1 4202496 2039 0 0 0 29 0 0 0 20 0 1 0 1285177 31739904 1823 33554432000 4194304 5970956 140730598373296 140730598370328 139766006082533 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 14430208 140730598380737 140730598380867 140730598380867 140730598383566 0
/proc/11077/statm: 7749 1823 779 434 0 1113 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 30996

[startup+0.700351 s]
/proc/loadavg: 2.02 2.02 2.05 3/242 11077
/proc/meminfo: memFree=31857564/32770624 swapFree=5908/192436
[pid=11077] ppid=11074 vsize=49444 CPUtime=0.68 cores=0,2,4,6,8,10,12,14
/proc/11077/stat : 11077 (cosoco) R 11074 11077 9822 0 -1 4202496 6612 0 0 0 68 0 0 0 20 0 1 0 1285177 50630656 6443 33554432000 4194304 5970956 140730598373296 140730598370072 5045308 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 14430208 140730598380737 140730598380867 140730598380867 140730598383566 0
/proc/11077/statm: 12361 6443 779 434 0 5725 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 49444

[startup+1.50031 s]
/proc/loadavg: 2.02 2.02 2.05 3/243 11078
/proc/meminfo: memFree=31833980/32770624 swapFree=5908/192740
[pid=11077] ppid=11074 vsize=50116 CPUtime=1.48 cores=0,2,4,6,8,10,12,14
/proc/11077/stat : 11077 (cosoco) R 11074 11077 9822 0 -1 4202496 6791 0 0 0 148 0 0 0 20 0 1 0 1285177 51318784 6575 33554432000 4194304 5970956 140730598373296 140730598370056 5136625 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 14430208 140730598380737 140730598380867 140730598380867 140730598383566 0
/proc/11077/statm: 12529 6575 779 434 0 5893 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 50116

[startup+3.10029 s]
/proc/loadavg: 2.02 2.02 2.05 4/243 11078
/proc/meminfo: memFree=31823240/32770624 swapFree=5908/192740
[pid=11077] ppid=11074 vsize=61472 CPUtime=3.09 cores=0,2,4,6,8,10,12,14
/proc/11077/stat : 11077 (cosoco) R 11074 11077 9822 0 -1 4202496 14879 0 0 0 308 1 0 0 20 0 1 0 1285177 62947328 9417 33554432000 4194304 5970956 140730598373296 140730598370168 5136608 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 14430208 140730598380737 140730598380867 140730598380867 140730598383566 0
/proc/11077/statm: 15368 9417 780 434 0 8732 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 61472

[startup+6.30029 s]
/proc/loadavg: 2.02 2.02 2.05 3/243 11078
/proc/meminfo: memFree=31821320/32770624 swapFree=5908/192812
[pid=11077] ppid=11074 vsize=62696 CPUtime=6.29 cores=0,2,4,6,8,10,12,14
/proc/11077/stat : 11077 (cosoco) R 11074 11077 9822 0 -1 4202496 20800 0 0 0 628 1 0 0 20 0 1 0 1285177 64200704 9748 33554432000 4194304 5970956 140730598373296 140730598370168 5045464 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 14430208 140730598380737 140730598380867 140730598380867 140730598383566 0
/proc/11077/statm: 15674 9748 780 434 0 9038 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 62696

[startup+12.7003 s]
/proc/loadavg: 2.01 2.02 2.05 3/243 11144
/proc/meminfo: memFree=31997080/32770624 swapFree=5908/192812
[pid=11077] ppid=11074 vsize=63380 CPUtime=12.69 cores=0,2,4,6,8,10,12,14
/proc/11077/stat : 11077 (cosoco) R 11074 11077 9822 0 -1 4202496 25984 0 0 0 1267 2 0 0 20 0 1 0 1285177 64901120 9886 33554432000 4194304 5970956 140730598373296 140730598370072 5047048 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 14430208 140730598380737 140730598380867 140730598380867 140730598383566 0
/proc/11077/statm: 15845 9886 780 434 0 9209 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 63380

[startup+25.5003 s]
/proc/loadavg: 2.01 2.02 2.05 3/243 11144
/proc/meminfo: memFree=31993760/32770624 swapFree=5908/192812
[pid=11077] ppid=11074 vsize=64220 CPUtime=25.48 cores=0,2,4,6,8,10,12,14
/proc/11077/stat : 11077 (cosoco) R 11074 11077 9822 0 -1 4202496 29387 0 0 0 2546 2 0 0 20 0 1 0 1285177 65761280 10147 33554432000 4194304 5970956 140730598373296 140730598370072 5136608 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 14430208 140730598380737 140730598380867 140730598380867 140730598383566 0
/proc/11077/statm: 16055 10147 780 434 0 9419 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 64220

[startup+51.1004 s]
/proc/loadavg: 2.07 2.03 2.05 3/243 11144
/proc/meminfo: memFree=31993196/32770624 swapFree=5908/192864
[pid=11077] ppid=11074 vsize=64496 CPUtime=51.07 cores=0,2,4,6,8,10,12,14
/proc/11077/stat : 11077 (cosoco) R 11074 11077 9822 0 -1 4202496 29925 0 0 0 5105 2 0 0 20 0 1 0 1285177 66043904 10212 33554432000 4194304 5970956 140730598373296 140730598370072 5045308 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 14430208 140730598380737 140730598380867 140730598380867 140730598383566 0
/proc/11077/statm: 16124 10212 780 434 0 9488 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 64496

[startup+102.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/243 11145
/proc/meminfo: memFree=31992540/32770624 swapFree=5908/192864
[pid=11077] ppid=11074 vsize=64628 CPUtime=102.27 cores=0,2,4,6,8,10,12,14
/proc/11077/stat : 11077 (cosoco) R 11074 11077 9822 0 -1 4202496 30343 0 0 0 10225 2 0 0 20 0 1 0 1285177 66179072 10257 33554432000 4194304 5970956 140730598373296 140730598370072 5136587 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 14430208 140730598380737 140730598380867 140730598380867 140730598383566 0
/proc/11077/statm: 16157 10257 780 434 0 9521 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 64628

[startup+162.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/243 11146
/proc/meminfo: memFree=31992264/32770624 swapFree=5908/192864
[pid=11077] ppid=11074 vsize=64772 CPUtime=162.25 cores=0,2,4,6,8,10,12,14
/proc/11077/stat : 11077 (cosoco) R 11074 11077 9822 0 -1 4202496 30737 0 0 0 16223 2 0 0 20 0 1 0 1285177 66326528 10305 33554432000 4194304 5970956 140730598373296 140730598370072 5047051 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 14430208 140730598380737 140730598380867 140730598380867 140730598383566 0
/proc/11077/statm: 16193 10305 780 434 0 9557 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 64772

[startup+222.308 s]
/proc/loadavg: 2.00 2.02 2.05 3/243 11147
/proc/meminfo: memFree=31992216/32770624 swapFree=5908/192864
[pid=11077] ppid=11074 vsize=64916 CPUtime=222.24 cores=0,2,4,6,8,10,12,14
/proc/11077/stat : 11077 (cosoco) R 11074 11077 9822 0 -1 4202496 30889 0 0 0 22222 2 0 0 20 0 1 0 1285177 66473984 10326 33554432000 4194304 5970956 140730598373296 140730598370168 5136615 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 14430208 140730598380737 140730598380867 140730598380867 140730598383566 0
/proc/11077/statm: 16229 10326 780 434 0 9593 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 64916

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 11148
/proc/meminfo: memFree=31992240/32770624 swapFree=5908/192864
[pid=11077] ppid=11074 vsize=64916 CPUtime=282.22 cores=0,2,4,6,8,10,12,14
/proc/11077/stat : 11077 (cosoco) R 11074 11077 9822 0 -1 4202496 31034 0 0 0 28220 2 0 0 20 0 1 0 1285177 66473984 10335 33554432000 4194304 5970956 140730598373296 140730598370168 5045500 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 14430208 140730598380737 140730598380867 140730598380867 140730598383566 0
/proc/11077/statm: 16229 10335 780 434 0 9593 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 64916

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 11149
/proc/meminfo: memFree=31992388/32770624 swapFree=5908/192864
[pid=11077] ppid=11074 vsize=64916 CPUtime=342.21 cores=0,2,4,6,8,10,12,14
/proc/11077/stat : 11077 (cosoco) R 11074 11077 9822 0 -1 4202496 31202 0 0 0 34219 2 0 0 20 0 1 0 1285177 66473984 10335 33554432000 4194304 5970956 140730598373296 140730598370168 5045683 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 14430208 140730598380737 140730598380867 140730598380867 140730598383566 0
/proc/11077/statm: 16229 10335 780 434 0 9593 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 64916

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 11150
/proc/meminfo: memFree=31992244/32770624 swapFree=5908/193156
[pid=11077] ppid=11074 vsize=65056 CPUtime=402.2 cores=0,2,4,6,8,10,12,14
/proc/11077/stat : 11077 (cosoco) R 11074 11077 9822 0 -1 4202496 31370 0 0 0 40218 2 0 0 20 0 1 0 1285177 66617344 10363 33554432000 4194304 5970956 140730598373296 140730598370168 5136608 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 14430208 140730598380737 140730598380867 140730598380867 140730598383566 0
/proc/11077/statm: 16264 10363 780 434 0 9628 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 65056

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 11158
/proc/meminfo: memFree=31992996/32770624 swapFree=5908/193216
[pid=11077] ppid=11074 vsize=65056 CPUtime=462.18 cores=0,2,4,6,8,10,12,14
/proc/11077/stat : 11077 (cosoco) R 11074 11077 9822 0 -1 4202496 31543 0 0 0 46216 2 0 0 20 0 1 0 1285177 66617344 10371 33554432000 4194304 5970956 140730598373296 140730598370168 5047066 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 14430208 140730598380737 140730598380867 140730598380867 140730598383566 0
/proc/11077/statm: 16264 10371 780 434 0 9628 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 65056

[startup+522.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/243 11159
/proc/meminfo: memFree=31992892/32770624 swapFree=5908/193216
[pid=11077] ppid=11074 vsize=65192 CPUtime=522.17 cores=0,2,4,6,8,10,12,14
/proc/11077/stat : 11077 (cosoco) R 11074 11077 9822 0 -1 4202496 31741 0 0 0 52215 2 0 0 20 0 1 0 1285177 66756608 10381 33554432000 4194304 5970956 140730598373296 140730598370168 5045461 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 14430208 140730598380737 140730598380867 140730598380867 140730598383566 0
/proc/11077/statm: 16298 10381 780 434 0 9662 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 65192

[startup+582.3 s]
/proc/loadavg: 2.03 2.02 2.05 3/243 11160
/proc/meminfo: memFree=31992708/32770624 swapFree=5908/193216
[pid=11077] ppid=11074 vsize=65192 CPUtime=582.16 cores=0,2,4,6,8,10,12,14
/proc/11077/stat : 11077 (cosoco) R 11074 11077 9822 0 -1 4202496 31915 0 0 0 58214 2 0 0 20 0 1 0 1285177 66756608 10415 33554432000 4194304 5970956 140730598373296 140730598370168 5047044 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 14430208 140730598380737 140730598380867 140730598380867 140730598383566 0
/proc/11077/statm: 16298 10415 780 434 0 9662 0
Current children cumulated CPU time (s) 582.16
Current children cumulated vsize (KiB) 65192


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


[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 11249
/proc/meminfo: memFree=31910168/32770624 swapFree=5908/193736
[pid=11077] ppid=11074 vsize=65744 CPUtime=1481.95 cores=0,2,4,6,8,10,12,14
/proc/11077/stat : 11077 (cosoco) R 11074 11077 9822 0 -1 4202496 35089 0 0 0 148193 2 0 0 20 0 1 0 1285177 67321856 10555 33554432000 4194304 5970956 140730598373296 140730598370856 5136608 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 14430208 140730598380737 140730598380867 140730598380867 140730598383566 0
/proc/11077/statm: 16436 10555 780 434 0 9800 0
Current children cumulated CPU time (s) 1481.95
Current children cumulated vsize (KiB) 65744

[startup+1542.31 s]
/proc/loadavg: 2.08 2.03 2.05 3/243 11251
/proc/meminfo: memFree=31911304/32770624 swapFree=5908/193736
[pid=11077] ppid=11074 vsize=65744 CPUtime=1541.95 cores=0,2,4,6,8,10,12,14
/proc/11077/stat : 11077 (cosoco) R 11074 11077 9822 0 -1 4202496 35330 0 0 0 154193 2 0 0 20 0 1 0 1285177 67321856 10555 33554432000 4194304 5970956 140730598373296 140730598370856 5047048 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 14430208 140730598380737 140730598380867 140730598380867 140730598383566 0
/proc/11077/statm: 16436 10555 780 434 0 9800 0
Current children cumulated CPU time (s) 1541.95
Current children cumulated vsize (KiB) 65744

[startup+1602.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/243 11252
/proc/meminfo: memFree=31912384/32770624 swapFree=5908/193916
[pid=11077] ppid=11074 vsize=65876 CPUtime=1601.93 cores=0,2,4,6,8,10,12,14
/proc/11077/stat : 11077 (cosoco) R 11074 11077 9822 0 -1 4202496 35584 0 0 0 160191 2 0 0 20 0 1 0 1285177 67457024 10555 33554432000 4194304 5970956 140730598373296 140730598370168 5045308 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 14430208 140730598380737 140730598380867 140730598380867 140730598383566 0
/proc/11077/statm: 16469 10555 780 434 0 9833 0
Current children cumulated CPU time (s) 1601.93
Current children cumulated vsize (KiB) 65876

[startup+1662.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/244 11261
/proc/meminfo: memFree=31912764/32770624 swapFree=5908/193940
[pid=11077] ppid=11074 vsize=65876 CPUtime=1661.91 cores=0,2,4,6,8,10,12,14
/proc/11077/stat : 11077 (cosoco) R 11074 11077 9822 0 -1 4202496 35853 0 0 0 166189 2 0 0 20 0 1 0 1285177 67457024 10573 33554432000 4194304 5970956 140730598373296 140730598370168 5136608 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 14430208 140730598380737 140730598380867 140730598380867 140730598383566 0
/proc/11077/statm: 16469 10573 780 434 0 9833 0
Current children cumulated CPU time (s) 1661.91
Current children cumulated vsize (KiB) 65876

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 11262
/proc/meminfo: memFree=31913316/32770624 swapFree=5908/193940
[pid=11077] ppid=11074 vsize=66020 CPUtime=1721.9 cores=0,2,4,6,8,10,12,14
/proc/11077/stat : 11077 (cosoco) R 11074 11077 9822 0 -1 4202496 36135 0 0 0 172188 2 0 0 20 0 1 0 1285177 67604480 10580 33554432000 4194304 5970956 140730598373296 140730598370072 5136608 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 14430208 140730598380737 140730598380867 140730598380867 140730598383566 0
/proc/11077/statm: 16505 10580 780 434 0 9869 0
Current children cumulated CPU time (s) 1721.9
Current children cumulated vsize (KiB) 66020

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 11263
/proc/meminfo: memFree=31911356/32770624 swapFree=5908/193940
[pid=11077] ppid=11074 vsize=66020 CPUtime=1781.89 cores=0,2,4,6,8,10,12,14
/proc/11077/stat : 11077 (cosoco) R 11074 11077 9822 0 -1 4202496 36419 0 0 0 178187 2 0 0 20 0 1 0 1285177 67604480 10603 33554432000 4194304 5970956 140730598373296 140730598370072 5047051 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 14430208 140730598380737 140730598380867 140730598380867 140730598383566 0
/proc/11077/statm: 16505 10603 780 434 0 9869 0
Current children cumulated CPU time (s) 1781.89
Current children cumulated vsize (KiB) 66020

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 11264
/proc/meminfo: memFree=31911704/32770624 swapFree=5908/193940
[pid=11077] ppid=11074 vsize=66164 CPUtime=1841.87 cores=0,2,4,6,8,10,12,14
/proc/11077/stat : 11077 (cosoco) R 11074 11077 9822 0 -1 4202496 36646 0 0 0 184185 2 0 0 20 0 1 0 1285177 67751936 10633 33554432000 4194304 5970956 140730598373296 140730598370072 5327296 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 14430208 140730598380737 140730598380867 140730598380867 140730598383566 0
/proc/11077/statm: 16541 10633 780 434 0 9905 0
Current children cumulated CPU time (s) 1841.87
Current children cumulated vsize (KiB) 66164

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 11265
/proc/meminfo: memFree=31910988/32770624 swapFree=5908/194048
[pid=11077] ppid=11074 vsize=66164 CPUtime=1901.86 cores=0,2,4,6,8,10,12,14
/proc/11077/stat : 11077 (cosoco) R 11074 11077 9822 0 -1 4202496 36936 0 0 0 190184 2 0 0 20 0 1 0 1285177 67751936 10655 33554432000 4194304 5970956 140730598373296 140730598370072 5136560 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 14430208 140730598380737 140730598380867 140730598380867 140730598383566 0
/proc/11077/statm: 16541 10655 780 434 0 9905 0
Current children cumulated CPU time (s) 1901.86
Current children cumulated vsize (KiB) 66164

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 11266
/proc/meminfo: memFree=31910652/32770624 swapFree=5908/194048
[pid=11077] ppid=11074 vsize=66304 CPUtime=1961.85 cores=0,2,4,6,8,10,12,14
/proc/11077/stat : 11077 (cosoco) R 11074 11077 9822 0 -1 4202496 37018 0 0 0 196183 2 0 0 20 0 1 0 1285177 67895296 10662 33554432000 4194304 5970956 140730598373296 140730598370072 5047493 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 14430208 140730598380737 140730598380867 140730598380867 140730598383566 0
/proc/11077/statm: 16576 10662 780 434 0 9940 0
Current children cumulated CPU time (s) 1961.85
Current children cumulated vsize (KiB) 66304

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 11267
/proc/meminfo: memFree=31911528/32770624 swapFree=5908/194048
[pid=11077] ppid=11074 vsize=66304 CPUtime=2021.83 cores=0,2,4,6,8,10,12,14
/proc/11077/stat : 11077 (cosoco) R 11074 11077 9822 0 -1 4202496 37086 0 0 0 202181 2 0 0 20 0 1 0 1285177 67895296 10688 33554432000 4194304 5970956 140730598373296 140730598370072 5045304 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 14430208 140730598380737 140730598380867 140730598380867 140730598383566 0
/proc/11077/statm: 16576 10688 780 434 0 9940 0
Current children cumulated CPU time (s) 2021.83
Current children cumulated vsize (KiB) 66304

[startup+2082.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/243 11268
/proc/meminfo: memFree=31910980/32770624 swapFree=5908/194048
[pid=11077] ppid=11074 vsize=66304 CPUtime=2081.83 cores=0,2,4,6,8,10,12,14
/proc/11077/stat : 11077 (cosoco) R 11074 11077 9822 0 -1 4202496 37154 0 0 0 208181 2 0 0 20 0 1 0 1285177 67895296 10688 33554432000 4194304 5970956 140730598373296 140730598370072 5136620 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 14430208 140730598380737 140730598380867 140730598380867 140730598383566 0
/proc/11077/statm: 16576 10688 780 434 0 9940 0
Current children cumulated CPU time (s) 2081.83
Current children cumulated vsize (KiB) 66304

[startup+2142.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/243 11269
/proc/meminfo: memFree=31910424/32770624 swapFree=5908/194048
[pid=11077] ppid=11074 vsize=66304 CPUtime=2141.81 cores=0,2,4,6,8,10,12,14
/proc/11077/stat : 11077 (cosoco) R 11074 11077 9822 0 -1 4202496 37214 0 0 0 214179 2 0 0 20 0 1 0 1285177 67895296 10688 33554432000 4194304 5970956 140730598373296 140730598370072 5136570 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 14430208 140730598380737 140730598380867 140730598380867 140730598383566 0
/proc/11077/statm: 16576 10688 780 434 0 9940 0
Current children cumulated CPU time (s) 2141.81
Current children cumulated vsize (KiB) 66304

[startup+2202.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 11270
/proc/meminfo: memFree=31911228/32770624 swapFree=5908/194192
[pid=11077] ppid=11074 vsize=66304 CPUtime=2201.8 cores=0,2,4,6,8,10,12,14
/proc/11077/stat : 11077 (cosoco) R 11074 11077 9822 0 -1 4202496 37279 0 0 0 220178 2 0 0 20 0 1 0 1285177 67895296 10697 33554432000 4194304 5970956 140730598373296 140730598370072 5311648 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 14430208 140730598380737 140730598380867 140730598380867 140730598383566 0
/proc/11077/statm: 16576 10697 780 434 0 9940 0
Current children cumulated CPU time (s) 2201.8
Current children cumulated vsize (KiB) 66304

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 11279
/proc/meminfo: memFree=31912120/32770624 swapFree=5908/194228
[pid=11077] ppid=11074 vsize=66304 CPUtime=2261.78 cores=0,2,4,6,8,10,12,14
/proc/11077/stat : 11077 (cosoco) R 11074 11077 9822 0 -1 4202496 37345 0 0 0 226176 2 0 0 20 0 1 0 1285177 67895296 10697 33554432000 4194304 5970956 140730598373296 140730598370072 5136608 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 14430208 140730598380737 140730598380867 140730598380867 140730598383566 0
/proc/11077/statm: 16576 10697 780 434 0 9940 0
Current children cumulated CPU time (s) 2261.78
Current children cumulated vsize (KiB) 66304

[startup+2322.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/244 11280
/proc/meminfo: memFree=31912092/32770624 swapFree=5908/194228
[pid=11077] ppid=11074 vsize=66304 CPUtime=2321.77 cores=0,2,4,6,8,10,12,14
/proc/11077/stat : 11077 (cosoco) R 11074 11077 9822 0 -1 4202496 37412 0 0 0 232175 2 0 0 20 0 1 0 1285177 67895296 10697 33554432000 4194304 5970956 140730598373296 140730598370072 5136577 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 14430208 140730598380737 140730598380867 140730598380867 140730598383566 0
/proc/11077/statm: 16576 10697 780 434 0 9940 0
Current children cumulated CPU time (s) 2321.77
Current children cumulated vsize (KiB) 66304

[startup+2382.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/244 11281
/proc/meminfo: memFree=31910864/32770624 swapFree=5908/194228
[pid=11077] ppid=11074 vsize=66304 CPUtime=2381.75 cores=0,2,4,6,8,10,12,14
/proc/11077/stat : 11077 (cosoco) R 11074 11077 9822 0 -1 4202496 37482 0 0 0 238173 2 0 0 20 0 1 0 1285177 67895296 10701 33554432000 4194304 5970956 140730598373296 140730598370072 5045478 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 14430208 140730598380737 140730598380867 140730598380867 140730598383566 0
/proc/11077/statm: 16576 10701 780 434 0 9940 0
Current children cumulated CPU time (s) 2381.75
Current children cumulated vsize (KiB) 66304



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2400.6 s]
/proc/loadavg: 2.01 2.02 2.05 3/244 11281
/proc/meminfo: memFree=31910864/32770624 swapFree=5908/194228
[pid=11077] ppid=11074 vsize=66304 CPUtime=2400.05 cores=0,2,4,6,8,10,12,14
/proc/11077/stat : 11077 (cosoco) R 11074 11077 9822 0 -1 4202496 37530 0 0 0 240003 2 0 0 20 0 1 0 1285177 67895296 10701 33554432000 4194304 5970956 140730598373296 140730598370072 5045728 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 14430208 140730598380737 140730598380867 140730598380867 140730598383566 0
/proc/11077/statm: 16576 10701 780 434 0 9940 0
Current children cumulated CPU time (s) 2400.05
Current children cumulated vsize (KiB) 66304

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

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 11077 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 1
Real time (s): 2400.6
CPU time (s): 2400.07
CPU user time (s): 2400.04
CPU system time (s): 0.029993
CPU usage (%): 99.9777
Max. virtual memory (cumulated for all children) (KiB): 66304

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.04
system time used= 0.029993
maximum resident set size= 42852
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 37564
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= 22
involuntary context switches= 121856

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.00597 second user time and 9.25803 second system time

The end

Launcher Data 

Begin job on node138 at 2017-07-21 20:03:03
IDJOB=4242245
IDBENCH=133715
IDSOLVER=2620
FILE ID=node138/4242245-1500660183
RUNJOBID= node138-1500648173-9854
PBS_JOBID= 20623282
Free space on /tmp= 61944 MiB

SOLVER NAME= cosoco 1.1
BENCH NAME= XCSP17/BusScheduling/BusScheduling-cnt-s1/BusScheduling-cnt-r2.xml
COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4242245-1500660183/watcher-4242245-1500660183 -o /tmp/evaluation-result-4242245-1500660183/solver-4242245-1500660183 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node138-1500648173-9854 --watchdog 2560  HOME/cosoco -lc -model -restarts HOME/instance-4242245-1500660183.xml

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

MD5SUM BENCH= 1feceec156c21411e87c939d9e284415
RANDOM SEED=192174584

node138.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/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		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.44
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		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.44
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		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.44
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		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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		: 2133.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.44
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		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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:

processor	: 8
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 1
initial apicid	: 1
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.44
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 9
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 17
initial apicid	: 17
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	: 10
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 3
initial apicid	: 3
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.44
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 11
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2533.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 19
initial apicid	: 19
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	: 12
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 5
initial apicid	: 5
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.44
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 13
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	: 8
core id		: 2
cpu cores	: 4
apicid		: 21
initial apicid	: 21
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	: 14
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1867.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 7
initial apicid	: 7
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.44
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 15
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1733.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 23
initial apicid	: 23
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:        31858364 kB
MemAvailable:   31897964 kB
Buffers:           33996 kB
Cached:           316008 kB
SwapCached:            0 kB
Active:           333896 kB
Inactive:         201028 kB
Active(anon):     188472 kB
Inactive(anon):     8592 kB
Active(file):     145424 kB
Inactive(file):   192436 kB
Unevictable:        5908 kB
Mlocked:            5908 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              2436 kB
Writeback:             0 kB
AnonPages:        191484 kB
Mapped:            31796 kB
Shmem:              8852 kB
Slab:              67112 kB
SReclaimable:      35152 kB
SUnreclaim:        31960 kB
KernelStack:        4192 kB
PageTables:         5244 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     459060 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    133120 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      140672 kB
DirectMap2M:    33404928 kB

Free space on /tmp at the end= 61988 MiB
End job on node138 at 2017-07-21 20:43:04