Trace number 4256046

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
OscaR - Conflict Ordering 2017-07-26SAT (TO)2287 252.168 218.758

General information on the benchmark

NameGraphColoring/GraphColoring-m1-mono/
GraphColoring-wap01a.xml
MD5SUM1f75bed7d5113015eb943bda0c7ab47c
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark42
Best CPU time to get the best result obtained on this benchmark251.894
Satisfiable
(Un)Satisfiability was proved
Number of variables2368
Number of constraints110871
Number of domains1
Minimum domain size2368
Maximum domain size2368
Distribution of domain sizes[{"size":2368,"count":2368}]
Minimum variable degree15
Maximum variable degree289
Distribution of variable degrees[{"degree":15,"count":1},{"degree":19,"count":4},{"degree":20,"count":8},{"degree":21,"count":2},{"degree":25,"count":4},{"degree":26,"count":15},{"degree":27,"count":2},{"degree":28,"count":7},{"degree":30,"count":9},{"degree":32,"count":9},{"degree":33,"count":4},{"degree":34,"count":7},{"degree":35,"count":4},{"degree":36,"count":4},{"degree":37,"count":5},{"degree":38,"count":113},{"degree":39,"count":59},{"degree":40,"count":326},{"degree":42,"count":4},{"degree":43,"count":5},{"degree":45,"count":5},{"degree":46,"count":1},{"degree":47,"count":2},{"degree":49,"count":2},{"degree":50,"count":2},"...",{"degree":202,"count":5}, {"degree":203,"count":10}, {"degree":204,"count":3}, {"degree":205,"count":5}, {"degree":206,"count":2}, {"degree":207,"count":1}, {"degree":208,"count":3}, {"degree":209,"count":3}, {"degree":210,"count":4}, {"degree":211,"count":2}, {"degree":216,"count":1}, {"degree":217,"count":2}, {"degree":220,"count":2}, {"degree":223,"count":1}, {"degree":226,"count":1}, {"degree":227,"count":1}, {"degree":228,"count":1}, {"degree":231,"count":1}, {"degree":232,"count":1}, {"degree":244,"count":1}, {"degree":249,"count":1}, {"degree":254,"count":1}, {"degree":258,"count":1}, {"degree":268,"count":1}, {"degree":289,"count":1}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":110871}]
Number of extensional constraints0
Number of intensional constraints110871
Distribution of constraint types[{"type":"intension","count":110871}]
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 

0.30/0.25	c version: 2017-07-26
0.30/0.25	c seed: 1183630119
0.30/0.25	c timeout: 252
0.30/0.25	c memlimit: 11000
0.30/0.25	c nbcore: 4
0.30/0.28	c Parsing instance...
52.52/24.89	c Parsing done, starting search...
55.28/27.02	o 2367
59.10/29.85	o 2366
62.50/32.58	o 2365
66.35/35.43	o 2364
68.88/37.92	o 2363
71.32/40.36	o 2362
73.73/42.78	o 2361
76.13/45.19	o 2360
78.54/47.60	o 2359
81.04/50.04	o 2358
83.44/52.42	o 2357
85.74/54.78	o 2356
88.16/57.18	o 2355
90.55/59.58	o 2354
93.42/62.11	o 2353
95.83/64.48	o 2352
98.23/66.85	o 2351
100.63/69.21	o 2350
102.93/71.58	o 2349
105.40/73.94	o 2348
107.82/76.35	o 2347
110.32/78.80	o 2346
112.66/81.19	o 2345
115.05/83.55	o 2344
117.50/85.97	o 2343
119.90/88.32	o 2342
122.61/90.77	o 2341
125.02/93.12	o 2340
127.31/95.46	o 2339
129.72/97.81	o 2338
132.03/100.16	o 2337
134.32/102.49	o 2336
136.73/104.89	o 2335
139.12/107.26	o 2334
141.54/109.61	o 2333
143.95/112.04	o 2332
146.34/114.41	o 2331
148.65/116.78	o 2330
151.06/119.15	o 2329
153.83/121.61	o 2328
156.12/123.99	o 2327
158.53/126.36	o 2326
160.93/128.75	o 2325
163.34/131.12	o 2324
165.63/133.47	o 2323
168.03/135.83	o 2322
170.35/138.17	o 2321
172.64/140.50	o 2320
175.05/142.83	o 2319
177.36/145.17	o 2318
179.75/147.53	o 2317
182.05/149.86	o 2316
184.86/152.31	o 2315
187.16/154.61	o 2314
189.47/156.93	o 2313
191.87/159.31	o 2312
194.17/161.63	o 2311
196.47/163.97	o 2310
198.87/166.35	o 2309
201.29/168.72	o 2308
203.59/171.08	o 2307
205.98/173.45	o 2306
208.28/175.78	o 2305
210.60/178.11	o 2304
212.99/180.42	o 2303
215.76/182.86	o 2302
218.16/185.20	o 2301
220.46/187.52	o 2300
222.76/189.82	o 2299
225.26/192.39	o 2298
227.67/194.73	o 2297
229.98/197.05	o 2296
232.28/199.37	o 2295
234.58/201.67	o 2294
236.88/203.99	o 2293
239.28/206.31	o 2292
241.58/208.63	o 2291
243.88/210.94	o 2290
246.77/213.41	o 2289
249.08/215.75	o 2288
251.38/218.10	o 2287
252.07/218.70	s SATISFIABLE
252.07/218.71	v <instantiation>
252.07/218.71	v 	<list>
252.07/218.71	v 		x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[90] x[91] x[92] x[93] x[94] x[95] x[96] x[97] x[98] x[99] x[100] x[101] x[102] x[103] x[104] x[105] x[106] x[107] x[108] x[109] x[110] x[111] x[112] x[113] x[114] x[115] x[116] x[117] x[118] x[119] x[120] x[121] x[122] x[123] x[124] x[125] x[126] x[127] x[128] x[129] x[130] x[131] x[132] x[133] x[134] x[135] x[136] x[137] x[138] x[139] x[140] x[141] x[142] x[143] x[144] x[145] x[146] x[147] x[148] x[149] x[150] x[151] x[152] x[153] x[154] x[155] x[156] x[157] x[158] x[159] x[160] x[161] x[162] x[163] x[164] x[165] x[166] x[167] x[168] x[169] x[170] x[171] x[172] x[173] x[174] x[175] x[176] x[177] x[178] x[179] x[180] x[181] x[182] x[183] x[184] x[185] x[186] x[187] x[188] x[189] x[190] x[191] x[192] x[193] x[194] x[195] x[196] x[197] x[198] x[199] x[200] x[201] x[202] x[203] x[204] x[205] x[206] x[207] x[208] x[209] x[210] x[211] x[212] x[213] x[214] x[215] x[216] x[217] x[218] x[219] x[220] x[221] x[222] x[223] x[224] x[225] x[226] x[227] x[228] x[229] x[230] x[231] x[232] x[233] x[234] x[235] x[236] x[237] x[238] x[239] x[240] x[241] x[242] x[243] x[244] x[245] x[246] x[247] x[248] x[249] x[250] x[251] x[252] x[253] x[254] x[255] x[256] x[257] x[258] x[259] x[260] x[261] x[262] x[263] x[264] x[265] x[266] x[267] x[268] x[269] x[270] x[271] x[272] x[273] x[274] x[275] x[276] x[277] x[278] x[279] x[280] x[281] x[282] x[283] x[284] x[285] x[286] x[287] x[288] x[289] x[290] x[291] x[292] x[293] x[294] x[295] x[296] x[297] x[298] x[299] x[300] x[301] x[302] x[303] x[304] x[305] x[306] x[307] x[308] x[309] x[310] x[311] x[312] x[313] x[314] x[315] x[316] x[317] x[318] x[319] x[320] x[321] x[322] x[323] x[324] x[325] x[326] x[327] x[328] x[329] x[330] x[331] x[332] x[333] x[334] x[335] x[336] x[337] x[338] x[339] x[340] x[341] x[342] x[343] x[344] x[345] x[346] x[347] x[348] x[349] x[350] x[351] x[352] x[353] x[354] x[355] x[356] x[357] x[358] x[359] x[360] x[361] x[362] x[363] x[364] x[365] x[366] x[367] x[368] x[369] x[370] x[371] x[372] x[373] x[374] x[375] x[376] x[377] x[378] x[379] x[380] x[381] x[382] x[383] x[384] x[385] x[386] x[387] x[388] x[389] x[390] x[391] x[392] x[393] x[394] x[395] x[396] x[397] x[398] x[399] x[400] x[401] x[402] x[403] x[404] x[405] x[406] x[407] x[408] x[409] x[410] x[411] x[412] x[413] x[414] x[415] x[416] x[417] x[418] x[419] x[420] x[421] x[422] x[423] x[424] x[425] x[426] x[427] x[428] x[429] x[430] x[431] x[432] x[433] x[434] x[435] x[436] x[437] x[438] x[439] x[440] x[441] x[442] x[443] x[444] x[445] x[446] x[447] x[448] x[449] x[450] x[451] x[452] x[453] x[454] x[455] x[456] x[457] x[458] x[459] x[460] x[461] x[462] x[463] x[464] x[465] x[466] x[467] x[468] x[469] x[470] x[471] x[472] x[473] x[474] x[475] x[476] x[477] x[478] x[479] x[480] x[481] x[482] x[483] x[484] x[485] x[486] x[487] x[488] x[489] x[490] x[491] x[492] x[493] x[494] x[495] x[496] x[497] x[498] x[499] x[500] x[501] x[502] x[503] x[504] x[505] x[506] x[507] x[508] x[509] x[510] x[511] x[512] x[513] x[514] x[515] x[516] x[517] x[518] x[519] x[520] x[521] x[522] x[523] x[524] x[525] x[526] x[527] x[528] x[529] x[530] x[531] x[532] x[533] x[534] x[535] x[536] x[537] x[538] x[539] x[540] x[541] x[542] x[543] x[544] x[545] x[546] x[547] x[548] x[549] x[550] x[551] x[552] x[553] x[554] x[555] x[556] x[557] x[558] x[559] x[560] x[561] x[562] x[563] x[564] x[565] x[566] x[567] x[568] x[569] x[570] x[571] x[572] x[573] x[574] x[575] x[576] x[577] x[578] x[579] x[580] x[581] x[582] x[583] x[584] x[585] x[586] x[587] x[588] x[589] x[590] x[591] x[592] x[593] x[594] x[595] x[596] x[597] x[598] x[599] x[600] x[601] x[602] x[603] x[604] x[605] x[606] x[607] x[608] x[609] x[610] x[611] x[612] x[613] x[614] x[615] x[616] x[617] x[618] x[619] x[620] x[621] x[622] x[623] x[624] x[625] x[626] x[627] x[628] x[629] x[630] x[631] x[632] x[633] x[634] x[635] x[636] x[637] x[638] x[639] x[640] x[641] x[642] x[643] x[644] x[645] x[646] x[647] x[648] x[649] x[650] x[651] x[652] x[653] x[654] x[655] x[656] x[657] x[658] x[659] x[660] x[661] x[662] x[663] x[664] x[665] x[666] x[667] x[668] x[669] x[670] x[671] x[672] x[673] x[674] x[675] x[676] x[677] x[678] x[679] x[680] x[681] x[682] x[683] x[684] x[685] x[686] x[687] x[688] x[689] x[690] x[691] x[692] x[693] x[694] x[695] x[696] x[697] x[698] x[699] x[700] x[701] x[702] x[703] x[704] x[705] x[706] x[707] x[708] x[709] x[710] x[711] x[712] x[713] x[714] x[715] x[716] x[717] x[718] x[719] x[720] x[721] x[722] x[723] x[724] x[725] x[726] x[727] x[728] x[729] x[730] x[731] x[732] x[733] x[734] x[735] x[736] x[737] x[738] x[739] x[740] x[741] x[742] x[743] x[744] x[745] x[746] x[747] x[748] x[749] x[750] x[751] x[752] x[753] x[754] x[755] x[756] x[757] x[758] x[759] x[760] x[761] x[762] x[763] x[764] x[765] x[766] x[767] x[768] x[769] x[770] x[771] x[772] x[773] x[774] x[775] x[776] x[777] x[778] x[779] x[780] x[781] x[782] x[783] x[784] x[785] x[786] x[787] x[788] x[789] x[790] x[791] x[792] x[793] x[794] x[795] x[796] x[797] x[798] x[799] x[800] x[801] x[802] x[803] x[804] x[805] x[806] x[807] x[808] x[809] x[810] x[811] x[812] x[813] x[814] x[815] x[816] x[817] x[818] x[819] x[820] x[821] x[822] x[823] x[824] x[825] x[826] x[827] x[828] x[829] x[830] x[831] x[832] x[833] x[834] x[835] x[836] x[837] x[838] x[839] x[840] x[841] x[842] x[843] x[844] x[845] x[846] x[847] x[848] x[849] x[850] x[851] x[852] x[853] x[854] x[855] x[856] x[857] x[858] x[859] x[860] x[861] x[862] x[863] x[864] x[865] x[866] x[867] x[868] x[869] x[870] x[871] x[872] x[873] x[874] x[875] x[876] x[877] x[878] x[879] x[880] x[881] x[882] x[883] x[884] x[885] x[886] x[887] x[888] x[889] x[890] x[891] x[892] x[893] x[894] x[895] x[896] x[897] x[898] x[899] x[900] x[901] x[902] x[903] x[904] x[905] x[906] x[907] x[908] x[909] x[910] x[911] x[912] x[913] x[914] x[915] x[916] x[917] x[918] x[919] x[920] x[921] x[922] x[923] x[924] x[925] x[926] x[927] x[928] x[929] x[930] x[931] x[932] x[933] x[934] x[935] x[936] x[937] x[938] x[939] x[940] x[941] x[942] x[943] x[944] x[945] x[946] x[947] x[948] x[949] x[950] x[951] x[952] x[953] x[954] x[955] x[956] x[957] x[958] x[959] x[960] x[961] x[962] x[963] x[964] x[965] x[966] x[967] x[968] x[969] x[970] x[971] x[972] x[973] x[974] x[975] x[976] x[977] x[978] x[979] x[980] x[981] x[982] x[983] x[984] x[985] x[986] x[987] x[988] x[989] x[990] x[991] x[992] x[993] x[994] x[995] x[996] x[997] x[998] x[999] x[1000] x[1001] x[1002] x[1003] x[1004] x[1005] x[1006] x[1007] x[1008] x[1009] x[1010] x[1011] x[1012] x[1013] x[1014] x[1015] x[1016] x[1017] x[1018] x[1019] x[1020] x[1021] x[1022] x[1023] x[1024] x[1025] x[1026] x[1027] x[1028] x[1029] x[1030] x[1031] x[1032] x[1033] x[1034] x[1035] x[1036] x[1037] x[1038] x[1039] x[1040] x[1041] x[1042] x[1043] x[1044] x[1045] x[1046] x[1047] x[1048] x[1049] x[1050] x[1051] x[1052] x[1053] x[1054] x[1055] x[1056] x[1057] x[1058] x[1059] x[1060] x[1061] x[1062] x[1063] x[1064] x[1065] x[1066] x[1067] x[1068] x[1069] x[1070] x[1071] x[1072] x[1073] x[1074] x[1075] x[1076] x[1077] x[1078] x[1079] x[1080] x[1081] x[1082] x[1083] x[1084] x[1085] x[1086] x[1087] x[1088] x[1089] x[1090] x[1091] x[1092] x[1093] x[1094] x[1095] x[1096] x[1097] x[1098] x[1099] x[1100] x[1101] x[1102] x[1103] x[1104] x[1105] x[1106] x[1107] x[1108] x[1109] x[1110] x[1111] x[1112] x[1113] x[1114] x[1115] x[1116] x[1117] x[1118] x[1119] x[1120] x[1121] x[1122] x[1123] x[1124] x[1125] x[1126] x[1127] x[1128] x[1129] x[1130] x[1131] x[1132] x[1133] x[1134] x[1135] x[1136] x[1137] x[1138] x[1139] x[1140] x[1141] x[1142] x[1143] x[1144] x[1145] x[1146] x[1147] x[1148] x[1149] x[1150] x[1151] x[1152] x[1153] x[1154] x[1155] x[1156] x[1157] x[1158] x[1159] x[1160] x[1161] x[1162] x[1163] x[1164] x[1165] x[1166] x[1167] x[1168] x[1169] x[1170] x[1171] x[1172] x[1173] x[1174] x[1175] x[1176] x[1177] x[1178] x[1179] x[1180] x[1181] x[1182] x[1183] x[1184] x[1185] x[1186] x[1187] x[1188] x[1189] x[1190] x[1191] x[1192] x[1193] x[1194] x[1195] x[1196] x[1197] x[1198] x[1199] x[1200] x[1201] x[1202] x[1203] x[1204] x[1205] x[1206] x[1207] x[1208] x[1209] x[1210] x[1211] x[1212] x[1213] x[1214] x[1215] x[1216] x[1217] x[1218] x[1219] x[1220] x[1221] x[1222] x[1223] x[1224] x[1225] x[1226] x[1227] x[1228] x[1229] x[1230] x[1231] x[1232] x[1233] x[1234] x[1235] x[1236] x[1237] x[1238] x[1239] x[1240] x[1241] x[1242] x[1243] x[1244] x[1245] x[1246] x[1247] x[1248] x[1249] x[1250] x[1251] x[1252] x[1253] x[1254] x[1255] x[1256] x[1257] x[1258] x[1259] x[1260] x[1261] x[1262] x[1263] x[1264] x[1265] x[1266] x[1267] x[1268] x[1269] x[1270] x[1271] x[1272] x[1273] x[1274] x[1275] x[1276] x[1277] x[1278] x[1279] x[1280] x[1281] x[1282] x[1283] x[1284] x[1285] x[1286] x[1287] x[1288] x[1289] x[1290] x[1291] x[1292] x[1293] x[1294] x[1295] x[1296] x[1297] x[1298] x[1299] x[1300] x[1301] x[1302] x[1303] x[1304] x[1305] x[1306] x[1307] x[1308] x[1309] x[1310] x[1311] x[1312] x[1313] x[1314] x[1315] x[1316] x[1317] x[1318] x[1319] x[1320] x[1321] x[1322] x[1323] x[1324] x[1325] x[1326] x[1327] x[1328] x[1329] x[1330] x[1331] x[1332] x[1333] x[1334] x[1335] x[1336] x[1337] x[1338] x[1339] x[1340] x[1341] x[1342] x[1343] x[1344] x[1345] x[1346] x[1347] x[1348] x[1349] x[1350] x[1351] x[1352] x[1353] x[1354] x[1355] x[1356] x[1357] x[1358] x[1359] x[1360] x[1361] x[1362] x[1363] x[1364] x[1365] x[1366] x[1367] x[1368] x[1369] x[1370] x[1371] x[1372] x[1373] x[1374] x[1375] x[1376] x[1377] x[1378] x[1379] x[1380] x[1381] x[1382] x[1383] x[1384] x[1385] x[1386] x[1387] x[1388] x[1389] x[1390] x[1391] x[1392] x[1393] x[1394] x[1395] x[1396] x[1397] x[1398] x[1399] x[1400] x[1401] x[1402] x[1403] x[1404] x[1405] x[1406] x[1407] x[1408] x[1409] x[1410] x[1411] x[1412] x[1413] x[1414] x[1415] x[1416] x[1417] x[1418] x[1419] x[1420] x[1421] x[1422] x[1423] x[1424] x[1425] x[1426] x[1427] x[1428] x[1429] x[1430] x[1431] x[1432] x[1433] x[1434] x[1435] x[1436] x[1437] x[1438] x[1439] x[1440] x[1441] x[1442] x[1443] x[1444] x[1445] x[1446] x[1447] x[1448] x[1449] x[1450] x[1451] x[1452] x[1453] x[1454] x[1455] x[1456] x[1457] x[1458] x[1459] x[1460] x[1461] x[1462] x[1463] x[1464] x[1465] x[1466] x[1467] x[1468] x[1469] x[1470] x[1471] x[1472] x[1473] x[1474] x[1475] x[1476] x[1477] x[1478] x[1479] x[1480] x[1481] x[1482] x[1483] x[1484] x[1485] x[1486] x[1487] x[1488] x[1489] x[1490] x[1491] x[1492] x[1493] x[1494] x[1495] x[1496] x[1497] x[1498] x[1499] x[1500] x[1501] x[1502] x[1503] x[1504] x[1505] x[1506] x[1507] x[1508] x[1509] x[1510] x[1511] x[1512] x[1513] x[1514] x[1515] x[1516] x[1517] x[1518] x[1519] x[1520] x[1521] x[1522] x[1523] x[1524] x[1525] x[1526] x[1527] x[1528] x[1529] x[1530] x[1531] x[1532] x[1533] x[1534] x[1535] x[1536] x[1537] x[1538] x[1539] x[1540] x[1541] x[1542] x[1543] x[1544] x[1545] x[1546] x[1547] x[1548] x[1549] x[1550] x[1551] x[1552] x[1553] x[1554] x[1555] x[1556] x[1557] x[1558] x[1559] x[1560] x[1561] x[1562] x[1563] x[1564] x[1565] x[1566] x[1567] x[1568] x[1569] x[1570] x[1571] x[1572] x[1573] x[1574] x[1575] x[1576] x[1577] x[1578] x[1579] x[1580] x[1581] x[1582] x[1583] x[1584] x[1585] x[1586] x[1587] x[1588] x[1589] x[1590] x[1591] x[1592] x[1593] x[1594] x[1595] x[1596] x[1597] x[1598] x[1599] x[1600] x[1601] x[1602] x[1603] x[1604] x[1605] x[1606] x[1607] x[1608] x[1609] x[1610] x[1611] x[1612] x[1613] x[1614] x[1615] x[1616] x[1617] x[1618] x[1619] x[1620] x[1621] x[1622] x[1623] x[1624] x[1625] x[1626] x[1627] x[1628] x[1629] x[1630] x[1631] x[1632] x[1633] x[1634] x[1635] x[1636] x[1637] x[1638] x[1639] x[1640] x[1641] x[1642] x[1643] x[1644] x[1645] x[1646] x[1647] x[1648] x[1649] x[1650] x[1651] x[1652] x[1653] x[1654] x[1655] x[1656] x[1657] x[1658] x[1659] x[1660] x[1661] x[1662] x[1663] x[1664] x[1665] x[1666] x[1667] x[1668] x[1669] x[1670] x[1671] x[1672] x[1673] x[1674] x[1675] x[1676] x[1677] x[1678] x[1679] x[1680] x[1681] x[1682] x[1683] x[1684] x[1685] x[1686] x[1687] x[1688] x[1689] x[1690] x[1691] x[1692] x[1693] x[1694] x[1695] x[1696] x[1697] x[1698] x[1699] x[1700] x[1701] x[1702] x[1703] x[1704] x[1705] x[1706] x[1707] x[1708] x[1709] x[1710] x[1711] x[1712] x[1713] x[1714] x[1715] x[1716] x[1717] x[1718] x[1719] x[1720] x[1721] x[1722] x[1723] x[1724] x[1725] x[1726] x[1727] x[1728] x[1729] x[1730] x[1731] x[1732] x[1733] x[1734] x[1735] x[1736] x[1737] x[1738] x[1739] x[1740] x[1741] x[1742] x[1743] x[1744] x[1745] x[1746] x[1747] x[1748] x[1749] x[1750] x[1751] x[1752] x[1753] x[1754] x[1755] x[1756] x[1757] x[1758] x[1759] x[1760] x[1761] x[1762] x[1763] x[1764] x[1765] x[1766] x[1767] x[1768] x[1769] x[1770] x[1771] x[1772] x[1773] x[1774] x[1775] x[1776] x[1777] x[1778] x[1779] x[1780] x[1781] x[1782] x[1783] x[1784] x[1785] x[1786] x[1787] x[1788] x[1789] x[1790] x[1791] x[1792] x[1793] x[1794] x[1795] x[1796] x[1797] x[1798] x[1799] x[1800] x[1801] x[1802] x[1803] x[1804] x[1805] x[1806] x[1807] x[1808] x[1809] x[1810] x[1811] x[1812] x[1813] x[1814] x[1815] x[1816] x[1817] x[1818] x[1819] x[1820] x[1821] x[1822] x[1823] x[1824] x[1825] x[1826] x[1827] x[1828] x[1829] x[1830] x[1831] x[1832] x[1833] x[1834] x[1835] x[1836] x[1837] x[1838] x[1839] x[1840] x[1841] x[1842] x[1843] x[1844] x[1845] x[1846] x[1847] x[1848] x[1849] x[1850] x[1851] x[1852] x[1853] x[1854] x[1855] x[1856] x[1857] x[1858] x[1859] x[1860] x[1861] x[1862] x[1863] x[1864] x[1865] x[1866] x[1867] x[1868] x[1869] x[1870] x[1871] x[1872] x[1873] x[1874] x[1875] x[1876] x[1877] x[1878] x[1879] x[1880] x[1881] x[1882] x[1883] x[1884] x[1885] x[1886] x[1887] x[1888] x[1889] x[1890] x[1891] x[1892] x[1893] x[1894] x[1895] x[1896] x[1897] x[1898] x[1899] x[1900] x[1901] x[1902] x[1903] x[1904] x[1905] x[1906] x[1907] x[1908] x[1909] x[1910] x[1911] x[1912] x[1913] x[1914] x[1915] x[1916] x[1917] x[1918] x[1919] x[1920] x[1921] x[1922] x[1923] x[1924] x[1925] x[1926] x[1927] x[1928] x[1929] x[1930] x[1931] x[1932] x[1933] x[1934] x[1935] x[1936] x[1937] x[1938] x[1939] x[1940] x[1941] x[1942] x[1943] x[1944] x[1945] x[1946] x[1947] x[1948] x[1949] x[1950] x[1951] x[1952] x[1953] x[1954] x[1955] x[1956] x[1957] x[1958] x[1959] x[1960] x[1961] x[1962] x[1963] x[1964] x[1965] x[1966] x[1967] x[1968] x[1969] x[1970] x[1971] x[1972] x[1973] x[1974] x[1975] x[1976] x[1977] x[1978] x[1979] x[1980] x[1981] x[1982] x[1983] x[1984] x[1985] x[1986] x[1987] x[1988] x[1989] x[1990] x[1991] x[1992] x[1993] x[1994] x[1995] x[1996] x[1997] x[1998] x[1999] x[2000] x[2001] x[2002] x[2003] x[2004] x[2005] x[2006] x[2007] x[2008] x[2009] x[2010] x[2011] x[2012] x[2013] x[2014] x[2015] x[2016] x[2017] x[2018] x[2019] x[2020] x[2021] x[2022] x[2023] x[2024] x[2025] x[2026] x[2027] x[2028] x[2029] x[2030] x[2031] x[2032] x[2033] x[2034] x[2035] x[2036] x[2037] x[2038] x[2039] x[2040] x[2041] x[2042] x[2043] x[2044] x[2045] x[2046] x[2047] x[2048] x[2049] x[2050] x[2051] x[2052] x[2053] x[2054] x[2055] x[2056] x[2057] x[2058] x[2059] x[2060] x[2061] x[2062] x[2063] x[2064] x[2065] x[2066] x[2067] x[2068] x[2069] x[2070] x[2071] x[2072] x[2073] x[2074] x[2075] x[2076] x[2077] x[2078] x[2079] x[2080] x[2081] x[2082] x[2083] x[2084] x[2085] x[2086] x[2087] x[2088] x[2089] x[2090] x[2091] x[2092] x[2093] x[2094] x[2095] x[2096] x[2097] x[2098] x[2099] x[2100] x[2101] x[2102] x[2103] x[2104] x[2105] x[2106] x[2107] x[2108] x[2109] x[2110] x[2111] x[2112] x[2113] x[2114] x[2115] x[2116] x[2117] x[2118] x[2119] x[2120] x[2121] x[2122] x[2123] x[2124] x[2125] x[2126] x[2127] x[2128] x[2129] x[2130] x[2131] x[2132] x[2133] x[2134] x[2135] x[2136] x[2137] x[2138] x[2139] x[2140] x[2141] x[2142] x[2143] x[2144] x[2145] x[2146] x[2147] x[2148] x[2149] x[2150] x[2151] x[2152] x[2153] x[2154] x[2155] x[2156] x[2157] x[2158] x[2159] x[2160] x[2161] x[2162] x[2163] x[2164] x[2165] x[2166] x[2167] x[2168] x[2169] x[2170] x[2171] x[2172] x[2173] x[2174] x[2175] x[2176] x[2177] x[2178] x[2179] x[2180] x[2181] x[2182] x[2183] x[2184] x[2185] x[2186] x[2187] x[2188] x[2189] x[2190] x[2191] x[2192] x[2193] x[2194] x[2195] x[2196] x[2197] x[2198] x[2199] x[2200] x[2201] x[2202] x[2203] x[2204] x[2205] x[2206] x[2207] x[2208] x[2209] x[2210] x[2211] x[2212] x[2213] x[2214] x[2215] x[2216] x[2217] x[2218] x[2219] x[2220] x[2221] x[2222] x[2223] x[2224] x[2225] x[2226] x[2227] x[2228] x[2229] x[2230] x[2231] x[2232] x[2233] x[2234] x[2235] x[2236] x[2237] x[2238] x[2239] x[2240] x[2241] x[2242] x[2243] x[2244] x[2245] x[2246] x[2247] x[2248] x[2249] x[2250] x[2251] x[2252] x[2253] x[2254] x[2255] x[2256] x[2257] x[2258] x[2259] x[2260] x[2261] x[2262] x[2263] x[2264] x[2265] x[2266] x[2267] x[2268] x[2269] x[2270] x[2271] x[2272] x[2273] x[2274] x[2275] x[2276] x[2277] x[2278] x[2279] x[2280] x[2281] x[2282] x[2283] x[2284] x[2285] x[2286] x[2287] x[2288] x[2289] x[2290] x[2291] x[2292] x[2293] x[2294] x[2295] x[2296] x[2297] x[2298] x[2299] x[2300] x[2301] x[2302] x[2303] x[2304] x[2305] x[2306] x[2307] x[2308] x[2309] x[2310] x[2311] x[2312] x[2313] x[2314] x[2315] x[2316] x[2317] x[2318] x[2319] x[2320] x[2321] x[2322] x[2323] x[2324] x[2325] x[2326] x[2327] x[2328] x[2329] x[2330] x[2331] x[2332] x[2333] x[2334] x[2335] x[2336] x[2337] x[2338] x[2339] x[2340] x[2341] x[2342] x[2343] x[2344] x[2345] x[2346] x[2347] x[2348] x[2349] x[2350] x[2351] x[2352] x[2353] x[2354] x[2355] x[2356] x[2357] x[2358] x[2359] x[2360] x[2361] x[2362] x[2363] x[2364] x[2365] x[2366] x[2367]
252.07/218.71	v 	</list>
252.07/218.71	v 	<values>
252.07/218.71	v 		2267 2287 2253 2263 2257 2265 2286 2264 2277 2274 2275 2280 2258 2282 2268 2256 2285 2254 2266 2262 2269 2268 2255 2259 2278 2272 2258 2269 2255 2266 2285 2268 2256 2253 2261 2277 2276 2281 2265 2256 2273 2286 2278 2271 2279 2267 2281 2271 2275 2252 2259 2286 2263 2254 2278 2287 2286 2286 2283 2271 2282 2286 2286 2286 2287 2284 2283 2285 2279 2257 2270 2283 2255 2257 2279 2278 2254 2268 2249 2254 2250 2249 2276 2285 2284 2264 2260 2264 2270 2286 2259 2287 2248 2269 2281 2286 2287 2252 2279 2272 2276 2262 2256 2272 2258 2253 2265 2284 2261 2266 2268 2277 2265 2258 2250 2267 2284 2281 2285 2267 2251 2268 2286 2260 2272 2271 2278 2277 2286 2273 2252 2281 2279 2256 2271 2287 2263 2280 2276 2251 2258 2266 2283 2280 2277 2268 2270 2271 2286 2284 2286 2281 2266 2268 2273 2275 2280 2269 2263 2274 2284 2266 2275 2285 2286 2287 2258 2284 2283 2264 2278 2285 2286 2279 2284 2275 2283 2269 2283 2274 2284 2268 2271 2281 2270 2275 2262 2285 2276 2282 2277 2254 2266 2284 2284 2260 2252 2286 2286 2259 2264 2281 2255 2256 2270 2273 2265 2283 2276 2286 2272 2274 2287 2286 2266 2278 2262 2250 2272 2259 2269 2266 2280 2268 2264 2255 2263 2275 2280 2258 2269 2270 2286 2285 2266 2266 2277 2280 2256 2276 2278 2271 2284 2274 2255 2272 2263 2269 2262 2254 2287 2265 2258 2273 2249 2274 2278 2258 2287 2270 2275 2276 2272 2258 2286 2263 2266 2267 2262 2270 2269 2256 2269 2281 2264 2265 2280 2273 2272 2285 2273 2284 2273 2265 2252 2275 2253 2271 2287 2253 2281 2270 2284 2280 2283 2282 2260 2285 2286 2285 2287 2275 2254 2274 2279 2264 2283 2271 2270 2287 2287 2284 2287 2285 2287 2281 2276 2286 2271 2278 2287 2273 2259 2245 2272 2264 2271 2272 2276 2260 2256 2268 2256 2279 2253 2257 2246 2255 2249 2279 2247 2255 2280 2284 2261 2263 2287 2265 2286 2252 2252 2258 2269 2250 2262 2277 2284 2258 2276 2280 2271 2260 2263 2274 2281 2278 2268 2286 2286 2278 2285 2283 2281 2261 2280 2286 2276 2277 2285 2269 2260 2260 2259 2285 2262 2276 2284 2256 2257 2275 2273 2266 2266 2276 2263 2283 2274 2271 2272 2269 2272 2253 2259 2277 2282 2286 2271 2287 2287 2277 2274 2286 2281 2284 2285 2278 2276 2286 2280 2283 2282 2285 2280 2283 2286 2274 2280 2287 2272 2287 2281 2262 2267 2277 2280 2283 2283 2283 2287 2280 2286 2287 2283 2284 2282 2281 2280 2283 2276 2277 2279 2275 2287 2276 2266 2282 2278 2263 2275 2261 2267 2269 2274 2273 2280 2278 2260 2265 2277 2274 2261 2283 2285 2287 2246 2249 2283 2261 2257 2267 2285 2276 2276 2283 2287 2279 2255 2282 2266 2259 2272 2260 2271 2263 2273 2276 2286 2279 2286 2283 2285 2287 2282 2266 2280 2281 2286 2287 2285 2251 2248 2244 2284 2284 2287 2285 2279 2245 2270 2263 2271 2253 2279 2284 2276 2270 2285 2253 2257 2284 2277 2265 2250 2255 2259 2245 2287 2260 2284 2270 2269 2273 2251 2253 2252 2284 2266 2283 2268 2248 2283 2273 2254 2269 2264 2285 2263 2255 2274 2260 2261 2273 2267 2267 2259 2284 2286 2263 2285 2283 2264 2278 2265 2287 2262 2270 2273 2271 2276 2260 2258 2271 2252 2281 2264 2256 2258 2252 2262 2257 2281 2286 2282 2287 2277 2279 2251 2287 2276 2277 2249 2270 2281 2257 2259 2256 2267 2284 2278 2263 2257 2280 2275 2281 2261 2271 2262 2264 2256 2262 2270 2252 2272 2259 2265 2273 2284 2286 2286 2269 2283 2287 2286 2279 2278 2247 2244 2279 2285 2274 2283 2284 2281 2278 2274 2273 2286 2267 2278 2280 2258 2264 2280 2277 2247 2278 2276 2285 2287 2252 2247 2269 2272 2283 2266 2263 2273 2261 2285 2280 2284 2255 2282 2286 2284 2256 2262 2256 2246 2250 2265 2284 2259 2287 2286 2287 2245 2259 2286 2279 2281 2276 2287 2272 2284 2281 2278 2275 2266 2276 2285 2264 2273 2267 2286 2283 2270 2286 2280 2287 2285 2274 2262 2283 2287 2253 2285 2257 2257 2268 2286 2264 2278 2259 2251 2274 2284 2276 2262 2280 2266 2254 2258 2283 2277 2262 2261 2263 2276 2264 2273 2275 2267 2263 2264 2282 2266 2281 2279 2257 2273 2256 2274 2281 2286 2268 2272 2266 2287 2274 2258 2277 2257 2251 2274 2267 2259 2265 2272 2276 2279 2281 2285 2284 2277 2287 2257 2254 2276 2272 2240 2280 2252 2239 2266 2260 2284 2257 2274 2282 2262 2244 2263 2262 2243 2278 2259 2251 2287 2267 2270 2279 2248 2271 2274 2285 2274 2267 2250 2255 2259 2278 2280 2274 2287 2272 2279 2281 2259 2269 2286 2277 2279 2247 2279 2280 2274 2277 2276 2265 2266 2261 2281 2279 2268 2276 2250 2268 2285 2269 2253 2273 2266 2286 2268 2281 2272 2278 2244 2249 2279 2285 2266 2264 2269 2273 2268 2249 2255 2287 2281 2283 2278 2280 2266 2283 2272 2267 2270 2280 2279 2260 2271 2273 2278 2280 2256 2281 2246 2243 2267 2270 2268 2275 2280 2265 2278 2259 2270 2279 2275 2287 2248 2253 2278 2280 2283 2254 2258 2263 2254 2259 2266 2285 2272 2241 2285 2285 2249 2275 2281 2271 2276 2266 2278 2263 2255 2250 2254 2242 2257 2256 2274 2280 2238 2248 2236 2268 2245 2258 2266 2273 2270 2282 2282 2273 2282 2263 2269 2268 2277 2263 2279 2284 2274 2251 2252 2281 2261 2267 2247 2266 2248 2257 2253 2264 2242 2273 2239 2268 2262 2270 2287 2260 2243 2265 2281 2266 2260 2281 2273 2269 2261 2279 2265 2270 2285 2253 2258 2266 2255 2280 2281 2284 2285 2256 2250 2267 2273 2286 2275 2265 2259 2261 2282 2283 2255 2278 2250 2275 2256 2275 2246 2252 2253 2277 2242 2269 2272 2241 2257 2271 2255 2280 2282 2285 2241 2282 2254 2255 2270 2261 2272 2270 2278 2276 2272 2277 2243 2282 2259 2251 2280 2285 2270 2273 2254 2285 2282 2279 2256 2253 2283 2284 2250 2280 2269 2287 2280 2265 2245 2286 2273 2283 2286 2270 2286 2266 2268 2278 2252 2274 2267 2277 2284 2287 2269 2261 2274 2278 2245 2256 2264 2285 2264 2278 2272 2254 2287 2280 2282 2282 2281 2286 2279 2280 2275 2273 2271 2285 2264 2276 2262 2258 2250 2261 2263 2251 2277 2280 2268 2274 2279 2252 2265 2246 2248 2260 2238 2287 2268 2263 2266 2251 2286 2269 2252 2282 2247 2261 2249 2248 2281 2267 2282 2249 2260 2262 2266 2280 2287 2272 2286 2242 2286 2244 2279 2269 2273 2287 2266 2251 2274 2285 2257 2271 2246 2287 2273 2275 2282 2284 2247 2261 2278 2265 2286 2261 2284 2269 2245 2273 2271 2284 2280 2268 2286 2279 2239 2275 2272 2258 2259 2252 2270 2276 2262 2268 2278 2246 2274 2257 2283 2281 2260 2271 2287 2282 2252 2277 2279 2273 2275 2251 2276 2264 2276 2245 2242 2264 2246 2287 2275 2283 2282 2246 2286 2286 2282 2271 2262 2268 2270 2254 2269 2250 2286 2268 2273 2270 2267 2263 2286 2281 2254 2253 2283 2287 2241 2277 2281 2277 2262 2267 2285 2254 2272 2270 2276 2253 2262 2284 2255 2286 2282 2260 2268 2286 2274 2277 2251 2284 2275 2259 2282 2278 2280 2276 2270 2262 2252 2286 2275 2282 2280 2254 2266 2274 2268 2283 2281 2283 2252 2251 2282 2279 2243 2259 2268 2264 2275 2251 2286 2248 2264 2280 2267 2256 2257 2286 2277 2279 2253 2250 2260 2251 2262 2278 2276 2277 2256 2245 2284 2252 2253 2280 2250 2286 2260 2274 2285 2283 2257 2277 2270 2263 2287 2269 2253 2249 2264 2287 2268 2256 2284 2282 2272 2257 2270 2243 2281 2266 2264 2263 2257 2275 2272 2269 2259 2271 2243 2271 2247 2257 2255 2251 2252 2266 2251 2282 2251 2285 2247 2266 2246 2245 2244 2256 2268 2274 2284 2286 2262 2239 2274 2261 2267 2272 2279 2278 2274 2257 2266 2259 2277 2269 2248 2287 2258 2261 2278 2249 2248 2270 2269 2265 2268 2280 2277 2275 2276 2285 2258 2283 2267 2262 2278 2274 2267 2244 2258 2266 2256 2249 2247 2280 2245 2243 2260 2274 2257 2266 2238 2259 2279 2274 2286 2267 2260 2270 2274 2285 2247 2284 2269 2282 2275 2276 2284 2287 2251 2260 2276 2257 2261 2254 2268 2285 2274 2244 2262 2239 2253 2281 2249 2275 2254 2277 2273 2271 2266 2253 2251 2270 2284 2265 2275 2268 2286 2274 2278 2283 2285 2265 2251 2278 2287 2244 2271 2257 2242 2254 2282 2268 2276 2282 2252 2237 2279 2248 2283 2286 2272 2270 2267 2284 2269 2250 2246 2249 2265 2245 2247 2254 2270 2254 2277 2247 2248 2268 2255 2243 2253 2250 2283 2238 2276 2255 2253 2283 2241 2242 2265 2278 2269 2271 2287 2260 2237 2265 2258 2284 2257 2274 2261 2275 2241 2285 2280 2238 2277 2261 2266 2277 2262 2266 2264 2264 2263 2252 2245 2287 2271 2248 2276 2250 2279 2277 2255 2280 2286 2262 2278 2268 2254 2256 2258 2271 2257 2281 2268 2271 2267 2273 2277 2285 2283 2265 2248 2269 2261 2271 2251 2267 2262 2274 2247 2240 2280 2252 2278 2282 2269 2251 2287 2278 2267 2265 2270 2271 2278 2279 2262 2275 2265 2282 2278 2235 2256 2277 2256 2234 2244 2246 2233 2273 2285 2286 2252 2287 2248 2251 2261 2230 2264 2280 2275 2285 2261 2247 2248 2274 2238 2284 2286 2283 2281 2255 2263 2267 2250 2273 2263 2282 2269 2272 2252 2239 2264 2252 2246 2274 2246 2250 2264 2263 2254 2267 2273 2270 2263 2273 2247 2269 2275 2283 2281 2265 2240 2239 2276 2272 2274 2284 2279 2284 2259 2277 2244 2264 2249 2249 2257 2276 2259 2266 2271 2282 2275 2255 2262 2262 2272 2251 2272 2275 2287 2285 2250 2280 2255 2269 2261 2254 2263 2281 2240 2241 2276 2262 2285 2252 2265 2277 2254 2269 2277 2267 2273 2247 2270 2262 2260 2279 2251 2241 2275 2253 2246 2245 2261 2279 2284 2272 2241 2253 2248 2267 2264 2273 2248 2285 2269 2271 2250 2256 2265 2271 2235 2258 2260 2239 2255 2287 2271 2272 2267 2267 2280 2270 2272 2264 2259 2287 2279 2277 2274 2265 2247 2267 2246 2258 2282 2264 2266 2273 2254 2269 2251 2250 2271 2269 2257 2252 2278 2264 2265 2276 2257 2275 2269 2244 2277 2276 2281 2282 2258 2262 2287 2272 2286 2281 2240 2253 2287 2284 2281 2263 2275 2250 2264 2268 2238 2248 2246 2274 2262 2254 2258 2283 2268 2249 2278 2263 2286 2271 2282 2237 2273 2229 2227 2252 2274 2255 2274 2235 2273 2265 2281 2247 2278 2280 2284 2272 2276 2254 2258 2283 2276 2271 2256 2276 2275 2241 2263 2231 2237 2252 2256 2261 2275 2287 2280 2260 2259 2247 2246 2276 2279 2272 2258 2281 2271 2277 2270 2252 2246 2254 2279 2281 2257 2259 2258 2267 2276 2266 2287 2256 2259 2249 2286 2254 2256 2258 2266 2278 2275 2253 2270 2278 2266 2286 2257 2275 2286 2247 2263 2245 2251 2240 2228 2246 2247 2282 2254 2264 2249 2273 2247 2255 2234 2256 2265 2236 2258 2245 2257 2274 2234 2251 2285 2256 2252 2252 2272 2250 2282 2251 2259 2247 2252 2260 2287 2241 2261 2259 2285 2285 2252 2257 2279 2266 2285 2250 2248 2258 2256 2273 2264 2240 2284 2255 2279 2230 2240 2257 2250 2243 2239 2264 2277 2236 2271 2244 2258 2255 2230 2286 2276 2233 2283 2265 2275 2285 2281 2265 2256 2275 2286 2261 2240 2262 2259 2266 2253 2243 2256 2272 2280 2261 2243 2234 2253 2266 2257 2273 2278 2241 2270 2243 2263 2269 2276 2264 2272 2267 2269 2284 2233 2281 2242 2287 2258 2229 2264 2233 2275 2273 2245 2245 2255 2262 2252 2275 2270 2251 2238 2285 2253 2274 2253 2240 2238 2285 2259 2287 2264 2237 2281 2274 2258 2263 2282 2236 2249 2251 2261 2255 2275 2267 2232 2249 2280 2276 2269 2272 2269 2257 2260 2269 2286 2266 2272 2270 2231 2249 2281 2244 2268 2278 2235 2265 2256 2244 2263 2280 2260 2280 2271 2268 2252 2283 2242 2258 2238 2237 2269 2250 2261 2262 2267 2281 2243 2271 2273 2284 2231 2243 2259 2250 2250 2285 2267 2261 2265 2254 2241 2287 2263 2234 2246 2248 2244 2271 2233 2260 2270 2242 2266 2257 2249 2273 2270 2282 2280 2268 2272 2238 2242 2239 2237 2275 2274 2265 2284 2279 2286 2242 2249 2244 2268 2240 2266 2271 2232 2235 2271 2260 2271 2268 2261 2275 2283 2282 2259 2245 2249 2277 2278 2239 2282 2244 2270 2266 2279 2253 2283 2269 2241 2254 2253 2279 2274 2254 2247 2234 2284 2255 2269 2261 2282 2284 2274 2243 2265 2243 2245 2278 2253 2245 2284 2271 2259 2248 2253 2277 2283 2252 2278 2270 2250 2258 2262 2279 2265 2277 2242 2258 2254 2276 2250 2271 2263 2279 2281 2237 2237 2242 2277 2255 2277 2249 2266 2245 2248 2236 2260 2261 2263 2248 2251 2249 2258 2262 2253 2252 2287 2268 2255 2239 2284 2244 2250 2283 2270 2235 2259 2232 2238 2281 2284 2276 2274 2270 2242 2258 2255 2282 2282 2259 2241 2260 2257 2241 2284 2276 2262 2246 2281 2246 2287 2277 2285 2251 2269 2256 2245 2240 2244 2263 2251 2267 2283 2242 2273 2263 2246 2260 2278 2253 2276 2264 2280 2260 2266 2264 2285 2252 2277 2259 2279 2286 2240 2279 2244 2285 2267 2268 2278 2251 2255 2272 2243 2283 2267 2286 2275 2282 2248 2260 2267 2264 2245 2272 2270 2284 2257 2259 2265 2268 2250 2287 2272 2261 2247 2265 2254 2273 2280 2280 2249 2247 2268 2279 2262 2260 2255 2272 2283 2254 2250 2261 2257 2263 2249 2264 2256 2259 2283 2263 2283 2262 2256 2281 2253 2254 2282 2255 
252.07/218.71	v 	</values>
252.07/218.71	v </instantiation>

Verifier Data 

OK	2287

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4256046-1502643472/watcher-4256046-1502643472 -o /tmp/evaluation-result-4256046-1502643472/solver-4256046-1502643472 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node151-1502642613-14572 --watchdog 312 java -Xmx11000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 1183630119 --timelimit 252 --memlimit 11000 --nbcore 4 HOME/instance-4256046-1502643472.xml 

running on 4 cores: 1,3,5,7

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


[startup+0.100147 s]*
/proc/loadavg: 2.89 3.02 2.52 3/218 14633
/proc/meminfo: memFree=28696344/32770624 swapFree=67108860/67108860
[pid=14600] ppid=14596 vsize=13980164 memory=34764 CPUtime=0.12 cores=1,3,5,7
/proc/14600/stat : 14600 (java) S 14596 14600 4973 0 -1 1077944320 8071 0 0 0 11 1 0 0 20 0 15 0 97428163 14315687936 8691 33554432000 4194304 4196468 140726313810160 140726313792704 140703094542071 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 29556736 140726313813098 140726313813284 140726313813284 140726313816015 0
/proc/14600/statm: 3495041 8691 3406 1 0 3482761 0
[pid=14600/tid=14607] ppid=14596 vsize=13980164 memory=5450919713671312938 CPUtime=0.09 cores=1,3,5,7
/proc/14600/task/14607/stat : 14607 (java) R 14596 14600 4973 0 -1 4202560 5977 0 0 0 8 1 0 0 20 0 15 0 97428163 14315687936 8691 33554432000 4194304 4196468 140726313810160 140703098731520 140703078585701 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29556736 140726313813098 140726313813284 140726313813284 140726313816015 0
[pid=14600/tid=14612] ppid=14596 vsize=13980164 memory=-9181546050914066336 CPUtime=0 cores=1,3,5,7
/proc/14600/task/14612/stat : 14612 (java) S 14596 14600 4973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97428164 14315687936 8691 33554432000 4194304 4196468 140726313810160 140702690245776 140703094552277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29556736 140726313813098 140726313813284 140726313813284 140726313816015 0
[pid=14600/tid=14613] ppid=14596 vsize=13980164 memory=139988730488448 CPUtime=0 cores=1,3,5,7
/proc/14600/task/14613/stat : 14613 (java) S 14596 14600 4973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97428164 14315687936 8691 33554432000 4194304 4196468 140726313810160 140702689192976 140703094552277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29556736 140726313813098 140726313813284 140726313813284 140726313816015 0
[pid=14600/tid=14614] ppid=14596 vsize=13980164 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14600/task/14614/stat : 14614 (java) S 14596 14600 4973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97428164 14315687936 8691 33554432000 4194304 4196468 140726313810160 140702688140176 140703094552277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29556736 140726313813098 140726313813284 140726313813284 140726313816015 0
[pid=14600/tid=14615] ppid=14596 vsize=13980164 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14600/task/14615/stat : 14615 (java) S 14596 14600 4973 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 97428164 14315687936 8691 33554432000 4194304 4196468 140726313810160 140702687087376 140703094552277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29556736 140726313813098 140726313813284 140726313813284 140726313816015 0
[pid=14600/tid=14616] ppid=14596 vsize=13980164 memory=139988730488448 CPUtime=0 cores=1,3,5,7
/proc/14600/task/14616/stat : 14616 (java) S 14596 14600 4973 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 97428165 14315687936 8691 33554432000 4194304 4196468 140726313810160 140702568614256 140703094553218 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29556736 140726313813098 140726313813284 140726313813284 140726313816015 0
[pid=14600/tid=14618] ppid=14596 vsize=13980164 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14600/task/14618/stat : 14618 (java) S 14596 14600 4973 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 97428165 14315687936 8691 33554432000 4194304 4196468 140726313810160 140702567560224 140703094552277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29556736 140726313813098 140726313813284 140726313813284 140726313816015 0
[pid=14600/tid=14620] ppid=14596 vsize=13980164 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14600/task/14620/stat : 14620 (java) S 14596 14600 4973 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 97428166 14315687936 8691 33554432000 4194304 4196468 140726313810160 140702566507376 140703094552277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29556736 140726313813098 140726313813284 140726313813284 140726313816015 0
[pid=14600/tid=14622] ppid=14596 vsize=13980164 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14600/task/14622/stat : 14622 (java) S 14596 14600 4973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97428168 14315687936 8691 33554432000 4194304 4196468 140726313810160 140702565455696 140703094560667 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29556736 140726313813098 140726313813284 140726313813284 140726313816015 0
[pid=14600/tid=14623] ppid=14596 vsize=13980164 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14600/task/14623/stat : 14623 (java) S 14596 14600 4973 0 -1 1077944384 317 0 0 0 0 0 0 0 20 0 15 0 97428168 14315687936 8691 33554432000 4194304 4196468 140726313810160 140702564404080 140703094553218 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29556736 140726313813098 140726313813284 140726313813284 140726313816015 0
[pid=14600/tid=14624] ppid=14596 vsize=13980164 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14600/task/14624/stat : 14624 (java) S 14596 14600 4973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97428168 14315687936 8691 33554432000 4194304 4196468 140726313810160 140702563351280 140703094553218 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29556736 140726313813098 140726313813284 140726313813284 140726313816015 0
[pid=14600/tid=14625] ppid=14596 vsize=13980164 memory=139988730488448 CPUtime=0.02 cores=1,3,5,7
/proc/14600/task/14625/stat : 14625 (java) S 14596 14600 4973 0 -1 1077944384 401 0 0 0 2 0 0 0 20 0 15 0 97428168 14315687936 8691 33554432000 4194304 4196468 140726313810160 140702562298480 140703094553218 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29556736 140726313813098 140726313813284 140726313813284 140726313816015 0
[pid=14600/tid=14630] ppid=14596 vsize=13980164 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14600/task/14630/stat : 14630 (java) S 14596 14600 4973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97428168 14315687936 8691 33554432000 4194304 4196468 140726313810160 140702561245920 140703094552277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29556736 140726313813098 140726313813284 140726313813284 140726313816015 0
[pid=14600/tid=14632] ppid=14596 vsize=13980164 memory=139988730488448 CPUtime=0 cores=1,3,5,7
/proc/14600/task/14632/stat : 14632 (java) S 14596 14600 4973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97428168 14315687936 8691 33554432000 4194304 4196468 140726313810160 140702560193200 140703094553218 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29556736 140726313813098 140726313813284 140726313813284 140726313816015 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13980164 KiB
Current children cumulated memory: 34764 KiB

[startup+0.212979 s]*
/proc/loadavg: 2.89 3.02 2.52 5/218 14633
/proc/meminfo: memFree=28679120/32770624 swapFree=67108860/67108860
[pid=14600] ppid=14596 vsize=13980164 memory=44644 CPUtime=0.3 cores=1,3,5,7
/proc/14600/stat : 14600 (java) S 14596 14600 4973 0 -1 1077944320 9235 0 0 0 28 2 0 0 20 0 15 0 97428163 14315687936 11161 33554432000 4194304 4196468 140726313810160 140726313792704 140703094542071 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 29556736 140726313813098 140726313813284 140726313813284 140726313816015 0
/proc/14600/statm: 3495041 11161 3626 1 0 3482761 0
[pid=14600/tid=14607] ppid=14596 vsize=13980164 memory=7022364594140610616 CPUtime=0.19 cores=1,3,5,7
/proc/14600/task/14607/stat : 14607 (java) R 14596 14600 4973 0 -1 4202560 6638 0 0 0 18 1 0 0 20 0 15 0 97428163 14315687936 11161 33554432000 4194304 4196468 140726313810160 140703098763104 140702733246148 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29556736 140726313813098 140726313813284 140726313813284 140726313816015 0
[pid=14600/tid=14612] ppid=14596 vsize=13980164 memory=365 CPUtime=0 cores=1,3,5,7
/proc/14600/task/14612/stat : 14612 (java) S 14596 14600 4973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97428164 14315687936 11161 33554432000 4194304 4196468 140726313810160 140702690245776 140703094552277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29556736 140726313813098 140726313813284 140726313813284 140726313816015 0
[pid=14600/tid=14613] ppid=14596 vsize=13980164 memory=139988730502926 CPUtime=0 cores=1,3,5,7
/proc/14600/task/14613/stat : 14613 (java) S 14596 14600 4973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97428164 14315687936 11161 33554432000 4194304 4196468 140726313810160 140702689192976 140703094552277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29556736 140726313813098 140726313813284 140726313813284 140726313816015 0
[pid=14600/tid=14614] ppid=14596 vsize=13980164 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14600/task/14614/stat : 14614 (java) S 14596 14600 4973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97428164 14315687936 11161 33554432000 4194304 4196468 140726313810160 140702688140176 140703094552277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29556736 140726313813098 140726313813284 140726313813284 140726313816015 0
[pid=14600/tid=14615] ppid=14596 vsize=13980164 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14600/task/14615/stat : 14615 (java) S 14596 14600 4973 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 97428164 14315687936 11161 33554432000 4194304 4196468 140726313810160 140702687087376 140703094552277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29556736 140726313813098 140726313813284 140726313813284 140726313816015 0
[pid=14600/tid=14616] ppid=14596 vsize=13980164 memory=139988730488448 CPUtime=0 cores=1,3,5,7
/proc/14600/task/14616/stat : 14616 (java) S 14596 14600 4973 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 97428165 14315687936 11161 33554432000 4194304 4196468 140726313810160 140702568614256 140703094553218 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29556736 140726313813098 140726313813284 140726313813284 140726313816015 0
[pid=14600/tid=14618] ppid=14596 vsize=13980164 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14600/task/14618/stat : 14618 (java) S 14596 14600 4973 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 97428165 14315687936 11161 33554432000 4194304 4196468 140726313810160 140702567560224 140703094552277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29556736 140726313813098 140726313813284 140726313813284 140726313816015 0
[pid=14600/tid=14620] ppid=14596 vsize=13980164 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14600/task/14620/stat : 14620 (java) S 14596 14600 4973 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 97428166 14315687936 11161 33554432000 4194304 4196468 140726313810160 140702566507376 140703094552277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29556736 140726313813098 140726313813284 140726313813284 140726313816015 0
[pid=14600/tid=14622] ppid=14596 vsize=13980164 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14600/task/14622/stat : 14622 (java) S 14596 14600 4973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97428168 14315687936 11161 33554432000 4194304 4196468 140726313810160 140702565455696 140703094560667 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29556736 140726313813098 140726313813284 140726313813284 140726313816015 0
[pid=14600/tid=14623] ppid=14596 vsize=13980164 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/14600/task/14623/stat : 14623 (java) R 14596 14600 4973 0 -1 4202560 444 0 0 0 1 0 0 0 20 0 15 0 97428168 14315687936 11161 33554432000 4194304 4196468 140726313810160 140702564404080 140703075242368 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29556736 140726313813098 140726313813284 140726313813284 140726313816015 0
[pid=14600/tid=14624] ppid=14596 vsize=13980164 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/14600/task/14624/stat : 14624 (java) S 14596 14600 4973 0 -1 1077944384 249 0 0 0 2 0 0 0 20 0 15 0 97428168 14315687936 11161 33554432000 4194304 4196468 140726313810160 140702563351280 140703094553218 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29556736 140726313813098 140726313813284 140726313813284 140726313816015 0
[pid=14600/tid=14625] ppid=14596 vsize=13980164 memory=139988730488448 CPUtime=0.06 cores=1,3,5,7
/proc/14600/task/14625/stat : 14625 (java) S 14596 14600 4973 0 -1 1077944384 532 0 0 0 6 0 0 0 20 0 15 0 97428168 14315687936 11161 33554432000 4194304 4196468 140726313810160 140702562298480 140703094553218 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29556736 140726313813098 140726313813284 140726313813284 140726313816015 0
[pid=14600/tid=14630] ppid=14596 vsize=13980164 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14600/task/14630/stat : 14630 (java) S 14596 14600 4973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97428168 14315687936 11161 33554432000 4194304 4196468 140726313810160 140702561245920 140703094552277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29556736 140726313813098 140726313813284 140726313813284 140726313816015 0
[pid=14600/tid=14632] ppid=14596 vsize=13980164 memory=139988730488448 CPUtime=0 cores=1,3,5,7
/proc/14600/task/14632/stat : 14632 (java) S 14596 14600 4973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97428168 14315687936 11161 33554432000 4194304 4196468 140726313810160 140702560193200 140703094553218 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29556736 140726313813098 140726313813284 140726313813284 140726313816015 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 13980164 KiB
Current children cumulated memory: 44644 KiB

[startup+0.31018 s]*
/proc/loadavg: 2.89 3.02 2.52 3/218 14633
/proc/meminfo: memFree=28665332/32770624 swapFree=67108860/67108860
[pid=14600] ppid=14596 vsize=13980184 memory=50876 CPUtime=0.46 cores=1,3,5,7
/proc/14600/stat : 14600 (java) S 14596 14600 4973 0 -1 1077944320 9989 0 1 0 44 2 0 0 20 0 15 0 97428163 14315708416 12719 33554432000 4194304 4196468 140726313810160 140726313792704 140703094542071 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 29556736 140726313813098 140726313813284 140726313813284 140726313816015 0
/proc/14600/statm: 3495046 12719 3711 1 0 3482761 0
[pid=14600/tid=14607] ppid=14596 vsize=13980184 memory=8390339637985935414 CPUtime=0.28 cores=1,3,5,7
/proc/14600/task/14607/stat : 14607 (java) R 14596 14600 4973 0 -1 4202560 7127 0 1 0 26 2 0 0 20 0 15 0 97428163 14315708416 12719 33554432000 4194304 4196468 140726313810160 140703098762944 140703094554006 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 29556736 140726313813098 140726313813284 140726313813284 140726313816015 0
[pid=14600/tid=14612] ppid=14596 vsize=13980184 memory=304556149079015447 CPUtime=0 cores=1,3,5,7
/proc/14600/task/14612/stat : 14612 (java) S 14596 14600 4973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97428164 14315708416 12719 33554432000 4194304 4196468 140726313810160 140702690245776 140703094552277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29556736 140726313813098 140726313813284 140726313813284 140726313816015 0
[pid=14600/tid=14613] ppid=14596 vsize=13980184 memory=139988730502345 CPUtime=0 cores=1,3,5,7
/proc/14600/task/14613/stat : 14613 (java) S 14596 14600 4973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97428164 14315708416 12719 33554432000 4194304 4196468 140726313810160 140702689192976 140703094552277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29556736 140726313813098 140726313813284 140726313813284 140726313816015 0
[pid=14600/tid=14614] ppid=14596 vsize=13980184 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14600/task/14614/stat : 14614 (java) S 14596 14600 4973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97428164 14315708416 12719 33554432000 4194304 4196468 140726313810160 140702688140176 140703094552277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29556736 140726313813098 140726313813284 140726313813284 140726313816015 0
[pid=14600/tid=14615] ppid=14596 vsize=13980184 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14600/task/14615/stat : 14615 (java) S 14596 14600 4973 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 97428164 14315708416 12719 33554432000 4194304 4196468 140726313810160 140702687087376 140703094552277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29556736 140726313813098 140726313813284 140726313813284 140726313816015 0
[pid=14600/tid=14616] ppid=14596 vsize=13980184 memory=139988730488448 CPUtime=0 cores=1,3,5,7
/proc/14600/task/14616/stat : 14616 (java) S 14596 14600 4973 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 97428165 14315708416 12719 33554432000 4194304 4196468 140726313810160 140702568614256 140703094553218 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29556736 140726313813098 140726313813284 140726313813284 140726313816015 0
[pid=14600/tid=14618] ppid=14596 vsize=13980184 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14600/task/14618/stat : 14618 (java) S 14596 14600 4973 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 97428165 14315708416 12719 33554432000 4194304 4196468 140726313810160 140702567560224 140703094552277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29556736 140726313813098 140726313813284 140726313813284 140726313816015 0
[pid=14600/tid=14620] ppid=14596 vsize=13980184 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14600/task/14620/stat : 14620 (java) S 14596 14600 4973 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 97428166 14315708416 12719 33554432000 4194304 4196468 140726313810160 140702566507376 140703094552277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29556736 140726313813098 140726313813284 140726313813284 140726313816015 0
[pid=14600/tid=14622] ppid=14596 vsize=13980184 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14600/task/14622/stat : 14622 (java) S 14596 14600 4973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97428168 14315708416 12719 33554432000 4194304 4196468 140726313810160 140702565455696 140703094560667 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29556736 140726313813098 140726313813284 140726313813284 140726313816015 0
[pid=14600/tid=14623] ppid=14596 vsize=13980184 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/14600/task/14623/stat : 14623 (java) S 14596 14600 4973 0 -1 1077944384 460 0 0 0 2 0 0 0 20 0 15 0 97428168 14315708416 12719 33554432000 4194304 4196468 140726313810160 140702564404080 140703094553218 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29556736 140726313813098 140726313813284 140726313813284 140726313816015 0
[pid=14600/tid=14624] ppid=14596 vsize=13980184 memory=-1 CPUtime=0.05 cores=1,3,5,7
/proc/14600/task/14624/stat : 14624 (java) S 14596 14600 4973 0 -1 1077944384 385 0 0 0 5 0 0 0 20 0 15 0 97428168 14315708416 12719 33554432000 4194304 4196468 140726313810160 140702563351280 140703094553218 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29556736 140726313813098 140726313813284 140726313813284 140726313816015 0
[pid=14600/tid=14625] ppid=14596 vsize=13980184 memory=139988730488448 CPUtime=0.08 cores=1,3,5,7
/proc/14600/task/14625/stat : 14625 (java) S 14596 14600 4973 0 -1 1077944384 637 0 0 0 8 0 0 0 20 0 15 0 97428168 14315708416 12719 33554432000 4194304 4196468 140726313810160 140702562298480 140703094553218 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29556736 140726313813098 140726313813284 140726313813284 140726313816015 0
[pid=14600/tid=14630] ppid=14596 vsize=13980184 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14600/task/14630/stat : 14630 (java) S 14596 14600 4973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97428168 14315708416 12719 33554432000 4194304 4196468 140726313810160 140702561245920 140703094552277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29556736 140726313813098 140726313813284 140726313813284 140726313816015 0
[pid=14600/tid=14632] ppid=14596 vsize=13980184 memory=139988730488448 CPUtime=0 cores=1,3,5,7
/proc/14600/task/14632/stat : 14632 (java) S 14596 14600 4973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97428168 14315708416 12719 33554432000 4194304 4196468 140726313810160 140702560193200 140703094553218 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29556736 140726313813098 140726313813284 140726313813284 140726313816015 0
Current children cumulated CPU time: 0.46 s
Current children cumulated vsize: 13980184 KiB
Current children cumulated memory: 50876 KiB

[startup+0.706522 s]
/proc/loadavg: 2.89 3.02 2.52 9/218 14633
/proc/meminfo: memFree=28620844/32770624 swapFree=67108860/67108860
[pid=14600] ppid=14596 vsize=13982232 memory=143844 CPUtime=1.46 cores=1,3,5,7
/proc/14600/stat : 14600 (java) S 14596 14600 4973 0 -1 1077944320 13742 0 1 0 141 5 0 0 20 0 15 0 97428163 14317805568 35961 33554432000 4194304 4196468 140726313810160 140726313792704 140703094542071 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 29556736 140726313813098 140726313813284 140726313813284 140726313816015 0
/proc/14600/statm: 3495558 35961 3754 1 0 3483273 0
[pid=14600/tid=14607] ppid=14596 vsize=13982232 memory=1728 CPUtime=0.67 cores=1,3,5,7
/proc/14600/task/14607/stat : 14607 (java) R 14596 14600 4973 0 -1 4202560 7755 0 1 0 64 3 0 0 20 0 15 0 97428163 14317805568 35961 33554432000 4194304 4196468 140726313810160 140703098776304 140702732797953 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 29556736 140726313813098 140726313813284 140726313813284 140726313816015 0
[pid=14600/tid=14612] ppid=14596 vsize=13982232 memory=792 CPUtime=0 cores=1,3,5,7
/proc/14600/task/14612/stat : 14612 (java) S 14596 14600 4973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97428164 14317805568 35961 33554432000 4194304 4196468 140726313810160 140702690245776 140703094552277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29556736 140726313813098 140726313813284 140726313813284 140726313816015 0
[pid=14600/tid=14613] ppid=14596 vsize=13982232 memory=9992 CPUtime=0 cores=1,3,5,7
/proc/14600/task/14613/stat : 14613 (java) S 14596 14600 4973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97428164 14317805568 35961 33554432000 4194304 4196468 140726313810160 140702689192976 140703094552277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29556736 140726313813098 140726313813284 140726313813284 140726313816015 0
[pid=14600/tid=14614] ppid=14596 vsize=13982232 memory=1224 CPUtime=0 cores=1,3,5,7
/proc/14600/task/14614/stat : 14614 (java) S 14596 14600 4973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97428164 14317805568 35961 33554432000 4194304 4196468 140726313810160 140702688140176 140703094552277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29556736 140726313813098 140726313813284 140726313813284 140726313816015 0
[pid=14600/tid=14615] ppid=14596 vsize=13982232 memory=5716 CPUtime=0 cores=1,3,5,7
/proc/14600/task/14615/stat : 14615 (java) S 14596 14600 4973 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 97428164 14317805568 35961 33554432000 4194304 4196468 140726313810160 140702687087376 140703094552277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29556736 140726313813098 140726313813284 140726313813284 140726313816015 0
[pid=14600/tid=14616] ppid=14596 vsize=13982232 memory=1708 CPUtime=0 cores=1,3,5,7
/proc/14600/task/14616/stat : 14616 (java) S 14596 14600 4973 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 97428165 14317805568 35961 33554432000 4194304 4196468 140726313810160 140702568614256 140703094553218 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29556736 140726313813098 140726313813284 140726313813284 140726313816015 0
[pid=14600/tid=14618] ppid=14596 vsize=13982232 memory=4612 CPUtime=0 cores=1,3,5,7
/proc/14600/task/14618/stat : 14618 (java) S 14596 14600 4973 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 97428165 14317805568 35961 33554432000 4194304 4196468 140726313810160 140702567560224 140703094552277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29556736 140726313813098 140726313813284 140726313813284 140726313816015 0
[pid=14600/tid=14620] ppid=14596 vsize=13982232 memory=1008 CPUtime=0 cores=1,3,5,7
/proc/14600/task/14620/stat : 14620 (java) S 14596 14600 4973 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 97428166 14317805568 35961 33554432000 4194304 4196468 140726313810160 140702566507376 140703094552277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29556736 140726313813098 140726313813284 140726313813284 140726313816015 0
[pid=14600/tid=14622] ppid=14596 vsize=13982232 memory=1944 CPUtime=0 cores=1,3,5,7
/proc/14600/task/14622/stat : 14622 (java) S 14596 14600 4973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97428168 14317805568 35961 33554432000 4194304 4196468 140726313810160 140702565455696 140703094560667 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29556736 140726313813098 140726313813284 140726313813284 140726313816015 0
[pid=14600/tid=14623] ppid=14596 vsize=13982232 memory=4639098309541127021 CPUtime=0.26 cores=1,3,5,7
/proc/14600/task/14623/stat : 14623 (java) R 14596 14600 4973 0 -1 4202560 1945 0 0 0 26 0 0 0 20 0 15 0 97428168 14317805568 35961 33554432000 4194304 4196468 140726313810160 140702564385096 140703073780544 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29556736 140726313813098 140726313813284 140726313813284 140726313816015 0
[pid=14600/tid=14624] ppid=14596 vsize=13982232 memory=7597685182856913236 CPUtime=0.29 cores=1,3,5,7
/proc/14600/task/14624/stat : 14624 (java) S 14596 14600 4973 0 -1 1077944384 1316 0 0 0 29 0 0 0 20 0 15 0 97428168 14317805568 35961 33554432000 4194304 4196468 140726313810160 140702563351280 140703094553218 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29556736 140726313813098 140726313813284 140726313813284 140726313816015 0
[pid=14600/tid=14625] ppid=14596 vsize=13982232 memory=7236547281622689387 CPUtime=0.22 cores=1,3,5,7
/proc/14600/task/14625/stat : 14625 (java) S 14596 14600 4973 0 -1 1077944384 1345 0 0 0 22 0 0 0 20 0 15 0 97428168 14317805568 35961 33554432000 4194304 4196468 140726313810160 140702562298480 140703094553218 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29556736 140726313813098 140726313813284 140726313813284 140726313816015 0
[pid=14600/tid=14630] ppid=14596 vsize=13982232 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14600/task/14630/stat : 14630 (java) S 14596 14600 4973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97428168 14317805568 35961 33554432000 4194304 4196468 140726313810160 140702561245920 140703094552277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29556736 140726313813098 140726313813284 140726313813284 140726313816015 0
[pid=14600/tid=14632] ppid=14596 vsize=13982232 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14600/task/14632/stat : 14632 (java) S 14596 14600 4973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97428168 14317805568 35961 33554432000 4194304 4196468 140726313810160 140702560193200 140703094553218 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29556736 140726313813098 140726313813284 140726313813284 140726313816015 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 13982232 KiB
Current children cumulated memory: 143844 KiB

[startup+1.5008 s]
/proc/loadavg: 2.89 3.02 2.52 9/218 14633
/proc/meminfo: memFree=28323288/32770624 swapFree=67108860/67108860
[pid=14600] ppid=14596 vsize=13982232 memory=392420 CPUtime=3.75 cores=1,3,5,7
/proc/14600/stat : 14600 (java) S 14596 14600 4973 0 -1 1077944320 18380 0 1 0 361 14 0 0 20 0 15 0 97428163 14317805568 98105 33554432000 4194304 4196468 140726313810160 140726313792704 140703094542071 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 29556736 140726313813098 140726313813284 140726313813284 140726313816015 0
/proc/14600/statm: 3495558 98105 3808 1 0 3483273 0
[pid=14600/tid=14607] ppid=14596 vsize=13982232 memory=6791534058613427641 CPUtime=1.36 cores=1,3,5,7
/proc/14600/task/14607/stat : 14607 (java) R 14596 14600 4973 0 -1 4202560 7860 0 1 0 131 5 0 0 20 0 15 0 97428163 14317805568 98105 33554432000 4194304 4196468 140726313810160 140703098777600 140702731874227 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 29556736 140726313813098 140726313813284 140726313813284 140726313816015 0
[pid=14600/tid=14612] ppid=14596 vsize=13982232 memory=40100 CPUtime=0.05 cores=1,3,5,7
/proc/14600/task/14612/stat : 14612 (java) S 14596 14600 4973 0 -1 1077944384 127 0 0 0 4 1 0 0 20 0 15 0 97428164 14317805568 98105 33554432000 4194304 4196468 140726313810160 140702690245776 140703094552277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29556736 140726313813098 140726313813284 140726313813284 140726313816015 0
[pid=14600/tid=14613] ppid=14596 vsize=13982232 memory=6944656592385698452 CPUtime=0.07 cores=1,3,5,7
/proc/14600/task/14613/stat : 14613 (java) S 14596 14600 4973 0 -1 1077944384 104 0 0 0 6 1 0 0 20 0 15 0 97428164 14317805568 98105 33554432000 4194304 4196468 140726313810160 140702689192976 140703094552277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29556736 140726313813098 140726313813284 140726313813284 140726313816015 0
[pid=14600/tid=14614] ppid=14596 vsize=13982232 memory=-4504271847523324239 CPUtime=0.04 cores=1,3,5,7
/proc/14600/task/14614/stat : 14614 (java) S 14596 14600 4973 0 -1 1077944384 32 0 0 0 4 0 0 0 20 0 15 0 97428164 14317805568 98105 33554432000 4194304 4196468 140726313810160 140702688140176 140703094552277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29556736 140726313813098 140726313813284 140726313813284 140726313816015 0
[pid=14600/tid=14615] ppid=14596 vsize=13982232 memory=9051283677730746851 CPUtime=0.07 cores=1,3,5,7
/proc/14600/task/14615/stat : 14615 (java) S 14596 14600 4973 0 -1 1077944384 116 0 0 0 6 1 0 0 20 0 15 0 97428164 14317805568 98105 33554432000 4194304 4196468 140726313810160 140702687087376 140703094552277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29556736 140726313813098 140726313813284 140726313813284 140726313816015 0
[pid=14600/tid=14616] ppid=14596 vsize=13982232 memory=-7022074515825631275 CPUtime=0 cores=1,3,5,7
/proc/14600/task/14616/stat : 14616 (java) S 14596 14600 4973 0 -1 1077944384 87 0 0 0 0 0 0 0 20 0 15 0 97428165 14317805568 98105 33554432000 4194304 4196468 140726313810160 140702568614256 140703094553218 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29556736 140726313813098 140726313813284 140726313813284 140726313816015 0

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

/proc/14600/task/14607/stat : 14607 (java) R 14596 14600 4973 0 -1 4202560 53443 0 1 0 9317 38 0 0 20 0 15 0 97428163 14319902720 2084213 33554432000 4194304 4196468 140726313810160 140703098777424 140702741412684 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 29556736 140726313813098 140726313813284 140726313813284 140726313816015 0
[pid=14600/tid=14612] ppid=14596 vsize=13984280 memory=8336852 CPUtime=8.23 cores=1,3,5,7
/proc/14600/task/14612/stat : 14612 (java) S 14596 14600 4973 0 -1 1077944384 13089 0 0 0 659 164 0 0 20 0 15 0 97428164 14319902720 2084213 33554432000 4194304 4196468 140726313810160 140702690245776 140703094552277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29556736 140726313813098 140726313813284 140726313813284 140726313816015 0
[pid=14600/tid=14613] ppid=14596 vsize=13984280 memory=8336852 CPUtime=8.31 cores=1,3,5,7
/proc/14600/task/14613/stat : 14613 (java) S 14596 14600 4973 0 -1 1077944384 16680 0 0 0 658 173 0 0 20 0 15 0 97428164 14319902720 2084213 33554432000 4194304 4196468 140726313810160 140702689192976 140703094552277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29556736 140726313813098 140726313813284 140726313813284 140726313816015 0
[pid=14600/tid=14614] ppid=14596 vsize=13984280 memory=0 CPUtime=8.28 cores=1,3,5,7
/proc/14600/task/14614/stat : 14614 (java) S 14596 14600 4973 0 -1 1077944384 33314 0 0 0 651 177 0 0 20 0 15 0 97428164 14319902720 2084213 33554432000 4194304 4196468 140726313810160 140702688140176 140703094552277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29556736 140726313813098 140726313813284 140726313813284 140726313816015 0
[pid=14600/tid=14615] ppid=14596 vsize=13984280 memory=56 CPUtime=8.26 cores=1,3,5,7
/proc/14600/task/14615/stat : 14615 (java) S 14596 14600 4973 0 -1 1077944384 14139 0 0 0 654 172 0 0 20 0 15 0 97428164 14319902720 2084213 33554432000 4194304 4196468 140726313810160 140702687087376 140703094552277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29556736 140726313813098 140726313813284 140726313813284 140726313816015 0
[pid=14600/tid=14616] ppid=14596 vsize=13984280 memory=8336836 CPUtime=0.3 cores=1,3,5,7
/proc/14600/task/14616/stat : 14616 (java) S 14596 14600 4973 0 -1 1077944384 13274 0 0 0 29 1 0 0 20 0 15 0 97428165 14319902720 2084213 33554432000 4194304 4196468 140726313810160 140702568614256 140703094553218 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29556736 140726313813098 140726313813284 140726313813284 140726313816015 0
[pid=14600/tid=14618] ppid=14596 vsize=13984280 memory=8336836 CPUtime=0 cores=1,3,5,7
/proc/14600/task/14618/stat : 14618 (java) S 14596 14600 4973 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 97428165 14319902720 2084213 33554432000 4194304 4196468 140726313810160 140702567560288 140703094552277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29556736 140726313813098 140726313813284 140726313813284 140726313816015 0
[pid=14600/tid=14620] ppid=14596 vsize=13984280 memory=8336836 CPUtime=0 cores=1,3,5,7
/proc/14600/task/14620/stat : 14620 (java) S 14596 14600 4973 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 97428166 14319902720 2084213 33554432000 4194304 4196468 140726313810160 140702566507392 140703094552277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29556736 140726313813098 140726313813284 140726313813284 140726313816015 0
[pid=14600/tid=14622] ppid=14596 vsize=13984280 memory=28276 CPUtime=0 cores=1,3,5,7
/proc/14600/task/14622/stat : 14622 (java) S 14596 14600 4973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97428168 14319902720 2084213 33554432000 4194304 4196468 140726313810160 140702565455696 140703094560667 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29556736 140726313813098 140726313813284 140726313813284 140726313816015 0
[pid=14600/tid=14623] ppid=14596 vsize=13984280 memory=4144 CPUtime=3.24 cores=1,3,5,7
/proc/14600/task/14623/stat : 14623 (java) S 14596 14600 4973 0 -1 1077944384 11769 0 0 0 322 2 0 0 20 0 15 0 97428168 14319902720 2084213 33554432000 4194304 4196468 140726313810160 140702564404080 140703094553218 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29556736 140726313813098 140726313813284 140726313813284 140726313816015 0
[pid=14600/tid=14624] ppid=14596 vsize=13984280 memory=28276 CPUtime=3.16 cores=1,3,5,7
/proc/14600/task/14624/stat : 14624 (java) S 14596 14600 4973 0 -1 1077944384 12348 0 0 0 314 2 0 0 20 0 15 0 97428168 14319902720 2084213 33554432000 4194304 4196468 140726313810160 140702563351280 140703094553218 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29556736 140726313813098 140726313813284 140726313813284 140726313816015 0
[pid=14600/tid=14625] ppid=14596 vsize=13984280 memory=8336852 CPUtime=0.76 cores=1,3,5,7
/proc/14600/task/14625/stat : 14625 (java) S 14596 14600 4973 0 -1 1077944384 8423 0 0 0 74 2 0 0 20 0 15 0 97428168 14319902720 2084213 33554432000 4194304 4196468 140726313810160 140702562298480 140703094553218 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29556736 140726313813098 140726313813284 140726313813284 140726313816015 0
[pid=14600/tid=14630] ppid=14596 vsize=13984280 memory=8336852 CPUtime=0 cores=1,3,5,7
/proc/14600/task/14630/stat : 14630 (java) S 14596 14600 4973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97428168 14319902720 2084213 33554432000 4194304 4196468 140726313810160 140702561245920 140703094552277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29556736 140726313813098 140726313813284 140726313813284 140726313816015 0
[pid=14600/tid=14632] ppid=14596 vsize=13984280 memory=8325324 CPUtime=0.06 cores=1,3,5,7
/proc/14600/task/14632/stat : 14632 (java) S 14596 14600 4973 0 -1 1077944384 764 0 0 0 4 2 0 0 20 0 15 0 97428168 14319902720 2084213 33554432000 4194304 4196468 140726313810160 140702560193200 140703094553218 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29556736 140726313813098 140726313813284 140726313813284 140726313816015 0
Current children cumulated CPU time: 134.22 s
Current children cumulated vsize: 13984280 KiB
Current children cumulated memory: 8336852 KiB

[startup+162.301 s]
/proc/loadavg: 2.32 2.81 2.53 3/218 14635
/proc/meminfo: memFree=17974196/32770624 swapFree=67108860/67108860
[pid=14600] ppid=14596 vsize=13984280 memory=8351060 CPUtime=194.88 cores=1,3,5,7
/proc/14600/stat : 14600 (java) S 14596 14600 4973 0 -1 1077944320 250424 0 1 0 18743 745 0 0 20 0 15 0 97428163 14319902720 2087765 33554432000 4194304 4196468 140726313810160 140726313792704 140703094542071 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 29556736 140726313813098 140726313813284 140726313813284 140726313816015 0
/proc/14600/statm: 3496070 2087765 3844 1 0 3483785 0
[pid=14600/tid=14607] ppid=14596 vsize=13984280 memory=8351060 CPUtime=153.35 cores=1,3,5,7
/proc/14600/task/14607/stat : 14607 (java) R 14596 14600 4973 0 -1 4202560 103084 0 1 0 15292 43 0 0 20 0 15 0 97428163 14319902720 2087765 33554432000 4194304 4196468 140726313810160 140703098771808 140702741412473 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 29556736 140726313813098 140726313813284 140726313813284 140726313816015 0
[pid=14600/tid=14612] ppid=14596 vsize=13984280 memory=8351060 CPUtime=8.42 cores=1,3,5,7
/proc/14600/task/14612/stat : 14612 (java) S 14596 14600 4973 0 -1 1077944384 15714 0 0 0 678 164 0 0 20 0 15 0 97428164 14319902720 2087765 33554432000 4194304 4196468 140726313810160 140702690245776 140703094552277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29556736 140726313813098 140726313813284 140726313813284 140726313816015 0
[pid=14600/tid=14613] ppid=14596 vsize=13984280 memory=8351060 CPUtime=8.51 cores=1,3,5,7
/proc/14600/task/14613/stat : 14613 (java) S 14596 14600 4973 0 -1 1077944384 23198 0 0 0 677 174 0 0 20 0 15 0 97428164 14319902720 2087765 33554432000 4194304 4196468 140726313810160 140702689192976 140703094552277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29556736 140726313813098 140726313813284 140726313813284 140726313816015 0
[pid=14600/tid=14614] ppid=14596 vsize=13984280 memory=8351060 CPUtime=8.47 cores=1,3,5,7
/proc/14600/task/14614/stat : 14614 (java) S 14596 14600 4973 0 -1 1077944384 39973 0 0 0 670 177 0 0 20 0 15 0 97428164 14319902720 2087765 33554432000 4194304 4196468 140726313810160 140702688140176 140703094552277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29556736 140726313813098 140726313813284 140726313813284 140726313816015 0
[pid=14600/tid=14615] ppid=14596 vsize=13984280 memory=8351060 CPUtime=8.45 cores=1,3,5,7
/proc/14600/task/14615/stat : 14615 (java) S 14596 14600 4973 0 -1 1077944384 16814 0 0 0 673 172 0 0 20 0 15 0 97428164 14319902720 2087765 33554432000 4194304 4196468 140726313810160 140702687087376 140703094552277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29556736 140726313813098 140726313813284 140726313813284 140726313816015 0
[pid=14600/tid=14616] ppid=14596 vsize=13984280 memory=8351060 CPUtime=0.3 cores=1,3,5,7
/proc/14600/task/14616/stat : 14616 (java) S 14596 14600 4973 0 -1 1077944384 13422 0 0 0 29 1 0 0 20 0 15 0 97428165 14319902720 2087765 33554432000 4194304 4196468 140726313810160 140702568614256 140703094553218 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29556736 140726313813098 140726313813284 140726313813284 140726313816015 0
[pid=14600/tid=14618] ppid=14596 vsize=13984280 memory=279977241966880 CPUtime=0 cores=1,3,5,7
/proc/14600/task/14618/stat : 14618 (java) S 14596 14600 4973 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 97428165 14319902720 2087765 33554432000 4194304 4196468 140726313810160 140702567560288 140703094552277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29556736 140726313813098 140726313813284 140726313813284 140726313816015 0
[pid=14600/tid=14620] ppid=14596 vsize=13984280 memory=8351060 CPUtime=0 cores=1,3,5,7
/proc/14600/task/14620/stat : 14620 (java) S 14596 14600 4973 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 97428166 14319902720 2087765 33554432000 4194304 4196468 140726313810160 140702566507392 140703094552277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29556736 140726313813098 140726313813284 140726313813284 140726313816015 0
[pid=14600/tid=14622] ppid=14596 vsize=13984280 memory=8351060 CPUtime=0 cores=1,3,5,7
/proc/14600/task/14622/stat : 14622 (java) S 14596 14600 4973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97428168 14319902720 2087765 33554432000 4194304 4196468 140726313810160 140702565455696 140703094560667 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29556736 140726313813098 140726313813284 140726313813284 140726313816015 0
[pid=14600/tid=14623] ppid=14596 vsize=13984280 memory=3832 CPUtime=3.24 cores=1,3,5,7
/proc/14600/task/14623/stat : 14623 (java) S 14596 14600 4973 0 -1 1077944384 12153 0 0 0 322 2 0 0 20 0 15 0 97428168 14319902720 2087765 33554432000 4194304 4196468 140726313810160 140702564404080 140703094553218 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29556736 140726313813098 140726313813284 140726313813284 140726313816015 0
[pid=14600/tid=14624] ppid=14596 vsize=13984280 memory=4108 CPUtime=3.17 cores=1,3,5,7
/proc/14600/task/14624/stat : 14624 (java) S 14596 14600 4973 0 -1 1077944384 13717 0 0 0 315 2 0 0 20 0 15 0 97428168 14319902720 2087765 33554432000 4194304 4196468 140726313810160 140702563351280 140703094553218 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29556736 140726313813098 140726313813284 140726313813284 140726313816015 0
[pid=14600/tid=14625] ppid=14596 vsize=13984280 memory=8351060 CPUtime=0.77 cores=1,3,5,7
/proc/14600/task/14625/stat : 14625 (java) S 14596 14600 4973 0 -1 1077944384 10143 0 0 0 75 2 0 0 20 0 15 0 97428168 14319902720 2087765 33554432000 4194304 4196468 140726313810160 140702562298480 140703094553218 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29556736 140726313813098 140726313813284 140726313813284 140726313816015 0
[pid=14600/tid=14630] ppid=14596 vsize=13984280 memory=1424 CPUtime=0 cores=1,3,5,7
/proc/14600/task/14630/stat : 14630 (java) S 14596 14600 4973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97428168 14319902720 2087765 33554432000 4194304 4196468 140726313810160 140702561245920 140703094552277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29556736 140726313813098 140726313813284 140726313813284 140726313816015 0
[pid=14600/tid=14632] ppid=14596 vsize=13984280 memory=4144 CPUtime=0.09 cores=1,3,5,7
/proc/14600/task/14632/stat : 14632 (java) S 14596 14600 4973 0 -1 1077944384 795 0 0 0 5 4 0 0 20 0 15 0 97428168 14319902720 2087765 33554432000 4194304 4196468 140726313810160 140702560193200 140703094553218 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29556736 140726313813098 140726313813284 140726313813284 140726313816015 0
Current children cumulated CPU time: 194.88 s
Current children cumulated vsize: 13984280 KiB
Current children cumulated memory: 8351060 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+218.701 s]
/proc/loadavg: 2.13 2.67 2.49 3/218 14636
/proc/meminfo: memFree=17972292/32770624 swapFree=67108860/67108860
[pid=14600] ppid=14596 vsize=13984280 memory=8307428 CPUtime=252.07 cores=1,3,5,7
/proc/14600/stat : 14600 (java) S 14596 14600 4973 0 -1 1077944320 295689 0 1 0 24457 750 0 0 20 0 15 0 97428163 14319902720 2076857 33554432000 4194304 4196468 140726313810160 140726313792704 140703094542071 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 29556736 140726313813098 140726313813284 140726313813284 140726313816015 0
/proc/14600/statm: 3496070 2076857 3844 1 0 3483785 0
[pid=14600/tid=14607] ppid=14596 vsize=13984280 memory=8307428 CPUtime=209.5 cores=1,3,5,7
/proc/14600/task/14607/stat : 14607 (java) R 14596 14600 4973 0 -1 4202560 133369 0 1 0 20905 45 0 0 20 0 15 0 97428163 14319902720 2076857 33554432000 4194304 4196468 140726313810160 140703098771856 140702741412668 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 29556736 140726313813098 140726313813284 140726313813284 140726313816015 0
[pid=14600/tid=14612] ppid=14596 vsize=13984280 memory=8307428 CPUtime=8.67 cores=1,3,5,7
/proc/14600/task/14612/stat : 14612 (java) S 14596 14600 4973 0 -1 1077944384 16084 0 0 0 703 164 0 0 20 0 15 0 97428164 14319902720 2076857 33554432000 4194304 4196468 140726313810160 140702690245776 140703094552277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29556736 140726313813098 140726313813284 140726313813284 140726313816015 0
[pid=14600/tid=14613] ppid=14596 vsize=13984280 memory=8351344 CPUtime=8.76 cores=1,3,5,7
/proc/14600/task/14613/stat : 14613 (java) S 14596 14600 4973 0 -1 1077944384 25889 0 0 0 702 174 0 0 20 0 15 0 97428164 14319902720 2076857 33554432000 4194304 4196468 140726313810160 140702689192976 140703094552277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29556736 140726313813098 140726313813284 140726313813284 140726313816015 0
[pid=14600/tid=14614] ppid=14596 vsize=13984280 memory=8351344 CPUtime=8.73 cores=1,3,5,7
/proc/14600/task/14614/stat : 14614 (java) S 14596 14600 4973 0 -1 1077944384 42699 0 0 0 696 177 0 0 20 0 15 0 97428164 14319902720 2076857 33554432000 4194304 4196468 140726313810160 140702688140176 140703094552277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29556736 140726313813098 140726313813284 140726313813284 140726313816015 0
[pid=14600/tid=14615] ppid=14596 vsize=13984280 memory=8307428 CPUtime=8.7 cores=1,3,5,7
/proc/14600/task/14615/stat : 14615 (java) S 14596 14600 4973 0 -1 1077944384 24603 0 0 0 698 172 0 0 20 0 15 0 97428164 14319902720 2076857 33554432000 4194304 4196468 140726313810160 140702687087376 140703094552277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29556736 140726313813098 140726313813284 140726313813284 140726313816015 0
[pid=14600/tid=14616] ppid=14596 vsize=13984280 memory=8307428 CPUtime=0.3 cores=1,3,5,7
/proc/14600/task/14616/stat : 14616 (java) S 14596 14600 4973 0 -1 1077944384 13527 0 0 0 29 1 0 0 20 0 15 0 97428165 14319902720 2076857 33554432000 4194304 4196468 140726313810160 140702568614256 140703094553218 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29556736 140726313813098 140726313813284 140726313813284 140726313816015 0
[pid=14600/tid=14618] ppid=14596 vsize=13984280 memory=8307428 CPUtime=0 cores=1,3,5,7
/proc/14600/task/14618/stat : 14618 (java) S 14596 14600 4973 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 97428165 14319902720 2076857 33554432000 4194304 4196468 140726313810160 140702567560288 140703094552277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29556736 140726313813098 140726313813284 140726313813284 140726313816015 0
[pid=14600/tid=14620] ppid=14596 vsize=13984280 memory=1292 CPUtime=0 cores=1,3,5,7
/proc/14600/task/14620/stat : 14620 (java) S 14596 14600 4973 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 97428166 14319902720 2076857 33554432000 4194304 4196468 140726313810160 140702566507392 140703094552277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29556736 140726313813098 140726313813284 140726313813284 140726313816015 0
[pid=14600/tid=14622] ppid=14596 vsize=13984280 memory=2428 CPUtime=0 cores=1,3,5,7
/proc/14600/task/14622/stat : 14622 (java) S 14596 14600 4973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97428168 14319902720 2076857 33554432000 4194304 4196468 140726313810160 140702565455696 140703094560667 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29556736 140726313813098 140726313813284 140726313813284 140726313816015 0
[pid=14600/tid=14623] ppid=14596 vsize=13984280 memory=279977241656984 CPUtime=3.24 cores=1,3,5,7
/proc/14600/task/14623/stat : 14623 (java) S 14596 14600 4973 0 -1 1077944384 12160 0 0 0 322 2 0 0 20 0 15 0 97428168 14319902720 2076857 33554432000 4194304 4196468 140726313810160 140702564404080 140703094553218 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29556736 140726313813098 140726313813284 140726313813284 140726313816015 0
[pid=14600/tid=14624] ppid=14596 vsize=13984280 memory=-2895008908443676273 CPUtime=3.17 cores=1,3,5,7
/proc/14600/task/14624/stat : 14624 (java) S 14596 14600 4973 0 -1 1077944384 13720 0 0 0 315 2 0 0 20 0 15 0 97428168 14319902720 2076857 33554432000 4194304 4196468 140726313810160 140702563351280 140703094553218 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29556736 140726313813098 140726313813284 140726313813284 140726313816015 0
[pid=14600/tid=14625] ppid=14596 vsize=13984280 memory=8351344 CPUtime=0.77 cores=1,3,5,7
/proc/14600/task/14625/stat : 14625 (java) S 14596 14600 4973 0 -1 1077944384 11403 0 0 0 75 2 0 0 20 0 15 0 97428168 14319902720 2076857 33554432000 4194304 4196468 140726313810160 140702562298480 140703094553218 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29556736 140726313813098 140726313813284 140726313813284 140726313816015 0
[pid=14600/tid=14630] ppid=14596 vsize=13984280 memory=8351344 CPUtime=0 cores=1,3,5,7
/proc/14600/task/14630/stat : 14630 (java) S 14596 14600 4973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97428168 14319902720 2076857 33554432000 4194304 4196468 140726313810160 140702561245920 140703094552277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29556736 140726313813098 140726313813284 140726313813284 140726313816015 0
[pid=14600/tid=14632] ppid=14596 vsize=13984280 memory=8307428 CPUtime=0.13 cores=1,3,5,7
/proc/14600/task/14632/stat : 14632 (java) S 14596 14600 4973 0 -1 1077944384 824 0 0 0 7 6 0 0 20 0 15 0 97428168 14319902720 2076857 33554432000 4194304 4196468 140726313810160 140702560193200 140703094553218 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29556736 140726313813098 140726313813284 140726313813284 140726313816015 0
Current children cumulated CPU time: 252.07 s
Current children cumulated vsize: 13984280 KiB
Current children cumulated memory: 8307428 KiB

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

[startup+218.758 s]
# the end of solver process 14600 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=244.621 s, system=7.54689 s

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

[startup+218.701 s]
/proc/loadavg: 2.13 2.67 2.49 3/218 14636
/proc/meminfo: memFree=17972292/32770624 swapFree=67108860/67108860
[pid=14600] ppid=14596 vsize=13984280 memory=8307428 CPUtime=252.07 cores=1,3,5,7
/proc/14600/stat : 14600 (java) S 14596 14600 4973 0 -1 1077944320 295689 0 1 0 24457 750 0 0 20 0 15 0 97428163 14319902720 2076857 33554432000 4194304 4196468 140726313810160 140726313792704 140703094542071 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 29556736 140726313813098 140726313813284 140726313813284 140726313816015 0
/proc/14600/statm: 3496070 2076857 3844 1 0 3483785 0
[pid=14600/tid=14607] ppid=14596 vsize=13984280 memory=8307428 CPUtime=209.5 cores=1,3,5,7
/proc/14600/task/14607/stat : 14607 (java) R 14596 14600 4973 0 -1 4202560 133369 0 1 0 20905 45 0 0 20 0 15 0 97428163 14319902720 2076857 33554432000 4194304 4196468 140726313810160 140703098771856 140702741412668 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 29556736 140726313813098 140726313813284 140726313813284 140726313816015 0
[pid=14600/tid=14612] ppid=14596 vsize=13984280 memory=8307428 CPUtime=8.67 cores=1,3,5,7
/proc/14600/task/14612/stat : 14612 (java) S 14596 14600 4973 0 -1 1077944384 16084 0 0 0 703 164 0 0 20 0 15 0 97428164 14319902720 2076857 33554432000 4194304 4196468 140726313810160 140702690245776 140703094552277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29556736 140726313813098 140726313813284 140726313813284 140726313816015 0
[pid=14600/tid=14613] ppid=14596 vsize=13984280 memory=8351344 CPUtime=8.76 cores=1,3,5,7
/proc/14600/task/14613/stat : 14613 (java) S 14596 14600 4973 0 -1 1077944384 25889 0 0 0 702 174 0 0 20 0 15 0 97428164 14319902720 2076857 33554432000 4194304 4196468 140726313810160 140702689192976 140703094552277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29556736 140726313813098 140726313813284 140726313813284 140726313816015 0
[pid=14600/tid=14614] ppid=14596 vsize=13984280 memory=8351344 CPUtime=8.73 cores=1,3,5,7
/proc/14600/task/14614/stat : 14614 (java) S 14596 14600 4973 0 -1 1077944384 42699 0 0 0 696 177 0 0 20 0 15 0 97428164 14319902720 2076857 33554432000 4194304 4196468 140726313810160 140702688140176 140703094552277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29556736 140726313813098 140726313813284 140726313813284 140726313816015 0
[pid=14600/tid=14615] ppid=14596 vsize=13984280 memory=8307428 CPUtime=8.7 cores=1,3,5,7
/proc/14600/task/14615/stat : 14615 (java) S 14596 14600 4973 0 -1 1077944384 24603 0 0 0 698 172 0 0 20 0 15 0 97428164 14319902720 2076857 33554432000 4194304 4196468 140726313810160 140702687087376 140703094552277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29556736 140726313813098 140726313813284 140726313813284 140726313816015 0
[pid=14600/tid=14616] ppid=14596 vsize=13984280 memory=8307428 CPUtime=0.3 cores=1,3,5,7
/proc/14600/task/14616/stat : 14616 (java) S 14596 14600 4973 0 -1 1077944384 13527 0 0 0 29 1 0 0 20 0 15 0 97428165 14319902720 2076857 33554432000 4194304 4196468 140726313810160 140702568614256 140703094553218 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29556736 140726313813098 140726313813284 140726313813284 140726313816015 0
[pid=14600/tid=14618] ppid=14596 vsize=13984280 memory=8307428 CPUtime=0 cores=1,3,5,7
/proc/14600/task/14618/stat : 14618 (java) S 14596 14600 4973 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 97428165 14319902720 2076857 33554432000 4194304 4196468 140726313810160 140702567560288 140703094552277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29556736 140726313813098 140726313813284 140726313813284 140726313816015 0
[pid=14600/tid=14620] ppid=14596 vsize=13984280 memory=1292 CPUtime=0 cores=1,3,5,7
/proc/14600/task/14620/stat : 14620 (java) S 14596 14600 4973 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 97428166 14319902720 2076857 33554432000 4194304 4196468 140726313810160 140702566507392 140703094552277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29556736 140726313813098 140726313813284 140726313813284 140726313816015 0
[pid=14600/tid=14622] ppid=14596 vsize=13984280 memory=2428 CPUtime=0 cores=1,3,5,7
/proc/14600/task/14622/stat : 14622 (java) S 14596 14600 4973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97428168 14319902720 2076857 33554432000 4194304 4196468 140726313810160 140702565455696 140703094560667 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29556736 140726313813098 140726313813284 140726313813284 140726313816015 0
[pid=14600/tid=14623] ppid=14596 vsize=13984280 memory=279977241656984 CPUtime=3.24 cores=1,3,5,7
/proc/14600/task/14623/stat : 14623 (java) S 14596 14600 4973 0 -1 1077944384 12160 0 0 0 322 2 0 0 20 0 15 0 97428168 14319902720 2076857 33554432000 4194304 4196468 140726313810160 140702564404080 140703094553218 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29556736 140726313813098 140726313813284 140726313813284 140726313816015 0
[pid=14600/tid=14624] ppid=14596 vsize=13984280 memory=-2895008908443676273 CPUtime=3.17 cores=1,3,5,7
/proc/14600/task/14624/stat : 14624 (java) S 14596 14600 4973 0 -1 1077944384 13720 0 0 0 315 2 0 0 20 0 15 0 97428168 14319902720 2076857 33554432000 4194304 4196468 140726313810160 140702563351280 140703094553218 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29556736 140726313813098 140726313813284 140726313813284 140726313816015 0
[pid=14600/tid=14625] ppid=14596 vsize=13984280 memory=8351344 CPUtime=0.77 cores=1,3,5,7
/proc/14600/task/14625/stat : 14625 (java) S 14596 14600 4973 0 -1 1077944384 11403 0 0 0 75 2 0 0 20 0 15 0 97428168 14319902720 2076857 33554432000 4194304 4196468 140726313810160 140702562298480 140703094553218 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29556736 140726313813098 140726313813284 140726313813284 140726313816015 0
[pid=14600/tid=14630] ppid=14596 vsize=13984280 memory=8351344 CPUtime=0 cores=1,3,5,7
/proc/14600/task/14630/stat : 14630 (java) S 14596 14600 4973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97428168 14319902720 2076857 33554432000 4194304 4196468 140726313810160 140702561245920 140703094552277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29556736 140726313813098 140726313813284 140726313813284 140726313816015 0
[pid=14600/tid=14632] ppid=14596 vsize=13984280 memory=8307428 CPUtime=0.13 cores=1,3,5,7
/proc/14600/task/14632/stat : 14632 (java) S 14596 14600 4973 0 -1 1077944384 824 0 0 0 7 6 0 0 20 0 15 0 97428168 14319902720 2076857 33554432000 4194304 4196468 140726313810160 140702560193200 140703094553218 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29556736 140726313813098 140726313813284 140726313813284 140726313816015 0
Current children cumulated CPU time: 252.07 s
Current children cumulated vsize: 13984280 KiB
Current children cumulated memory: 8307428 KiB

Child status: 143
Real time (s): 218.758
CPU time (s): 252.168
CPU user time (s): 244.621
CPU system time (s): 7.54689
CPU usage (%): 115.273
Max. virtual memory (cumulated for all children) (KiB): 13984280
Max. memory (cumulated for all children) (KiB): 8358320

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 244.621
system time used= 7.54689
maximum resident set size= 8358320
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 297407
page faults= 1
swaps= 0
block input operations= 536
block output operations= 392
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9016
involuntary context switches= 592


# summary of solver processes directly reported to runsolver:
#   pid: 14600
#   total CPU time (s): 252.168
#   total CPU user time (s): 244.621
#   total CPU system time (s): 7.54689

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.29288 second user time and 2.20184 second system time

The end

Launcher Data 

Begin job on node151 at 2017-08-13 18:43:34
IDJOB=4256046
IDBENCH=120625
IDSOLVER=2639
FILE ID=node151/4256046-1502643472
RUNJOBID= node151-1502642613-14572
PBS_JOBID= 20628306
Free space on /tmp= 61752 MiB

SOLVER NAME= OscaR - Conflict Ordering 2017-07-26
BENCH NAME= XCSP17/GraphColoring/GraphColoring-m1-mono/GraphColoring-wap01a.xml
COMMAND LINE= java -Xmx11000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 11000 --nbcore NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4256046-1502643472/watcher-4256046-1502643472 -o /tmp/evaluation-result-4256046-1502643472/solver-4256046-1502643472 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node151-1502642613-14572 --watchdog 312  java -Xmx11000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 1183630119 --timelimit 252 --memlimit 11000 --nbcore 4 HOME/instance-4256046-1502643472.xml

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

MD5SUM BENCH= 1f75bed7d5113015eb943bda0c7ab47c
RANDOM SEED=1183630119

node151.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	: 5332.95
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	: 5332.95
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	: 5332.95
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	: 5332.95
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:        28739896 kB
MemAvailable:   31994692 kB
Buffers:          245664 kB
Cached:          3299656 kB
SwapCached:            0 kB
Active:           976536 kB
Inactive:        2620688 kB
Active(anon):      55040 kB
Inactive(anon):    25044 kB
Active(file):     921496 kB
Inactive(file):  2595644 kB
Unevictable:        7024 kB
Mlocked:            7024 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             88212 kB
Writeback:             0 kB
AnonPages:         58196 kB
Mapped:            43740 kB
Shmem:             25224 kB
Slab:             133440 kB
SReclaimable:     106980 kB
SUnreclaim:        26460 kB
KernelStack:        3152 kB
PageTables:         5016 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     325736 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      6144 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      114048 kB
DirectMap2M:    33431552 kB

Free space on /tmp at the end= 61668 MiB
End job on node151 at 2017-08-13 18:47:13