Trace number 4409489

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 parallelOPT3 1177.66 149.165

General information on the benchmark

NameGraphColoring/GraphColoring-m1-mono/
GraphColoring-ash608GPIA.xml
MD5SUM0df69417c613ef889e63c8df69e0b506
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark3
Best CPU time to get the best result obtained on this benchmark1.33999
Satisfiable
(Un)Satisfiability was proved
Number of variables1216
Number of constraints7844
Number of domains1
Minimum domain size1216
Maximum domain size1216
Distribution of domain sizes[{"size":1216,"count":1216}]
Minimum variable degree2
Maximum variable degree21
Distribution of variable degrees[{"degree":2,"count":1},{"degree":6,"count":2},{"degree":7,"count":13},{"degree":8,"count":18},{"degree":9,"count":26},{"degree":10,"count":54},{"degree":11,"count":102},{"degree":12,"count":128},{"degree":13,"count":194},{"degree":14,"count":189},{"degree":15,"count":154},{"degree":16,"count":130},{"degree":17,"count":97},{"degree":18,"count":66},{"degree":19,"count":22},{"degree":20,"count":10},{"degree":21,"count":10}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":7844}]
Number of extensional constraints0
Number of intensional constraints7844
Distribution of constraint types[{"type":"intension","count":7844}]
Optimization problemYES
Type of objectivemin MAXIMUM

Quality of the solution as a function of time


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

Solver Data 

25.39/4.60	c
25.39/4.60	c This is cosoco 2.00 --  
25.39/4.60	c
25.39/4.60	c command line: cosoco -model -nbcores=8 HOME/instance-4409489-1569818954.xml 
25.39/4.60	c enable optimization
25.39/4.60	c ========================================[ Problem Statistics ]===========================================
25.39/4.60	c |                                                                                                       
25.39/4.60	c |  Parse time        :         1.35 s 
25.39/4.60	c |
25.39/4.60	c |               Variables: 1216
25.39/4.60	c |            Domain Sizes: 1216..1216
25.39/4.60	c |
25.39/4.60	c |             Constraints: 7845
25.39/4.60	c |                   Arity: 2..1216  -- Binary: 7844
25.39/4.60	c | 
25.39/4.60	c |                   Types: 
25.39/4.60	c |                          (X != Y): 7844
25.39/4.60	c |                          Max constant: 1
25.39/4.60	c |                          
25.39/4.60	c |               Objective: Minimize Max constant
25.39/4.60	
25.39/4.60	c =========================================================================================================
25.39/4.60	c Parallel mode: Portfolio
25.39/4.60	c [pFactory][Group N°0] created (threads:8).
25.39/4.60	c [pFactory][Group N°0] new task added (threads:8 - tasks:1).
25.39/4.60	c [pFactory][Group N°0] new task added (threads:8 - tasks:2).
25.39/4.60	c [pFactory][Group N°0] new task added (threads:8 - tasks:3).
25.39/4.60	c [pFactory][Group N°0] new task added (threads:8 - tasks:4).
25.39/4.60	c [pFactory][Group N°0] new task added (threads:8 - tasks:5).
25.39/4.60	c [pFactory][Group N°0] new task added (threads:8 - tasks:6).
25.39/4.60	c [pFactory][Group N°0] new task added (threads:8 - tasks:7).
25.39/4.60	c [pFactory][Group N°0] new task added (threads:8 - tasks:8).
25.39/4.60	c [pFactory][Group N°0] concurrent mode: enabled.
25.39/4.60	c [pFactory][Group N°0] computations in progress (threads:8 - tasks:8).
25.39/4.60	c [pFactory][Group N°0] task 7 launched on thread 6.
25.39/4.60	c [pFactory][Group N°0] task 6 launched on thread 0.
25.39/4.60	c [pFactory][Group N°0] task 5 launched on thread 1.
25.39/4.60	c [pFactory][Group N°0] task 4 launched on thread 2.
25.39/4.60	c [pFactory][Group N°0] task 3 launched on thread 7.
25.39/4.60	c [pFactory][Group N°0] task 2 launched on thread 4.
25.39/4.60	c [pFactory][Group N°0] task 1 launched on thread 5.
25.39/4.60	c [pFactory][Group N°0] task 0 launched on thread 3.
25.39/4.60	o 1215
50.14/7.61	o 1214
73.28/10.59	o 1213
97.22/13.58	o 1212
121.18/16.56	o 1211
145.13/19.53	o 1210
169.08/22.50	o 1209
192.24/25.44	o 1208
215.38/28.38	o 1207
239.32/31.34	o 1206
262.47/34.29	o 1205
286.43/37.23	o 1204
309.67/40.17	o 1203
333.61/43.12	o 1202
356.75/46.06	o 1201
379.84/49.00	o 1200
403.79/51.93	o 1199
426.94/54.86	o 1198
450.10/57.79	o 1197
474.04/60.72	o 1196
497.20/63.64	o 1195
520.35/66.58	o 1194
544.30/69.51	o 1193
567.44/72.42	o 1192
590.60/75.34	o 1191
613.74/78.25	o 1190
636.97/81.18	o 1189
660.12/84.08	o 1188
683.21/86.99	o 1187
706.36/89.89	o 1186
729.51/92.79	o 1185
752.67/95.68	o 1184
775.81/98.58	o 1183
798.96/101.47	o 1182
822.10/104.35	o 1181
845.25/107.24	o 1180
868.47/110.13	o 1179
891.61/113.02	o 1178
914.66/115.93	o 1177
937.80/118.81	o 1176
960.95/121.71	o 1175
984.09/124.61	o 1174
1007.24/127.51	o 1173
1030.39/130.41	o 1172
1053.54/133.30	o 1171
1076.67/136.22	o 1170
1099.81/139.15	o 1169
1122.96/142.05	o 1168
1146.02/144.99	o 1167
1169.94/147.93	o 1166
1169.94/147.93	o 4
1177.00/149.06	o 3
1177.00/149.09	c [pFactory][Group N°0] concurent mode: thread 4 has won with the task 2.
1177.00/149.09	c [pFactory][Group N°0] Thread N°0 is joined.
1177.00/149.09	c [pFactory][Group N°0] Thread N°1 is joined.
1177.00/149.09	c [pFactory][Group N°0] Thread N°2 is joined.
1177.00/149.09	c [pFactory][Group N°0] Thread N°3 is joined.
1177.00/149.09	c [pFactory][Group N°0] Thread N°4 is joined.
1177.00/149.09	c [pFactory][Group N°0] Thread N°5 is joined.
1177.00/149.09	c [pFactory][Group N°0] Thread N°6 is joined.
1177.00/149.09	c [pFactory][Group N°0] Thread N°7 is joined.
1177.00/149.09	c [pFactory][Group N°0] Return Code of the winner:3 (Thread N°4)
1177.00/149.09	s OPTIMUM FOUND
1177.00/149.09	c call to solver        : 19
1177.00/149.09	c
1177.00/149.09	c restarts              : 4469        
1177.00/149.09	c conflicts             : 4            (0 /sec)
1177.00/149.09	c decisions             : 64734        (55 /sec)
1177.00/149.09	c propagations          : 1707444     (1453 /sec)
1177.00/149.09	c root propagations     : 5654        
1177.00/149.09	c filter calls          : 3274359        (2786 /sec)
1177.00/149.09	c useless filter calls  : 3106648        (94 %)
1177.00/149.09	c Memory used           : 1008.05 MB
1177.00/149.09	c Best bound time (wc)  : 149.063 s
1177.00/149.09	c CPU time              : 1175.09 s
1177.00/149.09	c real time             : 149.087 s
1177.00/149.09	
1177.00/149.09	
1177.00/149.09	v <instantiation type='solution' cost='3'>
1177.00/149.09	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[121] x[122] x[123] x[124] x[125] x[126] x[127] x[128] x[129] x[12] x[130] x[131] x[132] x[133] x[134] x[135] x[136] x[137] x[138] x[139] x[13] x[140] x[141] x[142] x[143] x[144] x[145] x[146] x[147] x[148] x[149] x[14] x[150] x[151] x[152] x[153] x[154] x[155] x[156] x[157] x[158] x[159] x[15] x[160] x[161] x[162] x[163] x[164] x[165] x[166] x[167] x[168] x[169] x[16] x[170] x[171] x[172] x[173] x[174] x[175] x[176] x[177] x[178] x[179] x[17] x[180] x[181] x[182] x[183] x[184] x[185] x[186] x[187] x[188] x[189] x[18] x[190] x[191] x[192] x[193] x[194] x[195] x[196] x[197] x[198] x[199] x[19] x[1] x[200] x[201] x[202] x[203] x[204] x[205] x[206] x[207] x[208] x[209] x[20] x[210] x[211] x[212] x[213] x[214] x[215] x[216] x[217] x[218] x[219] x[21] x[220] x[221] x[222] x[223] x[224] x[225] x[226] x[227] x[228] x[229] x[22] x[230] x[231] x[232] x[233] x[234] x[235] x[236] x[237] x[238] x[239] x[23] x[240] x[241] x[242] x[243] x[244] x[245] x[246] x[247] x[248] x[249] x[24] x[250] x[251] x[252] x[253] x[254] x[255] x[256] x[257] x[258] x[259] x[25] x[260] x[261] x[262] x[263] x[264] x[265] x[266] x[267] x[268] x[269] x[26] x[270] x[271] x[272] x[273] x[274] x[275] x[276] x[277] x[278] x[279] x[27] x[280] x[281] x[282] x[283] x[284] x[285] x[286] x[287] x[288] x[289] x[28] x[290] x[291] x[292] x[293] x[294] x[295] x[296] x[297] x[298] x[299] x[29] x[2] x[300] x[301] x[302] x[303] x[304] x[305] x[306] x[307] x[308] x[309] x[30] x[310] x[311] x[312] x[313] x[314] x[315] x[316] x[317] x[318] x[319] x[31] x[320] x[321] x[322] x[323] x[324] x[325] x[326] x[327] x[328] x[329] x[32] x[330] x[331] x[332] x[333] x[334] x[335] x[336] x[337] x[338] x[339] x[33] x[340] x[341] x[342] x[343] x[344] x[345] x[346] x[347] x[348] x[349] x[34] x[350] x[351] x[352] x[353] x[354] x[355] x[356] x[357] x[358] x[359] x[35] x[360] x[361] x[362] x[363] x[364] x[365] x[366] x[367] x[368] x[369] x[36] x[370] x[371] x[372] x[373] x[374] x[375] x[376] x[377] x[378] x[379] x[37] x[380] x[381] x[382] x[383] x[384] x[385] x[386] x[387] x[388] x[389] x[38] x[390] x[391] x[392] x[393] x[394] x[395] x[396] x[397] x[398] x[399] x[39] x[3] x[400] x[401] x[402] x[403] x[404] x[405] x[406] x[407] x[408] x[409] x[40] x[410] x[411] x[412] x[413] x[414] x[415] x[416] x[417] x[418] x[419] x[41] x[420] x[421] x[422] x[423] x[424] x[425] x[426] x[427] x[428] x[429] x[42] x[430] x[431] x[432] x[433] x[434] x[435] x[436] x[437] x[438] x[439] x[43] x[440] x[441] x[442] x[443] x[444] x[445] x[446] x[447] x[448] x[449] x[44] x[450] x[451] x[452] x[453] x[454] x[455] x[456] x[457] x[458] x[459] x[45] x[460] x[461] x[462] x[463] x[464] x[465] x[466] x[467] x[468] x[469] x[46] x[470] x[471] x[472] x[473] x[474] x[475] x[476] x[477] x[478] x[479] x[47] x[480] x[481] x[482] x[483] x[484] x[485] x[486] x[487] x[488] x[489] x[48] x[490] x[491] x[492] x[493] x[494] x[495] x[496] x[497] x[498] x[499] x[49] x[4] x[500] x[501] x[502] x[503] x[504] x[505] x[506] x[507] x[508] x[509] x[50] x[510] x[511] x[512] x[513] x[514] x[515] x[516] x[517] x[518] x[519] x[51] x[520] x[521] x[522] x[523] x[524] x[525] x[526] x[527] x[528] x[529] x[52] x[530] x[531] x[532] x[533] x[534] x[535] x[536] x[537] x[538] x[539] x[53] x[540] x[541] x[542] x[543] x[544] x[545] x[546] x[547] x[548] x[549] x[54] x[550] x[551] x[552] x[553] x[554] x[555] x[556] x[557] x[558] x[559] x[55] x[560] x[561] x[562] x[563] x[564] x[565] x[566] x[567] x[568] x[569] x[56] x[570] x[571] x[572] x[573] x[574] x[575] x[576] x[577] x[578] x[579] x[57] x[580] x[581] x[582] x[583] x[584] x[585] x[586] x[587] x[588] x[589] x[58] x[590] x[591] x[592] x[593] x[594] x[595] x[596] x[597] x[598] x[599] x[59] x[5] x[600] x[601] x[602] x[603] x[604] x[605] x[606] x[607] x[608] x[609] x[60] x[610] x[611] x[612] x[613] x[614] x[615] x[616] x[617] x[618] x[619] x[61] x[620] x[621] x[622] x[623] x[624] x[625] x[626] x[627] x[628] x[629] x[62] x[630] x[631] x[632] x[633] x[634] x[635] x[636] x[637] x[638] x[639] x[63] x[640] x[641] x[642] x[643] x[644] x[645] x[646] x[647] x[648] x[649] x[64] x[650] x[651] x[652] x[653] x[654] x[655] x[656] x[657] x[658] x[659] x[65] x[660] x[661] x[662] x[663] x[664] x[665] x[666] x[667] x[668] x[669] x[66] x[670] x[671] x[672] x[673] x[674] x[675] x[676] x[677] x[678] x[679] x[67] x[680] x[681] x[682] x[683] x[684] x[685] x[686] x[687] x[688] x[689] x[68] x[690] x[691] x[692] x[693] x[694] x[695] x[696] x[697] x[698] x[699] x[69] x[6] x[700] x[701] x[702] x[703] x[704] x[705] x[706] x[707] x[708] x[709] x[70] x[710] x[711] x[712] x[713] x[714] x[715] x[716] x[717] x[718] x[719] x[71] x[720] x[721] x[722] x[723] x[724] x[725] x[726] x[727] x[728] x[729] x[72] x[730] x[731] x[732] x[733] x[734] x[735] x[736] x[737] x[738] x[739] x[73] x[740] x[741] x[742] x[743] x[744] x[745] x[746] x[747] x[748] x[749] x[74] x[750] x[751] x[752] x[753] x[754] x[755] x[756] x[757] x[758] x[759] x[75] x[760] x[761] x[762] x[763] x[764] x[765] x[766] x[767] x[768] x[769] x[76] x[770] x[771] x[772] x[773] x[774] x[775] x[776] x[777] x[778] x[779] x[77] x[780] x[781] x[782] x[783] x[784] x[785] x[786] x[787] x[788] x[789] x[78] x[790] x[791] x[792] x[793] x[794] x[795] x[796] x[797] x[798] x[799] x[79] x[7] x[800] x[801] x[802] x[803] x[804] x[805] x[806] x[807] x[808] x[809] x[80] x[810] x[811] x[812] x[813] x[814] x[815] x[816] x[817] x[818] x[819] x[81] x[820] x[821] x[822] x[823] x[824] x[825] x[826] x[827] x[828] x[829] x[82] x[830] x[831] x[832] x[833] x[834] x[835] x[836] x[837] x[838] x[839] x[83] x[840] x[841] x[842] x[843] x[844] x[845] x[846] x[847] x[848] x[849] x[84] x[850] x[851] x[852] x[853] x[854] x[855] x[856] x[857] x[858] x[859] x[85] x[860] x[861] x[862] x[863] x[864] x[865] x[866] x[867] x[868] x[869] x[86] x[870] x[871] x[872] x[873] x[874] x[875] x[876] x[877] x[878] x[879] x[87] x[880] x[881] x[882] x[883] x[884] x[885] x[886] x[887] x[888] x[889] x[88] x[890] x[891] x[892] x[893] x[894] x[895] x[896] x[897] x[898] x[899] x[89] x[8] x[900] x[901] x[902] x[903] x[904] x[905] x[906] x[907] x[908] x[909] x[90] x[910] x[911] x[912] x[913] x[914] x[915] x[916] x[917] x[918] x[919] x[91] x[920] x[921] x[922] x[923] x[924] x[925] x[926] x[927] x[928] x[929] x[92] x[930] x[931] x[932] x[933] x[934] x[935] x[936] x[937] x[938] x[939] x[93] x[940] x[941] x[942] x[943] x[944] x[945] x[946] x[947] x[948] x[949] x[94] x[950] x[951] x[952] x[953] x[954] x[955] x[956] x[957] x[958] x[959] x[95] x[960] x[961] x[962] x[963] x[964] x[965] x[966] x[967] x[968] x[969] x[96] x[970] x[971] x[972] x[973] x[974] x[975] x[976] x[977] x[978] x[979] x[97] x[980] x[981] x[982] x[983] x[984] x[985] x[986] x[987] x[988] x[989] x[98] x[990] x[991] x[992] x[993] x[994] x[995] x[996] x[997] x[998] x[999] x[99] x[9] </list>
1177.00/149.09	v <values>0 1 0 3 0 2 1 3 1 0 3 0 0 2 0 3 1 2 0 2 0 2 2 1 0 1 3 2 3 1 0 1 2 3 3 0 0 1 0 3 2 1 0 3 1 3 0 2 1 2 1 0 1 0 1 3 2 3 0 2 0 2 1 3 0 2 1 0 2 2 0 0 2 3 1 1 3 2 2 0 0 1 1 0 2 1 0 1 0 0 1 2 1 0 1 2 0 1 3 3 2 3 2 0 1 0 2 0 2 0 0 3 2 0 1 3 0 2 2 0 2 1 2 2 0 2 1 3 0 2 0 1 0 1 3 2 1 0 2 0 3 2 3 1 1 0 1 1 2 0 2 0 1 2 3 0 0 3 0 1 1 3 0 3 0 2 2 0 2 1 2 3 0 3 2 1 3 3 0 2 1 3 1 3 2 0 1 0 1 0 2 0 1 2 1 3 0 2 0 0 1 0 1 0 1 0 3 2 1 2 2 0 2 0 1 3 1 0 1 3 2 0 0 0 2 1 3 0 3 2 1 2 0 1 3 0 2 0 1 2 2 1 0 3 2 1 0 3 0 1 3 0 1 0 1 3 1 2 0 2 0 0 2 0 2 3 1 0 1 0 2 1 0 1 3 2 0 2 0 1 0 1 0 3 2 1 2 1 0 1 0 0 1 3 0 2 3 2 3 1 3 2 2 1 2 0 3 2 1 1 2 0 3 1 2 0 0 3 2 3 0 3 3 0 3 1 2 2 2 1 2 0 0 1 0 1 2 1 3 0 1 1 3 2 3 1 0 3 1 1 2 0 2 1 2 0 3 0 2 3 0 2 0 0 1 0 1 3 2 0 1 3 0 1 1 0 3 2 1 0 1 0 2 3 2 3 0 0 2 0 3 1 2 1 0 2 3 0 2 1 0 1 1 0 0 1 0 2 0 2 3 1 0 1 0 3 3 0 1 3 0 3 1 0 1 3 2 1 0 1 3 3 0 2 0 2 1 0 1 2 3 0 3 0 2 1 2 1 3 3 0 3 0 3 2 1 3 1 2 0 1 3 0 1 3 1 0 2 0 1 3 3 2 3 1 0 0 3 1 3 1 2 0 1 0 1 2 1 0 0 1 0 1 0 2 3 0 3 0 1 3 2 1 2 2 3 2 1 0 2 0 2 3 1 0 0 1 3 1 0 1 3 2 0 2 0 2 2 1 3 1 0 1 3 1 3 2 1 2 3 2 1 0 1 2 1 0 1 2 0 0 1 0 1 2 3 2 0 1 3 3 1 0 1 0 3 0 1 0 1 2 1 1 0 0 2 3 2 2 0 3 0 3 2 1 2 0 0 2 3 1 3 2 0 2 1 2 0 3 0 2 1 0 2 1 3 2 1 0 3 2 1 0 1 0 0 3 0 1 0 0 1 0 3 3 1 1 3 1 2 0 1 0 1 0 1 0 3 3 0 3 0 1 0 1 2 0 2 2 0 2 1 2 1 3 3 2 0 1 0 3 0 2 0 1 2 3 0 1 0 3 1 2 1 3 0 3 1 2 0 0 1 0 2 3 2 0 2 1 3 0 3 2 0 0 1 0 1 1 0 1 0 1 2 3 1 0 3 2 1 0 3 2 0 2 2 3 1 2 1 0 1 2 1 0 1 1 3 0 3 0 1 2 1 2 0 2 0 2 1 0 3 0 1 2 3 0 1 1 1 2 0 2 0 2 0 3 0 2 0 0 2 2 1 2 3 0 1 0 1 3 2 0 3 0 1 0 1 2 0 1 0 0 0 1 0 1 3 1 0 1 0 1 1 0 1 0 2 1 0 1 2 1 0 2 2 3 1 3 1 0 1 0 2 0 3 2 3 1 0 1 3 2 0 1 0 2 2 3 3 0 2 0 2 0 0 2 0 0 2 0 1 3 1 2 0 2 0 2 2 0 3 1 0 2 1 2 0 2 1 1 0 2 0 3 1 2 0 2 0 2 2 1 2 3 1 0 1 3 0 1 0 3 3 1 0 1 3 2 0 1 1 0 3 3 2 0 2 0 1 0 1 0 1 0 3 2 1 3 0 3 3 2 1 0 2 1 2 1 0 0 3 1 3 0 3 1 2 0 3 1 2 1 3 0 2 0 2 2 3 1 0 1 0 1 0 1 0 0 3 2 1 2 1 0 3 0 2 0 0 2 1 2 0 2 0 3 1 3 2 3 0 1 0 1 2 1 0 1 0 3 1 1 2 0 3 0 2 0 2 1 3 3 1 0 3 0 1 0 1 0 1 0 2 0 3 2 1 0 3 0 1 0 3 0 2 1 2 1 3 3 2 3 1 0 1 2 1 0 1 0 2 0 2 1 2 3 3 0 1 2 1 1 3 0 2 1 0 1 3 2 1 0 3 0 0 1 0 1 0 2 3 2 1 2 3 1 0 2 3 1 1 0 1 0 3 2 3 0 2 1 0 0 1 2 1 0 1 0 1 3 1 1 0 1 0 2 3 2 3 1 0 2 0 2 1 2 0 2 1 2 0 1 0 3 3 1 0 1 3 1 3 1 0 1 3 0 1 3 2 0 2 0 2 1 2 0 1 3 1 0 1 3 1 0 1 0 2 2 1 0 3 0 2 1 2 1 0 1 3 2 0 3 0 2 0 0 2 1 3 2 1 0 0 1 3 1 0 2 0 2 1 1 3 0 2 0 2 1 2 0 1 0 0 1 0 2 3 2 0 1 2 0 0 1 3 1 0 2 3 1 3 2 3 1 0 </values>
1177.00/149.09	v </instantiation>
1177.00/149.09

Verifier Data 

OK	3

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4409489-1569818954/watcher-4409489-1569818954 -o /tmp/evaluation-result-4409489-1569818954/solver-4409489-1569818954 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node107-1569812706-15173 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4409489-1569818954.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
solver pid=15458, runsolver pid=15455
Current StackSize limit: 8192 KiB


[startup+0.100151 s]*
/proc/loadavg: 8.15 8.26 7.84 2/190 15459
/proc/meminfo: memFree=31397256/32770624 swapFree=66954412/67108860
[pid=15458] ppid=15455 vsize=123416 memory=99488 CPUtime=0.1 cores=0-7
/proc/15458/stat : 15458 (cosoco) R 15455 15458 15146 0 -1 4202496 25084 0 0 0 7 3 0 0 20 0 1 0 558150400 126377984 24872 33554432000 4194304 6211132 140729804290784 140729804288056 140378452382068 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 20611072 140729804293137 140729804293229 140729804293229 140729804296142 0
/proc/15458/statm: 30854 24872 806 493 0 24159 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 123416 KiB
Current children cumulated memory: 99488 KiB

[startup+0.209322 s]*
/proc/loadavg: 8.15 8.26 7.84 2/190 15459
/proc/meminfo: memFree=31384236/32770624 swapFree=66954412/67108860
[pid=15458] ppid=15455 vsize=138312 memory=114592 CPUtime=0.21 cores=0-7
/proc/15458/stat : 15458 (cosoco) R 15455 15458 15146 0 -1 4202496 28826 0 0 0 18 3 0 0 20 0 1 0 558150400 141631488 28648 33554432000 4194304 6211132 140729804290784 140729804288056 140378451516389 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 20611072 140729804293137 140729804293229 140729804293229 140729804296142 0
/proc/15458/statm: 34578 28648 822 493 0 27883 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 138312 KiB
Current children cumulated memory: 114592 KiB

[startup+0.308575 s]*
/proc/loadavg: 8.15 8.26 7.84 2/190 15459
/proc/meminfo: memFree=31358072/32770624 swapFree=66954412/67108860
[pid=15458] ppid=15455 vsize=164628 memory=140816 CPUtime=0.31 cores=0-7
/proc/15458/stat : 15458 (cosoco) R 15455 15458 15146 0 -1 4202496 35426 0 0 0 26 5 0 0 20 0 1 0 558150400 168579072 35204 33554432000 4194304 6211132 140729804290784 140729804288056 140378451564448 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 20611072 140729804293137 140729804293229 140729804293229 140729804296142 0
/proc/15458/statm: 41157 35204 822 493 0 34462 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 164628 KiB
Current children cumulated memory: 140816 KiB

[startup+0.700309 s]
/proc/loadavg: 8.15 8.26 7.84 2/190 15459
/proc/meminfo: memFree=31304256/32770624 swapFree=66954412/67108860
[pid=15458] ppid=15455 vsize=268224 memory=244512 CPUtime=0.69 cores=0-7
/proc/15458/stat : 15458 (cosoco) R 15455 15458 15146 0 -1 4202496 61295 0 0 0 61 8 0 0 20 0 1 0 558150400 274661376 61128 33554432000 4194304 6211132 140729804290784 140729804285528 140378451516389 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 20611072 140729804293137 140729804293229 140729804293229 140729804296142 0
/proc/15458/statm: 67056 61128 822 493 0 60361 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 268224 KiB
Current children cumulated memory: 244512 KiB

[startup+1.50645 s]
/proc/loadavg: 8.15 8.26 7.84 2/190 15459
/proc/meminfo: memFree=31171484/32770624 swapFree=66954412/67108860
[pid=15458] ppid=15455 vsize=540732 memory=451644 CPUtime=1.53 cores=0-7
/proc/15458/stat : 15458 (cosoco) S 15455 15458 15146 0 -1 1077944320 113145 0 0 0 140 13 0 0 20 0 9 0 558150400 553709568 112911 33554432000 4194304 6211132 140729804290784 140729804289072 140378467567317 0 0 4096 8405026 18446744073709551615 0 0 17 4 0 0 0 0 0 8312316 8317760 20611072 140729804293137 140729804293229 140729804293229 140729804296142 0
/proc/15458/statm: 135183 112911 863 493 0 128488 0
Current children cumulated CPU time: 1.53 s
Current children cumulated vsize: 540732 KiB
Current children cumulated memory: 451644 KiB

[startup+3.11038 s]
/proc/loadavg: 8.22 8.28 7.84 8/198 15467
/proc/meminfo: memFree=31040828/32770624 swapFree=66954412/67108860
[pid=15458] ppid=15455 vsize=1065020 memory=455828 CPUtime=14.3 cores=0-7
/proc/15458/stat : 15458 (cosoco) S 15455 15458 15146 0 -1 1077944320 156979 0 0 0 1397 33 0 0 20 0 9 0 558150400 1090580480 113957 33554432000 4194304 6211132 140729804290784 140729804289040 140378467557111 0 0 4096 8405026 18446744073709551615 0 0 17 4 0 0 0 0 0 8312316 8317760 20611072 140729804293137 140729804293229 140729804293229 140729804296142 0
/proc/15458/statm: 266255 113957 870 493 0 259560 0
[pid=15458/tid=15460] ppid=15455 vsize=1065020 memory=271448 CPUtime=1.6 cores=0-7
/proc/15458/task/15460/stat : 15460 (cosoco) R 15455 15458 15146 0 -1 4202560 4572 0 0 0 156 4 0 0 20 0 9 0 558150550 1090580480 113957 33554432000 4194304 6211132 140729804290784 140378444413624 5193760 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 20611072 140729804293137 140729804293229 140729804293229 140729804296142 0
[pid=15458/tid=15461] ppid=15455 vsize=1065020 memory=454632 CPUtime=1.6 cores=0-7
/proc/15458/task/15461/stat : 15461 (cosoco) R 15455 15458 15146 0 -1 4202560 6150 0 0 0 160 0 0 0 20 0 9 0 558150550 1090580480 113957 33554432000 4194304 6211132 140729804290784 140378436020792 5193760 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 20611072 140729804293137 140729804293229 140729804293229 140729804296142 0
[pid=15458/tid=15462] ppid=15455 vsize=1065020 memory=1164 CPUtime=1.58 cores=0-7
/proc/15458/task/15462/stat : 15462 (cosoco) R 15455 15458 15146 0 -1 4202560 4439 0 0 0 155 3 0 0 20 0 9 0 558150550 1090580480 113957 33554432000 4194304 6211132 140729804290784 140378427628216 5392352 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 20611072 140729804293137 140729804293229 140729804293229 140729804296142 0
[pid=15458/tid=15463] ppid=15455 vsize=1065020 memory=288230574492221466 CPUtime=1.58 cores=0-7
/proc/15458/task/15463/stat : 15463 (cosoco) R 15455 15458 15146 0 -1 4202560 6591 0 0 0 158 0 0 0 20 0 9 0 558150550 1090580480 113957 33554432000 4194304 6211132 140729804290784 140378419235512 5193760 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 20611072 140729804293137 140729804293229 140729804293229 140729804296142 0
[pid=15458/tid=15464] ppid=15455 vsize=1065020 memory=988 CPUtime=1.59 cores=0-7
/proc/15458/task/15464/stat : 15464 (cosoco) R 15455 15458 15146 0 -1 4202560 5894 0 0 0 159 0 0 0 20 0 9 0 558150550 1090580480 113957 33554432000 4194304 6211132 140729804290784 140378410842808 5193760 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 20611072 140729804293137 140729804293229 140729804293229 140729804296142 0
[pid=15458/tid=15465] ppid=15455 vsize=1065020 memory=292004294 CPUtime=1.59 cores=0-7
/proc/15458/task/15465/stat : 15465 (cosoco) R 15455 15458 15146 0 -1 4202560 6765 0 0 0 159 0 0 0 20 0 9 0 558150550 1090580480 113957 33554432000 4194304 6211132 140729804290784 140378402450104 5397400 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 20611072 140729804293137 140729804293229 140729804293229 140729804296142 0
[pid=15458/tid=15466] ppid=15455 vsize=1065020 memory=2372 CPUtime=1.6 cores=0-7
/proc/15458/task/15466/stat : 15466 (cosoco) R 15455 15458 15146 0 -1 4202560 4243 0 0 0 156 4 0 0 20 0 9 0 558150550 1090580480 113957 33554432000 4194304 6211132 140729804290784 140378394057240 5392375 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 20611072 140729804293137 140729804293229 140729804293229 140729804296142 0
[pid=15458/tid=15467] ppid=15455 vsize=1065020 memory=0 CPUtime=1.6 cores=0-7
/proc/15458/task/15467/stat : 15467 (cosoco) R 15455 15458 15146 0 -1 4202560 5197 0 0 0 156 4 0 0 20 0 9 0 558150550 1090580480 113957 33554432000 4194304 6211132 140729804290784 140378385664536 5193760 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 20611072 140729804293137 140729804293229 140729804293229 140729804296142 0
Current children cumulated CPU time: 14.3 s
Current children cumulated vsize: 1065020 KiB
Current children cumulated memory: 455828 KiB

[startup+6.30138 s]
/proc/loadavg: 8.22 8.28 7.84 9/198 15467
/proc/meminfo: memFree=31014376/32770624 swapFree=66954412/67108860
[pid=15458] ppid=15455 vsize=1065020 memory=481620 CPUtime=39.76 cores=0-7
/proc/15458/stat : 15458 (cosoco) S 15455 15458 15146 0 -1 1077944320 326491 0 0 0 3910 66 0 0 20 0 9 0 558150400 1090580480 120405 33554432000 4194304 6211132 140729804290784 140729804289040 140378467557111 0 0 4096 8405026 18446744073709551615 0 0 17 4 0 0 0 0 0 8312316 8317760 20611072 140729804293137 140729804293229 140729804293229 140729804296142 0
/proc/15458/statm: 266255 120405 872 493 0 259560 0
[pid=15458/tid=15460] ppid=15455 vsize=1065020 memory=6408091206851 CPUtime=4.78 cores=0-7
/proc/15458/task/15460/stat : 15460 (cosoco) R 15455 15458 15146 0 -1 4202560 26694 0 0 0 468 10 0 0 20 0 9 0 558150550 1090580480 120405 33554432000 4194304 6211132 140729804290784 140378444413968 5193760 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 20611072 140729804293137 140729804293229 140729804293229 140729804296142 0
[pid=15458/tid=15461] ppid=15455 vsize=1065020 memory=140685732365951 CPUtime=4.79 cores=0-7
/proc/15458/task/15461/stat : 15461 (cosoco) R 15455 15458 15146 0 -1 4202560 24525 0 0 0 477 2 0 0 20 0 9 0 558150550 1090580480 120405 33554432000 4194304 6211132 140729804290784 140378436020920 5392375 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 20611072 140729804293137 140729804293229 140729804293229 140729804296142 0
[pid=15458/tid=15462] ppid=15455 vsize=1065020 memory=0 CPUtime=4.77 cores=0-7
/proc/15458/task/15462/stat : 15462 (cosoco) R 15455 15458 15146 0 -1 4202560 26451 0 0 0 466 11 0 0 20 0 9 0 558150550 1090580480 120405 33554432000 4194304 6211132 140729804290784 140378427628216 5392375 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 20611072 140729804293137 140729804293229 140729804293229 140729804296142 0
[pid=15458/tid=15463] ppid=15455 vsize=1065020 memory=281362636642432 CPUtime=4.77 cores=0-7
/proc/15458/task/15463/stat : 15463 (cosoco) R 15455 15458 15146 0 -1 4202560 27404 0 0 0 476 1 0 0 20 0 9 0 558150550 1090580480 120405 33554432000 4194304 6211132 140729804290784 140378419235512 5392352 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 20611072 140729804293137 140729804293229 140729804293229 140729804296142 0
[pid=15458/tid=15464] ppid=15455 vsize=1065020 memory=472536 CPUtime=4.77 cores=0-7
/proc/15458/task/15464/stat : 15464 (cosoco) R 15455 15458 15146 0 -1 4202560 24101 0 0 0 475 2 0 0 20 0 9 0 558150550 1090580480 120405 33554432000 4194304 6211132 140729804290784 140378410843264 5392375 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 20611072 140729804293137 140729804293229 140729804293229 140729804296142 0
[pid=15458/tid=15465] ppid=15455 vsize=1065020 memory=297237795305685307 CPUtime=4.77 cores=0-7
/proc/15458/task/15465/stat : 15465 (cosoco) R 15455 15458 15146 0 -1 4202560 40356 0 0 0 474 3 0 0 20 0 9 0 558150550 1090580480 120405 33554432000 4194304 6211132 140729804290784 140378402450104 5397400 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 20611072 140729804293137 140729804293229 140729804293229 140729804296142 0
[pid=15458/tid=15466] ppid=15455 vsize=1065020 memory=14133329528102221 CPUtime=4.74 cores=0-7
/proc/15458/task/15466/stat : 15466 (cosoco) R 15455 15458 15146 0 -1 4202560 18734 0 0 0 466 8 0 0 20 0 9 0 558150550 1090580480 120405 33554432000 4194304 6211132 140729804290784 140378394057400 5193760 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 20611072 140729804293137 140729804293229 140729804293229 140729804296142 0
[pid=15458/tid=15467] ppid=15455 vsize=1065020 memory=0 CPUtime=4.78 cores=0-7
/proc/15458/task/15467/stat : 15467 (cosoco) R 15455 15458 15146 0 -1 4202560 25095 0 0 0 468 10 0 0 20 0 9 0 558150550 1090580480 120405 33554432000 4194304 6211132 140729804290784 140378385665152 5193760 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 20611072 140729804293137 140729804293229 140729804293229 140729804296142 0
Current children cumulated CPU time: 39.76 s
Current children cumulated vsize: 1065020 KiB
Current children cumulated memory: 481620 KiB

[startup+12.7014 s]
/proc/loadavg: 8.20 8.27 7.84 9/198 15467
/proc/meminfo: memFree=31002040/32770624 swapFree=66954412/67108860
[pid=15458] ppid=15455 vsize=1065020 memory=493604 CPUtime=90.86 cores=0-7
/proc/15458/stat : 15458 (cosoco) S 15455 15458 15146 0 -1 1077944320 509101 0 0 0 8990 96 0 0 20 0 9 0 558150400 1090580480 123401 33554432000 4194304 6211132 140729804290784 140729804289040 140378467557111 0 0 4096 8405026 18446744073709551615 0 0 17 4 0 0 0 0 0 8312316 8317760 20611072 140729804293137 140729804293229 140729804293229 140729804296142 0
/proc/15458/statm: 266255 123401 872 493 0 259560 0
[pid=15458/tid=15460] ppid=15455 vsize=1065020 memory=490692 CPUtime=11.18 cores=0-7
/proc/15458/task/15460/stat : 15460 (cosoco) R 15455 15458 15146 0 -1 4202560 48042 0 0 0 1103 15 0 0 20 0 9 0 558150550 1090580480 123401 33554432000 4194304 6211132 140729804290784 140378444414080 5392352 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 20611072 140729804293137 140729804293229 140729804293229 140729804296142 0
[pid=15458/tid=15461] ppid=15455 vsize=1065020 memory=164 CPUtime=11.19 cores=0-7
/proc/15458/task/15461/stat : 15461 (cosoco) R 15455 15458 15146 0 -1 4202560 41232 0 0 0 1115 4 0 0 20 0 9 0 558150550 1090580480 123401 33554432000 4194304 6211132 140729804290784 140378436021376 5193760 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 20611072 140729804293137 140729804293229 140729804293229 140729804296142 0
[pid=15458/tid=15462] ppid=15455 vsize=1065020 memory=490924 CPUtime=11.16 cores=0-7
/proc/15458/task/15462/stat : 15462 (cosoco) R 15455 15458 15146 0 -1 4202560 52678 0 0 0 1098 18 0 0 20 0 9 0 558150550 1090580480 123401 33554432000 4194304 6211132 140729804290784 140378427628672 5193760 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 20611072 140729804293137 140729804293229 140729804293229 140729804296142 0
[pid=15458/tid=15463] ppid=15455 vsize=1065020 memory=0 CPUtime=11.17 cores=0-7
/proc/15458/task/15463/stat : 15463 (cosoco) R 15455 15458 15146 0 -1 4202560 43489 0 0 0 1114 3 0 0 20 0 9 0 558150550 1090580480 123401 33554432000 4194304 6211132 140729804290784 140378419235856 5392384 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 20611072 140729804293137 140729804293229 140729804293229 140729804296142 0
[pid=15458/tid=15464] ppid=15455 vsize=1065020 memory=0 CPUtime=11.18 cores=0-7
/proc/15458/task/15464/stat : 15464 (cosoco) R 15455 15458 15146 0 -1 4202560 49707 0 0 0 1113 5 0 0 20 0 9 0 558150550 1090580480 123401 33554432000 4194304 6211132 140729804290784 140378410843152 5193760 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 20611072 140729804293137 140729804293229 140729804293229 140729804296142 0
[pid=15458/tid=15465] ppid=15455 vsize=1065020 memory=0 CPUtime=11.17 cores=0-7
/proc/15458/task/15465/stat : 15465 (cosoco) R 15455 15458 15146 0 -1 4202560 76089 0 0 0 1111 6 0 0 20 0 9 0 558150550 1090580480 123401 33554432000 4194304 6211132 140729804290784 140378402450104 5392384 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 20611072 140729804293137 140729804293229 140729804293229 140729804296142 0
[pid=15458/tid=15466] ppid=15455 vsize=1065020 memory=0 CPUtime=11.05 cores=0-7
/proc/15458/task/15466/stat : 15466 (cosoco) R 15455 15458 15146 0 -1 4202560 35552 0 0 0 1093 12 0 0 20 0 9 0 558150550 1090580480 123401 33554432000 4194304 6211132 140729804290784 140378394057272 5193760 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 20611072 140729804293137 140729804293229 140729804293229 140729804296142 0
[pid=15458/tid=15467] ppid=15455 vsize=1065020 memory=493604 CPUtime=11.18 cores=0-7
/proc/15458/task/15467/stat : 15467 (cosoco) R 15455 15458 15146 0 -1 4202560 49171 0 0 0 1103 15 0 0 20 0 9 0 558150550 1090580480 123401 33554432000 4194304 6211132 140729804290784 140378385664696 5193760 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 20611072 140729804293137 140729804293229 140729804293229 140729804296142 0
Current children cumulated CPU time: 90.86 s
Current children cumulated vsize: 1065020 KiB
Current children cumulated memory: 493604 KiB

[startup+25.5044 s]
/proc/loadavg: 8.15 8.26 7.85 9/198 15467
/proc/meminfo: memFree=30995972/32770624 swapFree=66954412/67108860
[pid=15458] ppid=15455 vsize=1065020 memory=500416 CPUtime=193.05 cores=0-7
/proc/15458/stat : 15458 (cosoco) S 15455 15458 15146 0 -1 1077944320 742755 0 0 0 19179 126 0 0 20 0 9 0 558150400 1090580480 125104 33554432000 4194304 6211132 140729804290784 140729804289040 140378467557111 0 0 4096 8405026 18446744073709551615 0 0 17 4 0 0 0 0 0 8312316 8317760 20611072 140729804293137 140729804293229 140729804293229 140729804296142 0
/proc/15458/statm: 266255 125104 872 493 0 259560 0
[pid=15458/tid=15460] ppid=15455 vsize=1065020 memory=499136 CPUtime=23.98 cores=0-7
/proc/15458/task/15460/stat : 15460 (cosoco) R 15455 15458 15146 0 -1 4202560 77097 0 0 0 2379 19 0 0 20 0 9 0 558150550 1090580480 125104 33554432000 4194304 6211132 140729804290784 140378444413984 5193760 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 20611072 140729804293137 140729804293229 140729804293229 140729804296142 0
[pid=15458/tid=15461] ppid=15455 vsize=1065020 memory=500244 CPUtime=23.97 cores=0-7
/proc/15458/task/15461/stat : 15461 (cosoco) R 15455 15458 15146 0 -1 4202560 62585 0 0 0 2391 6 0 0 20 0 9 0 558150550 1090580480 125104 33554432000 4194304 6211132 140729804290784 140378436021264 5193760 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 20611072 140729804293137 140729804293229 140729804293229 140729804296142 0
[pid=15458/tid=15462] ppid=15455 vsize=1065020 memory=281362636880512 CPUtime=23.79 cores=0-7
/proc/15458/task/15462/stat : 15462 (cosoco) R 15455 15458 15146 0 -1 4202560 83155 0 0 0 2357 22 0 0 20 0 9 0 558150550 1090580480 125104 33554432000 4194304 6211132 140729804290784 140378427628672 5392352 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 20611072 140729804293137 140729804293229 140729804293229 140729804296142 0
[pid=15458/tid=15463] ppid=15455 vsize=1065020 memory=499064 CPUtime=23.97 cores=0-7
/proc/15458/task/15463/stat : 15463 (cosoco) R 15455 15458 15146 0 -1 4202560 68631 0 0 0 2391 6 0 0 20 0 9 0 558150550 1090580480 125104 33554432000 4194304 6211132 140729804290784 140378419235872 5392352 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 20611072 140729804293137 140729804293229 140729804293229 140729804296142 0
[pid=15458/tid=15464] ppid=15455 vsize=1065020 memory=500244 CPUtime=23.97 cores=0-7
/proc/15458/task/15464/stat : 15464 (cosoco) R 15455 15458 15146 0 -1 4202560 80742 0 0 0 2388 9 0 0 20 0 9 0 558150550 1090580480 125104 33554432000 4194304 6211132 140729804290784 140378410843168 5193760 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 20611072 140729804293137 140729804293229 140729804293229 140729804296142 0
[pid=15458/tid=15465] ppid=15455 vsize=1065020 memory=988 CPUtime=23.97 cores=0-7
/proc/15458/task/15465/stat : 15465 (cosoco) R 15455 15458 15146 0 -1 4202560 120950 0 0 0 2386 11 0 0 20 0 9 0 558150550 1090580480 125104 33554432000 4194304 6211132 140729804290784 140378402450320 5392384 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 20611072 140729804293137 140729804293229 140729804293229 140729804296142 0
[pid=15458/tid=15466] ppid=15455 vsize=1065020 memory=498168 CPUtime=23.83 cores=0-7
/proc/15458/task/15466/stat : 15466 (cosoco) R 15455 15458 15146 0 -1 4202560 53218 0 0 0 2368 15 0 0 20 0 9 0 558150550 1090580480 125104 33554432000 4194304 6211132 140729804290784 140378394057760 5392375 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 20611072 140729804293137 140729804293229 140729804293229 140729804296142 0
[pid=15458/tid=15467] ppid=15455 vsize=1065020 memory=496388 CPUtime=23.99 cores=0-7
/proc/15458/task/15467/stat : 15467 (cosoco) R 15455 15458 15146 0 -1 4202560 83236 0 0 0 2379 20 0 0 20 0 9 0 558150550 1090580480 125104 33554432000 4194304 6211132 140729804290784 140378385665040 5392293 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 20611072 140729804293137 140729804293229 140729804293229 140729804296142 0
Current children cumulated CPU time: 193.05 s
Current children cumulated vsize: 1065020 KiB
Current children cumulated memory: 500416 KiB

[startup+51.1104 s]
/proc/loadavg: 8.10 8.24 7.85 9/198 15470
/proc/meminfo: memFree=30991888/32770624 swapFree=66954412/67108860
[pid=15458] ppid=15455 vsize=1065020 memory=504148 CPUtime=397.47 cores=0-7
/proc/15458/stat : 15458 (cosoco) S 15455 15458 15146 0 -1 1077944320 963439 0 0 0 39593 154 0 0 20 0 9 0 558150400 1090580480 126037 33554432000 4194304 6211132 140729804290784 140729804289040 140378467557111 0 0 4096 8405026 18446744073709551615 0 0 17 4 0 0 0 0 0 8312316 8317760 20611072 140729804293137 140729804293229 140729804293229 140729804296142 0
/proc/15458/statm: 266255 126037 872 493 0 259560 0
[pid=15458/tid=15460] ppid=15455 vsize=1065020 memory=503592 CPUtime=49.34 cores=0-7
/proc/15458/task/15460/stat : 15460 (cosoco) R 15455 15458 15146 0 -1 4202560 103725 0 0 0 4911 23 0 0 20 0 9 0 558150550 1090580480 126037 33554432000 4194304 6211132 140729804290784 140378444414080 5193760 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 20611072 140729804293137 140729804293229 140729804293229 140729804296142 0
[pid=15458/tid=15461] ppid=15455 vsize=1065020 memory=503592 CPUtime=49.57 cores=0-7
/proc/15458/task/15461/stat : 15461 (cosoco) R 15455 15458 15146 0 -1 4202560 83443 0 0 0 4948 9 0 0 20 0 9 0 558150550 1090580480 126037 33554432000 4194304 6211132 140729804290784 140378436021264 5392375 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 20611072 140729804293137 140729804293229 140729804293229 140729804296142 0
[pid=15458/tid=15462] ppid=15455 vsize=1065020 memory=504148 CPUtime=49.32 cores=0-7
/proc/15458/task/15462/stat : 15462 (cosoco) R 15455 15458 15146 0 -1 4202560 113547 0 0 0 4907 25 0 0 20 0 9 0 558150550 1090580480 126037 33554432000 4194304 6211132 140729804290784 140378427628672 5392375 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 20611072 140729804293137 140729804293229 140729804293229 140729804296142 0
[pid=15458/tid=15463] ppid=15455 vsize=1065020 memory=502244 CPUtime=49.57 cores=0-7
/proc/15458/task/15463/stat : 15463 (cosoco) R 15455 15458 15146 0 -1 4202560 91968 0 0 0 4948 9 0 0 20 0 9 0 558150550 1090580480 126037 33554432000 4194304 6211132 140729804290784 140378419235968 5193760 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 20611072 140729804293137 140729804293229 140729804293229 140729804296142 0
[pid=15458/tid=15464] ppid=15455 vsize=1065020 memory=503156 CPUtime=49.57 cores=0-7
/proc/15458/task/15464/stat : 15464 (cosoco) R 15455 15458 15146 0 -1 4202560 108297 0 0 0 4946 11 0 0 20 0 9 0 558150550 1090580480 126037 33554432000 4194304 6211132 140729804290784 140378410843264 5193760 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 20611072 140729804293137 140729804293229 140729804293229 140729804296142 0

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

[pid=15458] ppid=15455 vsize=1065020 memory=512804 CPUtime=1113.31 cores=0-7
/proc/15458/stat : 15458 (cosoco) S 15455 15458 15146 0 -1 1077944320 1238353 0 0 0 111139 192 0 0 20 0 9 0 558150400 1090580480 128201 33554432000 4194304 6211132 140729804290784 140729804289040 140378467557111 0 0 4096 8405026 18446744073709551615 0 0 17 4 0 0 0 0 0 8312316 8317760 20611072 140729804293137 140729804293229 140729804293229 140729804296142 0
/proc/15458/statm: 266255 128201 872 493 0 259560 0
[pid=15458/tid=15460] ppid=15455 vsize=1065020 memory=10320 CPUtime=139 cores=0-7
/proc/15458/task/15460/stat : 15460 (cosoco) R 15455 15458 15146 0 -1 4202560 133367 0 0 0 13871 29 0 0 20 0 9 0 558150550 1090580480 128201 33554432000 4194304 6211132 140729804290784 140378444414080 5392352 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 20611072 140729804293137 140729804293229 140729804293229 140729804296142 0
[pid=15458/tid=15461] ppid=15455 vsize=1065020 memory=512592 CPUtime=139.24 cores=0-7
/proc/15458/task/15461/stat : 15461 (cosoco) R 15455 15458 15146 0 -1 4202560 111923 0 0 0 13910 14 0 0 20 0 9 0 558150550 1090580480 128201 33554432000 4194304 6211132 140729804290784 140378436021376 5392384 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 20611072 140729804293137 140729804293229 140729804293229 140729804296142 0
[pid=15458/tid=15462] ppid=15455 vsize=1065020 memory=708 CPUtime=138.7 cores=0-7
/proc/15458/task/15462/stat : 15462 (cosoco) R 15455 15458 15146 0 -1 4202560 149593 0 0 0 13841 29 0 0 20 0 9 0 558150550 1090580480 128201 33554432000 4194304 6211132 140729804290784 140378427628672 5392375 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 20611072 140729804293137 140729804293229 140729804293229 140729804296142 0
[pid=15458/tid=15463] ppid=15455 vsize=1065020 memory=10320 CPUtime=139.22 cores=0-7
/proc/15458/task/15463/stat : 15463 (cosoco) R 15455 15458 15146 0 -1 4202560 119070 0 0 0 13909 13 0 0 20 0 9 0 558150550 1090580480 128201 33554432000 4194304 6211132 140729804290784 140378419235856 5392384 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 20611072 140729804293137 140729804293229 140729804293229 140729804296142 0
[pid=15458/tid=15464] ppid=15455 vsize=1065020 memory=988 CPUtime=139.22 cores=0-7
/proc/15458/task/15464/stat : 15464 (cosoco) R 15455 15458 15146 0 -1 4202560 145063 0 0 0 13907 15 0 0 20 0 9 0 558150550 1090580480 128201 33554432000 4194304 6211132 140729804290784 140378410843264 5392375 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 20611072 140729804293137 140729804293229 140729804293229 140729804296142 0
[pid=15458/tid=15465] ppid=15455 vsize=1065020 memory=512100 CPUtime=139.19 cores=0-7
/proc/15458/task/15465/stat : 15465 (cosoco) R 15455 15458 15146 0 -1 4202560 204749 0 0 0 13899 20 0 0 20 0 9 0 558150550 1090580480 128201 33554432000 4194304 6211132 140729804290784 140378402450560 5392378 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 20611072 140729804293137 140729804293229 140729804293229 140729804296142 0
[pid=15458/tid=15466] ppid=15455 vsize=1065020 memory=1724 CPUtime=138.4 cores=0-7
/proc/15458/task/15466/stat : 15466 (cosoco) R 15455 15458 15146 0 -1 4202560 104721 0 0 0 13813 27 0 0 20 0 9 0 558150550 1090580480 128201 33554432000 4194304 6211132 140729804290784 140378394057856 5193763 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 20611072 140729804293137 140729804293229 140729804293229 140729804296142 0
[pid=15458/tid=15467] ppid=15455 vsize=1065020 memory=988 CPUtime=138.78 cores=0-7
/proc/15458/task/15467/stat : 15467 (cosoco) R 15455 15458 15146 0 -1 4202560 156726 0 0 0 13850 28 0 0 20 0 9 0 558150550 1090580480 128201 33554432000 4194304 6211132 140729804290784 140378385665152 5193760 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 20611072 140729804293137 140729804293229 140729804293229 140729804296142 0
Current children cumulated CPU time: 1113.31 s
Current children cumulated vsize: 1065020 KiB
Current children cumulated memory: 512804 KiB

[startup+144.001 s]*
/proc/loadavg: 8.20 8.23 7.89 10/198 15475
/proc/meminfo: memFree=30986428/32770624 swapFree=66954412/67108860
[pid=15458] ppid=15455 vsize=1065020 memory=513512 CPUtime=1138.93 cores=0-7
/proc/15458/stat : 15458 (cosoco) S 15455 15458 15146 0 -1 1077944320 1238533 0 0 0 113700 193 0 0 20 0 9 0 558150400 1090580480 128378 33554432000 4194304 6211132 140729804290784 140729804289040 140378467557111 0 0 4096 8405026 18446744073709551615 0 0 17 4 0 0 0 0 0 8312316 8317760 20611072 140729804293137 140729804293229 140729804293229 140729804296142 0
/proc/15458/statm: 266255 128378 872 493 0 259560 0
[pid=15458/tid=15460] ppid=15455 vsize=1065020 memory=8317482817917895235 CPUtime=142.21 cores=0-7
/proc/15458/task/15460/stat : 15460 (cosoco) D 15455 15458 15146 0 -1 4202560 133378 0 0 0 14192 29 0 0 20 0 9 0 558150550 1090580480 128378 33554432000 4194304 6211132 140729804290784 140378444413720 5392289 0 0 4096 8405026 18446744071582151416 0 0 -1 3 0 0 0 0 0 8312316 8317760 20611072 140729804293137 140729804293229 140729804293229 140729804296142 0
[pid=15458/tid=15461] ppid=15455 vsize=1065020 memory=1408 CPUtime=142.45 cores=0-7
/proc/15458/task/15461/stat : 15461 (cosoco) R 15455 15458 15146 0 -1 4202560 111938 0 0 0 14231 14 0 0 20 0 9 0 558150550 1090580480 128378 33554432000 4194304 6211132 140729804290784 140378436021112 5392375 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 20611072 140729804293137 140729804293229 140729804293229 140729804296142 0
[pid=15458/tid=15462] ppid=15455 vsize=1065020 memory=2720 CPUtime=141.9 cores=0-7
/proc/15458/task/15462/stat : 15462 (cosoco) R 15455 15458 15146 0 -1 4202560 149677 0 0 0 14161 29 0 0 20 0 9 0 558150550 1090580480 128378 33554432000 4194304 6211132 140729804290784 140378427628672 5392375 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 20611072 140729804293137 140729804293229 140729804293229 140729804296142 0
[pid=15458/tid=15463] ppid=15455 vsize=1065020 memory=512804 CPUtime=142.42 cores=0-7
/proc/15458/task/15463/stat : 15463 (cosoco) R 15455 15458 15146 0 -1 4202560 119101 0 0 0 14229 13 0 0 20 0 9 0 558150550 1090580480 128378 33554432000 4194304 6211132 140729804290784 140378419235512 5193760 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 20611072 140729804293137 140729804293229 140729804293229 140729804296142 0
[pid=15458/tid=15464] ppid=15455 vsize=1065020 memory=1164 CPUtime=142.43 cores=0-7
/proc/15458/task/15464/stat : 15464 (cosoco) D 15455 15458 15146 0 -1 4202560 145074 0 0 0 14228 15 0 0 20 0 9 0 558150550 1090580480 128378 33554432000 4194304 6211132 140729804290784 140378410843000 5413099 0 0 4096 8405026 18446744071582151416 0 0 -1 2 0 0 0 0 0 8312316 8317760 20611072 140729804293137 140729804293229 140729804293229 140729804296142 0
[pid=15458/tid=15465] ppid=15455 vsize=1065020 memory=8317482817917895235 CPUtime=142.4 cores=0-7
/proc/15458/task/15465/stat : 15465 (cosoco) R 15455 15458 15146 0 -1 4202560 204751 0 0 0 14220 20 0 0 20 0 9 0 558150550 1090580480 128378 33554432000 4194304 6211132 140729804290784 140378402450448 5392384 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 20611072 140729804293137 140729804293229 140729804293229 140729804296142 0
[pid=15458/tid=15466] ppid=15455 vsize=1065020 memory=1808 CPUtime=141.56 cores=0-7
/proc/15458/task/15466/stat : 15466 (cosoco) R 15455 15458 15146 0 -1 4202560 104735 0 0 0 14129 27 0 0 20 0 9 0 558150550 1090580480 128378 33554432000 4194304 6211132 140729804290784 140378394057496 5193760 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 20611072 140729804293137 140729804293229 140729804293229 140729804296142 0
[pid=15458/tid=15467] ppid=15455 vsize=1065020 memory=924 CPUtime=141.99 cores=0-7
/proc/15458/task/15467/stat : 15467 (cosoco) R 15455 15458 15146 0 -1 4202560 156738 0 0 0 14171 28 0 0 20 0 9 0 558150550 1090580480 128378 33554432000 4194304 6211132 140729804290784 140378385664888 5392375 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 20611072 140729804293137 140729804293229 140729804293229 140729804296142 0
Current children cumulated CPU time: 1138.93 s
Current children cumulated vsize: 1065020 KiB
Current children cumulated memory: 513512 KiB

[startup+147.201 s]
/proc/loadavg: 8.20 8.23 7.89 9/198 15475
/proc/meminfo: memFree=30983748/32770624 swapFree=66954412/67108860
[pid=15458] ppid=15455 vsize=1065020 memory=514856 CPUtime=1164.35 cores=0-7
/proc/15458/stat : 15458 (cosoco) S 15455 15458 15146 0 -1 1077944320 1290648 0 0 0 116236 199 0 0 20 0 9 0 558150400 1090580480 128714 33554432000 4194304 6211132 140729804290784 140729804289040 140378467557111 0 0 4096 8405026 18446744073709551615 0 0 17 4 0 0 0 0 0 8312316 8317760 20611072 140729804293137 140729804293229 140729804293229 140729804296142 0
/proc/15458/statm: 266255 128714 872 493 0 259560 0
[pid=15458/tid=15460] ppid=15455 vsize=1065020 memory=512804 CPUtime=145.38 cores=0-7
/proc/15458/task/15460/stat : 15460 (cosoco) R 15455 15458 15146 0 -1 4202560 138395 0 0 0 14509 29 0 0 20 0 9 0 558150550 1090580480 128714 33554432000 4194304 6211132 140729804290784 140378444414080 5392352 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 20611072 140729804293137 140729804293229 140729804293229 140729804296142 0
[pid=15458/tid=15461] ppid=15455 vsize=1065020 memory=512592 CPUtime=145.63 cores=0-7
/proc/15458/task/15461/stat : 15461 (cosoco) R 15455 15458 15146 0 -1 4202560 116794 0 0 0 14549 14 0 0 20 0 9 0 558150550 1090580480 128714 33554432000 4194304 6211132 140729804290784 140378436021376 5193760 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 20611072 140729804293137 140729804293229 140729804293229 140729804296142 0
[pid=15458/tid=15462] ppid=15455 vsize=1065020 memory=3580 CPUtime=145.09 cores=0-7
/proc/15458/task/15462/stat : 15462 (cosoco) R 15455 15458 15146 0 -1 4202560 156165 0 0 0 14479 30 0 0 20 0 9 0 558150550 1090580480 128714 33554432000 4194304 6211132 140729804290784 140378427628576 5193760 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 20611072 140729804293137 140729804293229 140729804293229 140729804296142 0
[pid=15458/tid=15463] ppid=15455 vsize=1065020 memory=10320 CPUtime=145.6 cores=0-7
/proc/15458/task/15463/stat : 15463 (cosoco) R 15455 15458 15146 0 -1 4202560 125437 0 0 0 14546 14 0 0 20 0 9 0 558150550 1090580480 128714 33554432000 4194304 6211132 140729804290784 140378419235856 5392375 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 20611072 140729804293137 140729804293229 140729804293229 140729804296142 0
[pid=15458/tid=15464] ppid=15455 vsize=1065020 memory=0 CPUtime=145.62 cores=0-7
/proc/15458/task/15464/stat : 15464 (cosoco) R 15455 15458 15146 0 -1 4202560 152175 0 0 0 14546 16 0 0 20 0 9 0 558150550 1090580480 128714 33554432000 4194304 6211132 140729804290784 140378410843264 5193760 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 20611072 140729804293137 140729804293229 140729804293229 140729804296142 0
[pid=15458/tid=15465] ppid=15455 vsize=1065020 memory=3467965403772968354 CPUtime=145.58 cores=0-7
/proc/15458/task/15465/stat : 15465 (cosoco) R 15455 15458 15146 0 -1 4202560 213181 0 0 0 14537 21 0 0 20 0 9 0 558150550 1090580480 128714 33554432000 4194304 6211132 140729804290784 140378402450448 5392375 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 20611072 140729804293137 140729804293229 140729804293229 140729804296142 0
[pid=15458/tid=15466] ppid=15455 vsize=1065020 memory=514544 CPUtime=144.7 cores=0-7
/proc/15458/task/15466/stat : 15466 (cosoco) R 15455 15458 15146 0 -1 4202560 111315 0 0 0 14442 28 0 0 20 0 9 0 558150550 1090580480 128714 33554432000 4194304 6211132 140729804290784 140378394057592 5392375 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 20611072 140729804293137 140729804293229 140729804293229 140729804296142 0
[pid=15458/tid=15467] ppid=15455 vsize=1065020 memory=1760 CPUtime=145.17 cores=0-7
/proc/15458/task/15467/stat : 15467 (cosoco) R 15455 15458 15146 0 -1 4202560 164045 0 0 0 14488 29 0 0 20 0 9 0 558150550 1090580480 128714 33554432000 4194304 6211132 140729804290784 140378385665152 5392384 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 20611072 140729804293137 140729804293229 140729804293229 140729804296142 0
Current children cumulated CPU time: 1164.35 s
Current children cumulated vsize: 1065020 KiB
Current children cumulated memory: 514856 KiB

[startup+148.001 s]*
/proc/loadavg: 8.19 8.23 7.89 5/198 15475
/proc/meminfo: memFree=30941040/32770624 swapFree=66954412/67108860
[pid=15458] ppid=15455 vsize=1087572 memory=568752 CPUtime=1170.69 cores=0-7
/proc/15458/stat : 15458 (cosoco) S 15455 15458 15146 0 -1 1077944320 1305855 0 0 0 116866 203 0 0 20 0 9 0 558150400 1113673728 142122 33554432000 4194304 6211132 140729804290784 140729804289040 140378467557111 0 0 4096 8405026 18446744073709551615 0 0 17 4 0 0 0 0 0 8312316 8317760 20611072 140729804293137 140729804293229 140729804293229 140729804296142 0
/proc/15458/statm: 271893 142122 872 493 0 265198 0
[pid=15458/tid=15460] ppid=15455 vsize=1095768 memory=8317482817917895235 CPUtime=146.18 cores=0-7
/proc/15458/task/15460/stat : 15460 (cosoco) R 15455 15458 15146 0 -1 4202560 139833 0 0 0 14588 30 0 0 20 0 9 0 558150550 1122066432 142765 33554432000 4194304 6211132 140729804290784 140378444413968 5302358 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 20611072 140729804293137 140729804293229 140729804293229 140729804296142 0
[pid=15458/tid=15461] ppid=15455 vsize=1095768 memory=4100 CPUtime=146.43 cores=0-7
/proc/15458/task/15461/stat : 15461 (cosoco) R 15455 15458 15146 0 -1 4202560 118600 0 0 0 14628 15 0 0 20 0 9 0 558150550 1122066432 142765 33554432000 4194304 6211132 140729804290784 140378436020872 140378467578458 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 20611072 140729804293137 140729804293229 140729804293229 140729804296142 0
[pid=15458/tid=15462] ppid=15455 vsize=1095768 memory=1808 CPUtime=145.89 cores=0-7
/proc/15458/task/15462/stat : 15462 (cosoco) S 15455 15458 15146 0 -1 1077944384 157570 0 0 0 14559 30 0 0 20 0 9 0 558150550 1122066432 142765 33554432000 4194304 6211132 140729804290784 140378427628560 140378467578301 0 0 4096 8405026 18446744071579849748 0 0 -1 3 0 0 0 0 0 8312316 8317760 20611072 140729804293137 140729804293229 140729804293229 140729804296142 0
[pid=15458/tid=15463] ppid=15455 vsize=1095768 memory=924 CPUtime=146.4 cores=0-7
/proc/15458/task/15463/stat : 15463 (cosoco) R 15455 15458 15146 0 -1 4202560 127533 0 0 0 14626 14 0 0 20 0 9 0 558150550 1122066432 142765 33554432000 4194304 6211132 140729804290784 140378419235464 140378452377900 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 20611072 140729804293137 140729804293229 140729804293229 140729804296142 0
[pid=15458/tid=15464] ppid=15455 vsize=1095768 memory=4132 CPUtime=146.4 cores=0-7
/proc/15458/task/15464/stat : 15464 (cosoco) S 15455 15458 15146 0 -1 1077944384 153896 0 0 0 14623 17 0 0 20 0 9 0 558150550 1122066432 142765 33554432000 4194304 6211132 140729804290784 140378410843024 140378467578301 0 0 4096 8405026 18446744071579849748 0 0 -1 2 0 0 0 0 0 8312316 8317760 20611072 140729804293137 140729804293229 140729804293229 140729804296142 0
[pid=15458/tid=15465] ppid=15455 vsize=1095768 memory=1408 CPUtime=146.37 cores=0-7
/proc/15458/task/15465/stat : 15465 (cosoco) R 15455 15458 15146 0 -1 4202560 215824 0 0 0 14615 22 0 0 20 0 9 0 558150550 1122066432 142765 33554432000 4194304 6211132 140729804290784 140378402450200 5392352 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 20611072 140729804293137 140729804293229 140729804293229 140729804296142 0
[pid=15458/tid=15466] ppid=15455 vsize=1095768 memory=2716 CPUtime=145.5 cores=0-7
/proc/15458/task/15466/stat : 15466 (cosoco) R 15455 15458 15146 0 -1 4202560 113401 0 0 0 14521 29 0 0 20 0 9 0 558150550 1122066432 142831 33554432000 4194304 6211132 140729804290784 140378394057496 140378451512126 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 20611072 140729804293137 140729804293229 140729804293229 140729804296142 0
[pid=15458/tid=15467] ppid=15455 vsize=1095768 memory=514856 CPUtime=145.96 cores=0-7
/proc/15458/task/15467/stat : 15467 (cosoco) S 15455 15458 15146 0 -1 1077944384 166229 0 0 0 14567 29 0 0 20 0 9 0 558150550 1122066432 142831 33554432000 4194304 6211132 140729804290784 140378385665056 140378467578301 0 0 4096 8405026 18446744071579849748 0 0 -1 3 0 0 0 0 0 8312316 8317760 20611072 140729804293137 140729804293229 140729804293229 140729804296142 0
Current children cumulated CPU time: 1170.69 s
Current children cumulated vsize: 1087572 KiB
Current children cumulated memory: 568752 KiB

[startup+148.801 s]
/proc/loadavg: 8.19 8.23 7.89 5/198 15475
/proc/meminfo: memFree=30941040/32770624 swapFree=66954412/67108860
[pid=15458] ppid=15455 vsize=1327196 memory=1090256 CPUtime=1175.57 cores=0-7
/proc/15458/stat : 15458 (cosoco) S 15455 15458 15146 0 -1 1077944320 1397469 0 0 0 117315 242 0 0 20 0 9 0 558150400 1359048704 272564 33554432000 4194304 6211132 140729804290784 140729804289040 140378467557111 0 0 4096 8405026 18446744073709551615 0 0 17 4 0 0 0 0 0 8312316 8317760 20611072 140729804293137 140729804293229 140729804293229 140729804296142 0
/proc/15458/statm: 331799 272564 872 493 0 325104 0
[pid=15458/tid=15460] ppid=15455 vsize=1327196 memory=6935054825532540783 CPUtime=146.82 cores=0-7
/proc/15458/task/15460/stat : 15460 (cosoco) R 15455 15458 15146 0 -1 4202560 150502 0 0 0 14648 34 0 0 20 0 9 0 558150550 1359048704 272564 33554432000 4194304 6211132 140729804290784 140378444413816 140378451516389 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 20611072 140729804293137 140729804293229 140729804293229 140729804296142 0
[pid=15458/tid=15461] ppid=15455 vsize=1327196 memory=988 CPUtime=147.08 cores=0-7
/proc/15458/task/15461/stat : 15461 (cosoco) R 15455 15458 15146 0 -1 4202560 128068 0 0 0 14689 19 0 0 20 0 9 0 558150550 1359048704 272564 33554432000 4194304 6211132 140729804290784 140378436021264 5302385 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 20611072 140729804293137 140729804293229 140729804293229 140729804296142 0
[pid=15458/tid=15462] ppid=15455 vsize=1327196 memory=2016 CPUtime=146.51 cores=0-7
/proc/15458/task/15462/stat : 15462 (cosoco) R 15455 15458 15146 0 -1 4202560 167269 0 0 0 14617 34 0 0 20 0 9 0 558150550 1359048704 272564 33554432000 4194304 6211132 140729804290784 140378427628560 5390192 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 20611072 140729804293137 140729804293229 140729804293229 140729804296142 0
[pid=15458/tid=15463] ppid=15455 vsize=1327196 memory=1284 CPUtime=146.98 cores=0-7
/proc/15458/task/15463/stat : 15463 (cosoco) R 15455 15458 15146 0 -1 4202560 139631 0 0 0 14679 19 0 0 20 0 9 0 558150550 1359048704 272564 33554432000 4194304 6211132 140729804290784 140378419235856 140378451525634 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 20611072 140729804293137 140729804293229 140729804293229 140729804296142 0
[pid=15458/tid=15464] ppid=15455 vsize=1327196 memory=514856 CPUtime=147.01 cores=0-7
/proc/15458/task/15464/stat : 15464 (cosoco) R 15455 15458 15146 0 -1 4202560 166833 0 0 0 14679 22 0 0 20 0 9 0 558150550 1359048704 272564 33554432000 4194304 6211132 140729804290784 140378410843224 5403714 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 20611072 140729804293137 140729804293229 140729804293229 140729804296142 0
[pid=15458/tid=15465] ppid=15455 vsize=1327196 memory=1284 CPUtime=147.01 cores=0-7
/proc/15458/task/15465/stat : 15465 (cosoco) R 15455 15458 15146 0 -1 4202560 227386 0 0 0 14672 29 0 0 20 0 9 0 558150550 1359048704 272564 33554432000 4194304 6211132 140729804290784 140378402450448 140378467564508 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 20611072 140729804293137 140729804293229 140729804293229 140729804296142 0
[pid=15458/tid=15466] ppid=15455 vsize=1327196 memory=1044 CPUtime=146.03 cores=0-7
/proc/15458/task/15466/stat : 15466 (cosoco) R 15455 15458 15146 0 -1 4202560 127105 0 0 0 14569 34 0 0 20 0 9 0 558150550 1359048704 272564 33554432000 4194304 6211132 140729804290784 140378394057760 5390008 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 20611072 140729804293137 140729804293229 140729804293229 140729804296142 0
[pid=15458/tid=15467] ppid=15455 vsize=1327196 memory=708 CPUtime=146.57 cores=0-7
/proc/15458/task/15467/stat : 15467 (cosoco) S 15455 15458 15146 0 -1 1077944384 177540 0 0 0 14623 34 0 0 20 0 9 0 558150550 1359048704 272564 33554432000 4194304 6211132 140729804290784 140378385665056 140378467578301 0 0 4096 8405026 18446744071579849748 0 0 -1 5 0 0 0 0 0 8312316 8317760 20611072 140729804293137 140729804293229 140729804293229 140729804296142 0
Current children cumulated CPU time: 1175.57 s
Current children cumulated vsize: 1327196 KiB
Current children cumulated memory: 1090256 KiB

[startup+149.006 s]*
/proc/loadavg: 8.19 8.23 7.89 9/198 15475
/proc/meminfo: memFree=30458084/32770624 swapFree=66954412/67108860
[pid=15458] ppid=15455 vsize=1163332 memory=998440 CPUtime=1177 cores=0-7
/proc/15458/stat : 15458 (cosoco) S 15455 15458 15146 0 -1 1077944320 1403940 0 0 0 117452 248 0 0 20 0 9 0 558150400 1191251968 249610 33554432000 4194304 6211132 140729804290784 140729804289040 140378467557111 0 0 4096 8405026 18446744073709551615 0 0 17 4 0 0 0 0 0 8312316 8317760 20611072 140729804293137 140729804293229 140729804293229 140729804296142 0
/proc/15458/statm: 290833 249610 872 493 0 284138 0
[pid=15458/tid=15460] ppid=15455 vsize=1163332 memory=8317482817917895235 CPUtime=147 cores=0-7
/proc/15458/task/15460/stat : 15460 (cosoco) R 15455 15458 15146 0 -1 4202560 152635 0 0 0 14665 35 0 0 20 0 9 0 558150550 1191251968 249610 33554432000 4194304 6211132 140729804290784 140378444413968 5397258 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 20611072 140729804293137 140729804293229 140729804293229 140729804296142 0
[pid=15458/tid=15461] ppid=15455 vsize=1163332 memory=928 CPUtime=147.24 cores=0-7
/proc/15458/task/15461/stat : 15461 (cosoco) R 15455 15458 15146 0 -1 4202560 129843 0 0 0 14704 20 0 0 20 0 9 0 558150550 1191251968 249610 33554432000 4194304 6211132 140729804290784 140378436021376 5302379 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 20611072 140729804293137 140729804293229 140729804293229 140729804296142 0
[pid=15458/tid=15462] ppid=15455 vsize=1163332 memory=1680 CPUtime=146.68 cores=0-7
/proc/15458/task/15462/stat : 15462 (cosoco) R 15455 15458 15146 0 -1 4202560 168243 0 0 0 14634 34 0 0 20 0 9 0 558150550 1191251968 249610 33554432000 4194304 6211132 140729804290784 140378427628560 5008994 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 20611072 140729804293137 140729804293229 140729804293229 140729804296142 0
[pid=15458/tid=15463] ppid=15455 vsize=1163332 memory=1444 CPUtime=147.16 cores=0-7
/proc/15458/task/15463/stat : 15463 (cosoco) R 15455 15458 15146 0 -1 4202560 139638 0 0 0 14696 20 0 0 20 0 9 0 558150550 1191251968 249610 33554432000 4194304 6211132 140729804290784 140378419235856 5397258 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 20611072 140729804293137 140729804293229 140729804293229 140729804296142 0
[pid=15458/tid=15464] ppid=15455 vsize=1163332 memory=880 CPUtime=147.18 cores=0-7
/proc/15458/task/15464/stat : 15464 (cosoco) R 15455 15458 15146 0 -1 4202560 166842 0 0 0 14695 23 0 0 20 0 9 0 558150550 1191251968 249610 33554432000 4194304 6211132 140729804290784 140378410843152 5186256 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 20611072 140729804293137 140729804293229 140729804293229 140729804296142 0
[pid=15458/tid=15465] ppid=15455 vsize=1163332 memory=1984 CPUtime=147.2 cores=0-7
/proc/15458/task/15465/stat : 15465 (cosoco) R 15455 15458 15146 0 -1 4202560 227734 0 0 0 14690 30 0 0 20 0 9 0 558150550 1191251968 249610 33554432000 4194304 6211132 140729804290784 140378402450448 5409476 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 20611072 140729804293137 140729804293229 140729804293229 140729804296142 0
[pid=15458/tid=15466] ppid=15455 vsize=1163332 memory=2552 CPUtime=146.23 cores=0-7
/proc/15458/task/15466/stat : 15466 (cosoco) R 15455 15458 15146 0 -1 4202560 127123 0 0 0 14588 35 0 0 20 0 9 0 558150550 1191251968 249610 33554432000 4194304 6211132 140729804290784 140378394057744 5392293 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 20611072 140729804293137 140729804293229 140729804293229 140729804296142 0
[pid=15458/tid=15467] ppid=15455 vsize=1163332 memory=1760 CPUtime=146.77 cores=0-7
/proc/15458/task/15467/stat : 15467 (cosoco) R 15455 15458 15146 0 -1 4202560 178742 0 0 0 14642 35 0 0 20 0 9 0 558150550 1191251968 249610 33554432000 4194304 6211132 140729804290784 140378385665040 5392297 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 20611072 140729804293137 140729804293229 140729804293229 140729804296142 0
Current children cumulated CPU time: 1177 s
Current children cumulated vsize: 1163332 KiB
Current children cumulated memory: 998440 KiB

[startup+149.11 s]*
/proc/loadavg: 8.19 8.23 7.89 2/190 15475
/proc/meminfo: memFree=30855352/32770624 swapFree=66954412/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 0
Real time (s): 149.165
CPU time (s): 1177.66
CPU user time (s): 1175.09
CPU system time (s): 2.56621
CPU usage (%): 789.502
Max. virtual memory (cumulated for all children) (KiB): 1327196
Max. memory (cumulated for all children) (KiB): 1106380

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1175.09
system time used= 2.56621
maximum resident set size= 1114520
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1404419
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= 77887
involuntary context switches= 8544


# summary of solver processes directly reported to runsolver:
#   pid: 15458
#   total CPU time (s): 1177.66
#   total CPU user time (s): 1175.09
#   total CPU system time (s): 2.56621

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.875377 second user time and 1.30024 second system time

The end

Launcher Data 

Begin job on node107 at 2019-09-30 05:47:07
IDJOB=4409489
IDBENCH=120628
IDSOLVER=2877
FILE ID=node107/4409489-1569818954
RUNJOBID= node107-1569812706-15173
PBS_JOBID= 21705907
Free space on /tmp= 62032 MiB

SOLVER NAME= cosoco 2.0 parallel
BENCH NAME= XCSP17/GraphColoring/GraphColoring-m1-mono/GraphColoring-ash608GPIA.xml
COMMAND LINE= cosoco -model -nbcores=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4409489-1569818954/watcher-4409489-1569818954 -o /tmp/evaluation-result-4409489-1569818954/solver-4409489-1569818954 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node107-1569812706-15173 --watchdog 2580  cosoco -model -nbcores=8 HOME/instance-4409489-1569818954.xml

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

MD5SUM BENCH= 0df69417c613ef889e63c8df69e0b506
RANDOM SEED=1792331978

node107.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	: 5334.11
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	: 5334.11
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	: 5334.11
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	: 5334.11
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:        31493520 kB
MemAvailable:   31832148 kB
Buffers:          194528 kB
Cached:           479312 kB
SwapCached:        48108 kB
Active:           352712 kB
Inactive:         372328 kB
Active(anon):      16708 kB
Inactive(anon):   112596 kB
Active(file):     336004 kB
Inactive(file):   259732 kB
Unevictable:      109532 kB
Mlocked:          109532 kB
SwapTotal:      67108860 kB
SwapFree:       66954412 kB
Dirty:              3192 kB
Writeback:             0 kB
AnonPages:        148048 kB
Mapped:            26768 kB
Shmem:             69360 kB
Slab:             146164 kB
SReclaimable:     117452 kB
SUnreclaim:        28712 kB
KernelStack:        3792 kB
PageTables:         5500 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     530080 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    102400 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      101760 kB
DirectMap2M:    33443840 kB

Free space on /tmp at the end= 62028 MiB
End job on node107 at 2019-09-30 05:49:37