Trace number 4409668

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 20118.9 2520.03

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 benchmark108.063
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 

1945.28/244.27	c
1945.28/244.27	c This is cosoco 2.00 --  
1945.28/244.27	c
1945.28/244.27	c command line: cosoco -model -nbcores=8 HOME/instance-4409668-1569832170.xml 
1945.28/244.27	c enable optimization
1945.28/244.27	c ========================================[ Problem Statistics ]===========================================
1945.28/244.27	c |                                                                                                       
1945.28/244.27	c |  Parse time        :         0.53 s 
1945.28/244.27	c |
1945.28/244.27	c |               Variables: 1436
1945.28/244.27	c |            Domain Sizes: 2..2
1945.28/244.27	c |
1945.28/244.27	c |             Constraints: 5653
1945.28/244.27	c |                   Arity: 1..1436  -- Unary: 128  -- Binary: 3199  -- Ternary: 2280
1945.28/244.27	c | 
1945.28/244.27	c |                   Types: 
1945.28/244.27	c |                          Sum: 5653
1945.28/244.27	c |                          
1945.28/244.27	c |               Objective: Minimize Sum
1945.28/244.27	
1945.28/244.27	c =========================================================================================================
1945.28/244.27	c Parallel mode: Portfolio
1945.28/244.27	c [pFactory][Group N°0] created (threads:8).
1945.28/244.27	c [pFactory][Group N°0] new task added (threads:8 - tasks:1).
1945.28/244.27	c [pFactory][Group N°0] new task added (threads:8 - tasks:2).
1945.28/244.27	c [pFactory][Group N°0] new task added (threads:8 - tasks:3).
1945.28/244.27	c [pFactory][Group N°0] new task added (threads:8 - tasks:4).
1945.28/244.27	c [pFactory][Group N°0] new task added (threads:8 - tasks:5).
1945.28/244.27	c [pFactory][Group N°0] new task added (threads:8 - tasks:6).
1945.28/244.27	c [pFactory][Group N°0] new task added (threads:8 - tasks:7).
1945.28/244.27	c [pFactory][Group N°0] new task added (threads:8 - tasks:8).
1945.28/244.27	c [pFactory][Group N°0] concurrent mode: enabled.
1945.28/244.27	c [pFactory][Group N°0] computations in progress (threads:8 - tasks:8).
1945.28/244.27	c [pFactory][Group N°0] task 7 launched on thread 0.
1945.28/244.27	c [pFactory][Group N°0] task 6 launched on thread 2.
1945.28/244.27	c [pFactory][Group N°0] task 5 launched on thread 1.
1945.28/244.27	c [pFactory][Group N°0] task 4 launched on thread 6.
1945.28/244.27	c [pFactory][Group N°0] task 3 launched on thread 3.
1945.28/244.27	c [pFactory][Group N°0] task 2 launched on thread 7.
1945.28/244.27	c [pFactory][Group N°0] task 1 launched on thread 4.
1945.28/244.27	c [pFactory][Group N°0] task 0 launched on thread 5.
1945.28/244.27	o 718
20118.81/2520.02	
20118.81/2520.02	c *** INTERRUPTED ***
20118.81/2520.02	c call to solver        : 1
20118.81/2520.02	c
20118.81/2520.02	c restarts              : 18456       
20118.81/2520.02	c conflicts             : 184581       (9 /sec)
20118.81/2520.02	c decisions             : 6261515      (311 /sec)
20118.81/2520.02	c propagations          : 64024886    (3183 /sec)
20118.81/2520.02	c root propagations     : 354         
20118.81/2520.02	c filter calls          : 522410305      (25968 /sec)
20118.81/2520.02	c useless filter calls  : 468159328      (89 %)
20118.81/2520.02	c Memory used           : 879.50 MB
20118.81/2520.02	c Best bound time (wc)  : 244.264 s
20118.81/2520.02	c CPU time              : 20117.6 s
20118.81/2520.02	c real time             : 2520.02 s
20118.81/2520.02	
20118.81/2520.02	s SATISFIABLE
20118.81/2520.02	c Best value found: 718
20118.81/2520.02	
20118.81/2520.02	
20118.81/2520.02	v <instantiation type='solution' cost='718'>
20118.81/2520.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>
20118.81/2520.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>
20118.81/2520.02	v </instantiation>
20118.81/2520.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 (13030 MiB free)
  memory of node 1: 16384 MiB (15638 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4409668-1569832170/watcher-4409668-1569832170 -o /tmp/evaluation-result-4409668-1569832170/solver-4409668-1569832170 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node148-1569829875-3291 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4409668-1569832170.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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
Current StackSize limit: 8192 KiB

solver pid=3648, runsolver pid=3645

[startup+0.100161 s]*
/proc/loadavg: 3.45 7.24 8.12 2/192 3649
/proc/meminfo: memFree=29342836/32770624 swapFree=67002708/67108860
[pid=3648] ppid=3645 vsize=46256 memory=22552 CPUtime=0.09 cores=0-7
/proc/3648/stat : 3648 (cosoco) R 3645 3648 3264 0 -1 4202496 5828 0 0 0 9 0 0 0 20 0 1 0 559378522 47366144 5638 33554432000 4194304 6211132 140722548512048 140722548508584 140620491937642 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 9043968 140722548515857 140722548515949 140722548515949 140722548518862 0
/proc/3648/statm: 11564 5638 837 493 0 4869 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 46256 KiB
Current children cumulated memory: 22552 KiB

[startup+0.209693 s]*
/proc/loadavg: 3.45 7.24 8.12 2/192 3649
/proc/meminfo: memFree=29279596/32770624 swapFree=67002708/67108860
[pid=3648] ppid=3645 vsize=109628 memory=85756 CPUtime=0.2 cores=0-7
/proc/3648/stat : 3648 (cosoco) R 3645 3648 3264 0 -1 4202496 21652 0 0 0 18 2 0 0 20 0 1 0 559378522 112259072 21439 33554432000 4194304 6211132 140722548512048 140722548508584 140620491889637 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 9043968 140722548515857 140722548515949 140722548515949 140722548518862 0
/proc/3648/statm: 27407 21439 837 493 0 20712 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 109628 KiB
Current children cumulated memory: 85756 KiB

[startup+0.309732 s]*
/proc/loadavg: 3.45 7.24 8.12 2/192 3649
/proc/meminfo: memFree=29221192/32770624 swapFree=67002708/67108860
[pid=3648] ppid=3645 vsize=167748 memory=144044 CPUtime=0.3 cores=0-7
/proc/3648/stat : 3648 (cosoco) R 3645 3648 3264 0 -1 4202496 36198 0 0 0 26 4 0 0 20 0 1 0 559378522 171773952 36011 33554432000 4194304 6211132 140722548512048 140722548508584 140620491889637 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 9043968 140722548515857 140722548515949 140722548515949 140722548518862 0
/proc/3648/statm: 41937 36011 837 493 0 35242 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 167748 KiB
Current children cumulated memory: 144044 KiB

[startup+0.702678 s]
/proc/loadavg: 3.45 7.24 8.12 2/192 3649
/proc/meminfo: memFree=29109964/32770624 swapFree=67002708/67108860
[pid=3648] ppid=3645 vsize=900604 memory=289172 CPUtime=1.19 cores=0-7
/proc/3648/stat : 3648 (cosoco) S 3645 3648 3264 0 -1 1077944320 72954 0 0 0 109 10 0 0 20 0 9 0 559378522 922218496 72293 33554432000 4194304 6211132 140722548512048 140722548510304 140620507930359 0 0 4096 8405026 18446744073709551615 0 0 17 1 0 0 0 0 0 8312316 8317760 9043968 140722548515857 140722548515949 140722548515949 140722548518862 0
/proc/3648/statm: 225151 72293 868 493 0 218456 0
Current children cumulated CPU time: 1.19 s
Current children cumulated vsize: 900604 KiB
Current children cumulated memory: 289172 KiB

[startup+1.50139 s]
/proc/loadavg: 3.45 7.24 8.12 9/200 3657
/proc/meminfo: memFree=29038796/32770624 swapFree=67002708/67108860
[pid=3648] ppid=3645 vsize=900604 memory=330092 CPUtime=7.57 cores=0-7
/proc/3648/stat : 3648 (cosoco) S 3645 3648 3264 0 -1 1077944320 83084 0 0 0 744 13 0 0 20 0 9 0 559378522 922218496 82523 33554432000 4194304 6211132 140722548512048 140722548510304 140620507930359 0 0 4096 8405026 18446744073709551615 0 0 17 1 0 0 0 0 0 8312316 8317760 9043968 140722548515857 140722548515949 140722548515949 140722548518862 0
/proc/3648/statm: 225151 82523 869 493 0 218456 0
[pid=3648/tid=3650] ppid=3645 vsize=900604 memory=0 CPUtime=0.86 cores=0-7
/proc/3648/task/3650/stat : 3650 (cosoco) R 3645 3648 3264 0 -1 4202560 1351 0 0 0 86 0 0 0 20 0 9 0 559378585 922218496 82523 33554432000 4194304 6211132 140722548512048 140620484786632 5250482 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 9043968 140722548515857 140722548515949 140722548515949 140722548518862 0
[pid=3648/tid=3651] ppid=3645 vsize=900604 memory=7310027617963868211 CPUtime=0.86 cores=0-7
/proc/3648/task/3651/stat : 3651 (cosoco) R 3645 3648 3264 0 -1 4202560 1328 0 0 0 86 0 0 0 20 0 9 0 559378585 922218496 82523 33554432000 4194304 6211132 140722548512048 140620476393928 5155836 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 9043968 140722548515857 140722548515949 140722548515949 140722548518862 0
[pid=3648/tid=3652] ppid=3645 vsize=900604 memory=288230613264382271 CPUtime=0.86 cores=0-7
/proc/3648/task/3652/stat : 3652 (cosoco) R 3645 3648 3264 0 -1 4202560 1240 0 0 0 86 0 0 0 20 0 9 0 559378585 922218496 82523 33554432000 4194304 6211132 140722548512048 140620468001224 5250266 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 9043968 140722548515857 140722548515949 140722548515949 140722548518862 0
[pid=3648/tid=3653] ppid=3645 vsize=900604 memory=14694101884887903 CPUtime=0.85 cores=0-7
/proc/3648/task/3653/stat : 3653 (cosoco) R 3645 3648 3264 0 -1 4202560 1160 0 0 0 85 0 0 0 20 0 9 0 559378585 922218496 82523 33554432000 4194304 6211132 140722548512048 140620459608520 5156264 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 9043968 140722548515857 140722548515949 140722548515949 140722548518862 0
[pid=3648/tid=3654] ppid=3645 vsize=900604 memory=22415 CPUtime=0.86 cores=0-7
/proc/3648/task/3654/stat : 3654 (cosoco) R 3645 3648 3264 0 -1 4202560 1290 0 0 0 86 0 0 0 20 0 9 0 559378585 922218496 82523 33554432000 4194304 6211132 140722548512048 140620451215816 5156264 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 9043968 140722548515857 140722548515949 140722548515949 140722548518862 0
[pid=3648/tid=3655] ppid=3645 vsize=900604 memory=0 CPUtime=0.86 cores=0-7
/proc/3648/task/3655/stat : 3655 (cosoco) R 3645 3648 3264 0 -1 4202560 1643 0 0 0 86 0 0 0 20 0 9 0 559378585 922218496 82523 33554432000 4194304 6211132 140722548512048 140620442823272 5250256 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 9043968 140722548515857 140722548515949 140722548515949 140722548518862 0
[pid=3648/tid=3656] ppid=3645 vsize=900604 memory=1160 CPUtime=0.86 cores=0-7
/proc/3648/task/3656/stat : 3656 (cosoco) R 3645 3648 3264 0 -1 4202560 1406 0 0 0 86 0 0 0 20 0 9 0 559378585 922218496 82523 33554432000 4194304 6211132 140722548512048 140620434430408 5155832 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 9043968 140722548515857 140722548515949 140722548515949 140722548518862 0
[pid=3648/tid=3657] ppid=3645 vsize=900604 memory=1720 CPUtime=0.86 cores=0-7
/proc/3648/task/3657/stat : 3657 (cosoco) R 3645 3648 3264 0 -1 4202560 1639 0 0 0 86 0 0 0 20 0 9 0 559378585 922218496 82523 33554432000 4194304 6211132 140722548512048 140620426037704 5156256 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 9043968 140722548515857 140722548515949 140722548515949 140722548518862 0
Current children cumulated CPU time: 7.57 s
Current children cumulated vsize: 900604 KiB
Current children cumulated memory: 330092 KiB

[startup+3.1104 s]
/proc/loadavg: 3.45 7.24 8.12 9/200 3657
/proc/meminfo: memFree=29025804/32770624 swapFree=67002708/67108860
[pid=3648] ppid=3645 vsize=900604 memory=335492 CPUtime=20.4 cores=0-7
/proc/3648/stat : 3648 (cosoco) S 3645 3648 3264 0 -1 1077944320 139342 0 0 0 2006 34 0 0 20 0 9 0 559378522 922218496 83873 33554432000 4194304 6211132 140722548512048 140722548510304 140620507930359 0 0 4096 8405026 18446744073709551615 0 0 17 1 0 0 0 0 0 8312316 8317760 9043968 140722548515857 140722548515949 140722548515949 140722548518862 0
/proc/3648/statm: 225151 83873 873 493 0 218456 0
[pid=3648/tid=3650] ppid=3645 vsize=900604 memory=280345400317856 CPUtime=2.47 cores=0-7
/proc/3648/task/3650/stat : 3650 (cosoco) R 3645 3648 3264 0 -1 4202560 6503 0 0 0 244 3 0 0 20 0 9 0 559378585 922218496 83873 33554432000 4194304 6211132 140722548512048 140620484786632 5155836 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 9043968 140722548515857 140722548515949 140722548515949 140722548518862 0
[pid=3648/tid=3651] ppid=3645 vsize=900604 memory=155825708473476 CPUtime=2.47 cores=0-7
/proc/3648/task/3651/stat : 3651 (cosoco) R 3645 3648 3264 0 -1 4202560 6489 0 0 0 247 0 0 0 20 0 9 0 559378585 922218496 83873 33554432000 4194304 6211132 140722548512048 140620476393928 5250485 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 9043968 140722548515857 140722548515949 140722548515949 140722548518862 0
[pid=3648/tid=3652] ppid=3645 vsize=900604 memory=335340 CPUtime=2.47 cores=0-7
/proc/3648/task/3652/stat : 3652 (cosoco) R 3645 3648 3264 0 -1 4202560 9320 0 0 0 240 7 0 0 20 0 9 0 559378585 922218496 83873 33554432000 4194304 6211132 140722548512048 140620468001224 5397407 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 9043968 140722548515857 140722548515949 140722548515949 140722548518862 0
[pid=3648/tid=3653] ppid=3645 vsize=900604 memory=1448 CPUtime=2.42 cores=0-7
/proc/3648/task/3653/stat : 3653 (cosoco) R 3645 3648 3264 0 -1 4202560 12603 0 0 0 242 0 0 0 20 0 9 0 559378585 922218496 83873 33554432000 4194304 6211132 140722548512048 140620459608520 5156165 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 9043968 140722548515857 140722548515949 140722548515949 140722548518862 0
[pid=3648/tid=3654] ppid=3645 vsize=900604 memory=1964 CPUtime=2.47 cores=0-7
/proc/3648/task/3654/stat : 3654 (cosoco) R 3645 3648 3264 0 -1 4202560 6098 0 0 0 244 3 0 0 20 0 9 0 559378585 922218496 83873 33554432000 4194304 6211132 140722548512048 140620451215976 5155700 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 9043968 140722548515857 140722548515949 140722548515949 140722548518862 0
[pid=3648/tid=3655] ppid=3645 vsize=900604 memory=2456 CPUtime=2.47 cores=0-7
/proc/3648/task/3655/stat : 3655 (cosoco) R 3645 3648 3264 0 -1 4202560 7007 0 0 0 246 1 0 0 20 0 9 0 559378585 922218496 83873 33554432000 4194304 6211132 140722548512048 140620442823272 5250256 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 9043968 140722548515857 140722548515949 140722548515949 140722548518862 0
[pid=3648/tid=3656] ppid=3645 vsize=900604 memory=1760 CPUtime=2.47 cores=0-7
/proc/3648/task/3656/stat : 3656 (cosoco) R 3645 3648 3264 0 -1 4202560 9789 0 0 0 246 1 0 0 20 0 9 0 559378585 922218496 83873 33554432000 4194304 6211132 140722548512048 140620434430408 5155832 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 9043968 140722548515857 140722548515949 140722548515949 140722548518862 0
[pid=3648/tid=3657] ppid=3645 vsize=900604 memory=0 CPUtime=2.47 cores=0-7
/proc/3648/task/3657/stat : 3657 (cosoco) R 3645 3648 3264 0 -1 4202560 9506 0 0 0 241 6 0 0 20 0 9 0 559378585 922218496 83873 33554432000 4194304 6211132 140722548512048 140620426037704 5156256 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 9043968 140722548515857 140722548515949 140722548515949 140722548518862 0
Current children cumulated CPU time: 20.4 s
Current children cumulated vsize: 900604 KiB
Current children cumulated memory: 335492 KiB

[startup+6.3014 s]
/proc/loadavg: 3.81 7.25 8.12 9/200 3657
/proc/meminfo: memFree=29023748/32770624 swapFree=67002708/67108860
[pid=3648] ppid=3645 vsize=900604 memory=337340 CPUtime=45.89 cores=0-7
/proc/3648/stat : 3648 (cosoco) S 3645 3648 3264 0 -1 1077944320 232484 0 0 0 4546 43 0 0 20 0 9 0 559378522 922218496 84335 33554432000 4194304 6211132 140722548512048 140722548510304 140620507930359 0 0 4096 8405026 18446744073709551615 0 0 17 1 0 0 0 0 0 8312316 8317760 9043968 140722548515857 140722548515949 140722548515949 140722548518862 0
/proc/3648/statm: 225151 84335 873 493 0 218456 0
[pid=3648/tid=3650] ppid=3645 vsize=900604 memory=140177155516031 CPUtime=5.66 cores=0-7
/proc/3648/task/3650/stat : 3650 (cosoco) R 3645 3648 3264 0 -1 4202560 16608 0 0 0 562 4 0 0 20 0 9 0 559378585 922218496 84335 33554432000 4194304 6211132 140722548512048 140620484786632 5250321 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 9043968 140722548515857 140722548515949 140722548515949 140722548518862 0
[pid=3648/tid=3651] ppid=3645 vsize=900604 memory=7306647650472389483 CPUtime=5.66 cores=0-7
/proc/3648/task/3651/stat : 3651 (cosoco) R 3645 3648 3264 0 -1 4202560 20691 0 0 0 564 2 0 0 20 0 9 0 559378585 922218496 84335 33554432000 4194304 6211132 140722548512048 140620476393928 5250485 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 9043968 140722548515857 140722548515949 140722548515949 140722548518862 0
[pid=3648/tid=3652] ppid=3645 vsize=900604 memory=7306647650472389483 CPUtime=5.66 cores=0-7
/proc/3648/task/3652/stat : 3652 (cosoco) R 3645 3648 3264 0 -1 4202560 21580 0 0 0 558 8 0 0 20 0 9 0 559378585 922218496 84335 33554432000 4194304 6211132 140722548512048 140620468001224 5155836 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 9043968 140722548515857 140722548515949 140722548515949 140722548518862 0
[pid=3648/tid=3653] ppid=3645 vsize=900604 memory=337340 CPUtime=5.57 cores=0-7
/proc/3648/task/3653/stat : 3653 (cosoco) R 3645 3648 3264 0 -1 4202560 28585 0 0 0 556 1 0 0 20 0 9 0 559378585 922218496 84335 33554432000 4194304 6211132 140722548512048 140620459608520 5155369 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 9043968 140722548515857 140722548515949 140722548515949 140722548518862 0
[pid=3648/tid=3654] ppid=3645 vsize=900604 memory=337336 CPUtime=5.66 cores=0-7
/proc/3648/task/3654/stat : 3654 (cosoco) R 3645 3648 3264 0 -1 4202560 13287 0 0 0 562 4 0 0 20 0 9 0 559378585 922218496 84335 33554432000 4194304 6211132 140722548512048 140620451215976 5155832 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 9043968 140722548515857 140722548515949 140722548515949 140722548518862 0
[pid=3648/tid=3655] ppid=3645 vsize=900604 memory=3588 CPUtime=5.66 cores=0-7
/proc/3648/task/3655/stat : 3655 (cosoco) R 3645 3648 3264 0 -1 4202560 13411 0 0 0 565 1 0 0 20 0 9 0 559378585 922218496 84335 33554432000 4194304 6211132 140722548512048 140620442823272 5155832 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 9043968 140722548515857 140722548515949 140722548515949 140722548518862 0
[pid=3648/tid=3656] ppid=3645 vsize=900604 memory=337340 CPUtime=5.66 cores=0-7
/proc/3648/task/3656/stat : 3656 (cosoco) R 3645 3648 3264 0 -1 4202560 23141 0 0 0 564 2 0 0 20 0 9 0 559378585 922218496 84335 33554432000 4194304 6211132 140722548512048 140620434430408 5155832 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 9043968 140722548515857 140722548515949 140722548515949 140722548518862 0
[pid=3648/tid=3657] ppid=3645 vsize=900604 memory=740 CPUtime=5.66 cores=0-7
/proc/3648/task/3657/stat : 3657 (cosoco) R 3645 3648 3264 0 -1 4202560 23154 0 0 0 559 7 0 0 20 0 9 0 559378585 922218496 84335 33554432000 4194304 6211132 140722548512048 140620426037704 5156000 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 9043968 140722548515857 140722548515949 140722548515949 140722548518862 0
Current children cumulated CPU time: 45.89 s
Current children cumulated vsize: 900604 KiB
Current children cumulated memory: 337340 KiB

[startup+12.7014 s]
/proc/loadavg: 4.15 7.26 8.12 9/200 3657
/proc/meminfo: memFree=29023724/32770624 swapFree=67002708/67108860
[pid=3648] ppid=3645 vsize=900604 memory=337340 CPUtime=97 cores=0-7
/proc/3648/stat : 3648 (cosoco) S 3645 3648 3264 0 -1 1077944320 339813 0 0 0 9649 51 0 0 20 0 9 0 559378522 922218496 84335 33554432000 4194304 6211132 140722548512048 140722548510304 140620507930359 0 0 4096 8405026 18446744073709551615 0 0 17 1 0 0 0 0 0 8312316 8317760 9043968 140722548515857 140722548515949 140722548515949 140722548518862 0
/proc/3648/statm: 225151 84335 873 493 0 218456 0
[pid=3648/tid=3650] ppid=3645 vsize=900604 memory=337340 CPUtime=12.06 cores=0-7
/proc/3648/task/3650/stat : 3650 (cosoco) R 3645 3648 3264 0 -1 4202560 27174 0 0 0 1201 5 0 0 20 0 9 0 559378585 922218496 84335 33554432000 4194304 6211132 140722548512048 140620484786632 5155836 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 9043968 140722548515857 140722548515949 140722548515949 140722548518862 0
[pid=3648/tid=3651] ppid=3645 vsize=900604 memory=337340 CPUtime=12.06 cores=0-7
/proc/3648/task/3651/stat : 3651 (cosoco) R 3645 3648 3264 0 -1 4202560 34691 0 0 0 1203 3 0 0 20 0 9 0 559378585 922218496 84335 33554432000 4194304 6211132 140722548512048 140620476393928 5155836 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 9043968 140722548515857 140722548515949 140722548515949 140722548518862 0
[pid=3648/tid=3652] ppid=3645 vsize=900604 memory=337340 CPUtime=12.06 cores=0-7
/proc/3648/task/3652/stat : 3652 (cosoco) R 3645 3648 3264 0 -1 4202560 37628 0 0 0 1197 9 0 0 20 0 9 0 559378585 922218496 84335 33554432000 4194304 6211132 140722548512048 140620468001224 5155816 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 9043968 140722548515857 140722548515949 140722548515949 140722548518862 0
[pid=3648/tid=3653] ppid=3645 vsize=900604 memory=3588 CPUtime=11.88 cores=0-7
/proc/3648/task/3653/stat : 3653 (cosoco) R 3645 3648 3264 0 -1 4202560 45341 0 0 0 1186 2 0 0 20 0 9 0 559378585 922218496 84335 33554432000 4194304 6211132 140722548512048 140620459608520 5155836 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 9043968 140722548515857 140722548515949 140722548515949 140722548518862 0
[pid=3648/tid=3654] ppid=3645 vsize=900604 memory=0 CPUtime=12.06 cores=0-7
/proc/3648/task/3654/stat : 3654 (cosoco) R 3645 3648 3264 0 -1 4202560 22047 0 0 0 1201 5 0 0 20 0 9 0 559378585 922218496 84335 33554432000 4194304 6211132 140722548512048 140620451215976 5250304 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 9043968 140722548515857 140722548515949 140722548515949 140722548518862 0
[pid=3648/tid=3655] ppid=3645 vsize=900604 memory=7019257305567224425 CPUtime=12.05 cores=0-7
/proc/3648/task/3655/stat : 3655 (cosoco) R 3645 3648 3264 0 -1 4202560 21996 0 0 0 1203 2 0 0 20 0 9 0 559378585 922218496 84335 33554432000 4194304 6211132 140722548512048 140620442823272 5250325 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 9043968 140722548515857 140722548515949 140722548515949 140722548518862 0
[pid=3648/tid=3656] ppid=3645 vsize=900604 memory=7019257305567224425 CPUtime=12.06 cores=0-7
/proc/3648/task/3656/stat : 3656 (cosoco) R 3645 3648 3264 0 -1 4202560 38949 0 0 0 1203 3 0 0 20 0 9 0 559378585 922218496 84335 33554432000 4194304 6211132 140722548512048 140620434430408 5250256 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 9043968 140722548515857 140722548515949 140722548515949 140722548518862 0
[pid=3648/tid=3657] ppid=3645 vsize=900604 memory=6155405164529412457 CPUtime=12.06 cores=0-7
/proc/3648/task/3657/stat : 3657 (cosoco) R 3645 3648 3264 0 -1 4202560 39960 0 0 0 1198 8 0 0 20 0 9 0 559378585 922218496 84335 33554432000 4194304 6211132 140722548512048 140620426037704 5155836 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 9043968 140722548515857 140722548515949 140722548515949 140722548518862 0
Current children cumulated CPU time: 97 s
Current children cumulated vsize: 900604 KiB
Current children cumulated memory: 337340 KiB

[startup+25.5014 s]
/proc/loadavg: 5.30 7.37 8.14 9/200 3657
/proc/meminfo: memFree=29023044/32770624 swapFree=67002708/67108860
[pid=3648] ppid=3645 vsize=900604 memory=337340 CPUtime=199.22 cores=0-7
/proc/3648/stat : 3648 (cosoco) S 3645 3648 3264 0 -1 1077944320 440530 0 0 0 19863 59 0 0 20 0 9 0 559378522 922218496 84335 33554432000 4194304 6211132 140722548512048 140722548510304 140620507930359 0 0 4096 8405026 18446744073709551615 0 0 17 1 0 0 0 0 0 8312316 8317760 9043968 140722548515857 140722548515949 140722548515949 140722548518862 0
/proc/3648/statm: 225151 84335 873 493 0 218456 0
[pid=3648/tid=3650] ppid=3645 vsize=900604 memory=280345400812304 CPUtime=24.85 cores=0-7
/proc/3648/task/3650/stat : 3650 (cosoco) R 3645 3648 3264 0 -1 4202560 40708 0 0 0 2479 6 0 0 20 0 9 0 559378585 922218496 84335 33554432000 4194304 6211132 140722548512048 140620484786632 5156220 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 9043968 140722548515857 140722548515949 140722548515949 140722548518862 0
[pid=3648/tid=3651] ppid=3645 vsize=900604 memory=14976 CPUtime=24.83 cores=0-7
/proc/3648/task/3651/stat : 3651 (cosoco) R 3645 3648 3264 0 -1 4202560 48029 0 0 0 2480 3 0 0 20 0 9 0 559378585 922218496 84335 33554432000 4194304 6211132 140722548512048 140620476393928 5155832 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 9043968 140722548515857 140722548515949 140722548515949 140722548518862 0
[pid=3648/tid=3652] ppid=3645 vsize=900604 memory=280345401315584 CPUtime=24.86 cores=0-7
/proc/3648/task/3652/stat : 3652 (cosoco) R 3645 3648 3264 0 -1 4202560 50794 0 0 0 2476 10 0 0 20 0 9 0 559378585 922218496 84335 33554432000 4194304 6211132 140722548512048 140620468001224 5186256 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 9043968 140722548515857 140722548515949 140722548515949 140722548518862 0
[pid=3648/tid=3653] ppid=3645 vsize=900604 memory=337340 CPUtime=24.54 cores=0-7
/proc/3648/task/3653/stat : 3653 (cosoco) R 3645 3648 3264 0 -1 4202560 62255 0 0 0 2451 3 0 0 20 0 9 0 559378585 922218496 84335 33554432000 4194304 6211132 140722548512048 140620459608520 5250304 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 9043968 140722548515857 140722548515949 140722548515949 140722548518862 0
[pid=3648/tid=3654] ppid=3645 vsize=900604 memory=5842134815799760108 CPUtime=24.86 cores=0-7
/proc/3648/task/3654/stat : 3654 (cosoco) R 3645 3648 3264 0 -1 4202560 28951 0 0 0 2481 5 0 0 20 0 9 0 559378585 922218496 84335 33554432000 4194304 6211132 140722548512048 140620451215976 5250321 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 9043968 140722548515857 140722548515949 140722548515949 140722548518862 0
[pid=3648/tid=3655] ppid=3645 vsize=900604 memory=280345400316384 CPUtime=24.86 cores=0-7
/proc/3648/task/3655/stat : 3655 (cosoco) R 3645 3648 3264 0 -1 4202560 29076 0 0 0 2482 4 0 0 20 0 9 0 559378585 922218496 84335 33554432000 4194304 6211132 140722548512048 140620442823272 5155836 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 9043968 140722548515857 140722548515949 140722548515949 140722548518862 0
[pid=3648/tid=3656] ppid=3645 vsize=900604 memory=155825708473477 CPUtime=24.86 cores=0-7
/proc/3648/task/3656/stat : 3656 (cosoco) R 3645 3648 3264 0 -1 4202560 53818 0 0 0 2482 4 0 0 20 0 9 0 559378585 922218496 84335 33554432000 4194304 6211132 140722548512048 140620434430408 5156168 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 9043968 140722548515857 140722548515949 140722548515949 140722548518862 0
[pid=3648/tid=3657] ppid=3645 vsize=900604 memory=0 CPUtime=24.86 cores=0-7
/proc/3648/task/3657/stat : 3657 (cosoco) R 3645 3648 3264 0 -1 4202560 54876 0 0 0 2476 10 0 0 20 0 9 0 559378585 922218496 84335 33554432000 4194304 6211132 140722548512048 140620426037704 5250499 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 9043968 140722548515857 140722548515949 140722548515949 140722548518862 0
Current children cumulated CPU time: 199.22 s
Current children cumulated vsize: 900604 KiB
Current children cumulated memory: 337340 KiB


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

/proc/3648/task/3652/stat : 3652 (cosoco) R 3645 3648 3264 0 -1 4202560 100978 0 0 0 226115 20 0 0 20 0 9 0 559378585 922218496 84663 33554432000 4194304 6211132 140722548512048 140620468001224 5155700 0 0 4096 8405026 0 0 0 -1 4 0 0 1 0 0 8312316 8317760 9043968 140722548515857 140722548515949 140722548515949 140722548518862 0
[pid=3648/tid=3653] ppid=3645 vsize=900604 memory=338652 CPUtime=2260.77 cores=0-7
/proc/3648/task/3653/stat : 3653 (cosoco) R 3645 3648 3264 0 -1 4202560 118159 0 0 0 226066 11 0 0 20 0 9 0 559378585 922218496 84663 33554432000 4194304 6211132 140722548512048 140620459608520 5155832 0 0 4096 8405026 0 0 0 -1 3 0 0 1 0 0 8312316 8317760 9043968 140722548515857 140722548515949 140722548515949 140722548518862 0
[pid=3648/tid=3654] ppid=3645 vsize=900604 memory=3588 CPUtime=2261.5 cores=0-7
/proc/3648/task/3654/stat : 3654 (cosoco) R 3645 3648 3264 0 -1 4202560 58243 0 0 0 226138 12 0 0 20 0 9 0 559378585 922218496 84663 33554432000 4194304 6211132 140722548512048 140620451216656 5250482 0 0 4096 8405026 0 0 0 -1 0 0 0 1 0 0 8312316 8317760 9043968 140722548515857 140722548515949 140722548515949 140722548518862 0
[pid=3648/tid=3655] ppid=3645 vsize=900604 memory=338652 CPUtime=2261.19 cores=0-7
/proc/3648/task/3655/stat : 3655 (cosoco) R 3645 3648 3264 0 -1 4202560 55831 0 0 0 226109 10 0 0 20 0 9 0 559378585 922218496 84663 33554432000 4194304 6211132 140722548512048 140620442823272 5155836 0 0 4096 8405026 0 0 0 -1 2 0 0 1 0 0 8312316 8317760 9043968 140722548515857 140722548515949 140722548515949 140722548518862 0
[pid=3648/tid=3656] ppid=3645 vsize=900604 memory=1398722017469774279 CPUtime=2233.31 cores=0-7
/proc/3648/task/3656/stat : 3656 (cosoco) R 3645 3648 3264 0 -1 4202560 104568 0 0 0 223318 13 0 0 20 0 9 0 559378585 922218496 84663 33554432000 4194304 6211132 140722548512048 140620434430408 5158032 0 0 4096 8405026 0 0 0 -1 7 0 0 1 0 0 8312316 8317760 9043968 140722548515857 140722548515949 140722548515949 140722548518862 0
[pid=3648/tid=3657] ppid=3645 vsize=900604 memory=221448 CPUtime=2260.89 cores=0-7
/proc/3648/task/3657/stat : 3657 (cosoco) R 3645 3648 3264 0 -1 4202560 106484 0 0 0 226070 19 0 0 20 0 9 0 559378585 922218496 84663 33554432000 4194304 6211132 140722548512048 140620426037704 5250304 0 0 4096 8405026 0 0 0 -1 5 0 0 1 0 0 8312316 8317760 9043968 140722548515857 140722548515949 140722548515949 140722548518862 0
Current children cumulated CPU time: 18060.9 s
Current children cumulated vsize: 900604 KiB
Current children cumulated memory: 338652 KiB

[startup+2322.3 s]
/proc/loadavg: 8.08 8.18 8.22 9/199 3853
/proc/meminfo: memFree=29023456/32770624 swapFree=67002708/67108860
[pid=3648] ppid=3645 vsize=900604 memory=338652 CPUtime=18540 cores=0-7
/proc/3648/stat : 3648 (cosoco) S 3645 3648 3264 0 -1 1077944320 795605 0 0 0 1853874 125 0 0 20 0 9 0 559378522 922218496 84663 33554432000 4194304 6211132 140722548512048 140722548510304 140620507930359 0 0 4096 8405026 18446744073709551615 0 0 17 1 0 0 0 0 0 8312316 8317760 9043968 140722548515857 140722548515949 140722548515949 140722548518862 0
/proc/3648/statm: 225151 84663 874 493 0 218456 0
[pid=3648/tid=3650] ppid=3645 vsize=900604 memory=338652 CPUtime=2321.71 cores=0-7
/proc/3648/task/3650/stat : 3650 (cosoco) R 3645 3648 3264 0 -1 4202560 84114 0 0 0 232157 14 0 0 20 0 9 0 559378585 922218496 84663 33554432000 4194304 6211132 140722548512048 140620484786632 5155836 0 0 4096 8405026 0 0 0 -1 6 0 0 1 0 0 8312316 8317760 9043968 140722548515857 140722548515949 140722548515949 140722548518862 0
[pid=3648/tid=3651] ppid=3645 vsize=900604 memory=-7035114785800479027 CPUtime=2319.43 cores=0-7
/proc/3648/task/3651/stat : 3651 (cosoco) R 3645 3648 3264 0 -1 4202560 93576 0 0 0 231931 12 0 0 20 0 9 0 559378585 922218496 84663 33554432000 4194304 6211132 140722548512048 140620476393928 5156189 0 0 4096 8405026 0 0 0 -1 1 0 0 2 0 0 8312316 8317760 9043968 140722548515857 140722548515949 140722548515949 140722548518862 0
[pid=3648/tid=3652] ppid=3645 vsize=900604 memory=338652 CPUtime=2321.34 cores=0-7
/proc/3648/task/3652/stat : 3652 (cosoco) R 3645 3648 3264 0 -1 4202560 101274 0 0 0 232114 20 0 0 20 0 9 0 559378585 922218496 84663 33554432000 4194304 6211132 140722548512048 140620468001224 5157572 0 0 4096 8405026 0 0 0 -1 4 0 0 1 0 0 8312316 8317760 9043968 140722548515857 140722548515949 140722548515949 140722548518862 0
[pid=3648/tid=3653] ppid=3645 vsize=900604 memory=338652 CPUtime=2320.78 cores=0-7
/proc/3648/task/3653/stat : 3653 (cosoco) R 3645 3648 3264 0 -1 4202560 118424 0 0 0 232066 12 0 0 20 0 9 0 559378585 922218496 84663 33554432000 4194304 6211132 140722548512048 140620459608520 5250485 0 0 4096 8405026 0 0 0 -1 3 0 0 2 0 0 8312316 8317760 9043968 140722548515857 140722548515949 140722548515949 140722548518862 0
[pid=3648/tid=3654] ppid=3645 vsize=900604 memory=338652 CPUtime=2321.49 cores=0-7
/proc/3648/task/3654/stat : 3654 (cosoco) R 3645 3648 3264 0 -1 4202560 58407 0 0 0 232137 12 0 0 20 0 9 0 559378585 922218496 84663 33554432000 4194304 6211132 140722548512048 140620451216656 5250304 0 0 4096 8405026 0 0 0 -1 0 0 0 1 0 0 8312316 8317760 9043968 140722548515857 140722548515949 140722548515949 140722548518862 0
[pid=3648/tid=3655] ppid=3645 vsize=900604 memory=338652 CPUtime=2321.19 cores=0-7
/proc/3648/task/3655/stat : 3655 (cosoco) R 3645 3648 3264 0 -1 4202560 56131 0 0 0 232109 10 0 0 20 0 9 0 559378585 922218496 84663 33554432000 4194304 6211132 140722548512048 140620442823272 5157576 0 0 4096 8405026 0 0 0 -1 2 0 0 1 0 0 8312316 8317760 9043968 140722548515857 140722548515949 140722548515949 140722548518862 0
[pid=3648/tid=3656] ppid=3645 vsize=900604 memory=338652 CPUtime=2292.47 cores=0-7
/proc/3648/task/3656/stat : 3656 (cosoco) R 3645 3648 3264 0 -1 4202560 104949 0 0 0 229234 13 0 0 20 0 9 0 559378585 922218496 84663 33554432000 4194304 6211132 140722548512048 140620434430408 5156152 0 0 4096 8405026 0 0 0 -1 7 0 0 1 0 0 8312316 8317760 9043968 140722548515857 140722548515949 140722548515949 140722548518862 0
[pid=3648/tid=3657] ppid=3645 vsize=900604 memory=338652 CPUtime=2320.89 cores=0-7
/proc/3648/task/3657/stat : 3657 (cosoco) R 3645 3648 3264 0 -1 4202560 106703 0 0 0 232070 19 0 0 20 0 9 0 559378585 922218496 84663 33554432000 4194304 6211132 140722548512048 140620426037704 5155832 0 0 4096 8405026 0 0 0 -1 5 0 0 1 0 0 8312316 8317760 9043968 140722548515857 140722548515949 140722548515949 140722548518862 0
Current children cumulated CPU time: 18540 s
Current children cumulated vsize: 900604 KiB
Current children cumulated memory: 338652 KiB

[startup+2382.3 s]
/proc/loadavg: 8.03 8.15 8.20 9/199 3858
/proc/meminfo: memFree=29023036/32770624 swapFree=67002708/67108860
[pid=3648] ppid=3645 vsize=900604 memory=338652 CPUtime=19019.2 cores=0-7
/proc/3648/stat : 3648 (cosoco) S 3645 3648 3264 0 -1 1077944320 797950 0 0 0 1901789 126 0 0 20 0 9 0 559378522 922218496 84663 33554432000 4194304 6211132 140722548512048 140722548510304 140620507930359 0 0 4096 8405026 18446744073709551615 0 0 17 1 0 0 0 0 0 8312316 8317760 9043968 140722548515857 140722548515949 140722548515949 140722548518862 0
/proc/3648/statm: 225151 84663 874 493 0 218456 0
[pid=3648/tid=3650] ppid=3645 vsize=900604 memory=338652 CPUtime=2381.72 cores=0-7
/proc/3648/task/3650/stat : 3650 (cosoco) R 3645 3648 3264 0 -1 4202560 84360 0 0 0 238157 15 0 0 20 0 9 0 559378585 922218496 84663 33554432000 4194304 6211132 140722548512048 140620484786632 5157576 0 0 4096 8405026 0 0 0 -1 6 0 0 1 0 0 8312316 8317760 9043968 140722548515857 140722548515949 140722548515949 140722548518862 0
[pid=3648/tid=3651] ppid=3645 vsize=900604 memory=4004 CPUtime=2379.42 cores=0-7
/proc/3648/task/3651/stat : 3651 (cosoco) R 3645 3648 3264 0 -1 4202560 93937 0 0 0 237930 12 0 0 20 0 9 0 559378585 922218496 84663 33554432000 4194304 6211132 140722548512048 140620476393928 5250321 0 0 4096 8405026 0 0 0 -1 1 0 0 2 0 0 8312316 8317760 9043968 140722548515857 140722548515949 140722548515949 140722548518862 0
[pid=3648/tid=3652] ppid=3645 vsize=900604 memory=338652 CPUtime=2381.34 cores=0-7
/proc/3648/task/3652/stat : 3652 (cosoco) R 3645 3648 3264 0 -1 4202560 101685 0 0 0 238114 20 0 0 20 0 9 0 559378585 922218496 84663 33554432000 4194304 6211132 140722548512048 140620468001224 5155836 0 0 4096 8405026 0 0 0 -1 4 0 0 1 0 0 8312316 8317760 9043968 140722548515857 140722548515949 140722548515949 140722548518862 0
[pid=3648/tid=3653] ppid=3645 vsize=900604 memory=338652 CPUtime=2380.79 cores=0-7
/proc/3648/task/3653/stat : 3653 (cosoco) R 3645 3648 3264 0 -1 4202560 118679 0 0 0 238067 12 0 0 20 0 9 0 559378585 922218496 84663 33554432000 4194304 6211132 140722548512048 140620459608520 5157609 0 0 4096 8405026 0 0 0 -1 3 0 0 2 0 0 8312316 8317760 9043968 140722548515857 140722548515949 140722548515949 140722548518862 0
[pid=3648/tid=3654] ppid=3645 vsize=900604 memory=338652 CPUtime=2381.49 cores=0-7
/proc/3648/task/3654/stat : 3654 (cosoco) R 3645 3648 3264 0 -1 4202560 58612 0 0 0 238137 12 0 0 20 0 9 0 559378585 922218496 84663 33554432000 4194304 6211132 140722548512048 140620451216656 5155849 0 0 4096 8405026 0 0 0 -1 0 0 0 1 0 0 8312316 8317760 9043968 140722548515857 140722548515949 140722548515949 140722548518862 0
[pid=3648/tid=3655] ppid=3645 vsize=900604 memory=338652 CPUtime=2381.2 cores=0-7
/proc/3648/task/3655/stat : 3655 (cosoco) R 3645 3648 3264 0 -1 4202560 56403 0 0 0 238109 11 0 0 20 0 9 0 559378585 922218496 84663 33554432000 4194304 6211132 140722548512048 140620442823272 5155849 0 0 4096 8405026 0 0 0 -1 2 0 0 1 0 0 8312316 8317760 9043968 140722548515857 140722548515949 140722548515949 140722548518862 0
[pid=3648/tid=3656] ppid=3645 vsize=900604 memory=338652 CPUtime=2351.62 cores=0-7
/proc/3648/task/3656/stat : 3656 (cosoco) R 3645 3648 3264 0 -1 4202560 105355 0 0 0 235149 13 0 0 20 0 9 0 559378585 922218496 84663 33554432000 4194304 6211132 140722548512048 140620434430408 5155849 0 0 4096 8405026 0 0 0 -1 7 0 0 1 0 0 8312316 8317760 9043968 140722548515857 140722548515949 140722548515949 140722548518862 0
[pid=3648/tid=3657] ppid=3645 vsize=900604 memory=338652 CPUtime=2380.88 cores=0-7
/proc/3648/task/3657/stat : 3657 (cosoco) R 3645 3648 3264 0 -1 4202560 106892 0 0 0 238069 19 0 0 20 0 9 0 559378585 922218496 84663 33554432000 4194304 6211132 140722548512048 140620426037704 5155836 0 0 4096 8405026 0 0 0 -1 5 0 0 1 0 0 8312316 8317760 9043968 140722548515857 140722548515949 140722548515949 140722548518862 0
Current children cumulated CPU time: 19019.2 s
Current children cumulated vsize: 900604 KiB
Current children cumulated memory: 338652 KiB

[startup+2442.3 s]
/proc/loadavg: 8.01 8.12 8.19 9/199 3861
/proc/meminfo: memFree=29022548/32770624 swapFree=67002708/67108860
[pid=3648] ppid=3645 vsize=900604 memory=338652 CPUtime=19498.3 cores=0-7
/proc/3648/stat : 3648 (cosoco) S 3645 3648 3264 0 -1 1077944320 800080 0 0 0 1949702 127 0 0 20 0 9 0 559378522 922218496 84663 33554432000 4194304 6211132 140722548512048 140722548510304 140620507930359 0 0 4096 8405026 18446744073709551615 0 0 17 1 0 0 0 0 0 8312316 8317760 9043968 140722548515857 140722548515949 140722548515949 140722548518862 0
/proc/3648/statm: 225151 84663 874 493 0 218456 0
[pid=3648/tid=3650] ppid=3645 vsize=900604 memory=338652 CPUtime=2441.73 cores=0-7
/proc/3648/task/3650/stat : 3650 (cosoco) R 3645 3648 3264 0 -1 4202560 84637 0 0 0 244158 15 0 0 20 0 9 0 559378585 922218496 84663 33554432000 4194304 6211132 140722548512048 140620484786632 5157572 0 0 4096 8405026 0 0 0 -1 6 0 0 1 0 0 8312316 8317760 9043968 140722548515857 140722548515949 140722548515949 140722548518862 0
[pid=3648/tid=3651] ppid=3645 vsize=900604 memory=338652 CPUtime=2439.42 cores=0-7
/proc/3648/task/3651/stat : 3651 (cosoco) R 3645 3648 3264 0 -1 4202560 94297 0 0 0 243930 12 0 0 20 0 9 0 559378585 922218496 84663 33554432000 4194304 6211132 140722548512048 140620476393928 5250482 0 0 4096 8405026 0 0 0 -1 1 0 0 2 0 0 8312316 8317760 9043968 140722548515857 140722548515949 140722548515949 140722548518862 0
[pid=3648/tid=3652] ppid=3645 vsize=900604 memory=338652 CPUtime=2441.34 cores=0-7
/proc/3648/task/3652/stat : 3652 (cosoco) R 3645 3648 3264 0 -1 4202560 101959 0 0 0 244114 20 0 0 20 0 9 0 559378585 922218496 84663 33554432000 4194304 6211132 140722548512048 140620468001224 5250283 0 0 4096 8405026 0 0 0 -1 4 0 0 1 0 0 8312316 8317760 9043968 140722548515857 140722548515949 140722548515949 140722548518862 0
[pid=3648/tid=3653] ppid=3645 vsize=900604 memory=338652 CPUtime=2440.79 cores=0-7
/proc/3648/task/3653/stat : 3653 (cosoco) R 3645 3648 3264 0 -1 4202560 118916 0 0 0 244067 12 0 0 20 0 9 0 559378585 922218496 84663 33554432000 4194304 6211132 140722548512048 140620459608520 5250256 0 0 4096 8405026 0 0 0 -1 3 0 0 2 0 0 8312316 8317760 9043968 140722548515857 140722548515949 140722548515949 140722548518862 0
[pid=3648/tid=3654] ppid=3645 vsize=900604 memory=338652 CPUtime=2441.49 cores=0-7
/proc/3648/task/3654/stat : 3654 (cosoco) R 3645 3648 3264 0 -1 4202560 58750 0 0 0 244137 12 0 0 20 0 9 0 559378585 922218496 84663 33554432000 4194304 6211132 140722548512048 140620451216656 5155836 0 0 4096 8405026 0 0 0 -1 0 0 0 1 0 0 8312316 8317760 9043968 140722548515857 140722548515949 140722548515949 140722548518862 0
[pid=3648/tid=3655] ppid=3645 vsize=900604 memory=338652 CPUtime=2441.2 cores=0-7
/proc/3648/task/3655/stat : 3655 (cosoco) R 3645 3648 3264 0 -1 4202560 56595 0 0 0 244109 11 0 0 20 0 9 0 559378585 922218496 84663 33554432000 4194304 6211132 140722548512048 140620442823272 5250321 0 0 4096 8405026 0 0 0 -1 2 0 0 1 0 0 8312316 8317760 9043968 140722548515857 140722548515949 140722548515949 140722548518862 0
[pid=3648/tid=3656] ppid=3645 vsize=900604 memory=338652 CPUtime=2410.77 cores=0-7
/proc/3648/task/3656/stat : 3656 (cosoco) R 3645 3648 3264 0 -1 4202560 105744 0 0 0 241064 13 0 0 20 0 9 0 559378585 922218496 84663 33554432000 4194304 6211132 140722548512048 140620434430408 5157576 0 0 4096 8405026 0 0 0 -1 7 0 0 1 0 0 8312316 8317760 9043968 140722548515857 140722548515949 140722548515949 140722548518862 0
[pid=3648/tid=3657] ppid=3645 vsize=900604 memory=338652 CPUtime=2440.87 cores=0-7
/proc/3648/task/3657/stat : 3657 (cosoco) R 3645 3648 3264 0 -1 4202560 107155 0 0 0 244068 19 0 0 20 0 9 0 559378585 922218496 84663 33554432000 4194304 6211132 140722548512048 140620426037704 5250485 0 0 4096 8405026 0 0 0 -1 5 0 0 1 0 0 8312316 8317760 9043968 140722548515857 140722548515949 140722548515949 140722548518862 0
Current children cumulated CPU time: 19498.3 s
Current children cumulated vsize: 900604 KiB
Current children cumulated memory: 338652 KiB

[startup+2502.3 s]
/proc/loadavg: 8.15 8.13 8.19 9/200 3872
/proc/meminfo: memFree=29022936/32770624 swapFree=67002708/67108860
[pid=3648] ppid=3645 vsize=900604 memory=338652 CPUtime=19977.4 cores=0-7
/proc/3648/stat : 3648 (cosoco) S 3645 3648 3264 0 -1 1077944320 802174 0 0 0 1997611 128 0 0 20 0 9 0 559378522 922218496 84663 33554432000 4194304 6211132 140722548512048 140722548510304 140620507930359 0 0 4096 8405026 18446744073709551615 0 0 17 1 0 0 0 0 0 8312316 8317760 9043968 140722548515857 140722548515949 140722548515949 140722548518862 0
/proc/3648/statm: 225151 84663 874 493 0 218456 0
[pid=3648/tid=3650] ppid=3645 vsize=900604 memory=1416 CPUtime=2501.73 cores=0-7
/proc/3648/task/3650/stat : 3650 (cosoco) R 3645 3648 3264 0 -1 4202560 84849 0 0 0 250158 15 0 0 20 0 9 0 559378585 922218496 84663 33554432000 4194304 6211132 140722548512048 140620484786632 5155836 0 0 4096 8405026 0 0 0 -1 6 0 0 1 0 0 8312316 8317760 9043968 140722548515857 140722548515949 140722548515949 140722548518862 0
[pid=3648/tid=3651] ppid=3645 vsize=900604 memory=338652 CPUtime=2499.41 cores=0-7
/proc/3648/task/3651/stat : 3651 (cosoco) R 3645 3648 3264 0 -1 4202560 94634 0 0 0 249929 12 0 0 20 0 9 0 559378585 922218496 84663 33554432000 4194304 6211132 140722548512048 140620476393928 5155832 0 0 4096 8405026 0 0 0 -1 1 0 0 2 0 0 8312316 8317760 9043968 140722548515857 140722548515949 140722548515949 140722548518862 0
[pid=3648/tid=3652] ppid=3645 vsize=900604 memory=338652 CPUtime=2501.33 cores=0-7
/proc/3648/task/3652/stat : 3652 (cosoco) R 3645 3648 3264 0 -1 4202560 102302 0 0 0 250113 20 0 0 20 0 9 0 559378585 922218496 84663 33554432000 4194304 6211132 140722548512048 140620468001224 5250256 0 0 4096 8405026 0 0 0 -1 4 0 0 1 0 0 8312316 8317760 9043968 140722548515857 140722548515949 140722548515949 140722548518862 0
[pid=3648/tid=3653] ppid=3645 vsize=900604 memory=338652 CPUtime=2500.79 cores=0-7
/proc/3648/task/3653/stat : 3653 (cosoco) R 3645 3648 3264 0 -1 4202560 119072 0 0 0 250067 12 0 0 20 0 9 0 559378585 922218496 84663 33554432000 4194304 6211132 140722548512048 140620459608520 5250321 0 0 4096 8405026 0 0 0 -1 3 0 0 2 0 0 8312316 8317760 9043968 140722548515857 140722548515949 140722548515949 140722548518862 0
[pid=3648/tid=3654] ppid=3645 vsize=900604 memory=338652 CPUtime=2501.48 cores=0-7
/proc/3648/task/3654/stat : 3654 (cosoco) R 3645 3648 3264 0 -1 4202560 58899 0 0 0 250136 12 0 0 20 0 9 0 559378585 922218496 84663 33554432000 4194304 6211132 140722548512048 140620451216656 5155836 0 0 4096 8405026 0 0 0 -1 0 0 0 1 0 0 8312316 8317760 9043968 140722548515857 140722548515949 140722548515949 140722548518862 0
[pid=3648/tid=3655] ppid=3645 vsize=900604 memory=338652 CPUtime=2501.19 cores=0-7
/proc/3648/task/3655/stat : 3655 (cosoco) R 3645 3648 3264 0 -1 4202560 56852 0 0 0 250108 11 0 0 20 0 9 0 559378585 922218496 84663 33554432000 4194304 6211132 140722548512048 140620442823272 5155832 0 0 4096 8405026 0 0 0 -1 2 0 0 1 0 0 8312316 8317760 9043968 140722548515857 140722548515949 140722548515949 140722548518862 0
[pid=3648/tid=3656] ppid=3645 vsize=900604 memory=338652 CPUtime=2469.91 cores=0-7
/proc/3648/task/3656/stat : 3656 (cosoco) R 3645 3648 3264 0 -1 4202560 106164 0 0 0 246978 13 0 0 20 0 9 0 559378585 922218496 84663 33554432000 4194304 6211132 140722548512048 140620434430408 5250304 0 0 4096 8405026 0 0 0 -1 7 0 0 1 0 0 8312316 8317760 9043968 140722548515857 140722548515949 140722548515949 140722548518862 0
[pid=3648/tid=3657] ppid=3645 vsize=900604 memory=338652 CPUtime=2500.86 cores=0-7
/proc/3648/task/3657/stat : 3657 (cosoco) R 3645 3648 3264 0 -1 4202560 107375 0 0 0 250067 19 0 0 20 0 9 0 559378585 922218496 84663 33554432000 4194304 6211132 140722548512048 140620426037704 5250304 0 0 4096 8405026 0 0 0 -1 5 0 0 1 0 0 8312316 8317760 9043968 140722548515857 140722548515949 140722548515949 140722548518862 0
Current children cumulated CPU time: 19977.4 s
Current children cumulated vsize: 900604 KiB
Current children cumulated memory: 338652 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 8.19 8.14 8.19 9/200 3875
/proc/meminfo: memFree=29022756/32770624 swapFree=67002708/67108860
[pid=3648] ppid=3645 vsize=900604 memory=338652 CPUtime=20118.8 cores=0-7
/proc/3648/stat : 3648 (cosoco) S 3645 3648 3264 0 -1 1077944320 803537 0 0 0 2011753 128 0 0 20 0 9 0 559378522 922218496 84663 33554432000 4194304 6211132 140722548512048 140722548510304 140620507930359 0 0 4096 8405026 18446744073709551615 0 0 17 1 0 0 0 0 0 8312316 8317760 9043968 140722548515857 140722548515949 140722548515949 140722548518862 0
/proc/3648/statm: 225151 84663 874 493 0 218456 0
[pid=3648/tid=3650] ppid=3645 vsize=900604 memory=1398722017469774279 CPUtime=2519.44 cores=0-7
/proc/3648/task/3650/stat : 3650 (cosoco) R 3645 3648 3264 0 -1 4202560 85071 0 0 0 251929 15 0 0 20 0 9 0 559378585 922218496 84663 33554432000 4194304 6211132 140722548512048 140620484786632 5157572 0 0 4096 8405026 0 0 0 -1 6 0 0 1 0 0 8312316 8317760 9043968 140722548515857 140722548515949 140722548515949 140722548518862 0
[pid=3648/tid=3651] ppid=3645 vsize=900604 memory=4104 CPUtime=2517.12 cores=0-7
/proc/3648/task/3651/stat : 3651 (cosoco) R 3645 3648 3264 0 -1 4202560 94868 0 0 0 251700 12 0 0 20 0 9 0 559378585 922218496 84663 33554432000 4194304 6211132 140722548512048 140620476393928 5156152 0 0 4096 8405026 0 0 0 -1 1 0 0 2 0 0 8312316 8317760 9043968 140722548515857 140722548515949 140722548515949 140722548518862 0
[pid=3648/tid=3652] ppid=3645 vsize=900604 memory=912 CPUtime=2519.04 cores=0-7
/proc/3648/task/3652/stat : 3652 (cosoco) R 3645 3648 3264 0 -1 4202560 102510 0 0 0 251884 20 0 0 20 0 9 0 559378585 922218496 84663 33554432000 4194304 6211132 140722548512048 140620468001224 5157589 0 0 4096 8405026 0 0 0 -1 4 0 0 1 0 0 8312316 8317760 9043968 140722548515857 140722548515949 140722548515949 140722548518862 0
[pid=3648/tid=3653] ppid=3645 vsize=900604 memory=1448 CPUtime=2518.5 cores=0-7
/proc/3648/task/3653/stat : 3653 (cosoco) R 3645 3648 3264 0 -1 4202560 119189 0 0 0 251838 12 0 0 20 0 9 0 559378585 922218496 84663 33554432000 4194304 6211132 140722548512048 140620459608520 5155836 0 0 4096 8405026 0 0 0 -1 3 0 0 2 0 0 8312316 8317760 9043968 140722548515857 140722548515949 140722548515949 140722548518862 0
[pid=3648/tid=3654] ppid=3645 vsize=900604 memory=1964 CPUtime=2519.19 cores=0-7
/proc/3648/task/3654/stat : 3654 (cosoco) R 3645 3648 3264 0 -1 4202560 58952 0 0 0 251906 13 0 0 20 0 9 0 559378585 922218496 84663 33554432000 4194304 6211132 140722548512048 140620451216656 5155976 0 0 4096 8405026 0 0 0 -1 0 0 0 1 0 0 8312316 8317760 9043968 140722548515857 140722548515949 140722548515949 140722548518862 0
[pid=3648/tid=3655] ppid=3645 vsize=900604 memory=338652 CPUtime=2518.89 cores=0-7
/proc/3648/task/3655/stat : 3655 (cosoco) R 3645 3648 3264 0 -1 4202560 56998 0 0 0 251878 11 0 0 20 0 9 0 559378585 922218496 84663 33554432000 4194304 6211132 140722548512048 140620442823272 5155836 0 0 4096 8405026 0 0 0 -1 2 0 0 1 0 0 8312316 8317760 9043968 140722548515857 140722548515949 140722548515949 140722548518862 0
[pid=3648/tid=3656] ppid=3645 vsize=900604 memory=2812 CPUtime=2487.37 cores=0-7
/proc/3648/task/3656/stat : 3656 (cosoco) R 3645 3648 3264 0 -1 4202560 106441 0 0 0 248724 13 0 0 20 0 9 0 559378585 922218496 84663 33554432000 4194304 6211132 140722548512048 140620434430408 5156165 0 0 4096 8405026 0 0 0 -1 7 0 0 1 0 0 8312316 8317760 9043968 140722548515857 140722548515949 140722548515949 140722548518862 0
[pid=3648/tid=3657] ppid=3645 vsize=900604 memory=338652 CPUtime=2518.57 cores=0-7
/proc/3648/task/3657/stat : 3657 (cosoco) R 3645 3648 3264 0 -1 4202560 107481 0 0 0 251838 19 0 0 20 0 9 0 559378585 922218496 84663 33554432000 4194304 6211132 140722548512048 140620426037704 5155832 0 0 4096 8405026 0 0 0 -1 5 0 0 1 0 0 8312316 8317760 9043968 140722548515857 140722548515949 140722548515949 140722548518862 0
Current children cumulated CPU time: 20118.8 s
Current children cumulated vsize: 900604 KiB
Current children cumulated memory: 338652 KiB

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

[startup+2520.03 s]
# the end of solver process 3648 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=20117.6 s, system=1.28524 s

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

Child status: 1
Real time (s): 2520.03
CPU time (s): 20118.9
CPU user time (s): 20117.6
CPU system time (s): 1.28524
CPU usage (%): 798.362
Max. virtual memory (cumulated for all children) (KiB): 900604
Max. memory (cumulated for all children) (KiB): 338652

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20117.6
system time used= 1.28524
maximum resident set size= 338952
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 803591
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= 2160
involuntary context switches= 164153


# summary of solver processes directly reported to runsolver:
#   pid: 3648
#   total CPU time (s): 20118.9
#   total CPU user time (s): 20117.6
#   total CPU system time (s): 1.28524

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.8045 second user time and 22.9205 second system time

The end

Launcher Data 

Begin job on node148 at 2019-09-30 10:28:53
IDJOB=4409668
IDBENCH=134974
IDSOLVER=2877
FILE ID=node148/4409668-1569832170
RUNJOBID= node148-1569829875-3291
PBS_JOBID= 21705941
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-4409668-1569832170/watcher-4409668-1569832170 -o /tmp/evaluation-result-4409668-1569832170/solver-4409668-1569832170 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node148-1569829875-3291 --watchdog 2580  cosoco -model -nbcores=8 HOME/instance-4409668-1569832170.xml

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

MD5SUM BENCH= a17fae509aff329e2f365d061bb5ebf3
RANDOM SEED=2057833174

node148.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.13
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.13
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.13
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.13
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:        29357348 kB
MemAvailable:   31873468 kB
Buffers:          141120 kB
Cached:          2712224 kB
SwapCached:         3492 kB
Active:          1799132 kB
Inactive:        1059596 kB
Active(anon):       3792 kB
Inactive(anon):    81420 kB
Active(file):    1795340 kB
Inactive(file):   978176 kB
Unevictable:      110960 kB
Mlocked:          110960 kB
SwapTotal:      67108860 kB
SwapFree:       67002708 kB
Dirty:              2716 kB
Writeback:            80 kB
AnonPages:        113632 kB
Mapped:            26940 kB
Shmem:             71772 kB
Slab:             146408 kB
SReclaimable:     116880 kB
SUnreclaim:        29528 kB
KernelStack:        3392 kB
PageTables:         5432 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     538564 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:      124288 kB
DirectMap2M:    33421312 kB

Free space on /tmp at the end= 62028 MiB
End job on node148 at 2019-09-30 11:10:53