Trace number 4256543

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 - Hybrid 2017-07-26SAT (TO)2360 252.114 217.76199

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.33/0.44	c version: 2017-07-26
0.33/0.44	c seed: 343493861
0.33/0.44	c timeout: 252
0.33/0.44	c memlimit: 11000
0.33/0.44	c nbcore: 4
0.33/0.46	c Parsing instance...
49.82/24.02	c Parsing done, starting first complete search...
52.66/26.11	o 2367
57.56/29.27	o 2366
61.01/32.05	o 2365
63.66/34.65	o 2364
66.20/37.19	o 2363
68.72/39.68	o 2362
71.24/42.15	o 2361
73.73/44.61	o 2360
79.57/47.71	c First complete search done, starting ALNS search...
252.04/217.70	s SATISFIABLE
252.04/217.71	v <instantiation>
252.04/217.71	v 	<list>
252.04/217.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.04/217.71	v 	</list>
252.04/217.71	v 	<values>
252.04/217.71	v 		2337 2330 2351 2359 2355 2357 2358 2342 2326 2338 2346 2334 2335 2340 2360 2331 2325 2322 2327 2343 2324 2354 2344 2345 2333 2349 2360 2352 2354 2349 2353 2332 2327 2348 2356 2355 2352 2343 2355 2339 2348 2359 2359 2340 2344 2358 2341 2357 2344 2331 2338 2342 2328 2333 2347 2336 2330 2345 2358 2354 2359 2339 2341 2355 2356 2356 2348 2358 2340 2357 2342 2346 2350 2345 2355 2348 2359 2323 2358 2339 2331 2338 2348 2337 2352 2336 2321 2327 2349 2341 2322 2349 2344 2323 2342 2346 2352 2324 2343 2349 2358 2360 2325 2336 2354 2338 2360 2343 2355 2356 2332 2353 2332 2353 2331 2322 2334 2357 2359 2358 2356 2347 2336 2345 2327 2344 2332 2348 2341 2352 2325 2354 2345 2351 2335 2340 2338 2337 2354 2328 2330 2328 2344 2358 2355 2356 2336 2342 2360 2350 2354 2348 2341 2349 2359 2360 2357 2347 2345 2355 2343 2340 2330 2327 2358 2354 2325 2351 2331 2352 2326 2341 2354 2356 2354 2358 2349 2354 2356 2345 2346 2331 2347 2350 2347 2349 2360 2359 2357 2354 2329 2358 2352 2344 2335 2353 2349 2360 2332 2347 2336 2338 2346 2334 2333 2342 2341 2348 2358 2359 2351 2356 2360 2355 2345 2334 2360 2350 2325 2328 2345 2351 2357 2331 2344 2359 2354 2353 2336 2352 2342 2350 2318 2342 2335 2354 2322 2351 2319 2343 2354 2346 2342 2356 2335 2346 2326 2327 2360 2331 2350 2332 2351 2329 2354 2335 2337 2351 2341 2347 2337 2360 2357 2329 2342 2340 2338 2328 2340 2358 2359 2331 2350 2334 2338 2341 2343 2330 2355 2354 2354 2332 2344 2339 2339 2346 2359 2350 2360 2343 2329 2334 2333 2350 2336 2359 2329 2357 2335 2359 2360 2358 2348 2346 2336 2339 2351 2337 2356 2340 2343 2357 2359 2343 2353 2358 2356 2349 2356 2337 2338 2358 2319 2353 2350 2335 2323 2350 2317 2357 2320 2314 2333 2331 2321 2346 2328 2354 2338 2324 2326 2330 2347 2325 2332 2325 2346 2315 2322 2356 2355 2321 2355 2354 2360 2327 2358 2331 2332 2343 2358 2345 2334 2325 2322 2356 2359 2359 2350 2340 2341 2360 2334 2333 2359 2354 2356 2336 2355 2356 2348 2333 2345 2359 2354 2359 2327 2346 2351 2354 2348 2350 2336 2344 2357 2338 2358 2332 2331 2349 2349 2353 2359 2360 2358 2359 2343 2360 2341 2350 2360 2351 2345 2354 2355 2339 2341 2355 2349 2338 2360 2340 2356 2342 2358 2360 2359 2360 2355 2359 2358 2360 2351 2344 2353 2349 2354 2356 2348 2359 2344 2360 2348 2359 2347 2343 2356 2359 2354 2360 2355 2353 2358 2356 2353 2326 2329 2353 2347 2360 2339 2332 2326 2337 2346 2334 2343 2326 2333 2326 2355 2357 2354 2334 2338 2344 2356 2330 2355 2358 2348 2338 2338 2333 2325 2340 2345 2339 2331 2352 2343 2336 2359 2348 2353 2360 2358 2360 2358 2356 2359 2355 2358 2359 2350 2360 2358 2338 2360 2323 2360 2352 2360 2356 2360 2359 2352 2349 2342 2324 2350 2335 2360 2355 2342 2320 2356 2346 2335 2356 2341 2360 2321 2350 2339 2336 2318 2330 2347 2359 2340 2351 2345 2345 2332 2326 2352 2324 2321 2331 2337 2350 2359 2336 2340 2329 2330 2346 2343 2356 2325 2351 2342 2344 2348 2326 2342 2341 2334 2339 2344 2334 2338 2325 2349 2346 2360 2345 2333 2360 2357 2335 2357 2326 2338 2322 2347 2332 2337 2355 2324 2353 2348 2347 2359 2323 2335 2323 2330 2331 2323 2324 2356 2330 2328 2331 2360 2327 2329 2330 2325 2343 2329 2353 2321 2359 2331 2343 2353 2354 2332 2320 2360 2334 2359 2356 2360 2356 2344 2342 2333 2360 2360 2357 2325 2329 2347 2345 2353 2353 2352 2348 2357 2355 2356 2355 2339 2331 2340 2337 2336 2354 2325 2344 2343 2353 2324 2360 2357 2329 2327 2357 2350 2351 2338 2353 2350 2355 2327 2351 2353 2333 2345 2360 2356 2330 2352 2323 2320 2358 2357 2355 2339 2359 2358 2343 2356 2336 2320 2338 2349 2359 2352 2333 2328 2356 2355 2360 2336 2334 2342 2349 2347 2359 2346 2338 2337 2352 2358 2356 2328 2351 2335 2355 2356 2350 2359 2359 2358 2341 2346 2357 2345 2352 2346 2336 2330 2357 2333 2337 2350 2328 2339 2352 2350 2356 2333 2337 2360 2350 2347 2360 2338 2349 2360 2355 2348 2356 2352 2332 2342 2330 2358 2334 2352 2356 2350 2346 2359 2357 2358 2330 2358 2336 2352 2337 2344 2341 2359 2347 2360 2355 2357 2350 2339 2333 2332 2326 2338 2337 2352 2328 2321 2359 2346 2330 2353 2324 2351 2358 2335 2322 2322 2339 2340 2318 2316 2346 2348 2353 2345 2357 2341 2341 2331 2358 2334 2329 2352 2331 2336 2341 2335 2358 2343 2359 2329 2360 2357 2344 2360 2349 2348 2339 2343 2359 2345 2344 2343 2352 2326 2329 2347 2335 2359 2350 2359 2359 2358 2357 2335 2351 2355 2321 2339 2323 2333 2348 2334 2341 2354 2359 2348 2344 2326 2337 2321 2352 2328 2357 2356 2356 2333 2344 2336 2358 2358 2359 2338 2349 2340 2343 2360 2352 2339 2335 2338 2347 2316 2357 2345 2359 2328 2338 2323 2352 2353 2335 2334 2359 2331 2319 2323 2355 2332 2351 2358 2319 2326 2330 2357 2327 2340 2341 2333 2325 2325 2326 2333 2335 2351 2359 2322 2317 2360 2318 2349 2345 2334 2355 2343 2325 2345 2354 2316 2355 2348 2316 2339 2353 2344 2328 2356 2349 2330 2328 2341 2347 2351 2357 2329 2354 2343 2327 2358 2355 2338 2348 2346 2350 2346 2332 2338 2340 2337 2349 2331 2318 2310 2330 2339 2347 2334 2314 2333 2329 2322 2329 2347 2334 2331 2328 2332 2358 2327 2324 2349 2359 2340 2327 2348 2345 2346 2357 2355 2328 2350 2355 2310 2333 2333 2351 2350 2329 2359 2360 2340 2337 2327 2348 2349 2347 2319 2342 2342 2317 2325 2331 2347 2329 2360 2307 2354 2350 2348 2322 2317 2352 2358 2356 2328 2341 2344 2349 2357 2351 2332 2337 2311 2327 2316 2337 2343 2350 2346 2342 2360 2328 2336 2357 2352 2358 2338 2346 2357 2354 2339 2335 2327 2334 2342 2343 2343 2358 2344 2332 2334 2341 2328 2317 2341 2347 2337 2336 2338 2330 2355 2339 2327 2358 2353 2354 2356 2324 2329 2352 2340 2351 2348 2358 2333 2338 2344 2355 2345 2354 2348 2338 2335 2357 2350 2326 2358 2353 2350 2341 2328 2331 2343 2353 2355 2339 2343 2341 2355 2320 2348 2320 2339 2343 2335 2358 2351 2343 2342 2350 2342 2354 2335 2359 2348 2333 2329 2356 2342 2334 2351 2335 2345 2353 2354 2353 2349 2341 2332 2338 2324 2335 2328 2359 2341 2359 2358 2332 2338 2318 2328 2346 2352 2330 2335 2330 2360 2359 2353 2346 2360 2344 2357 2330 2322 2357 2334 2354 2344 2352 2348 2346 2359 2347 2351 2337 2341 2348 2346 2350 2345 2351 2340 2336 2348 2347 2321 2349 2338 2350 2340 2324 2332 2352 2348 2322 2331 2355 2336 2341 2313 2326 2325 2324 2356 2319 2331 2323 2333 2329 2319 2336 2352 2349 2357 2330 2359 2337 2308 2342 2336 2325 2352 2320 2357 2340 2327 2334 2351 2336 2352 2354 2313 2358 2357 2341 2354 2350 2322 2325 2355 2331 2320 2342 2345 2360 2341 2340 2326 2349 2347 2332 2344 2356 2331 2314 2329 2353 2339 2323 2352 2336 2326 2321 2338 2355 2332 2328 2331 2338 2358 2324 2331 2322 2351 2345 2348 2333 2350 2328 2341 2345 2343 2353 2348 2352 2328 2329 2351 2352 2343 2354 2349 2328 2321 2335 2321 2323 2329 2318 2324 2357 2320 2359 2354 2353 2329 2334 2322 2331 2319 2338 2342 2360 2352 2356 2313 2329 2347 2360 2333 2326 2353 2337 2328 2325 2357 2326 2347 2344 2333 2352 2317 2358 2349 2342 2356 2317 2327 2351 2332 2360 2344 2318 2358 2324 2316 2349 2350 2326 2323 2360 2346 2359 2326 2320 2351 2358 2360 2342 2315 2337 2352 2328 2342 2359 2358 2332 2356 2348 2329 2353 2348 2342 2356 2313 2344 2344 2355 2357 2356 2342 2344 2338 2351 2335 2350 2346 2357 2321 2330 2328 2358 2344 2338 2328 2335 2359 2360 2326 2338 2344 2350 2351 2357 2344 2334 2355 2347 2314 2317 2309 2351 2343 2352 2341 2319 2328 2336 2309 2344 2348 2358 2345 2336 2323 2347 2350 2336 2350 2346 2345 2334 2348 2356 2328 2330 2359 2326 2338 2358 2354 2345 2327 2321 2329 2357 2360 2322 2338 2320 2321 2352 2357 2328 2319 2348 2329 2360 2331 2343 2330 2322 2335 2317 2340 2350 2327 2308 2308 2313 2306 2314 2332 2309 2353 2360 2342 2344 2353 2311 2320 2343 2323 2357 2341 2355 2337 2340 2307 2319 2339 2312 2321 2337 2360 2323 2336 2318 2358 2335 2316 2325 2321 2356 2359 2324 2348 2321 2327 2322 2321 2360 2337 2349 2340 2329 2318 2360 2329 2335 2348 2328 2353 2316 2343 2346 2354 2344 2333 2325 2360 2314 2304 2352 2353 2356 2339 2358 2318 2328 2324 2328 2323 2356 2355 2333 2330 2352 2332 2331 2346 2322 2348 2340 2354 2307 2330 2325 2335 2333 2337 2335 2325 2332 2355 2327 2320 2337 2309 2318 2346 2354 2356 2331 2334 2316 2324 2342 2315 2319 2355 2328 2324 2343 2328 2349 2350 2344 2349 2353 2348 2342 2342 2360 2339 2349 2324 2357 2348 2319 2311 2339 2350 2345 2347 2360 2337 2346 2357 2338 2316 2343 2312 2312 2315 2323 2330 2353 2345 2339 2337 2359 2340 2334 2309 2323 2334 2320 2321 2338 2340 2319 2341 2346 2357 2343 2317 2360 2335 2331 2315 2325 2315 2318 2343 2354 2346 2353 2354 2334 2355 2345 2342 2342 2322 2317 2349 2331 2324 2349 2322 2342 2326 2336 2352 2348 2329 2320 2325 2333 2323 2339 2325 2334 2337 2355 2336 2333 2337 2355 2323 2347 2316 2358 2333 2329 2348 2343 2359 2326 2339 2342 2356 2336 2354 2327 2318 2346 2330 2359 2343 2323 2321 2323 2319 2358 2359 2351 2337 2339 2348 2347 2316 2321 2308 2340 2324 2341 2350 2340 2336 2350 2317 2342 2333 2358 2358 2347 2337 2340 2328 2333 2353 2339 2340 2320 2345 2317 2310 2338 2355 2344 2333 2358 2326 2316 2351 2346 2334 2325 2334 2352 2346 2350 2352 2354 2339 2326 2324 2341 2357 2337 2360 2339 2332 2319 2347 2331 2321 2328 2350 2342 2342 2343 2332 2339 2324 2336 2313 2353 2356 2349 2327 2353 2324 2332 2327 2358 2347 2360 2336 2316 2343 2331 2341 2316 2310 2305 2318 2354 2351 2359 2345 2350 2317 2337 2351 2318 2315 2338 2321 2352 2344 2342 2355 2355 2306 2332 2315 2350 2358 2317 2334 2313 2318 2356 2337 2346 2359 2346 2340 2353 2319 2342 2313 2350 2337 2351 2331 2312 2347 2357 2347 2345 2359 2348 2330 2351 2339 2322 2353 2329 2350 2349 2311 2358 2333 2337 2324 2329 2327 2309 2323 2351 2322 2337 2343 2331 2343 2353 2331 2350 2360 2359 2327 2337 2344 2342 2360 2304 2313 2312 2334 2315 2354 2358 2343 2342 2335 2317 2359 2335 2330 2335 2339 2357 2352 2347 2311 2328 2319 2353 2319 2327 2357 2323 2340 2307 2316 2328 2321 2319 2330 2357 2340 2360 2327 2314 2327 2315 2334 2357 2358 2338 2327 2352 2356 2348 2354 2332 2344 2353 2341 2328 2326 2334 2334 2354 2341 2347 2330 2349 2332 2320 2331 2321 2339 2356 2347 2344 2330 2346 2325 2335 2345 2326 2305 2333 2328 2345 2331 2325 2322 2305 2329 2356 2309 2335 2311 2336 2337 2337 2324 2309 2357 2348 2346 2355 2332 2322 2351 2347 2315 2338 2354 2305 2310 2328 2334 2318 2355 2331 2330 2333 2325 2337 2349 2348 2353 2320 2342 2327 2351 2360 2332 2349 2336 2321 2333 2337 2319 2315 2356 2312 2348 2351 2360 2308 2355 2324 2307 2306 2356 2354 2319 2318 2307 2316 2324 2358 2325 2328 2355 2354 2349 2355 2323 2308 2333 2323 2320 2349 2329 2340 2360 2343 2341 2321 2313 2340 2345 2337 2336 2313 2332 2314 2321 2359 2319 2343 2342 2344 2322 2347 2351 2346 2345 2359 2323 2338 2317 2345 2334 2353 2359 2336 2321 2318 2331 2354 2346 2350 2338 2343 2354 2353 2343 2318 2329 2319 2327 2339 2311 2320 2318 2322 2350 2330 2334 2344 2340 2346 2325 2316 2347 2317 2350 2311 2338 2344 2318 2329 2351 2346 2341 2341 2320 2339 2347 2352 2310 2359 2336 2335 2336 2330 2311 2321 2354 2320 2335 2352 2317 2350 2331 2352 2360 2359 2342 2318 2317 2323 2357 2312 2348 2321 2317 2306 2303 2334 2325 2330 2353 2323 2334 2332 2328 2339 2348 2352 2345 2351 2332 2314 2322 2334 2338 2327 2326 2336 2346 2350 2357 2349 2323 2345 2341 2321 2347 2309 2308 2343 2326 2340 2313 2331 2308 2347 2326 2326 2316 2339 2337 2312 2315 2349 2336 2345 2350 2341 2322 2344 2334 2355 2353 2333 2358 2314 2357 2316 2335 2325 2351 2320 2345 2307 2334 2348 2315 2359 2311 2312 2326 2341 2349 2327 2314 2306 2329 2310 2345 2340 2326 2331 2323 2329 2328 2310 2327 2311 2355 2314 2336 2352 2311 2355 2316 2330 2351 2311 2312 2321 2338 2330 2360 2331 2328 2335 2326 2318 2349 2335 2329 2313 2312 2314 2333 2313 2310 2322 2324 2325 2356 2335 2329 2354 2347 2356 2346 2319 2356 2337 2318 2357 2333 2352 2338 2344 2325 2351 2356 2352 2355 2353 2317 2329 2345 2353 2356 2322 2341 2357 2327 2340 2315 2336 2332 2338 2357 2346 2352 2324 2331 2346 2323 2337 2311 2350 2351 2336 2353 2344 2349 2323 2346 2322 2339 2338 2358 2343 2340 2330 2314 2354 2351 2323 2327 2339 2339 2354 2324 2324 2320 2322 2333 2330 2357 2333 2340 2343 2320 2358 2340 2320 2345 2341 2325 2342 2349 2335 2325 2355 2326 2330 2348 2344 2341 2344 2347 2354 2332 
252.04/217.71	v 	</values>
252.04/217.71	v </instantiation>

Verifier Data 

OK	2360

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4256543-1502643097/watcher-4256543-1502643097 -o /tmp/evaluation-result-4256543-1502643097/solver-4256543-1502643097 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502642251-32116 --watchdog 312 java -Xmx11000m -jar oscar-cp-xcsp3-hybrid.jar --randomseed 343493861 --timelimit 252 --memlimit 11000 --nbcore 4 HOME/instance-4256543-1502643097.xml 

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

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

solver pid=32146, runsolver pid=32139

[startup+0.100263 s]*
/proc/loadavg: 1.08 1.03 1.37 4/183 32149
/proc/meminfo: memFree=31011632/32770624 swapFree=67108860/67108860
[pid=32146] ppid=32139 vsize=13358552 memory=12552 CPUtime=0 cores=0,2,4,6
/proc/32146/stat : 32146 (java) S 32139 32146 897 0 -1 1077944320 2995 0 0 0 0 0 0 0 20 0 6 0 66530461 13679157248 3138 18446744073709551615 4194304 4196468 140727635505728 140727635488272 140252979797751 0 0 1 16784584 18446744073709551615 0 0 17 0 0 0 9 0 0 6293624 6294260 16138240 140727635509625 140727635509806 140727635509806 140727635513295 0
/proc/32146/statm: 3339638 3138 1587 1 0 3329135 0
[pid=32146/tid=32148] ppid=32139 vsize=13358552 memory=8390339637985935414 CPUtime=0 cores=0,2,4,6
/proc/32146/task/32148/stat : 32148 (java) R 32139 32146 897 0 -1 4202560 1710 0 0 0 0 0 0 0 20 0 6 0 66530471 13679157248 3204 18446744073709551615 4194304 4196468 140727635505728 140252984033872 140252940779382 0 4 1 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16138240 140727635509625 140727635509806 140727635509806 140727635513295 0
[pid=32146/tid=32151] ppid=32139 vsize=13358552 memory=288230591823085591 CPUtime=0 cores=0,2,4,6
/proc/32146/task/32151/stat : 32151 (java) S 32139 32146 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 66530472 13679157248 3204 18446744073709551615 4194304 4196468 140727635505728 140252899212176 140252979807957 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16138240 140727635509625 140727635509806 140727635509806 140727635513295 0
[pid=32146/tid=32153] ppid=32139 vsize=13358552 memory=288370830291801728 CPUtime=0 cores=0,2,4,6
/proc/32146/task/32153/stat : 32153 (java) S 32139 32146 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 66530472 13679157248 3204 18446744073709551615 4194304 4196468 140727635505728 140252898159376 140252979807957 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16138240 140727635509625 140727635509806 140727635509806 140727635513295 0
[pid=32146/tid=32155] ppid=32139 vsize=13358552 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32146/task/32155/stat : 32155 (java) S 32139 32146 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 66530472 13679157248 3204 18446744073709551615 4194304 4196468 140727635505728 140252897107088 140252979807957 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16138240 140727635509625 140727635509806 140727635509806 140727635513295 0
[pid=32146/tid=32157] ppid=32139 vsize=13358552 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32146/task/32157/stat : 32157 (java) S 32139 32146 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 66530472 13679157248 3204 18446744073709551615 4194304 4196468 140727635505728 140252576476176 140252979807957 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16138240 140727635509625 140727635509806 140727635509806 140727635513295 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 13358552 KiB
Current children cumulated memory: 12552 KiB

[startup+0.209746 s]*
/proc/loadavg: 1.08 1.03 1.37 3/208 32174
/proc/meminfo: memFree=30988636/32770624 swapFree=67108860/67108860
[pid=32146] ppid=32139 vsize=13906484 memory=21708 CPUtime=0.05 cores=0,2,4,6
/proc/32146/stat : 32146 (java) S 32139 32146 897 0 -1 1077944320 4879 0 0 0 5 0 0 0 20 0 14 0 66530461 14240239616 5427 18446744073709551615 4194304 4196468 140727635505728 140727635488272 140252979797751 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 9 0 0 6293624 6294260 16138240 140727635509625 140727635509806 140727635509806 140727635513295 0
/proc/32146/statm: 3476621 5427 2589 1 0 3466118 0
[pid=32146/tid=32148] ppid=32139 vsize=13906484 memory=8318255677412212789 CPUtime=0.04 cores=0,2,4,6
/proc/32146/task/32148/stat : 32148 (java) D 32139 32146 897 0 -1 4202560 2983 0 0 0 4 0 0 0 20 0 14 0 66530471 14240239616 5427 18446744073709551615 4194304 4196468 140727635505728 140252984035232 140252979819773 0 4 1 16800974 18446744071580418449 0 0 -1 4 0 0 4 0 0 6293624 6294260 16138240 140727635509625 140727635509806 140727635509806 140727635513295 0
[pid=32146/tid=32151] ppid=32139 vsize=13906484 memory=328 CPUtime=0 cores=0,2,4,6
/proc/32146/task/32151/stat : 32151 (java) S 32139 32146 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 66530472 14240239616 5427 18446744073709551615 4194304 4196468 140727635505728 140252899212176 140252979807957 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16138240 140727635509625 140727635509806 140727635509806 140727635513295 0
[pid=32146/tid=32153] ppid=32139 vsize=13906484 memory=288370830291801728 CPUtime=0 cores=0,2,4,6
/proc/32146/task/32153/stat : 32153 (java) S 32139 32146 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 66530472 14240239616 5427 18446744073709551615 4194304 4196468 140727635505728 140252898159376 140252979807957 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16138240 140727635509625 140727635509806 140727635509806 140727635513295 0
[pid=32146/tid=32155] ppid=32139 vsize=13906484 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32146/task/32155/stat : 32155 (java) S 32139 32146 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 66530472 14240239616 5427 18446744073709551615 4194304 4196468 140727635505728 140252897107088 140252979807957 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16138240 140727635509625 140727635509806 140727635509806 140727635513295 0
[pid=32146/tid=32157] ppid=32139 vsize=13906484 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32146/task/32157/stat : 32157 (java) S 32139 32146 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 66530472 14240239616 5427 18446744073709551615 4194304 4196468 140727635505728 140252576476176 140252979807957 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16138240 140727635509625 140727635509806 140727635509806 140727635513295 0
[pid=32146/tid=32159] ppid=32139 vsize=13906484 memory=140454140089984 CPUtime=0 cores=0,2,4,6
/proc/32146/task/32159/stat : 32159 (java) S 32139 32146 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 66530473 14240239616 5427 18446744073709551615 4194304 4196468 140727635505728 140252458481776 140252979808898 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16138240 140727635509625 140727635509806 140727635509806 140727635513295 0
[pid=32146/tid=32161] ppid=32139 vsize=13906484 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32146/task/32161/stat : 32161 (java) S 32139 32146 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 14 0 66530474 14240239616 5427 18446744073709551615 4194304 4196468 140727635505728 140252457427744 140252979807957 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16138240 140727635509625 140727635509806 140727635509806 140727635513295 0
[pid=32146/tid=32163] ppid=32139 vsize=13906484 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32146/task/32163/stat : 32163 (java) S 32139 32146 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 14 0 66530474 14240239616 5427 18446744073709551615 4194304 4196468 140727635505728 140252456375408 140252979807957 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16138240 140727635509625 140727635509806 140727635509806 140727635513295 0
[pid=32146/tid=32168] ppid=32139 vsize=13906484 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32146/task/32168/stat : 32168 (java) S 32139 32146 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 66530477 14240239616 5427 18446744073709551615 4194304 4196468 140727635505728 140252455323728 140252979816347 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16138240 140727635509625 140727635509806 140727635509806 140727635513295 0
[pid=32146/tid=32169] ppid=32139 vsize=13906484 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32146/task/32169/stat : 32169 (java) S 32139 32146 897 0 -1 1077944384 299 0 0 0 0 0 0 0 20 0 14 0 66530477 14240239616 5427 18446744073709551615 4194304 4196468 140727635505728 140252454271600 140252979808898 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16138240 140727635509625 140727635509806 140727635509806 140727635513295 0
[pid=32146/tid=32170] ppid=32139 vsize=13906484 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32146/task/32170/stat : 32170 (java) S 32139 32146 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 66530477 14240239616 5427 18446744073709551615 4194304 4196468 140727635505728 140252453218800 140252979808898 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16138240 140727635509625 140727635509806 140727635509806 140727635513295 0
[pid=32146/tid=32171] ppid=32139 vsize=13906484 memory=140454140089984 CPUtime=0 cores=0,2,4,6
/proc/32146/task/32171/stat : 32171 (java) S 32139 32146 897 0 -1 1077944384 217 0 0 0 0 0 0 0 20 0 14 0 66530477 14240239616 5427 18446744073709551615 4194304 4196468 140727635505728 140252452166512 140252979808898 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16138240 140727635509625 140727635509806 140727635509806 140727635513295 0
[pid=32146/tid=32173] ppid=32139 vsize=13906484 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32146/task/32173/stat : 32173 (java) S 32139 32146 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 66530477 14240239616 5427 18446744073709551615 4194304 4196468 140727635505728 140252451113952 140252979807957 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16138240 140727635509625 140727635509806 140727635509806 140727635513295 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 13906484 KiB
Current children cumulated memory: 21708 KiB

[startup+0.309834 s]*
/proc/loadavg: 1.08 1.03 1.37 4/209 32175
/proc/meminfo: memFree=30963892/32770624 swapFree=67108860/67108860
[pid=32146] ppid=32139 vsize=13975920 memory=36384 CPUtime=0.16 cores=0,2,4,6
/proc/32146/stat : 32146 (java) S 32139 32146 897 0 -1 1077944320 9726 0 0 0 15 1 0 0 20 0 15 0 66530461 14311342080 9096 18446744073709551615 4194304 4196468 140727635505728 140727635488272 140252979797751 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 9 0 0 6293624 6294260 16138240 140727635509625 140727635509806 140727635509806 140727635513295 0
/proc/32146/statm: 3493980 9096 3482 1 0 3482759 0
[pid=32146/tid=32148] ppid=32139 vsize=13975920 memory=-8774313645642428999 CPUtime=0.11 cores=0,2,4,6
/proc/32146/task/32148/stat : 32148 (java) R 32139 32146 897 0 -1 4202560 7497 0 0 0 10 1 0 0 20 0 15 0 66530471 14311342080 9096 18446744073709551615 4194304 4196468 140727635505728 140252983994048 140252963878238 0 4 1 16800974 0 0 0 -1 4 0 0 8 0 0 6293624 6294260 16138240 140727635509625 140727635509806 140727635509806 140727635513295 0
[pid=32146/tid=32151] ppid=32139 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32146/task/32151/stat : 32151 (java) S 32139 32146 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 66530472 14311342080 9096 18446744073709551615 4194304 4196468 140727635505728 140252899212176 140252979807957 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16138240 140727635509625 140727635509806 140727635509806 140727635513295 0
[pid=32146/tid=32153] ppid=32139 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32146/task/32153/stat : 32153 (java) S 32139 32146 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 66530472 14311342080 9096 18446744073709551615 4194304 4196468 140727635505728 140252898159376 140252979807957 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16138240 140727635509625 140727635509806 140727635509806 140727635513295 0
[pid=32146/tid=32155] ppid=32139 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32146/task/32155/stat : 32155 (java) S 32139 32146 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 66530472 14311342080 9096 18446744073709551615 4194304 4196468 140727635505728 140252897107088 140252979807957 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16138240 140727635509625 140727635509806 140727635509806 140727635513295 0
[pid=32146/tid=32157] ppid=32139 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32146/task/32157/stat : 32157 (java) S 32139 32146 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 66530472 14311342080 9096 18446744073709551615 4194304 4196468 140727635505728 140252576476176 140252979807957 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16138240 140727635509625 140727635509806 140727635509806 140727635513295 0
[pid=32146/tid=32159] ppid=32139 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32146/task/32159/stat : 32159 (java) S 32139 32146 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 66530473 14311342080 9096 18446744073709551615 4194304 4196468 140727635505728 140252458481776 140252979808898 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16138240 140727635509625 140727635509806 140727635509806 140727635513295 0
[pid=32146/tid=32161] ppid=32139 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32146/task/32161/stat : 32161 (java) S 32139 32146 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 66530474 14311342080 9096 18446744073709551615 4194304 4196468 140727635505728 140252457427744 140252979807957 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16138240 140727635509625 140727635509806 140727635509806 140727635513295 0
[pid=32146/tid=32163] ppid=32139 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32146/task/32163/stat : 32163 (java) S 32139 32146 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 66530474 14311342080 9096 18446744073709551615 4194304 4196468 140727635505728 140252456375408 140252979807957 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16138240 140727635509625 140727635509806 140727635509806 140727635513295 0
[pid=32146/tid=32168] ppid=32139 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32146/task/32168/stat : 32168 (java) S 32139 32146 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66530477 14311342080 9096 18446744073709551615 4194304 4196468 140727635505728 140252455323728 140252979816347 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16138240 140727635509625 140727635509806 140727635509806 140727635513295 0
[pid=32146/tid=32169] ppid=32139 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32146/task/32169/stat : 32169 (java) S 32139 32146 897 0 -1 1077944384 453 0 0 0 0 0 0 0 20 0 15 0 66530477 14311342080 9096 18446744073709551615 4194304 4196468 140727635505728 140252454271600 140252979808898 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16138240 140727635509625 140727635509806 140727635509806 140727635513295 0
[pid=32146/tid=32170] ppid=32139 vsize=13975920 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32146/task/32170/stat : 32170 (java) S 32139 32146 897 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 66530477 14311342080 9096 18446744073709551615 4194304 4196468 140727635505728 140252453218800 140252979808898 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16138240 140727635509625 140727635509806 140727635509806 140727635513295 0
[pid=32146/tid=32171] ppid=32139 vsize=13975920 memory=140454140089984 CPUtime=0.02 cores=0,2,4,6
/proc/32146/task/32171/stat : 32171 (java) R 32139 32146 897 0 -1 4202560 377 0 0 0 2 0 0 0 20 0 15 0 66530477 14311342080 9096 18446744073709551615 4194304 4196468 140727635505728 140252452166512 140252958671471 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16138240 140727635509625 140727635509806 140727635509806 140727635513295 0
[pid=32146/tid=32173] ppid=32139 vsize=13975920 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32146/task/32173/stat : 32173 (java) S 32139 32146 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66530477 14311342080 9096 18446744073709551615 4194304 4196468 140727635505728 140252451113952 140252979807957 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16138240 140727635509625 140727635509806 140727635509806 140727635513295 0
[pid=32146/tid=32175] ppid=32139 vsize=13975920 memory=140454140089984 CPUtime=0 cores=0,2,4,6
/proc/32146/task/32175/stat : 32175 (java) S 32139 32146 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 66530486 14311342080 9096 18446744073709551615 4194304 4196468 140727635505728 140252450060720 140252979808898 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16138240 140727635509625 140727635509806 140727635509806 140727635513295 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 13975920 KiB
Current children cumulated memory: 36384 KiB

[startup+0.701064 s]
/proc/loadavg: 1.08 1.03 1.37 5/209 32175
/proc/meminfo: memFree=30936832/32770624 swapFree=67108860/67108860
[pid=32146] ppid=32139 vsize=13975940 memory=79832 CPUtime=0.97 cores=0,2,4,6
/proc/32146/stat : 32146 (java) S 32139 32146 897 0 -1 1077944320 13621 0 0 0 94 3 0 0 20 0 15 0 66530461 14311362560 19958 18446744073709551615 4194304 4196468 140727635505728 140727635488272 140252979797751 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 9 0 0 6293624 6294260 16138240 140727635509625 140727635509806 140727635509806 140727635513295 0
/proc/32146/statm: 3493985 19958 3723 1 0 3482759 0
[pid=32146/tid=32148] ppid=32139 vsize=13975940 memory=6935650355287975249 CPUtime=0.49 cores=0,2,4,6
/proc/32146/task/32148/stat : 32148 (java) R 32139 32146 897 0 -1 4202560 10071 0 0 0 47 2 0 0 20 0 15 0 66530471 14311362560 19958 18446744073709551615 4194304 4196468 140727635505728 140252984027072 140252979819677 0 4 1 16800974 0 0 0 -1 2 0 0 8 0 0 6293624 6294260 16138240 140727635509625 140727635509806 140727635509806 140727635513295 0
[pid=32146/tid=32151] ppid=32139 vsize=13975940 memory=5788 CPUtime=0 cores=0,2,4,6
/proc/32146/task/32151/stat : 32151 (java) S 32139 32146 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 66530472 14311362560 19958 18446744073709551615 4194304 4196468 140727635505728 140252899212176 140252979807957 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16138240 140727635509625 140727635509806 140727635509806 140727635513295 0
[pid=32146/tid=32153] ppid=32139 vsize=13975940 memory=1712 CPUtime=0 cores=0,2,4,6
/proc/32146/task/32153/stat : 32153 (java) S 32139 32146 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 66530472 14311362560 19958 18446744073709551615 4194304 4196468 140727635505728 140252898159376 140252979807957 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16138240 140727635509625 140727635509806 140727635509806 140727635513295 0
[pid=32146/tid=32155] ppid=32139 vsize=13975940 memory=1292 CPUtime=0 cores=0,2,4,6
/proc/32146/task/32155/stat : 32155 (java) S 32139 32146 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 66530472 14311362560 19958 18446744073709551615 4194304 4196468 140727635505728 140252897107088 140252979807957 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16138240 140727635509625 140727635509806 140727635509806 140727635513295 0
[pid=32146/tid=32157] ppid=32139 vsize=13975940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32146/task/32157/stat : 32157 (java) S 32139 32146 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 66530472 14311362560 19958 18446744073709551615 4194304 4196468 140727635505728 140252576476176 140252979807957 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16138240 140727635509625 140727635509806 140727635509806 140727635513295 0
[pid=32146/tid=32159] ppid=32139 vsize=13975940 memory=25332 CPUtime=0 cores=0,2,4,6
/proc/32146/task/32159/stat : 32159 (java) S 32139 32146 897 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 66530473 14311362560 19958 18446744073709551615 4194304 4196468 140727635505728 140252458481776 140252979808898 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16138240 140727635509625 140727635509806 140727635509806 140727635513295 0
[pid=32146/tid=32161] ppid=32139 vsize=13975940 memory=97 CPUtime=0 cores=0,2,4,6
/proc/32146/task/32161/stat : 32161 (java) S 32139 32146 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 66530474 14311362560 19958 18446744073709551615 4194304 4196468 140727635505728 140252457427744 140252979807957 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16138240 140727635509625 140727635509806 140727635509806 140727635513295 0
[pid=32146/tid=32163] ppid=32139 vsize=13975940 memory=288230596034167089 CPUtime=0 cores=0,2,4,6
/proc/32146/task/32163/stat : 32163 (java) S 32139 32146 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 66530474 14311362560 19958 18446744073709551615 4194304 4196468 140727635505728 140252456375408 140252979807957 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16138240 140727635509625 140727635509806 140727635509806 140727635513295 0
[pid=32146/tid=32168] ppid=32139 vsize=13975940 memory=14972261111170422 CPUtime=0 cores=0,2,4,6
/proc/32146/task/32168/stat : 32168 (java) S 32139 32146 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66530477 14311362560 19958 18446744073709551615 4194304 4196468 140727635505728 140252455323728 140252979816347 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16138240 140727635509625 140727635509806 140727635509806 140727635513295 0
[pid=32146/tid=32169] ppid=32139 vsize=13975940 memory=0 CPUtime=0.14 cores=0,2,4,6
/proc/32146/task/32169/stat : 32169 (java) R 32139 32146 897 0 -1 4202560 969 0 0 0 14 0 0 0 20 0 15 0 66530477 14311362560 19958 18446744073709551615 4194304 4196468 140727635505728 140252454261520 140252979811615 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16138240 140727635509625 140727635509806 140727635509806 140727635513295 0
[pid=32146/tid=32170] ppid=32139 vsize=13975940 memory=0 CPUtime=0.14 cores=0,2,4,6
/proc/32146/task/32170/stat : 32170 (java) R 32139 32146 897 0 -1 4202560 444 0 0 0 14 0 0 0 20 0 15 0 66530477 14311362560 19958 18446744073709551615 4194304 4196468 140727635505728 140252453204264 140252959307994 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 16138240 140727635509625 140727635509806 140727635509806 140727635513295 0
[pid=32146/tid=32171] ppid=32139 vsize=13975940 memory=0 CPUtime=0.17 cores=0,2,4,6
/proc/32146/task/32171/stat : 32171 (java) S 32139 32146 897 0 -1 1077944384 756 0 0 0 17 0 0 0 20 0 15 0 66530477 14311362560 19958 18446744073709551615 4194304 4196468 140727635505728 140252452166512 140252979808898 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16138240 140727635509625 140727635509806 140727635509806 140727635513295 0
[pid=32146/tid=32173] ppid=32139 vsize=13975940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32146/task/32173/stat : 32173 (java) S 32139 32146 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66530477 14311362560 19958 18446744073709551615 4194304 4196468 140727635505728 140252451113952 140252979807957 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16138240 140727635509625 140727635509806 140727635509806 140727635513295 0
[pid=32146/tid=32175] ppid=32139 vsize=13975940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32146/task/32175/stat : 32175 (java) S 32139 32146 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 66530486 14311362560 19958 18446744073709551615 4194304 4196468 140727635505728 140252450060720 140252979808898 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16138240 140727635509625 140727635509806 140727635509806 140727635513295 0
Current children cumulated CPU time: 0.97 s
Current children cumulated vsize: 13975940 KiB
Current children cumulated memory: 79832 KiB

[startup+1.50069 s]
/proc/loadavg: 1.08 1.03 1.37 9/209 32175
/proc/meminfo: memFree=30724848/32770624 swapFree=67108860/67108860
[pid=32146] ppid=32139 vsize=13977988 memory=301160 CPUtime=3.48 cores=0,2,4,6
/proc/32146/stat : 32146 (java) S 32139 32146 897 0 -1 1077944320 20667 0 0 0 333 15 0 0 20 0 15 0 66530461 14313459712 75290 18446744073709551615 4194304 4196468 140727635505728 140727635488272 140252979797751 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 9 0 0 6293624 6294260 16138240 140727635509625 140727635509806 140727635509806 140727635513295 0
/proc/32146/statm: 3494497 75290 3778 1 0 3483271 0
[pid=32146/tid=32148] ppid=32139 vsize=13977988 memory=0 CPUtime=1.19 cores=0,2,4,6
/proc/32146/task/32148/stat : 32148 (java) R 32139 32146 897 0 -1 4202560 10390 0 0 0 115 4 0 0 20 0 15 0 66530471 14313459712 75290 18446744073709551615 4194304 4196468 140727635505728 140252984033376 140252580282676 0 4 1 16800974 0 0 0 -1 4 0 0 8 0 0 6293624 6294260 16138240 140727635509625 140727635509806 140727635509806 140727635513295 0
[pid=32146/tid=32151] ppid=32139 vsize=13977988 memory=1292 CPUtime=0.04 cores=0,2,4,6
/proc/32146/task/32151/stat : 32151 (java) S 32139 32146 897 0 -1 1077944384 48 0 0 0 2 2 0 0 20 0 15 0 66530472 14313459712 75290 18446744073709551615 4194304 4196468 140727635505728 140252899212176 140252979807957 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16138240 140727635509625 140727635509806 140727635509806 140727635513295 0
[pid=32146/tid=32153] ppid=32139 vsize=13977988 memory=0 CPUtime=0.06 cores=0,2,4,6
/proc/32146/task/32153/stat : 32153 (java) S 32139 32146 897 0 -1 1077944384 60 0 0 0 4 2 0 0 20 0 15 0 66530472 14313459712 75290 18446744073709551615 4194304 4196468 140727635505728 140252898159376 140252979807957 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16138240 140727635509625 140727635509806 140727635509806 140727635513295 0
[pid=32146/tid=32155] ppid=32139 vsize=13977988 memory=25332 CPUtime=0.07 cores=0,2,4,6
/proc/32146/task/32155/stat : 32155 (java) S 32139 32146 897 0 -1 1077944384 68 0 0 0 5 2 0 0 20 0 15 0 66530472 14313459712 75290 18446744073709551615 4194304 4196468 140727635505728 140252897107088 140252979807957 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16138240 140727635509625 140727635509806 140727635509806 140727635513295 0
[pid=32146/tid=32157] ppid=32139 vsize=13977988 memory=280908041504720 CPUtime=0.07 cores=0,2,4,6
/proc/32146/task/32157/stat : 32157 (java) S 32139 32146 897 0 -1 1077944384 141 0 0 0 5 2 0 0 20 0 15 0 66530472 14313459712 75290 18446744073709551615 4194304 4196468 140727635505728 140252576476176 140252979807957 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16138240 140727635509625 140727635509806 140727635509806 140727635513295 0
[pid=32146/tid=32159] ppid=32139 vsize=13977988 memory=288230587427467564 CPUtime=0 cores=0,2,4,6
/proc/32146/task/32159/stat : 32159 (java) S 32139 32146 897 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 15 0 66530473 14313459712 75290 18446744073709551615 4194304 4196468 140727635505728 140252458481776 140252979808898 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16138240 140727635509625 140727635509806 140727635509806 140727635513295 0
[pid=32146/tid=32161] ppid=32139 vsize=13977988 memory=288283385594666413 CPUtime=0 cores=0,2,4,6
/proc/32146/task/32161/stat : 32161 (java) S 32139 32146 897 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 66530474 14313459712 75290 18446744073709551615 4194304 4196468 140727635505728 140252457427744 140252979807957 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16138240 140727635509625 140727635509806 140727635509806 140727635513295 0
[pid=32146/tid=32163] ppid=32139 vsize=13977988 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32146/task/32163/stat : 32163 (java) S 32139 32146 897 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 66530474 14313459712 75290 18446744073709551615 4194304 4196468 140727635505728 140252456375408 140252979807957 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16138240 140727635509625 140727635509806 140727635509806 140727635513295 0
[pid=32146/tid=32168] ppid=32139 vsize=13977988 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32146/task/32168/stat : 32168 (java) S 32139 32146 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66530477 14313459712 75290 18446744073709551615 4194304 4196468 140727635505728 140252455323728 140252979816347 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16138240 140727635509625 140727635509806 140727635509806 140727635513295 0
[pid=32146/tid=32169] ppid=32139 vsize=13977988 memory=0 CPUtime=0.83 cores=0,2,4,6
/proc/32146/task/32169/stat : 32169 (java) R 32139 32146 897 0 -1 4202560 3915 0 0 0 83 0 0 0 20 0 15 0 66530477 14313459712 75290 18446744073709551615 4194304 4196468 140727635505728 140252454250704 140252963294539 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16138240 140727635509625 140727635509806 140727635509806 140727635513295 0
[pid=32146/tid=32170] ppid=32139 vsize=13977988 memory=0 CPUtime=0.85 cores=0,2,4,6
/proc/32146/task/32170/stat : 32170 (java) R 32139 32146 897 0 -1 4202560 3350 0 0 0 85 0 0 0 20 0 15 0 66530477 14313459712 75290 18446744073709551615 4194304 4196468 140727635505728 140252453204824 140252959041491 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16138240 140727635509625 140727635509806 140727635509806 140727635513295 0
[pid=32146/tid=32171] ppid=32139 vsize=13977988 memory=0 CPUtime=0.29 cores=0,2,4,6
/proc/32146/task/32171/stat : 32171 (java) S 32139 32146 897 0 -1 1077944384 1238 0 0 0 29 0 0 0 20 0 15 0 66530477 14313459712 75290 18446744073709551615 4194304 4196468 140727635505728 140252452166512 140252979808898 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16138240 140727635509625 140727635509806 140727635509806 140727635513295 0
[pid=32146/tid=32173] ppid=32139 vsize=13977988 memory=-8774313645642428999 CPUtime=0 cores=0,2,4,6
/proc/32146/task/32173/stat : 32173 (java) S 32139 32146 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66530477 14313459712 75290 18446744073709551615 4194304 4196468 140727635505728 140252451113952 140252979807957 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16138240 140727635509625 140727635509806 140727635509806 140727635513295 0
[pid=32146/tid=32175] ppid=32139 vsize=13977988 memory=1655 CPUtime=0 cores=0,2,4,6
/proc/32146/task/32175/stat : 32175 (java) S 32139 32146 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 66530486 14313459712 75290 18446744073709551615 4194304 4196468 140727635505728 140252450060720 140252979808898 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16138240 140727635509625 140727635509806 140727635509806 140727635513295 0
Current children cumulated CPU time: 3.48 s
Current children cumulated vsize: 13977988 KiB
Current children cumulated memory: 301160 KiB


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

/proc/32146/task/32148/stat : 32148 (java) R 32139 32146 897 0 -1 4202560 34637 0 0 0 9313 36 0 0 20 0 15 0 66530471 14317654016 2088652 18446744073709551615 4194304 4196468 140727635505728 140252984031504 140252586184656 0 4 1 16800974 0 0 0 -1 4 0 0 8 0 0 6293624 6294260 16138240 140727635509625 140727635509806 140727635509806 140727635513295 0
[pid=32146/tid=32151] ppid=32139 vsize=13982084 memory=8354548 CPUtime=7.93 cores=0,2,4,6
/proc/32146/task/32151/stat : 32151 (java) S 32139 32146 897 0 -1 1077944384 6100 0 0 0 640 153 0 0 20 0 15 0 66530472 14317654016 2088652 18446744073709551615 4194304 4196468 140727635505728 140252899212176 140252979807957 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16138240 140727635509625 140727635509806 140727635509806 140727635513295 0
[pid=32146/tid=32153] ppid=32139 vsize=13982084 memory=1440 CPUtime=7.98 cores=0,2,4,6
/proc/32146/task/32153/stat : 32153 (java) S 32139 32146 897 0 -1 1077944384 6028 0 0 0 634 164 0 0 20 0 15 0 66530472 14317654016 2088652 18446744073709551615 4194304 4196468 140727635505728 140252898159376 140252979807957 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16138240 140727635509625 140727635509806 140727635509806 140727635513295 0
[pid=32146/tid=32155] ppid=32139 vsize=13982084 memory=56 CPUtime=7.97 cores=0,2,4,6
/proc/32146/task/32155/stat : 32155 (java) S 32139 32146 897 0 -1 1077944384 7290 0 0 0 643 154 0 0 20 0 15 0 66530472 14317654016 2088652 18446744073709551615 4194304 4196468 140727635505728 140252897107088 140252979807957 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16138240 140727635509625 140727635509806 140727635509806 140727635513295 0
[pid=32146/tid=32157] ppid=32139 vsize=13982084 memory=7446534215326327636 CPUtime=7.94 cores=0,2,4,6
/proc/32146/task/32157/stat : 32157 (java) S 32139 32146 897 0 -1 1077944384 4885 0 0 0 632 162 0 0 20 0 15 0 66530472 14317654016 2088652 18446744073709551615 4194304 4196468 140727635505728 140252576476176 140252979807957 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16138240 140727635509625 140727635509806 140727635509806 140727635513295 0
[pid=32146/tid=32159] ppid=32139 vsize=13982084 memory=8354608 CPUtime=0.48 cores=0,2,4,6
/proc/32146/task/32159/stat : 32159 (java) S 32139 32146 897 0 -1 1077944384 15547 0 0 0 46 2 0 0 20 0 15 0 66530473 14317654016 2088652 18446744073709551615 4194304 4196468 140727635505728 140252458481776 140252979808898 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16138240 140727635509625 140727635509806 140727635509806 140727635513295 0
[pid=32146/tid=32161] ppid=32139 vsize=13982084 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/32146/task/32161/stat : 32161 (java) S 32139 32146 897 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 66530474 14317654016 2088652 18446744073709551615 4194304 4196468 140727635505728 140252457427808 140252979807957 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16138240 140727635509625 140727635509806 140727635509806 140727635513295 0
[pid=32146/tid=32163] ppid=32139 vsize=13982084 memory=280908041949456 CPUtime=0 cores=0,2,4,6
/proc/32146/task/32163/stat : 32163 (java) S 32139 32146 897 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 66530474 14317654016 2088652 18446744073709551615 4194304 4196468 140727635505728 140252456375424 140252979807957 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16138240 140727635509625 140727635509806 140727635509806 140727635513295 0
[pid=32146/tid=32168] ppid=32139 vsize=13982084 memory=1396417606092208474 CPUtime=0 cores=0,2,4,6
/proc/32146/task/32168/stat : 32168 (java) S 32139 32146 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66530477 14317654016 2088652 18446744073709551615 4194304 4196468 140727635505728 140252455323728 140252979816347 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16138240 140727635509625 140727635509806 140727635509806 140727635513295 0
[pid=32146/tid=32169] ppid=32139 vsize=13982084 memory=4116 CPUtime=4.08 cores=0,2,4,6
/proc/32146/task/32169/stat : 32169 (java) S 32139 32146 897 0 -1 1077944384 14610 0 0 0 406 2 0 0 20 0 15 0 66530477 14317654016 2088652 18446744073709551615 4194304 4196468 140727635505728 140252454271600 140252979808898 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16138240 140727635509625 140727635509806 140727635509806 140727635513295 0
[pid=32146/tid=32170] ppid=32139 vsize=13982084 memory=0 CPUtime=4.3 cores=0,2,4,6
/proc/32146/task/32170/stat : 32170 (java) S 32139 32146 897 0 -1 1077944384 13193 0 0 0 429 1 0 0 20 0 15 0 66530477 14317654016 2088652 18446744073709551615 4194304 4196468 140727635505728 140252453218800 140252979808898 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16138240 140727635509625 140727635509806 140727635509806 140727635513295 0
[pid=32146/tid=32171] ppid=32139 vsize=13982084 memory=2316 CPUtime=0.89 cores=0,2,4,6
/proc/32146/task/32171/stat : 32171 (java) S 32139 32146 897 0 -1 1077944384 8304 0 0 0 87 2 0 0 20 0 15 0 66530477 14317654016 2088652 18446744073709551615 4194304 4196468 140727635505728 140252452166512 140252979808898 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16138240 140727635509625 140727635509806 140727635509806 140727635513295 0
[pid=32146/tid=32173] ppid=32139 vsize=13982084 memory=1728 CPUtime=0 cores=0,2,4,6
/proc/32146/task/32173/stat : 32173 (java) S 32139 32146 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66530477 14317654016 2088652 18446744073709551615 4194304 4196468 140727635505728 140252451113952 140252979807957 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16138240 140727635509625 140727635509806 140727635509806 140727635513295 0
[pid=32146/tid=32175] ppid=32139 vsize=13982084 memory=37564 CPUtime=0.06 cores=0,2,4,6
/proc/32146/task/32175/stat : 32175 (java) S 32139 32146 897 0 -1 1077944384 145 0 0 0 2 4 0 0 20 0 15 0 66530486 14317654016 2088652 18446744073709551615 4194304 4196468 140727635505728 140252450060720 140252979808898 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16138240 140727635509625 140727635509806 140727635509806 140727635513295 0
Current children cumulated CPU time: 135.23 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 8354608 KiB

[startup+162.301 s]
/proc/loadavg: 1.81 1.44 1.48 4/212 32194
/proc/meminfo: memFree=19979884/32770624 swapFree=67108860/67108860
[pid=32146] ppid=32139 vsize=13982084 memory=8354812 CPUtime=196.41 cores=0,2,4,6
/proc/32146/stat : 32146 (java) S 32139 32146 897 0 -1 1077944320 136496 0 0 0 18954 687 0 0 20 0 15 0 66530461 14317654016 2088703 18446744073709551615 4194304 4196468 140727635505728 140727635488272 140252979797751 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 9 0 0 6293624 6294260 16138240 140727635509625 140727635509806 140727635509806 140727635513295 0
/proc/32146/statm: 3495521 2088703 3832 1 0 3484295 0
[pid=32146/tid=32148] ppid=32139 vsize=13982084 memory=8354812 CPUtime=153.51 cores=0,2,4,6
/proc/32146/task/32148/stat : 32148 (java) R 32139 32146 897 0 -1 4202560 44330 0 0 0 15313 38 0 0 20 0 15 0 66530471 14317654016 2088703 18446744073709551615 4194304 4196468 140727635505728 140252984031584 140252586516700 0 4 1 16800974 0 0 0 -1 4 0 0 8 0 0 6293624 6294260 16138240 140727635509625 140727635509806 140727635509806 140727635513295 0
[pid=32146/tid=32151] ppid=32139 vsize=13982084 memory=8354548 CPUtime=7.93 cores=0,2,4,6
/proc/32146/task/32151/stat : 32151 (java) S 32139 32146 897 0 -1 1077944384 6100 0 0 0 640 153 0 0 20 0 15 0 66530472 14317654016 2088703 18446744073709551615 4194304 4196468 140727635505728 140252899212176 140252979807957 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16138240 140727635509625 140727635509806 140727635509806 140727635513295 0
[pid=32146/tid=32153] ppid=32139 vsize=13982084 memory=8354800 CPUtime=7.98 cores=0,2,4,6
/proc/32146/task/32153/stat : 32153 (java) S 32139 32146 897 0 -1 1077944384 6028 0 0 0 634 164 0 0 20 0 15 0 66530472 14317654016 2088703 18446744073709551615 4194304 4196468 140727635505728 140252898159376 140252979807957 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16138240 140727635509625 140727635509806 140727635509806 140727635513295 0
[pid=32146/tid=32155] ppid=32139 vsize=13982084 memory=8354800 CPUtime=7.97 cores=0,2,4,6
/proc/32146/task/32155/stat : 32155 (java) S 32139 32146 897 0 -1 1077944384 7290 0 0 0 643 154 0 0 20 0 15 0 66530472 14317654016 2088703 18446744073709551615 4194304 4196468 140727635505728 140252897107088 140252979807957 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16138240 140727635509625 140727635509806 140727635509806 140727635513295 0
[pid=32146/tid=32157] ppid=32139 vsize=13982084 memory=8354804 CPUtime=7.94 cores=0,2,4,6
/proc/32146/task/32157/stat : 32157 (java) S 32139 32146 897 0 -1 1077944384 4885 0 0 0 632 162 0 0 20 0 15 0 66530472 14317654016 2088703 18446744073709551615 4194304 4196468 140727635505728 140252576476176 140252979807957 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16138240 140727635509625 140727635509806 140727635509806 140727635513295 0
[pid=32146/tid=32159] ppid=32139 vsize=13982084 memory=960 CPUtime=0.48 cores=0,2,4,6
/proc/32146/task/32159/stat : 32159 (java) S 32139 32146 897 0 -1 1077944384 15624 0 0 0 46 2 0 0 20 0 15 0 66530473 14317654016 2088703 18446744073709551615 4194304 4196468 140727635505728 140252458481776 140252979808898 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16138240 140727635509625 140727635509806 140727635509806 140727635513295 0
[pid=32146/tid=32161] ppid=32139 vsize=13982084 memory=8354812 CPUtime=0 cores=0,2,4,6
/proc/32146/task/32161/stat : 32161 (java) S 32139 32146 897 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 66530474 14317654016 2088703 18446744073709551615 4194304 4196468 140727635505728 140252457427808 140252979807957 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16138240 140727635509625 140727635509806 140727635509806 140727635513295 0
[pid=32146/tid=32163] ppid=32139 vsize=13982084 memory=8354804 CPUtime=0 cores=0,2,4,6
/proc/32146/task/32163/stat : 32163 (java) S 32139 32146 897 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 66530474 14317654016 2088703 18446744073709551615 4194304 4196468 140727635505728 140252456375424 140252979807957 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16138240 140727635509625 140727635509806 140727635509806 140727635513295 0
[pid=32146/tid=32168] ppid=32139 vsize=13982084 memory=8354784 CPUtime=0 cores=0,2,4,6
/proc/32146/task/32168/stat : 32168 (java) S 32139 32146 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66530477 14317654016 2088703 18446744073709551615 4194304 4196468 140727635505728 140252455323728 140252979816347 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16138240 140727635509625 140727635509806 140727635509806 140727635513295 0
[pid=32146/tid=32169] ppid=32139 vsize=13982084 memory=8354812 CPUtime=4.68 cores=0,2,4,6
/proc/32146/task/32169/stat : 32169 (java) S 32139 32146 897 0 -1 1077944384 21085 0 0 0 466 2 0 0 20 0 15 0 66530477 14317654016 2088703 18446744073709551615 4194304 4196468 140727635505728 140252454271600 140252979808898 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16138240 140727635509625 140727635509806 140727635509806 140727635513295 0
[pid=32146/tid=32170] ppid=32139 vsize=13982084 memory=8354812 CPUtime=4.77 cores=0,2,4,6
/proc/32146/task/32170/stat : 32170 (java) S 32139 32146 897 0 -1 1077944384 18658 0 0 0 475 2 0 0 20 0 15 0 66530477 14317654016 2088703 18446744073709551615 4194304 4196468 140727635505728 140252453218800 140252979808898 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16138240 140727635509625 140727635509806 140727635509806 140727635513295 0
[pid=32146/tid=32171] ppid=32139 vsize=13982084 memory=8354812 CPUtime=0.95 cores=0,2,4,6
/proc/32146/task/32171/stat : 32171 (java) S 32139 32146 897 0 -1 1077944384 10855 0 0 0 93 2 0 0 20 0 15 0 66530477 14317654016 2088703 18446744073709551615 4194304 4196468 140727635505728 140252452166512 140252979808898 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16138240 140727635509625 140727635509806 140727635509806 140727635513295 0
[pid=32146/tid=32173] ppid=32139 vsize=13982084 memory=8354812 CPUtime=0 cores=0,2,4,6
/proc/32146/task/32173/stat : 32173 (java) S 32139 32146 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66530477 14317654016 2088703 18446744073709551615 4194304 4196468 140727635505728 140252451113952 140252979807957 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16138240 140727635509625 140727635509806 140727635509806 140727635513295 0
[pid=32146/tid=32175] ppid=32139 vsize=13982084 memory=8354812 CPUtime=0.1 cores=0,2,4,6
/proc/32146/task/32175/stat : 32175 (java) S 32139 32146 897 0 -1 1077944384 231 0 0 0 5 5 0 0 20 0 15 0 66530486 14317654016 2088703 18446744073709551615 4194304 4196468 140727635505728 140252450060720 140252979808898 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16138240 140727635509625 140727635509806 140727635509806 140727635513295 0
Current children cumulated CPU time: 196.41 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 8354812 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+217.701 s]
/proc/loadavg: 1.96 1.53 1.51 4/212 32196
/proc/meminfo: memFree=19886656/32770624 swapFree=67108860/67108860
[pid=32146] ppid=32139 vsize=13982084 memory=8354836 CPUtime=252.04 cores=0,2,4,6
/proc/32146/stat : 32146 (java) S 32139 32146 897 0 -1 1077944320 149319 0 0 0 24514 690 0 0 20 0 15 0 66530461 14317654016 2088709 18446744073709551615 4194304 4196468 140727635505728 140727635488272 140252979797751 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 9 0 0 6293624 6294260 16138240 140727635509625 140727635509806 140727635509806 140727635513295 0
/proc/32146/statm: 3495521 2088709 3832 1 0 3484295 0
[pid=32146/tid=32148] ppid=32139 vsize=13982084 memory=8354836 CPUtime=208.91 cores=0,2,4,6
/proc/32146/task/32148/stat : 32148 (java) R 32139 32146 897 0 -1 4202560 52730 0 0 0 20853 38 0 0 20 0 15 0 66530471 14317654016 2088709 18446744073709551615 4194304 4196468 140727635505728 140252984032088 140252586516583 0 4 1 16800974 0 0 0 -1 4 0 0 8 0 0 6293624 6294260 16138240 140727635509625 140727635509806 140727635509806 140727635513295 0
[pid=32146/tid=32151] ppid=32139 vsize=13982084 memory=8354836 CPUtime=7.93 cores=0,2,4,6
/proc/32146/task/32151/stat : 32151 (java) S 32139 32146 897 0 -1 1077944384 6100 0 0 0 640 153 0 0 20 0 15 0 66530472 14317654016 2088709 18446744073709551615 4194304 4196468 140727635505728 140252899212176 140252979807957 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16138240 140727635509625 140727635509806 140727635509806 140727635513295 0
[pid=32146/tid=32153] ppid=32139 vsize=13982084 memory=8354832 CPUtime=7.98 cores=0,2,4,6
/proc/32146/task/32153/stat : 32153 (java) S 32139 32146 897 0 -1 1077944384 6028 0 0 0 634 164 0 0 20 0 15 0 66530472 14317654016 2088709 18446744073709551615 4194304 4196468 140727635505728 140252898159376 140252979807957 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16138240 140727635509625 140727635509806 140727635509806 140727635513295 0
[pid=32146/tid=32155] ppid=32139 vsize=13982084 memory=8354824 CPUtime=7.97 cores=0,2,4,6
/proc/32146/task/32155/stat : 32155 (java) S 32139 32146 897 0 -1 1077944384 7290 0 0 0 643 154 0 0 20 0 15 0 66530472 14317654016 2088709 18446744073709551615 4194304 4196468 140727635505728 140252897107088 140252979807957 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16138240 140727635509625 140727635509806 140727635509806 140727635513295 0
[pid=32146/tid=32157] ppid=32139 vsize=13982084 memory=8354824 CPUtime=7.94 cores=0,2,4,6
/proc/32146/task/32157/stat : 32157 (java) S 32139 32146 897 0 -1 1077944384 4885 0 0 0 632 162 0 0 20 0 15 0 66530472 14317654016 2088709 18446744073709551615 4194304 4196468 140727635505728 140252576476176 140252979807957 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16138240 140727635509625 140727635509806 140727635509806 140727635513295 0
[pid=32146/tid=32159] ppid=32139 vsize=13982084 memory=8354824 CPUtime=0.48 cores=0,2,4,6
/proc/32146/task/32159/stat : 32159 (java) S 32139 32146 897 0 -1 1077944384 15679 0 0 0 46 2 0 0 20 0 15 0 66530473 14317654016 2088709 18446744073709551615 4194304 4196468 140727635505728 140252458481776 140252979808898 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16138240 140727635509625 140727635509806 140727635509806 140727635513295 0
[pid=32146/tid=32161] ppid=32139 vsize=13982084 memory=8354836 CPUtime=0 cores=0,2,4,6
/proc/32146/task/32161/stat : 32161 (java) S 32139 32146 897 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 66530474 14317654016 2088709 18446744073709551615 4194304 4196468 140727635505728 140252457427808 140252979807957 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16138240 140727635509625 140727635509806 140727635509806 140727635513295 0
[pid=32146/tid=32163] ppid=32139 vsize=13982084 memory=8354836 CPUtime=0 cores=0,2,4,6
/proc/32146/task/32163/stat : 32163 (java) S 32139 32146 897 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 66530474 14317654016 2088709 18446744073709551615 4194304 4196468 140727635505728 140252456375424 140252979807957 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16138240 140727635509625 140727635509806 140727635509806 140727635513295 0
[pid=32146/tid=32168] ppid=32139 vsize=13982084 memory=8354836 CPUtime=0 cores=0,2,4,6
/proc/32146/task/32168/stat : 32168 (java) S 32139 32146 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66530477 14317654016 2088709 18446744073709551615 4194304 4196468 140727635505728 140252455323728 140252979816347 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16138240 140727635509625 140727635509806 140727635509806 140727635513295 0
[pid=32146/tid=32169] ppid=32139 vsize=13982084 memory=8354836 CPUtime=4.76 cores=0,2,4,6
/proc/32146/task/32169/stat : 32169 (java) S 32139 32146 897 0 -1 1077944384 22933 0 0 0 473 3 0 0 20 0 15 0 66530477 14317654016 2088709 18446744073709551615 4194304 4196468 140727635505728 140252454271600 140252979808898 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16138240 140727635509625 140727635509806 140727635509806 140727635513295 0
[pid=32146/tid=32170] ppid=32139 vsize=13982084 memory=0 CPUtime=4.85 cores=0,2,4,6
/proc/32146/task/32170/stat : 32170 (java) S 32139 32146 897 0 -1 1077944384 20059 0 0 0 483 2 0 0 20 0 15 0 66530477 14317654016 2088709 18446744073709551615 4194304 4196468 140727635505728 140252453218800 140252979808898 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16138240 140727635509625 140727635509806 140727635509806 140727635513295 0
[pid=32146/tid=32171] ppid=32139 vsize=13982084 memory=140458435057279 CPUtime=0.97 cores=0,2,4,6
/proc/32146/task/32171/stat : 32171 (java) S 32139 32146 897 0 -1 1077944384 11799 0 0 0 95 2 0 0 20 0 15 0 66530477 14317654016 2088709 18446744073709551615 4194304 4196468 140727635505728 140252452166512 140252979808898 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16138240 140727635509625 140727635509806 140727635509806 140727635513295 0
[pid=32146/tid=32173] ppid=32139 vsize=13982084 memory=8354836 CPUtime=0 cores=0,2,4,6
/proc/32146/task/32173/stat : 32173 (java) S 32139 32146 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66530477 14317654016 2088709 18446744073709551615 4194304 4196468 140727635505728 140252451113952 140252979807957 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16138240 140727635509625 140727635509806 140727635509806 140727635513295 0
[pid=32146/tid=32175] ppid=32139 vsize=13982084 memory=37580 CPUtime=0.15 cores=0,2,4,6
/proc/32146/task/32175/stat : 32175 (java) S 32139 32146 897 0 -1 1077944384 406 0 0 0 7 8 0 0 20 0 15 0 66530486 14317654016 2088709 18446744073709551615 4194304 4196468 140727635505728 140252450060720 140252979808898 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16138240 140727635509625 140727635509806 140727635509806 140727635513295 0
Current children cumulated CPU time: 252.04 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 8354836 KiB

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

[startup+217.762 s]
# the end of solver process 32146 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=245.176 s, system=6.93823 s

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

[startup+217.701 s]
/proc/loadavg: 1.96 1.53 1.51 4/212 32196
/proc/meminfo: memFree=19886656/32770624 swapFree=67108860/67108860
[pid=32146] ppid=32139 vsize=13982084 memory=8354836 CPUtime=252.04 cores=0,2,4,6
/proc/32146/stat : 32146 (java) S 32139 32146 897 0 -1 1077944320 149319 0 0 0 24514 690 0 0 20 0 15 0 66530461 14317654016 2088709 18446744073709551615 4194304 4196468 140727635505728 140727635488272 140252979797751 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 9 0 0 6293624 6294260 16138240 140727635509625 140727635509806 140727635509806 140727635513295 0
/proc/32146/statm: 3495521 2088709 3832 1 0 3484295 0
[pid=32146/tid=32148] ppid=32139 vsize=13982084 memory=8354836 CPUtime=208.91 cores=0,2,4,6
/proc/32146/task/32148/stat : 32148 (java) R 32139 32146 897 0 -1 4202560 52730 0 0 0 20853 38 0 0 20 0 15 0 66530471 14317654016 2088709 18446744073709551615 4194304 4196468 140727635505728 140252984032088 140252586516583 0 4 1 16800974 0 0 0 -1 4 0 0 8 0 0 6293624 6294260 16138240 140727635509625 140727635509806 140727635509806 140727635513295 0
[pid=32146/tid=32151] ppid=32139 vsize=13982084 memory=8354836 CPUtime=7.93 cores=0,2,4,6
/proc/32146/task/32151/stat : 32151 (java) S 32139 32146 897 0 -1 1077944384 6100 0 0 0 640 153 0 0 20 0 15 0 66530472 14317654016 2088709 18446744073709551615 4194304 4196468 140727635505728 140252899212176 140252979807957 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16138240 140727635509625 140727635509806 140727635509806 140727635513295 0
[pid=32146/tid=32153] ppid=32139 vsize=13982084 memory=8354832 CPUtime=7.98 cores=0,2,4,6
/proc/32146/task/32153/stat : 32153 (java) S 32139 32146 897 0 -1 1077944384 6028 0 0 0 634 164 0 0 20 0 15 0 66530472 14317654016 2088709 18446744073709551615 4194304 4196468 140727635505728 140252898159376 140252979807957 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16138240 140727635509625 140727635509806 140727635509806 140727635513295 0
[pid=32146/tid=32155] ppid=32139 vsize=13982084 memory=8354824 CPUtime=7.97 cores=0,2,4,6
/proc/32146/task/32155/stat : 32155 (java) S 32139 32146 897 0 -1 1077944384 7290 0 0 0 643 154 0 0 20 0 15 0 66530472 14317654016 2088709 18446744073709551615 4194304 4196468 140727635505728 140252897107088 140252979807957 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16138240 140727635509625 140727635509806 140727635509806 140727635513295 0
[pid=32146/tid=32157] ppid=32139 vsize=13982084 memory=8354824 CPUtime=7.94 cores=0,2,4,6
/proc/32146/task/32157/stat : 32157 (java) S 32139 32146 897 0 -1 1077944384 4885 0 0 0 632 162 0 0 20 0 15 0 66530472 14317654016 2088709 18446744073709551615 4194304 4196468 140727635505728 140252576476176 140252979807957 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16138240 140727635509625 140727635509806 140727635509806 140727635513295 0
[pid=32146/tid=32159] ppid=32139 vsize=13982084 memory=8354824 CPUtime=0.48 cores=0,2,4,6
/proc/32146/task/32159/stat : 32159 (java) S 32139 32146 897 0 -1 1077944384 15679 0 0 0 46 2 0 0 20 0 15 0 66530473 14317654016 2088709 18446744073709551615 4194304 4196468 140727635505728 140252458481776 140252979808898 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16138240 140727635509625 140727635509806 140727635509806 140727635513295 0
[pid=32146/tid=32161] ppid=32139 vsize=13982084 memory=8354836 CPUtime=0 cores=0,2,4,6
/proc/32146/task/32161/stat : 32161 (java) S 32139 32146 897 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 66530474 14317654016 2088709 18446744073709551615 4194304 4196468 140727635505728 140252457427808 140252979807957 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16138240 140727635509625 140727635509806 140727635509806 140727635513295 0
[pid=32146/tid=32163] ppid=32139 vsize=13982084 memory=8354836 CPUtime=0 cores=0,2,4,6
/proc/32146/task/32163/stat : 32163 (java) S 32139 32146 897 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 66530474 14317654016 2088709 18446744073709551615 4194304 4196468 140727635505728 140252456375424 140252979807957 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16138240 140727635509625 140727635509806 140727635509806 140727635513295 0
[pid=32146/tid=32168] ppid=32139 vsize=13982084 memory=8354836 CPUtime=0 cores=0,2,4,6
/proc/32146/task/32168/stat : 32168 (java) S 32139 32146 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66530477 14317654016 2088709 18446744073709551615 4194304 4196468 140727635505728 140252455323728 140252979816347 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16138240 140727635509625 140727635509806 140727635509806 140727635513295 0
[pid=32146/tid=32169] ppid=32139 vsize=13982084 memory=8354836 CPUtime=4.76 cores=0,2,4,6
/proc/32146/task/32169/stat : 32169 (java) S 32139 32146 897 0 -1 1077944384 22933 0 0 0 473 3 0 0 20 0 15 0 66530477 14317654016 2088709 18446744073709551615 4194304 4196468 140727635505728 140252454271600 140252979808898 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16138240 140727635509625 140727635509806 140727635509806 140727635513295 0
[pid=32146/tid=32170] ppid=32139 vsize=13982084 memory=0 CPUtime=4.85 cores=0,2,4,6
/proc/32146/task/32170/stat : 32170 (java) S 32139 32146 897 0 -1 1077944384 20059 0 0 0 483 2 0 0 20 0 15 0 66530477 14317654016 2088709 18446744073709551615 4194304 4196468 140727635505728 140252453218800 140252979808898 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16138240 140727635509625 140727635509806 140727635509806 140727635513295 0
[pid=32146/tid=32171] ppid=32139 vsize=13982084 memory=140458435057279 CPUtime=0.97 cores=0,2,4,6
/proc/32146/task/32171/stat : 32171 (java) S 32139 32146 897 0 -1 1077944384 11799 0 0 0 95 2 0 0 20 0 15 0 66530477 14317654016 2088709 18446744073709551615 4194304 4196468 140727635505728 140252452166512 140252979808898 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16138240 140727635509625 140727635509806 140727635509806 140727635513295 0
[pid=32146/tid=32173] ppid=32139 vsize=13982084 memory=8354836 CPUtime=0 cores=0,2,4,6
/proc/32146/task/32173/stat : 32173 (java) S 32139 32146 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 66530477 14317654016 2088709 18446744073709551615 4194304 4196468 140727635505728 140252451113952 140252979807957 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16138240 140727635509625 140727635509806 140727635509806 140727635513295 0
[pid=32146/tid=32175] ppid=32139 vsize=13982084 memory=37580 CPUtime=0.15 cores=0,2,4,6
/proc/32146/task/32175/stat : 32175 (java) S 32139 32146 897 0 -1 1077944384 406 0 0 0 7 8 0 0 20 0 15 0 66530486 14317654016 2088709 18446744073709551615 4194304 4196468 140727635505728 140252450060720 140252979808898 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16138240 140727635509625 140727635509806 140727635509806 140727635513295 0
Current children cumulated CPU time: 252.04 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 8354836 KiB

Child status: 143
Real time (s): 217.762
CPU time (s): 252.114
CPU user time (s): 245.176
CPU system time (s): 6.93823
CPU usage (%): 115.775
Max. virtual memory (cumulated for all children) (KiB): 13982084
Max. memory (cumulated for all children) (KiB): 8357348

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 245.176
system time used= 6.93823
maximum resident set size= 8357348
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 149859
page faults= 0
swaps= 0
block input operations= 0
block output operations= 392
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9383
involuntary context switches= 514


# summary of solver processes directly reported to runsolver:
#   pid: 32146
#   total CPU time (s): 252.114
#   total CPU user time (s): 245.176
#   total CPU system time (s): 6.93823

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.25466 second user time and 2.10292 second system time

The end

Launcher Data 

Begin job on node125 at 2017-08-13 18:37:31
IDJOB=4256543
IDBENCH=120625
IDSOLVER=2640
FILE ID=node125/4256543-1502643097
RUNJOBID= node125-1502642251-32116
PBS_JOBID= 
Free space on /tmp= 62024 MiB

SOLVER NAME= OscaR - Hybrid 2017-07-26
BENCH NAME= XCSP17/GraphColoring/GraphColoring-m1-mono/GraphColoring-wap01a.xml
COMMAND LINE= java -Xmx11000m -jar oscar-cp-xcsp3-hybrid.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 11000 --nbcore NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4256543-1502643097/watcher-4256543-1502643097 -o /tmp/evaluation-result-4256543-1502643097/solver-4256543-1502643097 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502642251-32116 --watchdog 312  java -Xmx11000m -jar oscar-cp-xcsp3-hybrid.jar --randomseed 343493861 --timelimit 252 --memlimit 11000 --nbcore 4 HOME/instance-4256543-1502643097.xml

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

MD5SUM BENCH= 1f75bed7d5113015eb943bda0c7ab47c
RANDOM SEED=343493861

node125.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.07
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.07
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.07
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.07
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:        31015448 kB
MemAvailable:   31993456 kB
Buffers:          285616 kB
Cached:           988652 kB
SwapCached:            0 kB
Active:           741892 kB
Inactive:         584492 kB
Active(anon):      53128 kB
Inactive(anon):    33100 kB
Active(file):     688764 kB
Inactive(file):   551392 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             73868 kB
Writeback:             4 kB
AnonPages:         52640 kB
Mapped:            46780 kB
Shmem:             33444 kB
Slab:             132896 kB
SReclaimable:     107376 kB
SUnreclaim:        25520 kB
KernelStack:        3056 kB
PageTables:         4736 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     306600 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:      118144 kB
DirectMap2M:    33427456 kB

Free space on /tmp at the end= 61944 MiB
End job on node125 at 2017-08-13 18:41:10