Trace number 4409968

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 2.0 parallelSAT (TO)718 2007.41 252.027

General information on the benchmark

NamePseudoBoolean/PseudoBoolean-opt-dimacs/
Pb-hanoi4.xml
MD5SUMa17fae509aff329e2f365d061bb5ebf3
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark718
Best CPU time to get the best result obtained on this benchmark109.649
Satisfiable
(Un)Satisfiability was proved
Number of variables1436
Number of constraints5652
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":1436}]
Minimum variable degree3
Maximum variable degree29
Distribution of variable degrees[{"degree":3,"count":49},{"degree":4,"count":94},{"degree":5,"count":95},{"degree":6,"count":95},{"degree":7,"count":581},{"degree":9,"count":1},{"degree":10,"count":11},{"degree":11,"count":12},{"degree":12,"count":168},{"degree":15,"count":60},{"degree":19,"count":45},{"degree":21,"count":60},{"degree":23,"count":105},{"degree":29,"count":60}]
Minimum constraint arity1
Maximum constraint arity7
Distribution of constraint arities[{"arity":1,"count":128},{"arity":2,"count":3199},{"arity":3,"count":2280},{"arity":4,"count":15},{"arity":7,"count":30}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"sum","count":5652}]
Optimization problemYES
Type of objectivemin SUM

Solver Data

393.82/49.99	c
393.82/49.99	c This is cosoco 2.00 --  
393.82/49.99	c
393.82/49.99	c command line: cosoco -model -nbcores=8 HOME/instance-4409968-1569829668.xml 
393.82/49.99	c enable optimization
393.82/49.99	c ========================================[ Problem Statistics ]===========================================
393.82/49.99	c |                                                                                                       
393.82/49.99	c |  Parse time        :         0.53 s 
393.82/49.99	c |
393.82/49.99	c |               Variables: 1436
393.82/49.99	c |            Domain Sizes: 2..2
393.82/49.99	c |
393.82/49.99	c |             Constraints: 5653
393.82/49.99	c |                   Arity: 1..1436  -- Unary: 128  -- Binary: 3199  -- Ternary: 2280
393.82/49.99	c | 
393.82/49.99	c |                   Types: 
393.82/49.99	c |                          Sum: 5653
393.82/49.99	c |                          
393.82/49.99	c |               Objective: Minimize Sum
393.82/49.99	
393.82/49.99	c =========================================================================================================
393.82/49.99	c Parallel mode: Portfolio
393.82/49.99	c [pFactory][Group N°0] created (threads:8).
393.82/49.99	c [pFactory][Group N°0] new task added (threads:8 - tasks:1).
393.82/49.99	c [pFactory][Group N°0] new task added (threads:8 - tasks:2).
393.82/49.99	c [pFactory][Group N°0] new task added (threads:8 - tasks:3).
393.82/49.99	c [pFactory][Group N°0] new task added (threads:8 - tasks:4).
393.82/49.99	c [pFactory][Group N°0] new task added (threads:8 - tasks:5).
393.82/49.99	c [pFactory][Group N°0] new task added (threads:8 - tasks:6).
393.82/49.99	c [pFactory][Group N°0] new task added (threads:8 - tasks:7).
393.82/49.99	c [pFactory][Group N°0] new task added (threads:8 - tasks:8).
393.82/49.99	c [pFactory][Group N°0] concurrent mode: enabled.
393.82/49.99	c [pFactory][Group N°0] computations in progress (threads:8 - tasks:8).
393.82/49.99	c [pFactory][Group N°0] task 7 launched on thread 0.
393.82/49.99	c [pFactory][Group N°0] task 6 launched on thread 1.
393.82/49.99	c [pFactory][Group N°0] task 5 launched on thread 6.
393.82/49.99	c [pFactory][Group N°0] task 4 launched on thread 2.
393.82/49.99	c [pFactory][Group N°0] task 3 launched on thread 7.
393.82/49.99	c [pFactory][Group N°0] task 2 launched on thread 4.
393.82/49.99	c [pFactory][Group N°0] task 1 launched on thread 3.
393.82/49.99	c [pFactory][Group N°0] task 0 launched on thread 5.
393.82/49.99	o 718
2007.29/252.02	
2007.29/252.02	c *** INTERRUPTED ***
2007.29/252.02	c call to solver        : 1
2007.29/252.02	c
2007.29/252.02	c restarts              : 2586        
2007.29/252.02	c conflicts             : 18912        (9 /sec)
2007.29/252.02	c decisions             : 639048       (319 /sec)
2007.29/252.02	c propagations          : 6388573     (3185 /sec)
2007.29/252.02	c root propagations     : 354         
2007.29/252.02	c filter calls          : 52986703       (26419 /sec)
2007.29/252.02	c useless filter calls  : 47541792       (89 %)
2007.29/252.02	c Memory used           : 879.50 MB
2007.29/252.02	c Best bound time (wc)  : 49.9843 s
2007.29/252.02	c CPU time              : 2005.67 s
2007.29/252.02	c real time             : 252.017 s
2007.29/252.02	
2007.29/252.02	s SATISFIABLE
2007.29/252.02	c Best value found: 718
2007.29/252.02	
2007.29/252.02	
2007.29/252.02	v <instantiation type='solution' cost='718'>
2007.29/252.02	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[1344] x[1345] x[1346] x[1347] x[1348] x[1349] x[134] x[1350] x[1351] x[1352] x[1353] x[1354] x[1355] x[1356] x[1357] x[1358] x[1359] x[135] x[1360] x[1361] x[1362] x[1363] x[1364] x[1365] x[1366] x[1367] x[1368] x[1369] x[136] x[1370] x[1371] x[1372] x[1373] x[1374] x[1375] x[1376] x[1377] x[1378] x[1379] x[137] x[1380] x[1381] x[1382] x[1383] x[1384] x[1385] x[1386] x[1387] x[1388] x[1389] x[138] x[1390] x[1391] x[1392] x[1393] x[1394] x[1395] x[1396] x[1397] x[1398] x[1399] x[139] x[13] x[1400] x[1401] x[1402] x[1403] x[1404] x[1405] x[1406] x[1407] x[1408] x[1409] x[140] x[1410] x[1411] x[1412] x[1413] x[1414] x[1415] x[1416] x[1417] x[1418] x[1419] x[141] x[1420] x[1421] x[1422] x[1423] x[1424] x[1425] x[1426] x[1427] x[1428] x[1429] x[142] x[1430] x[1431] x[1432] x[1433] x[1434] x[1435] 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>
2007.29/252.02	v <values>1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 1 0 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 1 0 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 1 1 0 0 1 1 0 1 0 0 1 1 0 1 1 0 0 1 0 1 1 0 0 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 0 1 0 1 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 1 0 0 1 1 0 1 0 1 0 1 1 0 0 1 0 0 1 1 0 0 1 1 0 0 1 1 1 0 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 1 0 1 1 0 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 1 0 0 1 1 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 0 1 0 1 0 1 0 1 1 0 1 0 1 1 0 1 0 1 0 0 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 0 1 0 1 1 0 1 0 1 0 1 1 0 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 1 0 0 1 0 1 0 1 1 0 0 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 0 1 0 1 0 1 1 1 0 1 0 1 0 1 0 1 0 1 1 0 1 1 0 0 1 0 1 0 1 0 0 1 1 0 0 1 0 1 1 0 0 0 1 0 1 0 1 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 1 0 0 1 0 0 1 1 0 0 1 0 1 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 1 0 0 1 0 0 0 1 0 1 0 1 0 1 0 1 1 0 1 1 0 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 0 1 1 1 0 1 0 1 0 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 1 0 0 1 0 1 0 1 1 0 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 1 0 0 1 1 0 1 0 1 0 1 0 1 1 0 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 0 1 0 1 1 0 1 0 1 1 0 0 1 0 1 0 0 1 0 1 0 1 1 0 0 1 1 1 0 1 0 1 0 1 1 0 0 1 0 0 1 0 1 0 1 1 0 0 1 1 1 0 1 0 1 0 0 1 0 1 0 0 1 0 1 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 1 0 0 1 0 1 0 0 1 0 1 0 1 1 0 0 1 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 1 0 0 1 0 1 0 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 0 1 0 1 0 1 1 0 1 1 0 0 1 0 1 1 0 0 0 1 0 1 0 1 0 1 0 1 1 0 1 1 0 0 1 0 1 1 0 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 1 0 0 0 1 0 1 0 1 0 1 0 1 1 1 0 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 1 0 0 1 1 1 1 0 1 0 0 1 0 1 1 0 0 1 0 1 0 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 1 0 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 0 1 1 0 0 1 0 1 0 1 1 0 1 1 0 0 1 0 1 0 1 0 0 1 1 0 0 1 0 1 1 0 1 0 0 1 0 1 1 0 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 0 1 0 1 0 1 0 0 1 1 0 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 0 1 1 0 0 1 1 0 1 0 1 0 1 0 1 1 0 0 0 1 0 1 0 1 1 0 0 1 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 1 1 0 1 1 0 1 0 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 1 0 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 1 0 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 1 0 1 0 1 0 1 1 0 1 0 0 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 1 1 0 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 1 0 0 1 0 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 0 1 1 0 0 1 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 0 1 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 1 </values>
2007.29/252.02	v </instantiation>
2007.29/252.02	

Verifier Data

OK	718

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4409968-1569829668/watcher-4409968-1569829668 -o /tmp/evaluation-result-4409968-1569829668/solver-4409968-1569829668 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node119-1569817669-3093 --watchdog 312 cosoco -model -nbcores=8 HOME/instance-4409968-1569829668.xml 

running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=5606, runsolver pid=5603
Current StackSize limit: 8192 KiB


[startup+0.100162 s]*
/proc/loadavg: 8.38 8.19 8.23 2/191 5607
/proc/meminfo: memFree=30138084/32770624 swapFree=66954180/67108860
[pid=5606] ppid=5603 vsize=45724 memory=22024 CPUtime=0.1 cores=0-7
/proc/5606/stat : 5606 (cosoco) R 5603 5606 3066 0 -1 4202496 5698 0 0 0 9 1 0 0 20 0 1 0 558881542 46821376 5506 33554432000 4194304 6211132 140720718096688 140720718093224 139642293185509 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 36884480 140720718099478 140720718099570 140720718099570 140720718102478 0
/proc/5606/statm: 11431 5506 837 493 0 4736 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 45724 KiB
Current children cumulated memory: 22024 KiB

[startup+0.209249 s]*
/proc/loadavg: 8.38 8.19 8.23 2/191 5607
/proc/meminfo: memFree=30076332/32770624 swapFree=66954180/67108860
[pid=5606] ppid=5603 vsize=107620 memory=83908 CPUtime=0.21 cores=0-7
/proc/5606/stat : 5606 (cosoco) R 5603 5606 3066 0 -1 4202496 21165 0 0 0 18 3 0 0 20 0 1 0 558881542 110202880 20977 33554432000 4194304 6211132 140720718096688 140720718093224 139642293185509 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 36884480 140720718099478 140720718099570 140720718099570 140720718102478 0
/proc/5606/statm: 26905 20977 837 493 0 20210 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 107620 KiB
Current children cumulated memory: 83908 KiB

[startup+0.309332 s]*
/proc/loadavg: 8.38 8.19 8.23 2/191 5607
/proc/meminfo: memFree=30019060/32770624 swapFree=66954180/67108860
[pid=5606] ppid=5603 vsize=164420 memory=140744 CPUtime=0.3 cores=0-7
/proc/5606/stat : 5606 (cosoco) R 5603 5606 3066 0 -1 4202496 35374 0 0 0 25 5 0 0 20 0 1 0 558881542 168366080 35186 33554432000 4194304 6211132 140720718096688 140720718090712 139642293185509 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 36884480 140720718099478 140720718099570 140720718099570 140720718102478 0
/proc/5606/statm: 41138 35186 837 493 0 34443 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 164420 KiB
Current children cumulated memory: 140744 KiB

[startup+0.701029 s]
/proc/loadavg: 8.38 8.19 8.23 2/191 5607
/proc/meminfo: memFree=29906112/32770624 swapFree=66954180/67108860
[pid=5606] ppid=5603 vsize=900604 memory=287104 CPUtime=1.06 cores=0-7
/proc/5606/stat : 5606 (cosoco) S 5603 5606 3066 0 -1 1077944320 72262 0 0 0 96 10 0 0 20 0 9 0 558881542 922218496 71776 33554432000 4194304 6211132 140720718096688 140720718094944 139642309226231 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 36884480 140720718099478 140720718099570 140720718099570 140720718102478 0
/proc/5606/statm: 225151 71776 861 493 0 218456 0
Current children cumulated CPU time: 1.06 s
Current children cumulated vsize: 900604 KiB
Current children cumulated memory: 287104 KiB

[startup+1.50103 s]
/proc/loadavg: 8.38 8.19 8.23 9/199 5615
/proc/meminfo: memFree=29836832/32770624 swapFree=66954180/67108860
[pid=5606] ppid=5603 vsize=900604 memory=328784 CPUtime=7.44 cores=0-7
/proc/5606/stat : 5606 (cosoco) S 5603 5606 3066 0 -1 1077944320 82723 0 0 0 729 15 0 0 20 0 9 0 558881542 922218496 82196 33554432000 4194304 6211132 140720718096688 140720718094944 139642309226231 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 36884480 140720718099478 140720718099570 140720718099570 140720718102478 0
/proc/5606/statm: 225151 82196 869 493 0 218456 0
[pid=5606/tid=5608] ppid=5603 vsize=900604 memory=3504 CPUtime=0.85 cores=0-7
/proc/5606/task/5608/stat : 5608 (cosoco) R 5603 5606 3066 0 -1 4202560 1348 0 0 0 85 0 0 0 20 0 9 0 558881607 922218496 82196 33554432000 4194304 6211132 140720718096688 139642286082664 5155844 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 36884480 140720718099478 140720718099570 140720718099570 140720718102478 0
[pid=5606/tid=5609] ppid=5603 vsize=900604 memory=10556 CPUtime=0.85 cores=0-7
/proc/5606/task/5609/stat : 5609 (cosoco) R 5603 5606 3066 0 -1 4202560 1243 0 0 0 85 0 0 0 20 0 9 0 558881607 922218496 82196 33554432000 4194304 6211132 140720718096688 139642277689800 5155836 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 36884480 140720718099478 140720718099570 140720718099570 140720718102478 0
[pid=5606/tid=5610] ppid=5603 vsize=900604 memory=988 CPUtime=0.83 cores=0-7
/proc/5606/task/5610/stat : 5610 (cosoco) R 5603 5606 3066 0 -1 4202560 1092 0 0 0 83 0 0 0 20 0 9 0 558881607 922218496 82196 33554432000 4194304 6211132 140720718096688 139642269297256 5156152 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 36884480 140720718099478 140720718099570 140720718099570 140720718102478 0
[pid=5606/tid=5611] ppid=5603 vsize=900604 memory=2008 CPUtime=0.84 cores=0-7
/proc/5606/task/5611/stat : 5611 (cosoco) R 5603 5606 3066 0 -1 4202560 1290 0 0 0 84 0 0 0 20 0 9 0 558881607 922218496 82196 33554432000 4194304 6211132 140720718096688 139642260904392 5156264 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 36884480 140720718099478 140720718099570 140720718099570 140720718102478 0
[pid=5606/tid=5612] ppid=5603 vsize=900604 memory=1424 CPUtime=0.83 cores=0-7
/proc/5606/task/5612/stat : 5612 (cosoco) R 5603 5606 3066 0 -1 4202560 1639 0 0 0 83 0 0 0 20 0 9 0 558881607 922218496 82196 33554432000 4194304 6211132 140720718096688 139642252511688 5250256 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 36884480 140720718099478 140720718099570 140720718099570 140720718102478 0
[pid=5606/tid=5613] ppid=5603 vsize=900604 memory=4024 CPUtime=0.83 cores=0-7
/proc/5606/task/5613/stat : 5613 (cosoco) R 5603 5606 3066 0 -1 4202560 1608 0 0 0 83 0 0 0 20 0 9 0 558881607 922218496 82196 33554432000 4194304 6211132 140720718096688 139642244118984 5155832 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 36884480 140720718099478 140720718099570 140720718099570 140720718102478 0
[pid=5606/tid=5614] ppid=5603 vsize=900604 memory=1548 CPUtime=0.85 cores=0-7
/proc/5606/task/5614/stat : 5614 (cosoco) R 5603 5606 3066 0 -1 4202560 1321 0 0 0 85 0 0 0 20 0 9 0 558881607 922218496 82196 33554432000 4194304 6211132 140720718096688 139642235726280 5409485 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 36884480 140720718099478 140720718099570 140720718099570 140720718102478 0
[pid=5606/tid=5615] ppid=5603 vsize=900604 memory=2241 CPUtime=0.84 cores=0-7
/proc/5606/task/5615/stat : 5615 (cosoco) R 5603 5606 3066 0 -1 4202560 1157 0 0 0 84 0 0 0 20 0 9 0 558881607 922218496 82196 33554432000 4194304 6211132 140720718096688 139642227333576 5250321 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 36884480 140720718099478 140720718099570 140720718099570 140720718102478 0
Current children cumulated CPU time: 7.44 s
Current children cumulated vsize: 900604 KiB
Current children cumulated memory: 328784 KiB

[startup+3.11003 s]
/proc/loadavg: 8.43 8.20 8.23 9/199 5615
/proc/meminfo: memFree=29821704/32770624 swapFree=66954180/67108860
[pid=5606] ppid=5603 vsize=900604 memory=336696 CPUtime=20.28 cores=0-7
/proc/5606/stat : 5606 (cosoco) S 5603 5606 3066 0 -1 1077944320 179331 0 0 0 1989 39 0 0 20 0 9 0 558881542 922218496 84174 33554432000 4194304 6211132 140720718096688 140720718094944 139642309226231 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 36884480 140720718099478 140720718099570 140720718099570 140720718102478 0
/proc/5606/statm: 225151 84174 873 493 0 218456 0
[pid=5606/tid=5608] ppid=5603 vsize=900604 memory=0 CPUtime=2.46 cores=0-7
/proc/5606/task/5608/stat : 5608 (cosoco) R 5603 5606 3066 0 -1 4202560 12269 0 0 0 243 3 0 0 20 0 9 0 558881607 922218496 84174 33554432000 4194304 6211132 140720718096688 139642286082504 5156006 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 36884480 140720718099478 140720718099570 140720718099570 140720718102478 0
[pid=5606/tid=5609] ppid=5603 vsize=900604 memory=280888311178632 CPUtime=2.45 cores=0-7
/proc/5606/task/5609/stat : 5609 (cosoco) R 5603 5606 3066 0 -1 4202560 15893 0 0 0 244 1 0 0 20 0 9 0 558881607 922218496 84174 33554432000 4194304 6211132 140720718096688 139642277689800 5156165 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 36884480 140720718099478 140720718099570 140720718099570 140720718102478 0
[pid=5606/tid=5610] ppid=5603 vsize=900604 memory=-3117775541953848929 CPUtime=2.41 cores=0-7
/proc/5606/task/5610/stat : 5610 (cosoco) R 5603 5606 3066 0 -1 4202560 18311 0 0 0 239 2 0 0 20 0 9 0 558881607 922218496 84174 33554432000 4194304 6211132 140720718096688 139642269297096 5156152 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 36884480 140720718099478 140720718099570 140720718099570 140720718102478 0
[pid=5606/tid=5611] ppid=5603 vsize=900604 memory=336532 CPUtime=2.45 cores=0-7
/proc/5606/task/5611/stat : 5611 (cosoco) R 5603 5606 3066 0 -1 4202560 9746 0 0 0 244 1 0 0 20 0 9 0 558881607 922218496 84174 33554432000 4194304 6211132 140720718096688 139642260904392 5155976 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 36884480 140720718099478 140720718099570 140720718099570 140720718102478 0
[pid=5606/tid=5612] ppid=5603 vsize=900604 memory=0 CPUtime=2.44 cores=0-7
/proc/5606/task/5612/stat : 5612 (cosoco) R 5603 5606 3066 0 -1 4202560 14726 0 0 0 238 6 0 0 20 0 9 0 558881607 922218496 84174 33554432000 4194304 6211132 140720718096688 139642252511688 5250499 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 36884480 140720718099478 140720718099570 140720718099570 140720718102478 0
[pid=5606/tid=5613] ppid=5603 vsize=900604 memory=6944656592387989600 CPUtime=2.44 cores=0-7
/proc/5606/task/5613/stat : 5613 (cosoco) R 5603 5606 3066 0 -1 4202560 9107 0 0 0 243 1 0 0 20 0 9 0 558881607 922218496 84174 33554432000 4194304 6211132 140720718096688 139642244119144 5250321 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 36884480 140720718099478 140720718099570 140720718099570 140720718102478 0
[pid=5606/tid=5614] ppid=5603 vsize=900604 memory=0 CPUtime=2.45 cores=0-7
/proc/5606/task/5614/stat : 5614 (cosoco) R 5603 5606 3066 0 -1 4202560 9287 0 0 0 242 3 0 0 20 0 9 0 558881607 922218496 84174 33554432000 4194304 6211132 140720718096688 139642235726280 5390233 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 36884480 140720718099478 140720718099570 140720718099570 140720718102478 0
[pid=5606/tid=5615] ppid=5603 vsize=900604 memory=0 CPUtime=2.45 cores=0-7
/proc/5606/task/5615/stat : 5615 (cosoco) R 5603 5606 3066 0 -1 4202560 17967 0 0 0 238 7 0 0 20 0 9 0 558881607 922218496 84174 33554432000 4194304 6211132 140720718096688 139642227333576 5155836 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 36884480 140720718099478 140720718099570 140720718099570 140720718102478 0
Current children cumulated CPU time: 20.28 s
Current children cumulated vsize: 900604 KiB
Current children cumulated memory: 336696 KiB

[startup+6.30103 s]
/proc/loadavg: 8.43 8.20 8.23 9/199 5615
/proc/meminfo: memFree=29817656/32770624 swapFree=66954180/67108860
[pid=5606] ppid=5603 vsize=900604 memory=338628 CPUtime=45.75 cores=0-7
/proc/5606/stat : 5606 (cosoco) S 5603 5606 3066 0 -1 1077944320 292331 0 0 0 4521 54 0 0 20 0 9 0 558881542 922218496 84657 33554432000 4194304 6211132 140720718096688 140720718094944 139642309226231 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 36884480 140720718099478 140720718099570 140720718099570 140720718102478 0
/proc/5606/statm: 225151 84657 873 493 0 218456 0
[pid=5606/tid=5608] ppid=5603 vsize=900604 memory=338628 CPUtime=5.65 cores=0-7
/proc/5606/task/5608/stat : 5608 (cosoco) R 5603 5606 3066 0 -1 4202560 24067 0 0 0 560 5 0 0 20 0 9 0 558881607 922218496 84657 33554432000 4194304 6211132 140720718096688 139642286082504 5250311 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 36884480 140720718099478 140720718099570 140720718099570 140720718102478 0
[pid=5606/tid=5609] ppid=5603 vsize=900604 memory=379 CPUtime=5.64 cores=0-7
/proc/5606/task/5609/stat : 5609 (cosoco) R 5603 5606 3066 0 -1 4202560 33383 0 0 0 560 4 0 0 20 0 9 0 558881607 922218496 84657 33554432000 4194304 6211132 140720718096688 139642277689800 5250321 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 36884480 140720718099478 140720718099570 140720718099570 140720718102478 0
[pid=5606/tid=5610] ppid=5603 vsize=900604 memory=383 CPUtime=5.56 cores=0-7
/proc/5606/task/5610/stat : 5610 (cosoco) R 5603 5606 3066 0 -1 4202560 32331 0 0 0 552 4 0 0 20 0 9 0 558881607 922218496 84657 33554432000 4194304 6211132 140720718096688 139642269297096 5155836 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 36884480 140720718099478 140720718099570 140720718099570 140720718102478 0
[pid=5606/tid=5611] ppid=5603 vsize=900604 memory=3504 CPUtime=5.64 cores=0-7
/proc/5606/task/5611/stat : 5611 (cosoco) R 5603 5606 3066 0 -1 4202560 18129 0 0 0 562 2 0 0 20 0 9 0 558881607 922218496 84657 33554432000 4194304 6211132 140720718096688 139642260904392 5155836 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 36884480 140720718099478 140720718099570 140720718099570 140720718102478 0
[pid=5606/tid=5612] ppid=5603 vsize=900604 memory=10556 CPUtime=5.63 cores=0-7
/proc/5606/task/5612/stat : 5612 (cosoco) R 5603 5606 3066 0 -1 4202560 33004 0 0 0 555 8 0 0 20 0 9 0 558881607 922218496 84657 33554432000 4194304 6211132 140720718096688 139642252511688 5155836 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 36884480 140720718099478 140720718099570 140720718099570 140720718102478 0
[pid=5606/tid=5613] ppid=5603 vsize=900604 memory=55 CPUtime=5.64 cores=0-7
/proc/5606/task/5613/stat : 5613 (cosoco) R 5603 5606 3066 0 -1 4202560 17565 0 0 0 561 3 0 0 20 0 9 0 558881607 922218496 84657 33554432000 4194304 6211132 140720718096688 139642244119144 5155836 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 36884480 140720718099478 140720718099570 140720718099570 140720718102478 0
[pid=5606/tid=5614] ppid=5603 vsize=900604 memory=2244 CPUtime=5.64 cores=0-7
/proc/5606/task/5614/stat : 5614 (cosoco) R 5603 5606 3066 0 -1 4202560 25118 0 0 0 559 5 0 0 20 0 9 0 558881607 922218496 84657 33554432000 4194304 6211132 140720718096688 139642235726280 5155532 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 36884480 140720718099478 140720718099570 140720718099570 140720718102478 0
[pid=5606/tid=5615] ppid=5603 vsize=900604 memory=0 CPUtime=5.65 cores=0-7
/proc/5606/task/5615/stat : 5615 (cosoco) R 5603 5606 3066 0 -1 4202560 36709 0 0 0 555 10 0 0 20 0 9 0 558881607 922218496 84657 33554432000 4194304 6211132 140720718096688 139642227333576 5155555 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 36884480 140720718099478 140720718099570 140720718099570 140720718102478 0
Current children cumulated CPU time: 45.75 s
Current children cumulated vsize: 900604 KiB
Current children cumulated memory: 338628 KiB

[startup+12.701 s]
/proc/loadavg: 8.39 8.20 8.23 9/199 5615
/proc/meminfo: memFree=29816272/32770624 swapFree=66954180/67108860
[pid=5606] ppid=5603 vsize=900604 memory=338632 CPUtime=96.84 cores=0-7
/proc/5606/stat : 5606 (cosoco) S 5603 5606 3066 0 -1 1077944320 491590 0 0 0 9600 84 0 0 20 0 9 0 558881542 922218496 84658 33554432000 4194304 6211132 140720718096688 140720718094944 139642309226231 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 36884480 140720718099478 140720718099570 140720718099570 140720718102478 0
/proc/5606/statm: 225151 84658 873 493 0 218456 0
[pid=5606/tid=5608] ppid=5603 vsize=900604 memory=864 CPUtime=12.05 cores=0-7
/proc/5606/task/5608/stat : 5608 (cosoco) R 5603 5606 3066 0 -1 4202560 48898 0 0 0 1195 10 0 0 20 0 9 0 558881607 922218496 84658 33554432000 4194304 6211132 140720718096688 139642286082504 5156264 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 36884480 140720718099478 140720718099570 140720718099570 140720718102478 0
[pid=5606/tid=5609] ppid=5603 vsize=900604 memory=865 CPUtime=12.05 cores=0-7
/proc/5606/task/5609/stat : 5609 (cosoco) R 5603 5606 3066 0 -1 4202560 61107 0 0 0 1197 8 0 0 20 0 9 0 558881607 922218496 84658 33554432000 4194304 6211132 140720718096688 139642277689800 5250499 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 36884480 140720718099478 140720718099570 140720718099570 140720718102478 0
[pid=5606/tid=5610] ppid=5603 vsize=900604 memory=55 CPUtime=11.87 cores=0-7
/proc/5606/task/5610/stat : 5610 (cosoco) R 5603 5606 3066 0 -1 4202560 62944 0 0 0 1178 9 0 0 20 0 9 0 558881607 922218496 84658 33554432000 4194304 6211132 140720718096688 139642269297096 5155836 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 36884480 140720718099478 140720718099570 140720718099570 140720718102478 0
[pid=5606/tid=5611] ppid=5603 vsize=900604 memory=-2605811476043438480 CPUtime=12.03 cores=0-7
/proc/5606/task/5611/stat : 5611 (cosoco) R 5603 5606 3066 0 -1 4202560 35690 0 0 0 1200 3 0 0 20 0 9 0 558881607 922218496 84658 33554432000 4194304 6211132 140720718096688 139642260904392 5250304 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 36884480 140720718099478 140720718099570 140720718099570 140720718102478 0
[pid=5606/tid=5612] ppid=5603 vsize=900604 memory=338628 CPUtime=12.03 cores=0-7
/proc/5606/task/5612/stat : 5612 (cosoco) R 5603 5606 3066 0 -1 4202560 63818 0 0 0 1192 11 0 0 20 0 9 0 558881607 922218496 84658 33554432000 4194304 6211132 140720718096688 139642252511688 5155836 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 36884480 140720718099478 140720718099570 140720718099570 140720718102478 0
[pid=5606/tid=5613] ppid=5603 vsize=900604 memory=3472328296160571521 CPUtime=12.03 cores=0-7
/proc/5606/task/5613/stat : 5613 (cosoco) R 5603 5606 3066 0 -1 4202560 30366 0 0 0 1199 4 0 0 20 0 9 0 558881607 922218496 84658 33554432000 4194304 6211132 140720718096688 139642244119144 5155832 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 36884480 140720718099478 140720718099570 140720718099570 140720718102478 0
[pid=5606/tid=5614] ppid=5603 vsize=900604 memory=6944656592455360604 CPUtime=12.04 cores=0-7
/proc/5606/task/5614/stat : 5614 (cosoco) R 5603 5606 3066 0 -1 4202560 49655 0 0 0 1192 12 0 0 20 0 9 0 558881607 922218496 84658 33554432000 4194304 6211132 140720718096688 139642235726280 5155836 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 36884480 140720718099478 140720718099570 140720718099570 140720718102478 0
[pid=5606/tid=5615] ppid=5603 vsize=900604 memory=6943526294502006880 CPUtime=12.04 cores=0-7
/proc/5606/task/5615/stat : 5615 (cosoco) R 5603 5606 3066 0 -1 4202560 67087 0 0 0 1191 13 0 0 20 0 9 0 558881607 922218496 84658 33554432000 4194304 6211132 140720718096688 139642227333576 5250286 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 36884480 140720718099478 140720718099570 140720718099570 140720718102478 0
Current children cumulated CPU time: 96.84 s
Current children cumulated vsize: 900604 KiB
Current children cumulated memory: 338632 KiB

[startup+25.501 s]
/proc/loadavg: 8.45 8.22 8.24 9/199 5616
/proc/meminfo: memFree=29816888/32770624 swapFree=66954180/67108860
[pid=5606] ppid=5603 vsize=900604 memory=338632 CPUtime=199.03 cores=0-7
/proc/5606/stat : 5606 (cosoco) S 5603 5606 3066 0 -1 1077944320 676014 0 0 0 19795 108 0 0 20 0 9 0 558881542 922218496 84658 33554432000 4194304 6211132 140720718096688 140720718094944 139642309226231 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 36884480 140720718099478 140720718099570 140720718099570 140720718102478 0
/proc/5606/statm: 225151 84658 873 493 0 218456 0
[pid=5606/tid=5608] ppid=5603 vsize=900604 memory=0 CPUtime=24.83 cores=0-7
/proc/5606/task/5608/stat : 5608 (cosoco) R 5603 5606 3066 0 -1 4202560 70810 0 0 0 2471 12 0 0 20 0 9 0 558881607 922218496 84658 33554432000 4194304 6211132 140720718096688 139642286082504 5155836 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 36884480 140720718099478 140720718099570 140720718099570 140720718102478 0
[pid=5606/tid=5609] ppid=5603 vsize=900604 memory=338632 CPUtime=24.84 cores=0-7
/proc/5606/task/5609/stat : 5609 (cosoco) R 5603 5606 3066 0 -1 4202560 85860 0 0 0 2472 12 0 0 20 0 9 0 558881607 922218496 84658 33554432000 4194304 6211132 140720718096688 139642277689800 5250286 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 36884480 140720718099478 140720718099570 140720718099570 140720718102478 0
[pid=5606/tid=5610] ppid=5603 vsize=900604 memory=3504 CPUtime=24.49 cores=0-7
/proc/5606/task/5610/stat : 5610 (cosoco) R 5603 5606 3066 0 -1 4202560 91022 0 0 0 2437 12 0 0 20 0 9 0 558881607 922218496 84658 33554432000 4194304 6211132 140720718096688 139642269297096 5155832 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 36884480 140720718099478 140720718099570 140720718099570 140720718102478 0
[pid=5606/tid=5611] ppid=5603 vsize=900604 memory=15607911156877 CPUtime=24.82 cores=0-7
/proc/5606/task/5611/stat : 5611 (cosoco) R 5603 5606 3066 0 -1 4202560 48199 0 0 0 2478 4 0 0 20 0 9 0 558881607 922218496 84658 33554432000 4194304 6211132 140720718096688 139642260904392 5155828 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 36884480 140720718099478 140720718099570 140720718099570 140720718102478 0
[pid=5606/tid=5612] ppid=5603 vsize=900604 memory=288230596050944315 CPUtime=24.82 cores=0-7
/proc/5606/task/5612/stat : 5612 (cosoco) R 5603 5606 3066 0 -1 4202560 92534 0 0 0 2469 13 0 0 20 0 9 0 558881607 922218496 84658 33554432000 4194304 6211132 140720718096688 139642252511688 5250499 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 36884480 140720718099478 140720718099570 140720718099570 140720718102478 0
[pid=5606/tid=5613] ppid=5603 vsize=900604 memory=15817794159643255 CPUtime=24.82 cores=0-7
/proc/5606/task/5613/stat : 5613 (cosoco) R 5603 5606 3066 0 -1 4202560 42574 0 0 0 2476 6 0 0 20 0 9 0 558881607 922218496 84658 33554432000 4194304 6211132 140720718096688 139642244119144 5155836 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 36884480 140720718099478 140720718099570 140720718099570 140720718102478 0
[pid=5606/tid=5614] ppid=5603 vsize=900604 memory=10556 CPUtime=24.82 cores=0-7
/proc/5606/task/5614/stat : 5614 (cosoco) R 5603 5606 3066 0 -1 4202560 75960 0 0 0 2465 17 0 0 20 0 9 0 558881607 922218496 84658 33554432000 4194304 6211132 140720718096688 139642235726280 5250325 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 36884480 140720718099478 140720718099570 140720718099570 140720718102478 0
[pid=5606/tid=5615] ppid=5603 vsize=900604 memory=988 CPUtime=24.84 cores=0-7
/proc/5606/task/5615/stat : 5615 (cosoco) R 5603 5606 3066 0 -1 4202560 97030 0 0 0 2468 16 0 0 20 0 9 0 558881607 922218496 84658 33554432000 4194304 6211132 140720718096688 139642227333576 5155836 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 36884480 140720718099478 140720718099570 140720718099570 140720718102478 0
Current children cumulated CPU time: 199.03 s
Current children cumulated vsize: 900604 KiB
Current children cumulated memory: 338632 KiB

[startup+51.11 s]
/proc/loadavg: 8.58 8.27 8.25 9/199 5618
/proc/meminfo: memFree=29815688/32770624 swapFree=66954180/67108860
[pid=5606] ppid=5603 vsize=900604 memory=340060 CPUtime=403.48 cores=0-7
/proc/5606/stat : 5606 (cosoco) S 5603 5606 3066 0 -1 1077944320 818177 0 0 0 40220 128 0 0 20 0 9 0 558881542 922218496 85015 33554432000 4194304 6211132 140720718096688 140720718094944 139642309226231 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 36884480 140720718099478 140720718099570 140720718099570 140720718102478 0
/proc/5606/statm: 225151 85015 873 493 0 218456 0
[pid=5606/tid=5608] ppid=5603 vsize=900604 memory=338632 CPUtime=50.44 cores=0-7
/proc/5606/task/5608/stat : 5608 (cosoco) R 5603 5606 3066 0 -1 4202560 86774 0 0 0 5029 15 0 0 20 0 9 0 558881607 922218496 85015 33554432000 4194304 6211132 140720718096688 139642286082504 5156012 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 36884480 140720718099478 140720718099570 140720718099570 140720718102478 0
[pid=5606/tid=5609] ppid=5603 vsize=900604 memory=338632 CPUtime=50.45 cores=0-7
/proc/5606/task/5609/stat : 5609 (cosoco) R 5603 5606 3066 0 -1 4202560 105803 0 0 0 5030 15 0 0 20 0 9 0 558881607 922218496 85015 33554432000 4194304 6211132 140720718096688 139642277689800 5250321 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 36884480 140720718099478 140720718099570 140720718099570 140720718102478 0
[pid=5606/tid=5610] ppid=5603 vsize=900604 memory=340060 CPUtime=49.95 cores=0-7
/proc/5606/task/5610/stat : 5610 (cosoco) R 5603 5606 3066 0 -1 4202560 110260 0 0 0 4980 15 0 0 20 0 9 0 558881607 922218496 85015 33554432000 4194304 6211132 140720718096688 139642269297096 5155839 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 36884480 140720718099478 140720718099570 140720718099570 140720718102478 0
[pid=5606/tid=5611] ppid=5603 vsize=900604 memory=1052 CPUtime=50.2 cores=0-7
/proc/5606/task/5611/stat : 5611 (cosoco) R 5603 5606 3066 0 -1 4202560 59253 0 0 0 5014 6 0 0 20 0 9 0 558881607 922218496 85015 33554432000 4194304 6211132 140720718096688 139642260904392 5155836 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 36884480 140720718099478 140720718099570 140720718099570 140720718102478 0
[pid=5606/tid=5612] ppid=5603 vsize=900604 memory=338632 CPUtime=50.42 cores=0-7
/proc/5606/task/5612/stat : 5612 (cosoco) R 5603 5606 3066 0 -1 4202560 115277 0 0 0 5027 15 0 0 20 0 9 0 558881607 922218496 85015 33554432000 4194304 6211132 140720718096688 139642252511688 5155832 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 36884480 140720718099478 140720718099570 140720718099570 140720718102478 0
[pid=5606/tid=5613] ppid=5603 vsize=900604 memory=340060 CPUtime=50.43 cores=0-7
/proc/5606/task/5613/stat : 5613 (cosoco) R 5603 5606 3066 0 -1 4202560 50965 0 0 0 5036 7 0 0 20 0 9 0 558881607 922218496 85015 33554432000 4194304 6211132 140720718096688 139642244119144 5155832 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 36884480 140720718099478 140720718099570 140720718099570 140720718102478 0
[pid=5606/tid=5614] ppid=5603 vsize=900604 memory=164 CPUtime=50.42 cores=0-7
/proc/5606/task/5614/stat : 5614 (cosoco) R 5603 5606 3066 0 -1 4202560 94057 0 0 0 5022 20 0 0 20 0 9 0 558881607 922218496 85015 33554432000 4194304 6211132 140720718096688 139642235726280 5155836 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 36884480 140720718099478 140720718099570 140720718099570 140720718102478 0
[pid=5606/tid=5615] ppid=5603 vsize=900604 memory=3504 CPUtime=50.45 cores=0-7
/proc/5606/task/5615/stat : 5615 (cosoco) R 5603 5606 3066 0 -1 4202560 123763 0 0 0 5026 19 0 0 20 0 9 0 558881607 922218496 85015 33554432000 4194304 6211132 140720718096688 139642227334416 5250256 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 36884480 140720718099478 140720718099570 140720718099570 140720718102478 0
Current children cumulated CPU time: 403.48 s
Current children cumulated vsize: 900604 KiB
Current children cumulated memory: 340060 KiB

[startup+102.301 s]
/proc/loadavg: 8.81 8.38 8.29 9/199 5621
/proc/meminfo: memFree=29816476/32770624 swapFree=66954180/67108860
[pid=5606] ppid=5603 vsize=900604 memory=340064 CPUtime=812.13 cores=0-7
/proc/5606/stat : 5606 (cosoco) S 5603 5606 3066 0 -1 1077944320 918706 0 0 0 81071 142 0 0 20 0 9 0 558881542 922218496 85016 33554432000 4194304 6211132 140720718096688 140720718094944 139642309226231 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 36884480 140720718099478 140720718099570 140720718099570 140720718102478 0
/proc/5606/statm: 225151 85016 874 493 0 218456 0
[pid=5606/tid=5608] ppid=5603 vsize=900604 memory=338632 CPUtime=101.61 cores=0-7
/proc/5606/task/5608/stat : 5608 (cosoco) R 5603 5606 3066 0 -1 4202560 98109 0 0 0 10144 17 0 0 20 0 9 0 558881607 922218496 85016 33554432000 4194304 6211132 140720718096688 139642286082504 5193776 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 36884480 140720718099478 140720718099570 140720718099570 140720718102478 0
[pid=5606/tid=5609] ppid=5603 vsize=900604 memory=340064 CPUtime=101.63 cores=0-7
/proc/5606/task/5609/stat : 5609 (cosoco) R 5603 5606 3066 0 -1 4202560 120143 0 0 0 10145 18 0 0 20 0 9 0 558881607 922218496 85016 33554432000 4194304 6211132 140720718096688 139642277689800 5250304 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 36884480 140720718099478 140720718099570 140720718099570 140720718102478 0
[pid=5606/tid=5610] ppid=5603 vsize=900604 memory=340064 CPUtime=100.44 cores=0-7
/proc/5606/task/5610/stat : 5610 (cosoco) R 5603 5606 3066 0 -1 4202560 123506 0 0 0 10026 18 0 0 20 0 9 0 558881607 922218496 85016 33554432000 4194304 6211132 140720718096688 139642269297096 5155976 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 36884480 140720718099478 140720718099570 140720718099570 140720718102478 0
[pid=5606/tid=5611] ppid=5603 vsize=900604 memory=280888311544560 CPUtime=101.36 cores=0-7
/proc/5606/task/5611/stat : 5611 (cosoco) R 5603 5606 3066 0 -1 4202560 66251 0 0 0 10129 7 0 0 20 0 9 0 558881607 922218496 85016 33554432000 4194304 6211132 140720718096688 139642260904392 5158060 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 36884480 140720718099478 140720718099570 140720718099570 140720718102478 0
[pid=5606/tid=5612] ppid=5603 vsize=900604 memory=0 CPUtime=101.57 cores=0-7
/proc/5606/task/5612/stat : 5612 (cosoco) R 5603 5606 3066 0 -1 4202560 132042 0 0 0 10140 17 0 0 20 0 9 0 558881607 922218496 85016 33554432000 4194304 6211132 140720718096688 139642252511688 5250311 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 36884480 140720718099478 140720718099570 140720718099570 140720718102478 0
[pid=5606/tid=5613] ppid=5603 vsize=900604 memory=340064 CPUtime=101.61 cores=0-7
/proc/5606/task/5613/stat : 5613 (cosoco) R 5603 5606 3066 0 -1 4202560 57585 0 0 0 10153 8 0 0 20 0 9 0 558881607 922218496 85016 33554432000 4194304 6211132 140720718096688 139642244119144 5158008 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 36884480 140720718099478 140720718099570 140720718099570 140720718102478 0
[pid=5606/tid=5614] ppid=5603 vsize=900604 memory=4024 CPUtime=101.59 cores=0-7
/proc/5606/task/5614/stat : 5614 (cosoco) R 5603 5606 3066 0 -1 4202560 108022 0 0 0 10136 23 0 0 20 0 9 0 558881607 922218496 85016 33554432000 4194304 6211132 140720718096688 139642235726280 5250304 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 36884480 140720718099478 140720718099570 140720718099570 140720718102478 0
[pid=5606/tid=5615] ppid=5603 vsize=900604 memory=340064 CPUtime=101.61 cores=0-7
/proc/5606/task/5615/stat : 5615 (cosoco) R 5603 5606 3066 0 -1 4202560 141023 0 0 0 10141 20 0 0 20 0 9 0 558881607 922218496 85016 33554432000 4194304 6211132 140720718096688 139642227334416 5155832 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 36884480 140720718099478 140720718099570 140720718099570 140720718102478 0
Current children cumulated CPU time: 812.13 s
Current children cumulated vsize: 900604 KiB
Current children cumulated memory: 340064 KiB

[startup+162.301 s]
/proc/loadavg: 8.68 8.43 8.32 10/200 5625
/proc/meminfo: memFree=29815876/32770624 swapFree=66954180/67108860
[pid=5606] ppid=5603 vsize=900604 memory=340064 CPUtime=1291.06 cores=0-7
/proc/5606/stat : 5606 (cosoco) S 5603 5606 3066 0 -1 1077944320 1092431 0 0 0 128935 171 0 0 20 0 9 0 558881542 922218496 85016 33554432000 4194304 6211132 140720718096688 140720718094944 139642309226231 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 36884480 140720718099478 140720718099570 140720718099570 140720718102478 0
/proc/5606/statm: 225151 85016 874 493 0 218456 0
[pid=5606/tid=5608] ppid=5603 vsize=900604 memory=340064 CPUtime=161.58 cores=0-7
/proc/5606/task/5608/stat : 5608 (cosoco) R 5603 5606 3066 0 -1 4202560 116833 0 0 0 16138 20 0 0 20 0 9 0 558881607 922218496 85016 33554432000 4194304 6211132 140720718096688 139642286082504 5155836 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 36884480 140720718099478 140720718099570 140720718099570 140720718102478 0
[pid=5606/tid=5609] ppid=5603 vsize=900604 memory=340064 CPUtime=161.6 cores=0-7
/proc/5606/task/5609/stat : 5609 (cosoco) R 5603 5606 3066 0 -1 4202560 143247 0 0 0 16139 21 0 0 20 0 9 0 558881607 922218496 85016 33554432000 4194304 6211132 140720718096688 139642277689800 5250304 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 36884480 140720718099478 140720718099570 140720718099570 140720718102478 0
[pid=5606/tid=5610] ppid=5603 vsize=900604 memory=340064 CPUtime=159.92 cores=0-7
/proc/5606/task/5610/stat : 5610 (cosoco) R 5603 5606 3066 0 -1 4202560 146841 0 0 0 15971 21 0 0 20 0 9 0 558881607 922218496 85016 33554432000 4194304 6211132 140720718096688 139642269297096 5250256 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 36884480 140720718099478 140720718099570 140720718099570 140720718102478 0
[pid=5606/tid=5611] ppid=5603 vsize=900604 memory=340064 CPUtime=161.27 cores=0-7
/proc/5606/task/5611/stat : 5611 (cosoco) R 5603 5606 3066 0 -1 4202560 86923 0 0 0 16116 11 0 0 20 0 9 0 558881607 922218496 85016 33554432000 4194304 6211132 140720718096688 139642260904392 5156014 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 36884480 140720718099478 140720718099570 140720718099570 140720718102478 0
[pid=5606/tid=5612] ppid=5603 vsize=900604 memory=340064 CPUtime=161.54 cores=0-7
/proc/5606/task/5612/stat : 5612 (cosoco) R 5603 5606 3066 0 -1 4202560 155131 0 0 0 16133 21 0 0 20 0 9 0 558881607 922218496 85016 33554432000 4194304 6211132 140720718096688 139642252511688 5250256 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 36884480 140720718099478 140720718099570 140720718099570 140720718102478 0
[pid=5606/tid=5613] ppid=5603 vsize=900604 memory=340064 CPUtime=161.57 cores=0-7
/proc/5606/task/5613/stat : 5613 (cosoco) R 5603 5606 3066 0 -1 4202560 73394 0 0 0 16147 10 0 0 20 0 9 0 558881607 922218496 85016 33554432000 4194304 6211132 140720718096688 139642244119144 5155836 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 36884480 140720718099478 140720718099570 140720718099570 140720718102478 0
[pid=5606/tid=5614] ppid=5603 vsize=900604 memory=340064 CPUtime=161.46 cores=0-7
/proc/5606/task/5614/stat : 5614 (cosoco) R 5603 5606 3066 0 -1 4202560 131238 0 0 0 16120 26 0 0 20 0 9 0 558881607 922218496 85016 33554432000 4194304 6211132 140720718096688 139642235726280 5155832 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 36884480 140720718099478 140720718099570 140720718099570 140720718102478 0
[pid=5606/tid=5615] ppid=5603 vsize=900604 memory=340064 CPUtime=161.38 cores=0-7
/proc/5606/task/5615/stat : 5615 (cosoco) R 5603 5606 3066 0 -1 4202560 166799 0 0 0 16113 25 0 0 20 0 9 0 558881607 922218496 85016 33554432000 4194304 6211132 140720718096688 139642227334416 5250256 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 36884480 140720718099478 140720718099570 140720718099570 140720718102478 0
Current children cumulated CPU time: 1291.06 s
Current children cumulated vsize: 900604 KiB
Current children cumulated memory: 340064 KiB

[startup+222.301 s]
/proc/loadavg: 8.43 8.40 8.32 9/199 5636
/proc/meminfo: memFree=29814880/32770624 swapFree=66954180/67108860
[pid=5606] ppid=5603 vsize=900604 memory=340136 CPUtime=1770.06 cores=0-7
/proc/5606/stat : 5606 (cosoco) S 5603 5606 3066 0 -1 1077944320 1103071 0 0 0 176833 173 0 0 20 0 9 0 558881542 922218496 85034 33554432000 4194304 6211132 140720718096688 140720718094944 139642309226231 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 36884480 140720718099478 140720718099570 140720718099570 140720718102478 0
/proc/5606/statm: 225151 85034 874 493 0 218456 0
[pid=5606/tid=5608] ppid=5603 vsize=900604 memory=340128 CPUtime=221.56 cores=0-7
/proc/5606/task/5608/stat : 5608 (cosoco) R 5603 5606 3066 0 -1 4202560 118575 0 0 0 22136 20 0 0 20 0 9 0 558881607 922218496 85034 33554432000 4194304 6211132 140720718096688 139642286082504 5158138 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 36884480 140720718099478 140720718099570 140720718099570 140720718102478 0
[pid=5606/tid=5609] ppid=5603 vsize=900604 memory=340132 CPUtime=221.52 cores=0-7
/proc/5606/task/5609/stat : 5609 (cosoco) R 5603 5606 3066 0 -1 4202560 144676 0 0 0 22131 21 0 0 20 0 9 0 558881607 922218496 85034 33554432000 4194304 6211132 140720718096688 139642277689800 5155836 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 36884480 140720718099478 140720718099570 140720718099570 140720718102478 0
[pid=5606/tid=5610] ppid=5603 vsize=900604 memory=340136 CPUtime=219.48 cores=0-7
/proc/5606/task/5610/stat : 5610 (cosoco) R 5603 5606 3066 0 -1 4202560 148138 0 0 0 21927 21 0 0 20 0 9 0 558881607 922218496 85034 33554432000 4194304 6211132 140720718096688 139642269297096 5250256 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 36884480 140720718099478 140720718099570 140720718099570 140720718102478 0
[pid=5606/tid=5611] ppid=5603 vsize=900604 memory=340136 CPUtime=221.26 cores=0-7
/proc/5606/task/5611/stat : 5611 (cosoco) R 5603 5606 3066 0 -1 4202560 88016 0 0 0 22114 12 0 0 20 0 9 0 558881607 922218496 85034 33554432000 4194304 6211132 140720718096688 139642260904392 5155832 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 36884480 140720718099478 140720718099570 140720718099570 140720718102478 0
[pid=5606/tid=5612] ppid=5603 vsize=900604 memory=340136 CPUtime=221.53 cores=0-7
/proc/5606/task/5612/stat : 5612 (cosoco) R 5603 5606 3066 0 -1 4202560 155982 0 0 0 22132 21 0 0 20 0 9 0 558881607 922218496 85034 33554432000 4194304 6211132 140720718096688 139642252511688 5250499 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 36884480 140720718099478 140720718099570 140720718099570 140720718102478 0
[pid=5606/tid=5613] ppid=5603 vsize=900604 memory=340120 CPUtime=221.26 cores=0-7
/proc/5606/task/5613/stat : 5613 (cosoco) R 5603 5606 3066 0 -1 4202560 74970 0 0 0 22116 10 0 0 20 0 9 0 558881607 922218496 85034 33554432000 4194304 6211132 140720718096688 139642244119144 5158032 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 36884480 140720718099478 140720718099570 140720718099570 140720718102478 0
[pid=5606/tid=5614] ppid=5603 vsize=900604 memory=668 CPUtime=221.45 cores=0-7
/proc/5606/task/5614/stat : 5614 (cosoco) R 5603 5606 3066 0 -1 4202560 132668 0 0 0 22118 27 0 0 20 0 9 0 558881607 922218496 85034 33554432000 4194304 6211132 140720718096688 139642235726280 5156264 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 36884480 140720718099478 140720718099570 140720718099570 140720718102478 0
[pid=5606/tid=5615] ppid=5603 vsize=900604 memory=1276 CPUtime=221.28 cores=0-7
/proc/5606/task/5615/stat : 5615 (cosoco) R 5603 5606 3066 0 -1 4202560 168021 0 0 0 22102 26 0 0 20 0 9 0 558881607 922218496 85034 33554432000 4194304 6211132 140720718096688 139642227334416 5155849 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 36884480 140720718099478 140720718099570 140720718099570 140720718102478 0
Current children cumulated CPU time: 1770.06 s
Current children cumulated vsize: 900604 KiB
Current children cumulated memory: 340136 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+252.001 s]*
/proc/loadavg: 8.26 8.36 8.31 9/199 5636
/proc/meminfo: memFree=29817968/32770624 swapFree=66954180/67108860
[pid=5606] ppid=5603 vsize=900604 memory=340136 CPUtime=2007.29 cores=0-7
/proc/5606/stat : 5606 (cosoco) S 5603 5606 3066 0 -1 1077944320 1104766 0 0 0 200556 173 0 0 20 0 9 0 558881542 922218496 85034 33554432000 4194304 6211132 140720718096688 140720718094944 139642309226231 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 36884480 140720718099478 140720718099570 140720718099570 140720718102478 0
/proc/5606/statm: 225151 85034 874 493 0 218456 0
[pid=5606/tid=5608] ppid=5603 vsize=900604 memory=1398722017469774279 CPUtime=251.27 cores=0-7
/proc/5606/task/5608/stat : 5608 (cosoco) R 5603 5606 3066 0 -1 4202560 118823 0 0 0 25107 20 0 0 20 0 9 0 558881607 922218496 85034 33554432000 4194304 6211132 140720718096688 139642286082504 5158032 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 36884480 140720718099478 140720718099570 140720718099570 140720718102478 0
[pid=5606/tid=5609] ppid=5603 vsize=900604 memory=-7003737579269690708 CPUtime=250.81 cores=0-7
/proc/5606/task/5609/stat : 5609 (cosoco) R 5603 5606 3066 0 -1 4202560 144861 0 0 0 25060 21 0 0 20 0 9 0 558881607 922218496 85034 33554432000 4194304 6211132 140720718096688 139642277689800 5250482 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 36884480 140720718099478 140720718099570 140720718099570 140720718102478 0
[pid=5606/tid=5610] ppid=5603 vsize=900604 memory=6492 CPUtime=249.18 cores=0-7
/proc/5606/task/5610/stat : 5610 (cosoco) R 5603 5606 3066 0 -1 4202560 148275 0 0 0 24897 21 0 0 20 0 9 0 558881607 922218496 85034 33554432000 4194304 6211132 140720718096688 139642269297096 5155992 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 36884480 140720718099478 140720718099570 140720718099570 140720718102478 0
[pid=5606/tid=5611] ppid=5603 vsize=900604 memory=14056 CPUtime=250.97 cores=0-7
/proc/5606/task/5611/stat : 5611 (cosoco) R 5603 5606 3066 0 -1 4202560 88083 0 0 0 25085 12 0 0 20 0 9 0 558881607 922218496 85034 33554432000 4194304 6211132 140720718096688 139642260904392 5155832 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 36884480 140720718099478 140720718099570 140720718099570 140720718102478 0
[pid=5606/tid=5612] ppid=5603 vsize=900604 memory=2116 CPUtime=251.24 cores=0-7
/proc/5606/task/5612/stat : 5612 (cosoco) R 5603 5606 3066 0 -1 4202560 156043 0 0 0 25103 21 0 0 20 0 9 0 558881607 922218496 85034 33554432000 4194304 6211132 140720718096688 139642252511688 5155532 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 36884480 140720718099478 140720718099570 140720718099570 140720718102478 0
[pid=5606/tid=5613] ppid=5603 vsize=900604 memory=520 CPUtime=250.97 cores=0-7
/proc/5606/task/5613/stat : 5613 (cosoco) R 5603 5606 3066 0 -1 4202560 75650 0 0 0 25087 10 0 0 20 0 9 0 558881607 922218496 85034 33554432000 4194304 6211132 140720718096688 139642244119144 5155839 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 36884480 140720718099478 140720718099570 140720718099570 140720718102478 0
[pid=5606/tid=5614] ppid=5603 vsize=900604 memory=1398722017469774279 CPUtime=251.16 cores=0-7
/proc/5606/task/5614/stat : 5614 (cosoco) R 5603 5606 3066 0 -1 4202560 132862 0 0 0 25089 27 0 0 20 0 9 0 558881607 922218496 85034 33554432000 4194304 6211132 140720718096688 139642235726280 5250283 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 36884480 140720718099478 140720718099570 140720718099570 140720718102478 0
[pid=5606/tid=5615] ppid=5603 vsize=900604 memory=-7003737579269690708 CPUtime=250.98 cores=0-7
/proc/5606/task/5615/stat : 5615 (cosoco) R 5603 5606 3066 0 -1 4202560 168144 0 0 0 25072 26 0 0 20 0 9 0 558881607 922218496 85034 33554432000 4194304 6211132 140720718096688 139642227334416 5409476 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 36884480 140720718099478 140720718099570 140720718099570 140720718102478 0
Current children cumulated CPU time: 2007.29 s
Current children cumulated vsize: 900604 KiB
Current children cumulated memory: 340136 KiB

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

[startup+252.027 s]
# the end of solver process 5606 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2005.67 s, system=1.73889 s

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

Child status: 1
Real time (s): 252.027
CPU time (s): 2007.41
CPU user time (s): 2005.67
CPU system time (s): 1.73889
CPU usage (%): 796.507
Max. virtual memory (cumulated for all children) (KiB): 900604
Max. memory (cumulated for all children) (KiB): 340136

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2005.67
system time used= 1.73889
maximum resident set size= 340432
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1104821
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= 2300
involuntary context switches= 16937


# summary of solver processes directly reported to runsolver:
#   pid: 5606
#   total CPU time (s): 2007.41
#   total CPU user time (s): 2005.67
#   total CPU system time (s): 1.73889

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.27277 second user time and 2.22556 second system time

The end

Launcher Data

Begin job on node119 at 2019-09-30 09:47:07
IDJOB=4409968
IDBENCH=134974
IDSOLVER=2878
FILE ID=node119/4409968-1569829668
RUNJOBID= node119-1569817669-3093
PBS_JOBID= 21705918
Free space on /tmp= 62032 MiB

SOLVER NAME= cosoco 2.0 parallel
BENCH NAME= XCSP17/PseudoBoolean/PseudoBoolean-opt-dimacs/Pb-hanoi4.xml
COMMAND LINE= cosoco -model -nbcores=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4409968-1569829668/watcher-4409968-1569829668 -o /tmp/evaluation-result-4409968-1569829668/solver-4409968-1569829668 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node119-1569817669-3093 --watchdog 312  cosoco -model -nbcores=8 HOME/instance-4409968-1569829668.xml

TIME LIMIT= 2016 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8

MD5SUM BENCH= a17fae509aff329e2f365d061bb5ebf3
RANDOM SEED=347521734

node119.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.47
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.47
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.47
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.47
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:        30152420 kB
MemAvailable:   31825872 kB
Buffers:          226260 kB
Cached:          1785292 kB
SwapCached:        46700 kB
Active:          1076516 kB
Inactive:         987044 kB
Active(anon):      17596 kB
Inactive(anon):   116460 kB
Active(file):    1058920 kB
Inactive(file):   870584 kB
Unevictable:      107468 kB
Mlocked:          107468 kB
SwapTotal:      67108860 kB
SwapFree:       66954180 kB
Dirty:              3092 kB
Writeback:             0 kB
AnonPages:        114440 kB
Mapped:            26412 kB
Shmem:             73180 kB
Slab:             148636 kB
SReclaimable:     119564 kB
SUnreclaim:        29072 kB
KernelStack:        3344 kB
PageTables:         4988 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     539244 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     67584 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      126336 kB
DirectMap2M:    33419264 kB

Free space on /tmp at the end= 62028 MiB
End job on node119 at 2019-09-30 09:51:19