Trace number 4301353

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
cosoco 1.12SAT (TO)180 251.974 252.011

General information on the benchmark

NamePseudoBoolean-opt/
Pb-circ8-3_c18.xml
MD5SUM7db04233d06e2f858d703f8c476ffab2
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark178
Best CPU time to get the best result obtained on this benchmark252.036
Satisfiable
(Un)Satisfiability was proved
Number of variables1344
Number of constraints16096
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":1344}]
Minimum variable degree16
Maximum variable degree158
Distribution of variable degrees[{"degree":16,"count":16},{"degree":17,"count":112},{"degree":24,"count":16},{"degree":25,"count":16},{"degree":26,"count":120},{"degree":34,"count":56},{"degree":40,"count":336},{"degree":47,"count":56},{"degree":60,"count":56},{"degree":72,"count":56},{"degree":84,"count":56},{"degree":96,"count":56},{"degree":108,"count":56},{"degree":120,"count":56},{"degree":132,"count":56},{"degree":144,"count":56},{"degree":154,"count":56},{"degree":155,"count":56},{"degree":158,"count":56}]
Minimum constraint arity2
Maximum constraint arity28
Distribution of constraint arities[{"arity":2,"count":1624},{"arity":3,"count":6496},{"arity":4,"count":760},{"arity":5,"count":672},{"arity":6,"count":672},{"arity":7,"count":912},{"arity":8,"count":784},{"arity":9,"count":672},{"arity":10,"count":672},{"arity":11,"count":672},{"arity":12,"count":672},{"arity":13,"count":672},{"arity":14,"count":728},{"arity":28,"count":88}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"sum","count":16096}]
Optimization problemYES
Type of objectivemin SUM

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

1.49/1.52	c best=?? lower=0 upper=1024 
2.79/2.86	c
2.79/2.86	c This is cosoco 1.12 --  
2.79/2.86	c
2.79/2.86	c command line: HOME/cosoco -lc -model -restarts HOME/instance-4301353-1532879987.xml 
2.79/2.86	c enable optimization
2.79/2.86	c ========================================[ Problem Statistics ]===========================================
2.79/2.86	c |                                                                                                       
2.79/2.86	c |  Parse time        :         1.46 s 
2.79/2.86	c |
2.79/2.86	c |               Variables: 1344
2.79/2.86	c |            Domain Sizes: 2..2
2.79/2.86	c |
2.79/2.86	c |             Constraints: 16097
2.79/2.86	c |                   Arity: 2..448  -- Binary: 1624  -- Ternary: 6496
2.79/2.86	c | 
2.79/2.86	c |                   Types: 
2.79/2.86	c |                          Sum: 16097
2.79/2.86	c |                          
2.79/2.86	c |               Objective: Minimize Sum
2.79/2.86	
2.79/2.86	c =========================================================================================================
2.79/2.86	o 198
2.79/2.86	c    1 calls to solver: best=198 lower=0 upper=197 
3.39/3.49	o 196
7.78/7.85	o 194
7.78/7.85	c    3 calls to solver: best=194 lower=0 upper=193 
66.46/66.51	o 190
88.97/89.08	o 188
88.97/89.08	c    5 calls to solver: best=188 lower=0 upper=187 
116.66/116.75	o 182
229.46/229.53	o 180
229.46/229.53	c    7 calls to solver: best=180 lower=0 upper=179 
251.96/252.01	
251.96/252.01	c *** INTERRUPTED ***
251.96/252.01	c restarts              : 38          
251.96/252.01	c conflicts             : 37641        (149 /sec)
251.96/252.01	c decisions             : 2145919      (8520 /sec)
251.96/252.01	c propagations          : 14222233    (56469 /sec)
251.96/252.01	c root propagations     : 193002      
251.96/252.01	c filter calls          : 540443904      (2145810 /sec)
251.96/252.01	c useless filter calls  : 534132918      (98 %)
251.96/252.01	c Memory used           : 128.61 MB
251.96/252.01	c CPU time              : 251.86 s
251.96/252.01	
251.96/252.01	c nb Solutions = 7
251.96/252.01	s SATISFIABLE
251.96/252.01	c Best value found: 180
251.96/252.01	
251.96/252.01	
251.96/252.01	v <instantiation type='solution' cost='180'>
251.96/252.01	v <list>x[0] x[1000] x[1001] x[1002] x[1003] x[1004] x[1005] x[1006] x[1007] x[1008] x[1009] x[100] x[1010] x[1011] x[1012] x[1013] x[1014] x[1015] x[1016] x[1017] x[1018] x[1019] x[101] x[1020] x[1021] x[1022] x[1023] x[1024] x[1025] x[1026] x[1027] x[1028] x[1029] x[102] x[1030] x[1031] x[1032] x[1033] x[1034] x[1035] x[1036] x[1037] x[1038] x[1039] x[103] x[1040] x[1041] x[1042] x[1043] x[1044] x[1045] x[1046] x[1047] x[1048] x[1049] x[104] x[1050] x[1051] x[1052] x[1053] x[1054] x[1055] x[1056] x[1057] x[1058] x[1059] x[105] x[1060] x[1061] x[1062] x[1063] x[1064] x[1065] x[1066] x[1067] x[1068] x[1069] x[106] x[1070] x[1071] x[1072] x[1073] x[1074] x[1075] x[1076] x[1077] x[1078] x[1079] x[107] x[1080] x[1081] x[1082] x[1083] x[1084] x[1085] x[1086] x[1087] x[1088] x[1089] x[108] x[1090] x[1091] x[1092] x[1093] x[1094] x[1095] x[1096] x[1097] x[1098] x[1099] x[109] x[10] x[1100] x[1101] x[1102] x[1103] x[1104] x[1105] x[1106] x[1107] x[1108] x[1109] x[110] x[1110] x[1111] x[1112] x[1113] x[1114] x[1115] x[1116] x[1117] x[1118] x[1119] x[111] x[1120] x[1121] x[1122] x[1123] x[1124] x[1125] x[1126] x[1127] x[1128] x[1129] x[112] x[1130] x[1131] x[1132] x[1133] x[1134] x[1135] x[1136] x[1137] x[1138] x[1139] x[113] x[1140] x[1141] x[1142] x[1143] x[1144] x[1145] x[1146] x[1147] x[1148] x[1149] x[114] x[1150] x[1151] x[1152] x[1153] x[1154] x[1155] x[1156] x[1157] x[1158] x[1159] x[115] x[1160] x[1161] x[1162] x[1163] x[1164] x[1165] x[1166] x[1167] x[1168] x[1169] x[116] x[1170] x[1171] x[1172] x[1173] x[1174] x[1175] x[1176] x[1177] x[1178] x[1179] x[117] x[1180] x[1181] x[1182] x[1183] x[1184] x[1185] x[1186] x[1187] x[1188] x[1189] x[118] x[1190] x[1191] x[1192] x[1193] x[1194] x[1195] x[1196] x[1197] x[1198] x[1199] x[119] x[11] x[1200] x[1201] x[1202] x[1203] x[1204] x[1205] x[1206] x[1207] x[1208] x[1209] x[120] x[1210] x[1211] x[1212] x[1213] x[1214] x[1215] x[1216] x[1217] x[1218] x[1219] x[121] x[1220] x[1221] x[1222] x[1223] x[1224] x[1225] x[1226] x[1227] x[1228] x[1229] x[122] x[1230] x[1231] x[1232] x[1233] x[1234] x[1235] x[1236] x[1237] x[1238] x[1239] x[123] x[1240] x[1241] x[1242] x[1243] x[1244] x[1245] x[1246] x[1247] x[1248] x[1249] x[124] x[1250] x[1251] x[1252] x[1253] x[1254] x[1255] x[1256] x[1257] x[1258] x[1259] x[125] x[1260] x[1261] x[1262] x[1263] x[1264] x[1265] x[1266] x[1267] x[1268] x[1269] x[126] x[1270] x[1271] x[1272] x[1273] x[1274] x[1275] x[1276] x[1277] x[1278] x[1279] x[127] x[1280] x[1281] x[1282] x[1283] x[1284] x[1285] x[1286] x[1287] x[1288] x[1289] x[128] x[1290] x[1291] x[1292] x[1293] x[1294] x[1295] x[1296] x[1297] x[1298] x[1299] x[129] x[12] x[1300] x[1301] x[1302] x[1303] x[1304] x[1305] x[1306] x[1307] x[1308] x[1309] x[130] x[1310] x[1311] x[1312] x[1313] x[1314] x[1315] x[1316] x[1317] x[1318] x[1319] x[131] x[1320] x[1321] x[1322] x[1323] x[1324] x[1325] x[1326] x[1327] x[1328] x[1329] x[132] x[1330] x[1331] x[1332] x[1333] x[1334] x[1335] x[1336] x[1337] x[1338] x[1339] x[133] x[1340] x[1341] x[1342] x[1343] x[134] x[135] x[136] x[137] x[138] x[139] x[13] x[140] x[141] x[142] x[143] x[144] x[145] x[146] x[147] x[148] x[149] x[14] x[150] x[151] x[152] x[153] x[154] x[155] x[156] x[157] x[158] x[159] x[15] x[160] x[161] x[162] x[163] x[164] x[165] x[166] x[167] x[168] x[169] x[16] x[170] x[171] x[172] x[173] x[174] x[175] x[176] x[177] x[178] x[179] x[17] x[180] x[181] x[182] x[183] x[184] x[185] x[186] x[187] x[188] x[189] x[18] x[190] x[191] x[192] x[193] x[194] x[195] x[196] x[197] x[198] x[199] x[19] x[1] x[200] x[201] x[202] x[203] x[204] x[205] x[206] x[207] x[208] x[209] x[20] x[210] x[211] x[212] x[213] x[214] x[215] x[216] x[217] x[218] x[219] x[21] x[220] x[221] x[222] x[223] x[224] x[225] x[226] x[227] x[228] x[229] x[22] x[230] x[231] x[232] x[233] x[234] x[235] x[236] x[237] x[238] x[239] x[23] x[240] x[241] x[242] x[243] x[244] x[245] x[246] x[247] x[248] x[249] x[24] x[250] x[251] x[252] x[253] x[254] x[255] x[256] x[257] x[258] x[259] x[25] x[260] x[261] x[262] x[263] x[264] x[265] x[266] x[267] x[268] x[269] x[26] x[270] x[271] x[272] x[273] x[274] x[275] x[276] x[277] x[278] x[279] x[27] x[280] x[281] x[282] x[283] x[284] x[285] x[286] x[287] x[288] x[289] x[28] x[290] x[291] x[292] x[293] x[294] x[295] x[296] x[297] x[298] x[299] x[29] x[2] x[300] x[301] x[302] x[303] x[304] x[305] x[306] x[307] x[308] x[309] x[30] x[310] x[311] x[312] x[313] x[314] x[315] x[316] x[317] x[318] x[319] x[31] x[320] x[321] x[322] x[323] x[324] x[325] x[326] x[327] x[328] x[329] x[32] x[330] x[331] x[332] x[333] x[334] x[335] x[336] x[337] x[338] x[339] x[33] x[340] x[341] x[342] x[343] x[344] x[345] x[346] x[347] x[348] x[349] x[34] x[350] x[351] x[352] x[353] x[354] x[355] x[356] x[357] x[358] x[359] x[35] x[360] x[361] x[362] x[363] x[364] x[365] x[366] x[367] x[368] x[369] x[36] x[370] x[371] x[372] x[373] x[374] x[375] x[376] x[377] x[378] x[379] x[37] x[380] x[381] x[382] x[383] x[384] x[385] x[386] x[387] x[388] x[389] x[38] x[390] x[391] x[392] x[393] x[394] x[395] x[396] x[397] x[398] x[399] x[39] x[3] x[400] x[401] x[402] x[403] x[404] x[405] x[406] x[407] x[408] x[409] x[40] x[410] x[411] x[412] x[413] x[414] x[415] x[416] x[417] x[418] x[419] x[41] x[420] x[421] x[422] x[423] x[424] x[425] x[426] x[427] x[428] x[429] x[42] x[430] x[431] x[432] x[433] x[434] x[435] x[436] x[437] x[438] x[439] x[43] x[440] x[441] x[442] x[443] x[444] x[445] x[446] x[447] x[448] x[449] x[44] x[450] x[451] x[452] x[453] x[454] x[455] x[456] x[457] x[458] x[459] x[45] x[460] x[461] x[462] x[463] x[464] x[465] x[466] x[467] x[468] x[469] x[46] x[470] x[471] x[472] x[473] x[474] x[475] x[476] x[477] x[478] x[479] x[47] x[480] x[481] x[482] x[483] x[484] x[485] x[486] x[487] x[488] x[489] x[48] x[490] x[491] x[492] x[493] x[494] x[495] x[496] x[497] x[498] x[499] x[49] x[4] x[500] x[501] x[502] x[503] x[504] x[505] x[506] x[507] x[508] x[509] x[50] x[510] x[511] x[512] x[513] x[514] x[515] x[516] x[517] x[518] x[519] x[51] x[520] x[521] x[522] x[523] x[524] x[525] x[526] x[527] x[528] x[529] x[52] x[530] x[531] x[532] x[533] x[534] x[535] x[536] x[537] x[538] x[539] x[53] x[540] x[541] x[542] x[543] x[544] x[545] x[546] x[547] x[548] x[549] x[54] x[550] x[551] x[552] x[553] x[554] x[555] x[556] x[557] x[558] x[559] x[55] x[560] x[561] x[562] x[563] x[564] x[565] x[566] x[567] x[568] x[569] x[56] x[570] x[571] x[572] x[573] x[574] x[575] x[576] x[577] x[578] x[579] x[57] x[580] x[581] x[582] x[583] x[584] x[585] x[586] x[587] x[588] x[589] x[58] x[590] x[591] x[592] x[593] x[594] x[595] x[596] x[597] x[598] x[599] x[59] x[5] x[600] x[601] x[602] x[603] x[604] x[605] x[606] x[607] x[608] x[609] x[60] x[610] x[611] x[612] x[613] x[614] x[615] x[616] x[617] x[618] x[619] x[61] x[620] x[621] x[622] x[623] x[624] x[625] x[626] x[627] x[628] x[629] x[62] x[630] x[631] x[632] x[633] x[634] x[635] x[636] x[637] x[638] x[639] x[63] x[640] x[641] x[642] x[643] x[644] x[645] x[646] x[647] x[648] x[649] x[64] x[650] x[651] x[652] x[653] x[654] x[655] x[656] x[657] x[658] x[659] x[65] x[660] x[661] x[662] x[663] x[664] x[665] x[666] x[667] x[668] x[669] x[66] x[670] x[671] x[672] x[673] x[674] x[675] x[676] x[677] x[678] x[679] x[67] x[680] x[681] x[682] x[683] x[684] x[685] x[686] x[687] x[688] x[689] x[68] x[690] x[691] x[692] x[693] x[694] x[695] x[696] x[697] x[698] x[699] x[69] x[6] x[700] x[701] x[702] x[703] x[704] x[705] x[706] x[707] x[708] x[709] x[70] x[710] x[711] x[712] x[713] x[714] x[715] x[716] x[717] x[718] x[719] x[71] x[720] x[721] x[722] x[723] x[724] x[725] x[726] x[727] x[728] x[729] x[72] x[730] x[731] x[732] x[733] x[734] x[735] x[736] x[737] x[738] x[739] x[73] x[740] x[741] x[742] x[743] x[744] x[745] x[746] x[747] x[748] x[749] x[74] x[750] x[751] x[752] x[753] x[754] x[755] x[756] x[757] x[758] x[759] x[75] x[760] x[761] x[762] x[763] x[764] x[765] x[766] x[767] x[768] x[769] x[76] x[770] x[771] x[772] x[773] x[774] x[775] x[776] x[777] x[778] x[779] x[77] x[780] x[781] x[782] x[783] x[784] x[785] x[786] x[787] x[788] x[789] x[78] x[790] x[791] x[792] x[793] x[794] x[795] x[796] x[797] x[798] x[799] x[79] x[7] x[800] x[801] x[802] x[803] x[804] x[805] x[806] x[807] x[808] x[809] x[80] x[810] x[811] x[812] x[813] x[814] x[815] x[816] x[817] x[818] x[819] x[81] x[820] x[821] x[822] x[823] x[824] x[825] x[826] x[827] x[828] x[829] x[82] x[830] x[831] x[832] x[833] x[834] x[835] x[836] x[837] x[838] x[839] x[83] x[840] x[841] x[842] x[843] x[844] x[845] x[846] x[847] x[848] x[849] x[84] x[850] x[851] x[852] x[853] x[854] x[855] x[856] x[857] x[858] x[859] x[85] x[860] x[861] x[862] x[863] x[864] x[865] x[866] x[867] x[868] x[869] x[86] x[870] x[871] x[872] x[873] x[874] x[875] x[876] x[877] x[878] x[879] x[87] x[880] x[881] x[882] x[883] x[884] x[885] x[886] x[887] x[888] x[889] x[88] x[890] x[891] x[892] x[893] x[894] x[895] x[896] x[897] x[898] x[899] x[89] x[8] x[900] x[901] x[902] x[903] x[904] x[905] x[906] x[907] x[908] x[909] x[90] x[910] x[911] x[912] x[913] x[914] x[915] x[916] x[917] x[918] x[919] x[91] x[920] x[921] x[922] x[923] x[924] x[925] x[926] x[927] x[928] x[929] x[92] x[930] x[931] x[932] x[933] x[934] x[935] x[936] x[937] x[938] x[939] x[93] x[940] x[941] x[942] x[943] x[944] x[945] x[946] x[947] x[948] x[949] x[94] x[950] x[951] x[952] x[953] x[954] x[955] x[956] x[957] x[958] x[959] x[95] x[960] x[961] x[962] x[963] x[964] x[965] x[966] x[967] x[968] x[969] x[96] x[970] x[971] x[972] x[973] x[974] x[975] x[976] x[977] x[978] x[979] x[97] x[980] x[981] x[982] x[983] x[984] x[985] x[986] x[987] x[988] x[989] x[98] x[990] x[991] x[992] x[993] x[994] x[995] x[996] x[997] x[998] x[999] x[99] x[9] </list>
251.96/252.01	v <values>0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 1 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 1 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 1 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 1 1 1 1 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 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 1 0 0 0 0 0 0 1 0 1 0 0 0 1 1 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 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 1 0 1 1 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 1 0 0 0 0 0 0 0 0 0 1 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 1 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 1 1 1 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 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 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 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 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 1 0 0 0 0 0 0 0 0 0 1 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 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 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 1 0 0 0 0 0 0 0 0 0 1 1 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 1 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 1 0 0 0 0 0 0 0 1 1 1 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 1 1 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 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 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 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 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 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 1 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 1 0 0 0 0 1 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 1 1 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 1 0 1 1 0 1 0 0 0 0 0 0 0 1 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 1 0 0 </values>
251.96/252.01	v </instantiation>
251.96/252.01

Verifier Data 

OK	180

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4301353-1532879987/watcher-4301353-1532879987 -o /tmp/evaluation-result-4301353-1532879987/solver-4301353-1532879987 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node134-1532878455-19304 --watchdog 312 HOME/cosoco -lc -model -restarts HOME/instance-4301353-1532879987.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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=20199, runsolver pid=20196

[startup+0.100114 s]*
/proc/loadavg: 2.00 2.00 1.96 3/192 20200
/proc/meminfo: memFree=28418272/32770624 swapFree=67108744/67108860
[pid=20199] ppid=20196 vsize=35192 memory=11620 CPUtime=0.1 cores=0,2,4,6
/proc/20199/stat : 20199 (cosoco) R 20196 20199 19273 0 -1 4202496 3088 0 0 0 10 0 0 0 20 0 1 0 105561881 36036608 2905 33554432000 4194304 6142532 140724171047520 140724171044152 139749464112101 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8243016 8247936 18706432 140724171052171 140724171052301 140724171052301 140724171055054 0
/proc/20199/statm: 8798 2905 824 476 0 2120 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 35192 KiB
Current children cumulated memory: 11620 KiB

[startup+0.209757 s]*
/proc/loadavg: 2.00 2.00 1.96 3/192 20200
/proc/meminfo: memFree=28416412/32770624 swapFree=67108744/67108860
[pid=20199] ppid=20196 vsize=36816 memory=13060 CPUtime=0.2 cores=0,2,4,6
/proc/20199/stat : 20199 (cosoco) R 20196 20199 19273 0 -1 4202496 3467 0 0 0 20 0 0 0 20 0 1 0 105561881 37699584 3265 33554432000 4194304 6142532 140724171047520 140724171044152 139749464112101 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8243016 8247936 18706432 140724171052171 140724171052301 140724171052301 140724171055054 0
/proc/20199/statm: 9204 3265 824 476 0 2526 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 36816 KiB
Current children cumulated memory: 13060 KiB

[startup+0.30915 s]*
/proc/loadavg: 2.00 2.00 1.96 3/192 20200
/proc/meminfo: memFree=28407856/32770624 swapFree=67108744/67108860
[pid=20199] ppid=20196 vsize=45620 memory=21996 CPUtime=0.31 cores=0,2,4,6
/proc/20199/stat : 20199 (cosoco) R 20196 20199 19273 0 -1 4202496 5662 0 0 0 30 1 0 0 20 0 1 0 105561881 46714880 5499 33554432000 4194304 6142532 140724171047520 140724171044152 139749464112101 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8243016 8247936 18706432 140724171052171 140724171052301 140724171052301 140724171055054 0
/proc/20199/statm: 11405 5499 824 476 0 4727 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 45620 KiB
Current children cumulated memory: 21996 KiB

[startup+0.70027 s]
/proc/loadavg: 2.00 2.00 1.96 3/192 20200
/proc/meminfo: memFree=28389860/32770624 swapFree=67108744/67108860
[pid=20199] ppid=20196 vsize=74932 memory=51260 CPUtime=0.69 cores=0,2,4,6
/proc/20199/stat : 20199 (cosoco) R 20196 20199 19273 0 -1 4202496 13025 0 0 0 66 3 0 0 20 0 1 0 105561881 76730368 12815 33554432000 4194304 6142532 140724171047520 140724171044152 139749464112101 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8243016 8247936 18706432 140724171052171 140724171052301 140724171052301 140724171055054 0
/proc/20199/statm: 18733 12815 824 476 0 12055 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 74932 KiB
Current children cumulated memory: 51260 KiB

[startup+1.50029 s]
/proc/loadavg: 2.00 2.00 1.96 3/192 20200
/proc/meminfo: memFree=28361960/32770624 swapFree=67108744/67108860
[pid=20199] ppid=20196 vsize=120692 memory=96932 CPUtime=1.49 cores=0,2,4,6
/proc/20199/stat : 20199 (cosoco) R 20196 20199 19273 0 -1 4202496 24469 0 0 0 144 5 0 0 20 0 1 0 105561881 123588608 24233 33554432000 4194304 6142532 140724171047520 140724171044168 139749464112101 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8243016 8247936 18706432 140724171052171 140724171052301 140724171052301 140724171055054 0
/proc/20199/statm: 30173 24233 824 476 0 23495 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 120692 KiB
Current children cumulated memory: 96932 KiB

[startup+3.10971 s]
/proc/loadavg: 2.16 2.03 1.97 3/192 20200
/proc/meminfo: memFree=28323396/32770624 swapFree=67108744/67108860
[pid=20199] ppid=20196 vsize=128888 memory=105424 CPUtime=3.1 cores=0,2,4,6
/proc/20199/stat : 20199 (cosoco) R 20196 20199 19273 0 -1 4202496 48370 0 0 0 304 6 0 0 20 0 1 0 105561881 131981312 26356 33554432000 4194304 6142532 140724171047520 140724171044168 4991002 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 18706432 140724171052171 140724171052301 140724171052301 140724171055054 0
/proc/20199/statm: 32222 26356 866 476 0 25544 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 128888 KiB
Current children cumulated memory: 105424 KiB

[startup+6.30028 s]
/proc/loadavg: 2.16 2.03 1.97 3/192 20200
/proc/meminfo: memFree=28322364/32770624 swapFree=67108744/67108860
[pid=20199] ppid=20196 vsize=129684 memory=106404 CPUtime=6.29 cores=0,2,4,6
/proc/20199/stat : 20199 (cosoco) R 20196 20199 19273 0 -1 4202496 71223 0 0 0 621 8 0 0 20 0 1 0 105561881 132796416 26601 33554432000 4194304 6142532 140724171047520 140724171045048 5215584 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 18706432 140724171052171 140724171052301 140724171052301 140724171055054 0
/proc/20199/statm: 32421 26601 867 476 0 25743 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 129684 KiB
Current children cumulated memory: 106404 KiB

[startup+12.7003 s]
/proc/loadavg: 2.14 2.03 1.97 3/191 20200
/proc/meminfo: memFree=28319864/32770624 swapFree=67108744/67108860
[pid=20199] ppid=20196 vsize=130216 memory=106864 CPUtime=12.69 cores=0,2,4,6
/proc/20199/stat : 20199 (cosoco) R 20196 20199 19273 0 -1 4202496 90851 0 0 0 1260 9 0 0 20 0 1 0 105561881 133341184 26716 33554432000 4194304 6142532 140724171047520 140724171034792 5138024 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 18706432 140724171052171 140724171052301 140724171052301 140724171055054 0
/proc/20199/statm: 32554 26716 867 476 0 25876 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 130216 KiB
Current children cumulated memory: 106864 KiB

[startup+25.5003 s]
/proc/loadavg: 2.11 2.03 1.97 3/191 20207
/proc/meminfo: memFree=28318520/32770624 swapFree=67108744/67108860
[pid=20199] ppid=20196 vsize=130348 memory=107044 CPUtime=25.47 cores=0,2,4,6
/proc/20199/stat : 20199 (cosoco) R 20196 20199 19273 0 -1 4202496 126547 0 0 0 2537 10 0 0 20 0 1 0 105561881 133476352 26761 33554432000 4194304 6142532 140724171047520 140724171044376 5138448 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 18706432 140724171052171 140724171052301 140724171052301 140724171055054 0
/proc/20199/statm: 32587 26761 867 476 0 25909 0
Current children cumulated CPU time: 25.47 s
Current children cumulated vsize: 130348 KiB
Current children cumulated memory: 107044 KiB

[startup+51.1096 s]
/proc/loadavg: 2.07 2.03 1.97 3/191 20207
/proc/meminfo: memFree=28318472/32770624 swapFree=67108744/67108860
[pid=20199] ppid=20196 vsize=130880 memory=107492 CPUtime=51.07 cores=0,2,4,6
/proc/20199/stat : 20199 (cosoco) R 20196 20199 19273 0 -1 4202496 135947 0 0 0 5096 11 0 0 20 0 1 0 105561881 134021120 26873 33554432000 4194304 6142532 140724171047520 140724171044376 5215632 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 18706432 140724171052171 140724171052301 140724171052301 140724171055054 0
/proc/20199/statm: 32720 26873 867 476 0 26042 0
Current children cumulated CPU time: 51.07 s
Current children cumulated vsize: 130880 KiB
Current children cumulated memory: 107492 KiB

[startup+102.3 s]
/proc/loadavg: 2.11 2.04 1.98 3/192 20231
/proc/meminfo: memFree=28318352/32770624 swapFree=67108744/67108860
[pid=20199] ppid=20196 vsize=131420 memory=107884 CPUtime=102.26 cores=0,2,4,6
/proc/20199/stat : 20199 (cosoco) R 20196 20199 19273 0 -1 4202496 136621 0 0 0 10215 11 0 0 20 0 1 0 105561881 134574080 26971 33554432000 4194304 6142532 140724171047520 140724171044248 5215810 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 18706432 140724171052171 140724171052301 140724171052301 140724171055054 0
/proc/20199/statm: 32855 26971 867 476 0 26177 0
Current children cumulated CPU time: 102.26 s
Current children cumulated vsize: 131420 KiB
Current children cumulated memory: 107884 KiB

[startup+162.3 s]
/proc/loadavg: 2.04 2.03 1.98 3/192 20232
/proc/meminfo: memFree=28318656/32770624 swapFree=67108744/67108860
[pid=20199] ppid=20196 vsize=131556 memory=108168 CPUtime=162.26 cores=0,2,4,6
/proc/20199/stat : 20199 (cosoco) R 20196 20199 19273 0 -1 4202496 137159 0 0 0 16215 11 0 0 20 0 1 0 105561881 134713344 27042 33554432000 4194304 6142532 140724171047520 140724171044184 5138182 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 18706432 140724171052171 140724171052301 140724171052301 140724171055054 0
/proc/20199/statm: 32889 27042 867 476 0 26211 0
Current children cumulated CPU time: 162.26 s
Current children cumulated vsize: 131556 KiB
Current children cumulated memory: 108168 KiB

[startup+222.3 s]
/proc/loadavg: 2.06 2.04 1.98 3/192 20233
/proc/meminfo: memFree=28318880/32770624 swapFree=67108744/67108860
[pid=20199] ppid=20196 vsize=131692 memory=108316 CPUtime=222.26 cores=0,2,4,6
/proc/20199/stat : 20199 (cosoco) R 20196 20199 19273 0 -1 4202496 137766 0 0 0 22215 11 0 0 20 0 1 0 105561881 134852608 27079 33554432000 4194304 6142532 140724171047520 140724171044248 5138182 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 18706432 140724171052171 140724171052301 140724171052301 140724171055054 0
/proc/20199/statm: 32923 27079 867 476 0 26245 0
Current children cumulated CPU time: 222.26 s
Current children cumulated vsize: 131692 KiB
Current children cumulated memory: 108316 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+252 s]*
/proc/loadavg: 1.96 2.02 1.98 3/191 20294
/proc/meminfo: memFree=27633756/32770624 swapFree=67108744/67108860
[pid=20199] ppid=20196 vsize=131692 memory=108400 CPUtime=251.96 cores=0,2,4,6
/proc/20199/stat : 20199 (cosoco) R 20196 20199 19273 0 -1 4202496 138155 0 0 0 25185 11 0 0 20 0 1 0 105561881 134852608 27100 33554432000 4194304 6142532 140724171047520 140724171034792 5215584 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 18706432 140724171052171 140724171052301 140724171052301 140724171055054 0
/proc/20199/statm: 32923 27100 867 476 0 26245 0
Current children cumulated CPU time: 251.96 s
Current children cumulated vsize: 131692 KiB
Current children cumulated memory: 108400 KiB

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

[startup+252.011 s]
# the end of solver process 20199 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=251.86 s, system=0.113995 s

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

Child status: 1
Real time (s): 252.011
CPU time (s): 251.974
CPU user time (s): 251.86
CPU system time (s): 0.113995
CPU usage (%): 99.9854
Max. virtual memory (cumulated for all children) (KiB): 131692
Max. memory (cumulated for all children) (KiB): 108400

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 251.86
system time used= 0.113995
maximum resident set size= 108472
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 138202
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= 55
involuntary context switches= 135


# summary of solver processes directly reported to runsolver:
#   pid: 20199
#   total CPU time (s): 251.974
#   total CPU user time (s): 251.86
#   total CPU system time (s): 0.113995

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.16156 second user time and 1.7149 second system time

The end

Launcher Data 

Begin job on node134 at 2018-07-29 17:59:47
IDJOB=4301353
IDBENCH=141113
IDSOLVER=2774
FILE ID=node134/4301353-1532879987
RUNJOBID= node134-1532878455-19304
PBS_JOBID= 21022511
Free space on /tmp= 60956 MiB

SOLVER NAME= cosoco 1.12
BENCH NAME= XCSP18/PseudoBoolean-opt/Pb-circ8-3_c18.xml
COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4301353-1532879987/watcher-4301353-1532879987 -o /tmp/evaluation-result-4301353-1532879987/solver-4301353-1532879987 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node134-1532878455-19304 --watchdog 312  HOME/cosoco -lc -model -restarts HOME/instance-4301353-1532879987.xml

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

MD5SUM BENCH= 7db04233d06e2f858d703f8c476ffab2
RANDOM SEED=326602228

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:        28426316 kB
MemAvailable:   31967592 kB
Buffers:          201848 kB
Cached:          3610596 kB
SwapCached:            0 kB
Active:          1611428 kB
Inactive:        2257848 kB
Active(anon):       6228 kB
Inactive(anon):    78480 kB
Active(file):    1605200 kB
Inactive(file):  2179368 kB
Unevictable:        7364 kB
Mlocked:            7364 kB
SwapTotal:      67108860 kB
SwapFree:       67108744 kB
Dirty:              3784 kB
Writeback:             0 kB
AnonPages:         64044 kB
Mapped:            46512 kB
Shmem:             25132 kB
Slab:             173452 kB
SReclaimable:     145084 kB
SUnreclaim:        28368 kB
KernelStack:        3392 kB
PageTables:         5248 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     354192 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      8192 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= 60952 MiB
End job on node134 at 2018-07-29 18:03:59