Trace number 4311984

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 NameAnswerCPU timeWall clock time
OscaR - Conflict Ordering with restarts 2018-08-17SAT 670.303 665.727

General information on the benchmark

NamePseudoBoolean-dec/
Pb-robin12_c18.xml
MD5SUM06a2ec4b3086c6da600ddbfdfe006226
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark1.84574
Satisfiable
(Un)Satisfiability was proved
Number of variables4356
Number of constraints600
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":4356}]
Minimum variable degree10
Maximum variable degree10
Distribution of variable degrees[{"degree":10,"count":4356}]
Minimum constraint arity66
Maximum constraint arity121
Distribution of constraint arities[{"arity":66,"count":528},{"arity":121,"count":72}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"sum","count":600}]
Optimization problemNO
Type of objective

Solver Data

0.67/0.58	c version: 2018-08-17
0.81/0.66	c seed: 1427395470
0.81/0.66	c timeout: 2520
0.81/0.66	c memlimit: 11000
0.81/0.66	c nbcore: 1
0.81/0.66	c Parsing instance...
6.30/4.01	c Parsing done, starting search...
670.23/665.71	s SATISFIABLE
670.23/665.71	v <instantiation>
670.23/665.71	v 	<list>
670.23/665.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] x[2368] x[2369] x[2370] x[2371] x[2372] x[2373] x[2374] x[2375] x[2376] x[2377] x[2378] x[2379] x[2380] x[2381] x[2382] x[2383] x[2384] x[2385] x[2386] x[2387] x[2388] x[2389] x[2390] x[2391] x[2392] x[2393] x[2394] x[2395] x[2396] x[2397] x[2398] x[2399] x[2400] x[2401] x[2402] x[2403] x[2404] x[2405] x[2406] x[2407] x[2408] x[2409] x[2410] x[2411] x[2412] x[2413] x[2414] x[2415] x[2416] x[2417] x[2418] x[2419] x[2420] x[2421] x[2422] x[2423] x[2424] x[2425] x[2426] x[2427] x[2428] x[2429] x[2430] x[2431] x[2432] x[2433] x[2434] x[2435] x[2436] x[2437] x[2438] x[2439] x[2440] x[2441] x[2442] x[2443] x[2444] x[2445] x[2446] x[2447] x[2448] x[2449] x[2450] x[2451] x[2452] x[2453] x[2454] x[2455] x[2456] x[2457] x[2458] x[2459] x[2460] x[2461] x[2462] x[2463] x[2464] x[2465] x[2466] x[2467] x[2468] x[2469] x[2470] x[2471] x[2472] x[2473] x[2474] x[2475] x[2476] x[2477] x[2478] x[2479] x[2480] x[2481] x[2482] x[2483] x[2484] x[2485] x[2486] x[2487] x[2488] x[2489] x[2490] x[2491] x[2492] x[2493] x[2494] x[2495] x[2496] x[2497] x[2498] x[2499] x[2500] x[2501] x[2502] x[2503] x[2504] x[2505] x[2506] x[2507] x[2508] x[2509] x[2510] x[2511] x[2512] x[2513] x[2514] x[2515] x[2516] x[2517] x[2518] x[2519] x[2520] x[2521] x[2522] x[2523] x[2524] x[2525] x[2526] x[2527] x[2528] x[2529] x[2530] x[2531] x[2532] x[2533] x[2534] x[2535] x[2536] x[2537] x[2538] x[2539] x[2540] x[2541] x[2542] x[2543] x[2544] x[2545] x[2546] x[2547] x[2548] x[2549] x[2550] x[2551] x[2552] x[2553] x[2554] x[2555] x[2556] x[2557] x[2558] x[2559] x[2560] x[2561] x[2562] x[2563] x[2564] x[2565] x[2566] x[2567] x[2568] x[2569] x[2570] x[2571] x[2572] x[2573] x[2574] x[2575] x[2576] x[2577] x[2578] x[2579] x[2580] x[2581] x[2582] x[2583] x[2584] x[2585] x[2586] x[2587] x[2588] x[2589] x[2590] x[2591] x[2592] x[2593] x[2594] x[2595] x[2596] x[2597] x[2598] x[2599] x[2600] x[2601] x[2602] x[2603] x[2604] x[2605] x[2606] x[2607] x[2608] x[2609] x[2610] x[2611] x[2612] x[2613] x[2614] x[2615] x[2616] x[2617] x[2618] x[2619] x[2620] x[2621] x[2622] x[2623] x[2624] x[2625] x[2626] x[2627] x[2628] x[2629] x[2630] x[2631] x[2632] x[2633] x[2634] x[2635] x[2636] x[2637] x[2638] x[2639] x[2640] x[2641] x[2642] x[2643] x[2644] x[2645] x[2646] x[2647] x[2648] x[2649] x[2650] x[2651] x[2652] x[2653] x[2654] x[2655] x[2656] x[2657] x[2658] x[2659] x[2660] x[2661] x[2662] x[2663] x[2664] x[2665] x[2666] x[2667] x[2668] x[2669] x[2670] x[2671] x[2672] x[2673] x[2674] x[2675] x[2676] x[2677] x[2678] x[2679] x[2680] x[2681] x[2682] x[2683] x[2684] x[2685] x[2686] x[2687] x[2688] x[2689] x[2690] x[2691] x[2692] x[2693] x[2694] x[2695] x[2696] x[2697] x[2698] x[2699] x[2700] x[2701] x[2702] x[2703] x[2704] x[2705] x[2706] x[2707] x[2708] x[2709] x[2710] x[2711] x[2712] x[2713] x[2714] x[2715] x[2716] x[2717] x[2718] x[2719] x[2720] x[2721] x[2722] x[2723] x[2724] x[2725] x[2726] x[2727] x[2728] x[2729] x[2730] x[2731] x[2732] x[2733] x[2734] x[2735] x[2736] x[2737] x[2738] x[2739] x[2740] x[2741] x[2742] x[2743] x[2744] x[2745] x[2746] x[2747] x[2748] x[2749] x[2750] x[2751] x[2752] x[2753] x[2754] x[2755] x[2756] x[2757] x[2758] x[2759] x[2760] x[2761] x[2762] x[2763] x[2764] x[2765] x[2766] x[2767] x[2768] x[2769] x[2770] x[2771] x[2772] x[2773] x[2774] x[2775] x[2776] x[2777] x[2778] x[2779] x[2780] x[2781] x[2782] x[2783] x[2784] x[2785] x[2786] x[2787] x[2788] x[2789] x[2790] x[2791] x[2792] x[2793] x[2794] x[2795] x[2796] x[2797] x[2798] x[2799] x[2800] x[2801] x[2802] x[2803] x[2804] x[2805] x[2806] x[2807] x[2808] x[2809] x[2810] x[2811] x[2812] x[2813] x[2814] x[2815] x[2816] x[2817] x[2818] x[2819] x[2820] x[2821] x[2822] x[2823] x[2824] x[2825] x[2826] x[2827] x[2828] x[2829] x[2830] x[2831] x[2832] x[2833] x[2834] x[2835] x[2836] x[2837] x[2838] x[2839] x[2840] x[2841] x[2842] x[2843] x[2844] x[2845] x[2846] x[2847] x[2848] x[2849] x[2850] x[2851] x[2852] x[2853] x[2854] x[2855] x[2856] x[2857] x[2858] x[2859] x[2860] x[2861] x[2862] x[2863] x[2864] x[2865] x[2866] x[2867] x[2868] x[2869] x[2870] x[2871] x[2872] x[2873] x[2874] x[2875] x[2876] x[2877] x[2878] x[2879] x[2880] x[2881] x[2882] x[2883] x[2884] x[2885] x[2886] x[2887] x[2888] x[2889] x[2890] x[2891] x[2892] x[2893] x[2894] x[2895] x[2896] x[2897] x[2898] x[2899] x[2900] x[2901] x[2902] x[2903] x[2904] x[2905] x[2906] x[2907] x[2908] x[2909] x[2910] x[2911] x[2912] x[2913] x[2914] x[2915] x[2916] x[2917] x[2918] x[2919] x[2920] x[2921] x[2922] x[2923] x[2924] x[2925] x[2926] x[2927] x[2928] x[2929] x[2930] x[2931] x[2932] x[2933] x[2934] x[2935] x[2936] x[2937] x[2938] x[2939] x[2940] x[2941] x[2942] x[2943] x[2944] x[2945] x[2946] x[2947] x[2948] x[2949] x[2950] x[2951] x[2952] x[2953] x[2954] x[2955] x[2956] x[2957] x[2958] x[2959] x[2960] x[2961] x[2962] x[2963] x[2964] x[2965] x[2966] x[2967] x[2968] x[2969] x[2970] x[2971] x[2972] x[2973] x[2974] x[2975] x[2976] x[2977] x[2978] x[2979] x[2980] x[2981] x[2982] x[2983] x[2984] x[2985] x[2986] x[2987] x[2988] x[2989] x[2990] x[2991] x[2992] x[2993] x[2994] x[2995] x[2996] x[2997] x[2998] x[2999] x[3000] x[3001] x[3002] x[3003] x[3004] x[3005] x[3006] x[3007] x[3008] x[3009] x[3010] x[3011] x[3012] x[3013] x[3014] x[3015] x[3016] x[3017] x[3018] x[3019] x[3020] x[3021] x[3022] x[3023] x[3024] x[3025] x[3026] x[3027] x[3028] x[3029] x[3030] x[3031] x[3032] x[3033] x[3034] x[3035] x[3036] x[3037] x[3038] x[3039] x[3040] x[3041] x[3042] x[3043] x[3044] x[3045] x[3046] x[3047] x[3048] x[3049] x[3050] x[3051] x[3052] x[3053] x[3054] x[3055] x[3056] x[3057] x[3058] x[3059] x[3060] x[3061] x[3062] x[3063] x[3064] x[3065] x[3066] x[3067] x[3068] x[3069] x[3070] x[3071] x[3072] x[3073] x[3074] x[3075] x[3076] x[3077] x[3078] x[3079] x[3080] x[3081] x[3082] x[3083] x[3084] x[3085] x[3086] x[3087] x[3088] x[3089] x[3090] x[3091] x[3092] x[3093] x[3094] x[3095] x[3096] x[3097] x[3098] x[3099] x[3100] x[3101] x[3102] x[3103] x[3104] x[3105] x[3106] x[3107] x[3108] x[3109] x[3110] x[3111] x[3112] x[3113] x[3114] x[3115] x[3116] x[3117] x[3118] x[3119] x[3120] x[3121] x[3122] x[3123] x[3124] x[3125] x[3126] x[3127] x[3128] x[3129] x[3130] x[3131] x[3132] x[3133] x[3134] x[3135] x[3136] x[3137] x[3138] x[3139] x[3140] x[3141] x[3142] x[3143] x[3144] x[3145] x[3146] x[3147] x[3148] x[3149] x[3150] x[3151] x[3152] x[3153] x[3154] x[3155] x[3156] x[3157] x[3158] x[3159] x[3160] x[3161] x[3162] x[3163] x[3164] x[3165] x[3166] x[3167] x[3168] x[3169] x[3170] x[3171] x[3172] x[3173] x[3174] x[3175] x[3176] x[3177] x[3178] x[3179] x[3180] x[3181] x[3182] x[3183] x[3184] x[3185] x[3186] x[3187] x[3188] x[3189] x[3190] x[3191] x[3192] x[3193] x[3194] x[3195] x[3196] x[3197] x[3198] x[3199] x[3200] x[3201] x[3202] x[3203] x[3204] x[3205] x[3206] x[3207] x[3208] x[3209] x[3210] x[3211] x[3212] x[3213] x[3214] x[3215] x[3216] x[3217] x[3218] x[3219] x[3220] x[3221] x[3222] x[3223] x[3224] x[3225] x[3226] x[3227] x[3228] x[3229] x[3230] x[3231] x[3232] x[3233] x[3234] x[3235] x[3236] x[3237] x[3238] x[3239] x[3240] x[3241] x[3242] x[3243] x[3244] x[3245] x[3246] x[3247] x[3248] x[3249] x[3250] x[3251] x[3252] x[3253] x[3254] x[3255] x[3256] x[3257] x[3258] x[3259] x[3260] x[3261] x[3262] x[3263] x[3264] x[3265] x[3266] x[3267] x[3268] x[3269] x[3270] x[3271] x[3272] x[3273] x[3274] x[3275] x[3276] x[3277] x[3278] x[3279] x[3280] x[3281] x[3282] x[3283] x[3284] x[3285] x[3286] x[3287] x[3288] x[3289] x[3290] x[3291] x[3292] x[3293] x[3294] x[3295] x[3296] x[3297] x[3298] x[3299] x[3300] x[3301] x[3302] x[3303] x[3304] x[3305] x[3306] x[3307] x[3308] x[3309] x[3310] x[3311] x[3312] x[3313] x[3314] x[3315] x[3316] x[3317] x[3318] x[3319] x[3320] x[3321] x[3322] x[3323] x[3324] x[3325] x[3326] x[3327] x[3328] x[3329] x[3330] x[3331] x[3332] x[3333] x[3334] x[3335] x[3336] x[3337] x[3338] x[3339] x[3340] x[3341] x[3342] x[3343] x[3344] x[3345] x[3346] x[3347] x[3348] x[3349] x[3350] x[3351] x[3352] x[3353] x[3354] x[3355] x[3356] x[3357] x[3358] x[3359] x[3360] x[3361] x[3362] x[3363] x[3364] x[3365] x[3366] x[3367] x[3368] x[3369] x[3370] x[3371] x[3372] x[3373] x[3374] x[3375] x[3376] x[3377] x[3378] x[3379] x[3380] x[3381] x[3382] x[3383] x[3384] x[3385] x[3386] x[3387] x[3388] x[3389] x[3390] x[3391] x[3392] x[3393] x[3394] x[3395] x[3396] x[3397] x[3398] x[3399] x[3400] x[3401] x[3402] x[3403] x[3404] x[3405] x[3406] x[3407] x[3408] x[3409] x[3410] x[3411] x[3412] x[3413] x[3414] x[3415] x[3416] x[3417] x[3418] x[3419] x[3420] x[3421] x[3422] x[3423] x[3424] x[3425] x[3426] x[3427] x[3428] x[3429] x[3430] x[3431] x[3432] x[3433] x[3434] x[3435] x[3436] x[3437] x[3438] x[3439] x[3440] x[3441] x[3442] x[3443] x[3444] x[3445] x[3446] x[3447] x[3448] x[3449] x[3450] x[3451] x[3452] x[3453] x[3454] x[3455] x[3456] x[3457] x[3458] x[3459] x[3460] x[3461] x[3462] x[3463] x[3464] x[3465] x[3466] x[3467] x[3468] x[3469] x[3470] x[3471] x[3472] x[3473] x[3474] x[3475] x[3476] x[3477] x[3478] x[3479] x[3480] x[3481] x[3482] x[3483] x[3484] x[3485] x[3486] x[3487] x[3488] x[3489] x[3490] x[3491] x[3492] x[3493] x[3494] x[3495] x[3496] x[3497] x[3498] x[3499] x[3500] x[3501] x[3502] x[3503] x[3504] x[3505] x[3506] x[3507] x[3508] x[3509] x[3510] x[3511] x[3512] x[3513] x[3514] x[3515] x[3516] x[3517] x[3518] x[3519] x[3520] x[3521] x[3522] x[3523] x[3524] x[3525] x[3526] x[3527] x[3528] x[3529] x[3530] x[3531] x[3532] x[3533] x[3534] x[3535] x[3536] x[3537] x[3538] x[3539] x[3540] x[3541] x[3542] x[3543] x[3544] x[3545] x[3546] x[3547] x[3548] x[3549] x[3550] x[3551] x[3552] x[3553] x[3554] x[3555] x[3556] x[3557] x[3558] x[3559] x[3560] x[3561] x[3562] x[3563] x[3564] x[3565] x[3566] x[3567] x[3568] x[3569] x[3570] x[3571] x[3572] x[3573] x[3574] x[3575] x[3576] x[3577] x[3578] x[3579] x[3580] x[3581] x[3582] x[3583] x[3584] x[3585] x[3586] x[3587] x[3588] x[3589] x[3590] x[3591] x[3592] x[3593] x[3594] x[3595] x[3596] x[3597] x[3598] x[3599] x[3600] x[3601] x[3602] x[3603] x[3604] x[3605] x[3606] x[3607] x[3608] x[3609] x[3610] x[3611] x[3612] x[3613] x[3614] x[3615] x[3616] x[3617] x[3618] x[3619] x[3620] x[3621] x[3622] x[3623] x[3624] x[3625] x[3626] x[3627] x[3628] x[3629] x[3630] x[3631] x[3632] x[3633] x[3634] x[3635] x[3636] x[3637] x[3638] x[3639] x[3640] x[3641] x[3642] x[3643] x[3644] x[3645] x[3646] x[3647] x[3648] x[3649] x[3650] x[3651] x[3652] x[3653] x[3654] x[3655] x[3656] x[3657] x[3658] x[3659] x[3660] x[3661] x[3662] x[3663] x[3664] x[3665] x[3666] x[3667] x[3668] x[3669] x[3670] x[3671] x[3672] x[3673] x[3674] x[3675] x[3676] x[3677] x[3678] x[3679] x[3680] x[3681] x[3682] x[3683] x[3684] x[3685] x[3686] x[3687] x[3688] x[3689] x[3690] x[3691] x[3692] x[3693] x[3694] x[3695] x[3696] x[3697] x[3698] x[3699] x[3700] x[3701] x[3702] x[3703] x[3704] x[3705] x[3706] x[3707] x[3708] x[3709] x[3710] x[3711] x[3712] x[3713] x[3714] x[3715] x[3716] x[3717] x[3718] x[3719] x[3720] x[3721] x[3722] x[3723] x[3724] x[3725] x[3726] x[3727] x[3728] x[3729] x[3730] x[3731] x[3732] x[3733] x[3734] x[3735] x[3736] x[3737] x[3738] x[3739] x[3740] x[3741] x[3742] x[3743] x[3744] x[3745] x[3746] x[3747] x[3748] x[3749] x[3750] x[3751] x[3752] x[3753] x[3754] x[3755] x[3756] x[3757] x[3758] x[3759] x[3760] x[3761] x[3762] x[3763] x[3764] x[3765] x[3766] x[3767] x[3768] x[3769] x[3770] x[3771] x[3772] x[3773] x[3774] x[3775] x[3776] x[3777] x[3778] x[3779] x[3780] x[3781] x[3782] x[3783] x[3784] x[3785] x[3786] x[3787] x[3788] x[3789] x[3790] x[3791] x[3792] x[3793] x[3794] x[3795] x[3796] x[3797] x[3798] x[3799] x[3800] x[3801] x[3802] x[3803] x[3804] x[3805] x[3806] x[3807] x[3808] x[3809] x[3810] x[3811] x[3812] x[3813] x[3814] x[3815] x[3816] x[3817] x[3818] x[3819] x[3820] x[3821] x[3822] x[3823] x[3824] x[3825] x[3826] x[3827] x[3828] x[3829] x[3830] x[3831] x[3832] x[3833] x[3834] x[3835] x[3836] x[3837] x[3838] x[3839] x[3840] x[3841] x[3842] x[3843] x[3844] x[3845] x[3846] x[3847] x[3848] x[3849] x[3850] x[3851] x[3852] x[3853] x[3854] x[3855] x[3856] x[3857] x[3858] x[3859] x[3860] x[3861] x[3862] x[3863] x[3864] x[3865] x[3866] x[3867] x[3868] x[3869] x[3870] x[3871] x[3872] x[3873] x[3874] x[3875] x[3876] x[3877] x[3878] x[3879] x[3880] x[3881] x[3882] x[3883] x[3884] x[3885] x[3886] x[3887] x[3888] x[3889] x[3890] x[3891] x[3892] x[3893] x[3894] x[3895] x[3896] x[3897] x[3898] x[3899] x[3900] x[3901] x[3902] x[3903] x[3904] x[3905] x[3906] x[3907] x[3908] x[3909] x[3910] x[3911] x[3912] x[3913] x[3914] x[3915] x[3916] x[3917] x[3918] x[3919] x[3920] x[3921] x[3922] x[3923] x[3924] x[3925] x[3926] x[3927] x[3928] x[3929] x[3930] x[3931] x[3932] x[3933] x[3934] x[3935] x[3936] x[3937] x[3938] x[3939] x[3940] x[3941] x[3942] x[3943] x[3944] x[3945] x[3946] x[3947] x[3948] x[3949] x[3950] x[3951] x[3952] x[3953] x[3954] x[3955] x[3956] x[3957] x[3958] x[3959] x[3960] x[3961] x[3962] x[3963] x[3964] x[3965] x[3966] x[3967] x[3968] x[3969] x[3970] x[3971] x[3972] x[3973] x[3974] x[3975] x[3976] x[3977] x[3978] x[3979] x[3980] x[3981] x[3982] x[3983] x[3984] x[3985] x[3986] x[3987] x[3988] x[3989] x[3990] x[3991] x[3992] x[3993] x[3994] x[3995] x[3996] x[3997] x[3998] x[3999] x[4000] x[4001] x[4002] x[4003] x[4004] x[4005] x[4006] x[4007] x[4008] x[4009] x[4010] x[4011] x[4012] x[4013] x[4014] x[4015] x[4016] x[4017] x[4018] x[4019] x[4020] x[4021] x[4022] x[4023] x[4024] x[4025] x[4026] x[4027] x[4028] x[4029] x[4030] x[4031] x[4032] x[4033] x[4034] x[4035] x[4036] x[4037] x[4038] x[4039] x[4040] x[4041] x[4042] x[4043] x[4044] x[4045] x[4046] x[4047] x[4048] x[4049] x[4050] x[4051] x[4052] x[4053] x[4054] x[4055] x[4056] x[4057] x[4058] x[4059] x[4060] x[4061] x[4062] x[4063] x[4064] x[4065] x[4066] x[4067] x[4068] x[4069] x[4070] x[4071] x[4072] x[4073] x[4074] x[4075] x[4076] x[4077] x[4078] x[4079] x[4080] x[4081] x[4082] x[4083] x[4084] x[4085] x[4086] x[4087] x[4088] x[4089] x[4090] x[4091] x[4092] x[4093] x[4094] x[4095] x[4096] x[4097] x[4098] x[4099] x[4100] x[4101] x[4102] x[4103] x[4104] x[4105] x[4106] x[4107] x[4108] x[4109] x[4110] x[4111] x[4112] x[4113] x[4114] x[4115] x[4116] x[4117] x[4118] x[4119] x[4120] x[4121] x[4122] x[4123] x[4124] x[4125] x[4126] x[4127] x[4128] x[4129] x[4130] x[4131] x[4132] x[4133] x[4134] x[4135] x[4136] x[4137] x[4138] x[4139] x[4140] x[4141] x[4142] x[4143] x[4144] x[4145] x[4146] x[4147] x[4148] x[4149] x[4150] x[4151] x[4152] x[4153] x[4154] x[4155] x[4156] x[4157] x[4158] x[4159] x[4160] x[4161] x[4162] x[4163] x[4164] x[4165] x[4166] x[4167] x[4168] x[4169] x[4170] x[4171] x[4172] x[4173] x[4174] x[4175] x[4176] x[4177] x[4178] x[4179] x[4180] x[4181] x[4182] x[4183] x[4184] x[4185] x[4186] x[4187] x[4188] x[4189] x[4190] x[4191] x[4192] x[4193] x[4194] x[4195] x[4196] x[4197] x[4198] x[4199] x[4200] x[4201] x[4202] x[4203] x[4204] x[4205] x[4206] x[4207] x[4208] x[4209] x[4210] x[4211] x[4212] x[4213] x[4214] x[4215] x[4216] x[4217] x[4218] x[4219] x[4220] x[4221] x[4222] x[4223] x[4224] x[4225] x[4226] x[4227] x[4228] x[4229] x[4230] x[4231] x[4232] x[4233] x[4234] x[4235] x[4236] x[4237] x[4238] x[4239] x[4240] x[4241] x[4242] x[4243] x[4244] x[4245] x[4246] x[4247] x[4248] x[4249] x[4250] x[4251] x[4252] x[4253] x[4254] x[4255] x[4256] x[4257] x[4258] x[4259] x[4260] x[4261] x[4262] x[4263] x[4264] x[4265] x[4266] x[4267] x[4268] x[4269] x[4270] x[4271] x[4272] x[4273] x[4274] x[4275] x[4276] x[4277] x[4278] x[4279] x[4280] x[4281] x[4282] x[4283] x[4284] x[4285] x[4286] x[4287] x[4288] x[4289] x[4290] x[4291] x[4292] x[4293] x[4294] x[4295] x[4296] x[4297] x[4298] x[4299] x[4300] x[4301] x[4302] x[4303] x[4304] x[4305] x[4306] x[4307] x[4308] x[4309] x[4310] x[4311] x[4312] x[4313] x[4314] x[4315] x[4316] x[4317] x[4318] x[4319] x[4320] x[4321] x[4322] x[4323] x[4324] x[4325] x[4326] x[4327] x[4328] x[4329] x[4330] x[4331] x[4332] x[4333] x[4334] x[4335] x[4336] x[4337] x[4338] x[4339] x[4340] x[4341] x[4342] x[4343] x[4344] x[4345] x[4346] x[4347] x[4348] x[4349] x[4350] x[4351] x[4352] x[4353] x[4354] x[4355]
670.23/665.71	v 	</list>
670.23/665.71	v 	<values>
670.23/665.71	v 		1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 
670.23/665.71	v 	</values>
670.23/665.71	v </instantiation>

Verifier Data

OK	

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4311984-1534548739/watcher-4311984-1534548739 -o /tmp/evaluation-result-4311984-1534548739/solver-4311984-1534548739 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1534541040-3481 --watchdog 2580 java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 1427395470 --timelimit 2520 --memlimit 11000 --nbcore 1 HOME/instance-4311984-1534548739.xml 

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

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


[startup+0.100108 s]*
/proc/loadavg: 1.94 1.94 1.87 4/220 5114
/proc/meminfo: memFree=23938908/32770624 swapFree=67108840/67108860
[pid=5099] ppid=5096 vsize=14082736 memory=31200 CPUtime=0.12 cores=1,3,5,7
/proc/5099/stat : 5099 (java) S 5096 5099 3449 0 -1 1077944320 6702 0 0 0 11 1 0 0 20 0 15 0 272437067 14420721664 7800 33554432000 4194304 4196468 140734011651744 140734011634288 140184135798519 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 16568320 140734011655240 140734011655433 140734011655433 140734011658191 0
/proc/5099/statm: 3520684 7800 3152 1 0 3482761 0
[pid=5099/tid=5101] ppid=5096 vsize=14082736 memory=-8970432104569337024 CPUtime=0.08 cores=1,3,5,7
/proc/5099/task/5101/stat : 5101 (java) R 5096 5099 3449 0 -1 4202560 4741 0 0 0 8 0 0 0 20 0 15 0 272437068 14420721664 7800 33554432000 4194304 4196468 140734011651744 140184139998904 140184092400115 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16568320 140734011655240 140734011655433 140734011655433 140734011658191 0
[pid=5099/tid=5102] ppid=5096 vsize=14082736 memory=8257237230052613020 CPUtime=0 cores=1,3,5,7
/proc/5099/task/5102/stat : 5102 (java) S 5096 5099 3449 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272437069 14420721664 7800 33554432000 4194304 4196468 140734011651744 140184050866960 140184135808725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16568320 140734011655240 140734011655433 140734011655433 140734011658191 0
[pid=5099/tid=5103] ppid=5096 vsize=14082736 memory=140060736951936 CPUtime=0 cores=1,3,5,7
/proc/5099/task/5103/stat : 5103 (java) S 5096 5099 3449 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 272437069 14420721664 7800 33554432000 4194304 4196468 140734011651744 140184049814416 140184135808725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16568320 140734011655240 140734011655433 140734011655433 140734011658191 0
[pid=5099/tid=5104] ppid=5096 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5099/task/5104/stat : 5104 (java) S 5096 5099 3449 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 272437069 14420721664 7800 33554432000 4194304 4196468 140734011651744 140184048761872 140184135808725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16568320 140734011655240 140734011655433 140734011655433 140734011658191 0
[pid=5099/tid=5105] ppid=5096 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5099/task/5105/stat : 5105 (java) S 5096 5099 3449 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 272437069 14420721664 7800 33554432000 4194304 4196468 140734011651744 140184047709328 140184135808725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16568320 140734011655240 140734011655433 140734011655433 140734011658191 0
[pid=5099/tid=5106] ppid=5096 vsize=14082736 memory=140060736951936 CPUtime=0 cores=1,3,5,7
/proc/5099/task/5106/stat : 5106 (java) S 5096 5099 3449 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 272437070 14420721664 7800 33554432000 4194304 4196468 140734011651744 140183316678640 140184135809666 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16568320 140734011655240 140734011655433 140734011655433 140734011658191 0
[pid=5099/tid=5107] ppid=5096 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5099/task/5107/stat : 5107 (java) S 5096 5099 3449 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 272437070 14420721664 7800 33554432000 4194304 4196468 140734011651744 140183315624864 140184135808725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16568320 140734011655240 140734011655433 140734011655433 140734011658191 0
[pid=5099/tid=5108] ppid=5096 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5099/task/5108/stat : 5108 (java) S 5096 5099 3449 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 272437071 14420721664 7800 33554432000 4194304 4196468 140734011651744 140183314572272 140184135808725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16568320 140734011655240 140734011655433 140734011655433 140734011658191 0
[pid=5099/tid=5109] ppid=5096 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5099/task/5109/stat : 5109 (java) S 5096 5099 3449 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272437073 14420721664 7800 33554432000 4194304 4196468 140734011651744 140183313520848 140184135817115 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16568320 140734011655240 140734011655433 140734011655433 140734011658191 0
[pid=5099/tid=5110] ppid=5096 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5099/task/5110/stat : 5110 (java) S 5096 5099 3449 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 15 0 272437073 14420721664 7800 33554432000 4194304 4196468 140734011651744 140183312468464 140184135809666 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16568320 140734011655240 140734011655433 140734011655433 140734011658191 0
[pid=5099/tid=5111] ppid=5096 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5099/task/5111/stat : 5111 (java) S 5096 5099 3449 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272437073 14420721664 7800 33554432000 4194304 4196468 140734011651744 140183311415920 140184135809666 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16568320 140734011655240 140734011655433 140734011655433 140734011658191 0
[pid=5099/tid=5112] ppid=5096 vsize=14082736 memory=140060736951936 CPUtime=0.01 cores=1,3,5,7
/proc/5099/task/5112/stat : 5112 (java) R 5096 5099 3449 0 -1 4202560 278 0 0 0 1 0 0 0 20 0 15 0 272437073 14420721664 7800 33554432000 4194304 4196468 140734011651744 140183310363376 140184135810454 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16568320 140734011655240 140734011655433 140734011655433 140734011658191 0
[pid=5099/tid=5113] ppid=5096 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5099/task/5113/stat : 5113 (java) S 5096 5099 3449 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272437073 14420721664 7800 33554432000 4194304 4196468 140734011651744 140183309311072 140184135808725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16568320 140734011655240 140734011655433 140734011655433 140734011658191 0
[pid=5099/tid=5114] ppid=5096 vsize=14082736 memory=140060736951936 CPUtime=0 cores=1,3,5,7
/proc/5099/task/5114/stat : 5114 (java) S 5096 5099 3449 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272437073 14420721664 7800 33554432000 4194304 4196468 140734011651744 140183308257584 140184135809666 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16568320 140734011655240 140734011655433 140734011655433 140734011658191 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 31200 KiB

[startup+0.210819 s]*
/proc/loadavg: 1.94 1.94 1.87 5/220 5114
/proc/meminfo: memFree=23923776/32770624 swapFree=67108840/67108860
[pid=5099] ppid=5096 vsize=14082736 memory=47012 CPUtime=0.29 cores=1,3,5,7
/proc/5099/stat : 5099 (java) S 5096 5099 3449 0 -1 1077944320 10327 0 0 0 27 2 0 0 20 0 15 0 272437067 14420721664 11753 33554432000 4194304 4196468 140734011651744 140734011634288 140184135798519 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 16568320 140734011655240 140734011655433 140734011655433 140734011658191 0
/proc/5099/statm: 3520684 11753 3360 1 0 3482761 0
[pid=5099/tid=5101] ppid=5096 vsize=14082736 memory=7022364594140610616 CPUtime=0.19 cores=1,3,5,7
/proc/5099/task/5101/stat : 5101 (java) S 5096 5099 3449 0 -1 1077944384 8072 0 0 0 18 1 0 0 20 0 15 0 272437068 14420721664 11753 33554432000 4194304 4196468 140734011651744 140184140026960 140184135808725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16568320 140734011655240 140734011655433 140734011655433 140734011658191 0
[pid=5099/tid=5102] ppid=5096 vsize=14082736 memory=365 CPUtime=0 cores=1,3,5,7
/proc/5099/task/5102/stat : 5102 (java) S 5096 5099 3449 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272437069 14420721664 11753 33554432000 4194304 4196468 140734011651744 140184050866960 140184135808725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16568320 140734011655240 140734011655433 140734011655433 140734011658191 0
[pid=5099/tid=5103] ppid=5096 vsize=14082736 memory=140060736957289 CPUtime=0 cores=1,3,5,7
/proc/5099/task/5103/stat : 5103 (java) S 5096 5099 3449 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 272437069 14420721664 11753 33554432000 4194304 4196468 140734011651744 140184049814416 140184135808725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16568320 140734011655240 140734011655433 140734011655433 140734011658191 0
[pid=5099/tid=5104] ppid=5096 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5099/task/5104/stat : 5104 (java) S 5096 5099 3449 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 272437069 14420721664 11753 33554432000 4194304 4196468 140734011651744 140184048761872 140184135808725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16568320 140734011655240 140734011655433 140734011655433 140734011658191 0
[pid=5099/tid=5105] ppid=5096 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5099/task/5105/stat : 5105 (java) S 5096 5099 3449 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 272437069 14420721664 11753 33554432000 4194304 4196468 140734011651744 140184047709328 140184135808725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16568320 140734011655240 140734011655433 140734011655433 140734011658191 0
[pid=5099/tid=5106] ppid=5096 vsize=14082736 memory=140060736951936 CPUtime=0 cores=1,3,5,7
/proc/5099/task/5106/stat : 5106 (java) S 5096 5099 3449 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 272437070 14420721664 11753 33554432000 4194304 4196468 140734011651744 140183316678640 140184135809666 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16568320 140734011655240 140734011655433 140734011655433 140734011658191 0
[pid=5099/tid=5107] ppid=5096 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5099/task/5107/stat : 5107 (java) S 5096 5099 3449 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 272437070 14420721664 11753 33554432000 4194304 4196468 140734011651744 140183315624864 140184135808725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16568320 140734011655240 140734011655433 140734011655433 140734011658191 0
[pid=5099/tid=5108] ppid=5096 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5099/task/5108/stat : 5108 (java) S 5096 5099 3449 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 272437071 14420721664 11753 33554432000 4194304 4196468 140734011651744 140183314572272 140184135808725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16568320 140734011655240 140734011655433 140734011655433 140734011658191 0
[pid=5099/tid=5109] ppid=5096 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5099/task/5109/stat : 5109 (java) S 5096 5099 3449 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272437073 14420721664 11753 33554432000 4194304 4196468 140734011651744 140183313520848 140184135817115 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16568320 140734011655240 140734011655433 140734011655433 140734011658191 0
[pid=5099/tid=5110] ppid=5096 vsize=14082736 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/5099/task/5110/stat : 5110 (java) R 5096 5099 3449 0 -1 1077944384 359 0 0 0 1 0 0 0 20 0 15 0 272437073 14420721664 11753 33554432000 4194304 4196468 140734011651744 140183312468464 140184135809666 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 16568320 140734011655240 140734011655433 140734011655433 140734011658191 0
[pid=5099/tid=5111] ppid=5096 vsize=14082736 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/5099/task/5111/stat : 5111 (java) R 5096 5099 3449 0 -1 4202560 219 0 0 0 2 0 0 0 20 0 15 0 272437073 14420721664 11753 33554432000 4194304 4196468 140734011651744 140183311402704 140184117342623 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16568320 140734011655240 140734011655433 140734011655433 140734011658191 0
[pid=5099/tid=5112] ppid=5096 vsize=14082736 memory=140060736951936 CPUtime=0.05 cores=1,3,5,7
/proc/5099/task/5112/stat : 5112 (java) S 5096 5099 3449 0 -1 1077944384 300 0 0 0 5 0 0 0 20 0 15 0 272437073 14420721664 11753 33554432000 4194304 4196468 140734011651744 140183310363376 140184135809666 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16568320 140734011655240 140734011655433 140734011655433 140734011658191 0
[pid=5099/tid=5113] ppid=5096 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5099/task/5113/stat : 5113 (java) S 5096 5099 3449 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272437073 14420721664 11753 33554432000 4194304 4196468 140734011651744 140183309311072 140184135808725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16568320 140734011655240 140734011655433 140734011655433 140734011658191 0
[pid=5099/tid=5114] ppid=5096 vsize=14082736 memory=140060736951936 CPUtime=0 cores=1,3,5,7
/proc/5099/task/5114/stat : 5114 (java) S 5096 5099 3449 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272437073 14420721664 11753 33554432000 4194304 4196468 140734011651744 140183308257584 140184135809666 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16568320 140734011655240 140734011655433 140734011655433 140734011658191 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 47012 KiB

[startup+0.310804 s]*
/proc/loadavg: 1.94 1.94 1.87 3/220 5114
/proc/meminfo: memFree=23903484/32770624 swapFree=67108840/67108860
[pid=5099] ppid=5096 vsize=14082736 memory=50296 CPUtime=0.44 cores=1,3,5,7
/proc/5099/stat : 5099 (java) S 5096 5099 3449 0 -1 1077944320 10737 0 0 0 41 3 0 0 20 0 15 0 272437067 14420721664 12574 33554432000 4194304 4196468 140734011651744 140734011634288 140184135798519 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 16568320 140734011655240 140734011655433 140734011655433 140734011658191 0
/proc/5099/statm: 3520684 12574 3400 1 0 3482761 0
[pid=5099/tid=5101] ppid=5096 vsize=14082736 memory=7311146985107750967 CPUtime=0.29 cores=1,3,5,7
/proc/5099/task/5101/stat : 5101 (java) R 5096 5099 3449 0 -1 4202560 8400 0 0 0 27 2 0 0 20 0 15 0 272437068 14420721664 12574 33554432000 4194304 4196468 140734011651744 140184140006352 140184116073899 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16568320 140734011655240 140734011655433 140734011655433 140734011658191 0
[pid=5099/tid=5102] ppid=5096 vsize=14082736 memory=290763888105095191 CPUtime=0 cores=1,3,5,7
/proc/5099/task/5102/stat : 5102 (java) S 5096 5099 3449 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272437069 14420721664 12574 33554432000 4194304 4196468 140734011651744 140184050866960 140184135808725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16568320 140734011655240 140734011655433 140734011655433 140734011658191 0
[pid=5099/tid=5103] ppid=5096 vsize=14082736 memory=14271229862942360 CPUtime=0 cores=1,3,5,7
/proc/5099/task/5103/stat : 5103 (java) S 5096 5099 3449 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 272437069 14420721664 12574 33554432000 4194304 4196468 140734011651744 140184049814416 140184135808725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16568320 140734011655240 140734011655433 140734011655433 140734011658191 0
[pid=5099/tid=5104] ppid=5096 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5099/task/5104/stat : 5104 (java) S 5096 5099 3449 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 272437069 14420721664 12574 33554432000 4194304 4196468 140734011651744 140184048761872 140184135808725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16568320 140734011655240 140734011655433 140734011655433 140734011658191 0
[pid=5099/tid=5105] ppid=5096 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5099/task/5105/stat : 5105 (java) S 5096 5099 3449 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 272437069 14420721664 12574 33554432000 4194304 4196468 140734011651744 140184047709328 140184135808725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16568320 140734011655240 140734011655433 140734011655433 140734011658191 0
[pid=5099/tid=5106] ppid=5096 vsize=14082736 memory=140060736951936 CPUtime=0 cores=1,3,5,7
/proc/5099/task/5106/stat : 5106 (java) S 5096 5099 3449 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 272437070 14420721664 12574 33554432000 4194304 4196468 140734011651744 140183316678640 140184135809666 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16568320 140734011655240 140734011655433 140734011655433 140734011658191 0
[pid=5099/tid=5107] ppid=5096 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5099/task/5107/stat : 5107 (java) S 5096 5099 3449 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 272437070 14420721664 12574 33554432000 4194304 4196468 140734011651744 140183315624864 140184135808725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16568320 140734011655240 140734011655433 140734011655433 140734011658191 0
[pid=5099/tid=5108] ppid=5096 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5099/task/5108/stat : 5108 (java) S 5096 5099 3449 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 272437071 14420721664 12574 33554432000 4194304 4196468 140734011651744 140183314572272 140184135808725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16568320 140734011655240 140734011655433 140734011655433 140734011658191 0
[pid=5099/tid=5109] ppid=5096 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5099/task/5109/stat : 5109 (java) S 5096 5099 3449 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272437073 14420721664 12574 33554432000 4194304 4196468 140734011651744 140183313520848 140184135817115 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16568320 140734011655240 140734011655433 140734011655433 140734011658191 0
[pid=5099/tid=5110] ppid=5096 vsize=14082736 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/5099/task/5110/stat : 5110 (java) S 5096 5099 3449 0 -1 1077944384 396 0 0 0 2 0 0 0 20 0 15 0 272437073 14420721664 12574 33554432000 4194304 4196468 140734011651744 140183312468464 140184135809666 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16568320 140734011655240 140734011655433 140734011655433 140734011658191 0
[pid=5099/tid=5111] ppid=5096 vsize=14082736 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/5099/task/5111/stat : 5111 (java) S 5096 5099 3449 0 -1 1077944384 233 0 0 0 2 0 0 0 20 0 15 0 272437073 14420721664 12574 33554432000 4194304 4196468 140734011651744 140183311415920 140184135809666 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16568320 140734011655240 140734011655433 140734011655433 140734011658191 0
[pid=5099/tid=5112] ppid=5096 vsize=14082736 memory=140060736951936 CPUtime=0.08 cores=1,3,5,7
/proc/5099/task/5112/stat : 5112 (java) S 5096 5099 3449 0 -1 1077944384 323 0 0 0 8 0 0 0 20 0 15 0 272437073 14420721664 12574 33554432000 4194304 4196468 140734011651744 140183310363376 140184135809666 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16568320 140734011655240 140734011655433 140734011655433 140734011658191 0
[pid=5099/tid=5113] ppid=5096 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5099/task/5113/stat : 5113 (java) S 5096 5099 3449 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272437073 14420721664 12574 33554432000 4194304 4196468 140734011651744 140183309311072 140184135808725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16568320 140734011655240 140734011655433 140734011655433 140734011658191 0
[pid=5099/tid=5114] ppid=5096 vsize=14082736 memory=140060736951936 CPUtime=0 cores=1,3,5,7
/proc/5099/task/5114/stat : 5114 (java) S 5096 5099 3449 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272437073 14420721664 12574 33554432000 4194304 4196468 140734011651744 140183308257584 140184135809666 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16568320 140734011655240 140734011655433 140734011655433 140734011658191 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 50296 KiB

[startup+0.700725 s]
/proc/loadavg: 1.94 1.94 1.87 3/220 5114
/proc/meminfo: memFree=23903088/32770624 swapFree=67108840/67108860
[pid=5099] ppid=5096 vsize=14084804 memory=86528 CPUtime=0.98 cores=1,3,5,7
/proc/5099/stat : 5099 (java) S 5096 5099 3449 0 -1 1077944320 17493 0 0 0 91 7 0 0 20 0 15 0 272437067 14422839296 21632 33554432000 4194304 4196468 140734011651744 140734011634288 140184135798519 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 16568320 140734011655240 140734011655433 140734011655433 140734011658191 0
/proc/5099/statm: 3521201 21632 3484 1 0 3483273 0
[pid=5099/tid=5101] ppid=5096 vsize=14084804 memory=1784 CPUtime=0.66 cores=1,3,5,7
/proc/5099/task/5101/stat : 5101 (java) R 5096 5099 3449 0 -1 4202560 14775 0 0 0 60 6 0 0 20 0 15 0 272437068 14422839296 21632 33554432000 4194304 4196468 140734011651744 140184140023520 140184135820445 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16568320 140734011655240 140734011655433 140734011655433 140734011658191 0
[pid=5099/tid=5102] ppid=5096 vsize=14084804 memory=752 CPUtime=0 cores=1,3,5,7
/proc/5099/task/5102/stat : 5102 (java) S 5096 5099 3449 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272437069 14422839296 21632 33554432000 4194304 4196468 140734011651744 140184050866960 140184135808725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16568320 140734011655240 140734011655433 140734011655433 140734011658191 0
[pid=5099/tid=5103] ppid=5096 vsize=14084804 memory=1224 CPUtime=0 cores=1,3,5,7
/proc/5099/task/5103/stat : 5103 (java) S 5096 5099 3449 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 272437069 14422839296 21632 33554432000 4194304 4196468 140734011651744 140184049814416 140184135808725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16568320 140734011655240 140734011655433 140734011655433 140734011658191 0
[pid=5099/tid=5104] ppid=5096 vsize=14084804 memory=1828 CPUtime=0 cores=1,3,5,7
/proc/5099/task/5104/stat : 5104 (java) S 5096 5099 3449 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 272437069 14422839296 21632 33554432000 4194304 4196468 140734011651744 140184048761872 140184135808725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16568320 140734011655240 140734011655433 140734011655433 140734011658191 0
[pid=5099/tid=5105] ppid=5096 vsize=14084804 memory=5728 CPUtime=0 cores=1,3,5,7
/proc/5099/task/5105/stat : 5105 (java) S 5096 5099 3449 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 272437069 14422839296 21632 33554432000 4194304 4196468 140734011651744 140184047709328 140184135808725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16568320 140734011655240 140734011655433 140734011655433 140734011658191 0
[pid=5099/tid=5106] ppid=5096 vsize=14084804 memory=1408 CPUtime=0 cores=1,3,5,7
/proc/5099/task/5106/stat : 5106 (java) S 5096 5099 3449 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 272437070 14422839296 21632 33554432000 4194304 4196468 140734011651744 140183316678640 140184135809666 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16568320 140734011655240 140734011655433 140734011655433 140734011658191 0
[pid=5099/tid=5107] ppid=5096 vsize=14084804 memory=1092 CPUtime=0 cores=1,3,5,7
/proc/5099/task/5107/stat : 5107 (java) S 5096 5099 3449 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 272437070 14422839296 21632 33554432000 4194304 4196468 140734011651744 140183315624864 140184135808725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16568320 140734011655240 140734011655433 140734011655433 140734011658191 0
[pid=5099/tid=5108] ppid=5096 vsize=14084804 memory=836 CPUtime=0 cores=1,3,5,7
/proc/5099/task/5108/stat : 5108 (java) S 5096 5099 3449 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 272437071 14422839296 21632 33554432000 4194304 4196468 140734011651744 140183314572272 140184135808725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16568320 140734011655240 140734011655433 140734011655433 140734011658191 0
[pid=5099/tid=5109] ppid=5096 vsize=14084804 memory=10692 CPUtime=0 cores=1,3,5,7
/proc/5099/task/5109/stat : 5109 (java) S 5096 5099 3449 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272437073 14422839296 21632 33554432000 4194304 4196468 140734011651744 140183313520848 140184135817115 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16568320 140734011655240 140734011655433 140734011655433 140734011658191 0
[pid=5099/tid=5110] ppid=5096 vsize=14084804 memory=7450174591119418944 CPUtime=0.06 cores=1,3,5,7
/proc/5099/task/5110/stat : 5110 (java) S 5096 5099 3449 0 -1 1077944384 533 0 0 0 6 0 0 0 20 0 15 0 272437073 14422839296 21632 33554432000 4194304 4196468 140734011651744 140183312468464 140184135809666 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16568320 140734011655240 140734011655433 140734011655433 140734011658191 0
[pid=5099/tid=5111] ppid=5096 vsize=14084804 memory=6442510787546475095 CPUtime=0.09 cores=1,3,5,7
/proc/5099/task/5111/stat : 5111 (java) R 5096 5099 3449 0 -1 4202560 387 0 0 0 9 0 0 0 20 0 15 0 272437073 14422839296 21632 33554432000 4194304 4196468 140734011651744 140183311403472 140184117343056 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16568320 140734011655240 140734011655433 140734011655433 140734011658191 0
[pid=5099/tid=5112] ppid=5096 vsize=14084804 memory=7523071198212214892 CPUtime=0.15 cores=1,3,5,7
/proc/5099/task/5112/stat : 5112 (java) S 5096 5099 3449 0 -1 1077944384 414 0 0 0 15 0 0 0 20 0 15 0 272437073 14422839296 21632 33554432000 4194304 4196468 140734011651744 140183310363376 140184135809666 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16568320 140734011655240 140734011655433 140734011655433 140734011658191 0
[pid=5099/tid=5113] ppid=5096 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5099/task/5113/stat : 5113 (java) S 5096 5099 3449 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272437073 14422839296 21632 33554432000 4194304 4196468 140734011651744 140183309311072 140184135808725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16568320 140734011655240 140734011655433 140734011655433 140734011658191 0
[pid=5099/tid=5114] ppid=5096 vsize=14084804 memory=31396 CPUtime=0 cores=1,3,5,7
/proc/5099/task/5114/stat : 5114 (java) S 5096 5099 3449 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272437073 14422839296 21632 33554432000 4194304 4196468 140734011651744 140183308257584 140184135809666 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16568320 140734011655240 140734011655433 140734011655433 140734011658191 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 14084804 KiB
Current children cumulated memory: 86528 KiB

[startup+1.5041 s]
/proc/loadavg: 1.94 1.94 1.87 6/220 5114
/proc/meminfo: memFree=23833140/32770624 swapFree=67108840/67108860
[pid=5099] ppid=5096 vsize=14086852 memory=214344 CPUtime=3.27 cores=1,3,5,7
/proc/5099/stat : 5099 (java) S 5096 5099 3449 0 -1 1077944320 23790 0 0 0 316 11 0 0 20 0 15 0 272437067 14424936448 53586 33554432000 4194304 4196468 140734011651744 140734011634288 140184135798519 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 16568320 140734011655240 140734011655433 140734011655433 140734011658191 0
/proc/5099/statm: 3521713 53586 3552 1 0 3483785 0
[pid=5099/tid=5101] ppid=5096 vsize=14086852 memory=0 CPUtime=1.46 cores=1,3,5,7
/proc/5099/task/5101/stat : 5101 (java) S 5096 5099 3449 0 -1 1077944384 16757 0 0 0 137 9 0 0 20 0 15 0 272437068 14424936448 53586 33554432000 4194304 4196468 140734011651744 140184140035584 140184135808725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16568320 140734011655240 140734011655433 140734011655433 140734011658191 0
[pid=5099/tid=5102] ppid=5096 vsize=14086852 memory=-8754540793456063680 CPUtime=0 cores=1,3,5,7
/proc/5099/task/5102/stat : 5102 (java) R 5096 5099 3449 0 -1 1077944384 163 0 0 0 0 0 0 0 20 0 15 0 272437069 14424936448 53586 33554432000 4194304 4196468 140734011651744 140184050867024 140184135808725 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16568320 140734011655240 140734011655433 140734011655433 140734011658191 0
[pid=5099/tid=5103] ppid=5096 vsize=14086852 memory=-2843874019102283166 CPUtime=0 cores=1,3,5,7
/proc/5099/task/5103/stat : 5103 (java) S 5096 5099 3449 0 -1 1077944384 30 0 0 0 0 0 0 0 20 0 15 0 272437069 14424936448 53586 33554432000 4194304 4196468 140734011651744 140184049814416 140184135808725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16568320 140734011655240 140734011655433 140734011655433 140734011658191 0
[pid=5099/tid=5104] ppid=5096 vsize=14086852 memory=5450919713671312938 CPUtime=0 cores=1,3,5,7
/proc/5099/task/5104/stat : 5104 (java) S 5096 5099 3449 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 15 0 272437069 14424936448 53586 33554432000 4194304 4196468 140734011651744 140184048761872 140184135808725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16568320 140734011655240 140734011655433 140734011655433 140734011658191 0
[pid=5099/tid=5105] ppid=5096 vsize=14086852 memory=7005738693937936738 CPUtime=0 cores=1,3,5,7
/proc/5099/task/5105/stat : 5105 (java) S 5096 5099 3449 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 272437069 14424936448 53586 33554432000 4194304 4196468 140734011651744 140184047709328 140184135808725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16568320 140734011655240 140734011655433 140734011655433 140734011658191 0
[pid=5099/tid=5106] ppid=5096 vsize=14086852 memory=-7165351541977658656 CPUtime=0 cores=1,3,5,7
/proc/5099/task/5106/stat : 5106 (java) R 5096 5099 3449 0 -1 4202560 31 0 0 0 0 0 0 0 20 0 15 0 272437070 14424936448 53586 33554432000 4194304 4196468 140734011651744 140183316677152 140184120157867 0 0 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16568320 140734011655240 140734011655433 140734011655433 140734011658191 0

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

[pid=5099/tid=5113] ppid=5096 vsize=14090948 memory=8112282956445269571 CPUtime=0 cores=1,3,5,7
/proc/5099/task/5113/stat : 5113 (java) S 5096 5099 3449 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272437073 14429130752 46844 33554432000 4194304 4196468 140734011651744 140183309311072 140184135808725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16568320 140734011655240 140734011655433 140734011655433 140734011658191 0
[pid=5099/tid=5114] ppid=5096 vsize=14090948 memory=4126316290023845779 CPUtime=0.13 cores=1,3,5,7
/proc/5099/task/5114/stat : 5114 (java) S 5096 5099 3449 0 -1 1077944384 400 0 0 0 6 7 0 0 20 0 15 0 272437073 14429130752 46844 33554432000 4194304 4196468 140734011651744 140183308257584 140184135809666 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16568320 140734011655240 140734011655433 140734011655433 140734011658191 0
Current children cumulated CPU time: 668.53 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 187376 KiB

[startup+664.801 s]
/proc/loadavg: 1.40 1.59 1.73 3/220 5135
/proc/meminfo: memFree=23766416/32770624 swapFree=67108840/67108860
[pid=5099] ppid=5096 vsize=14090948 memory=187376 CPUtime=669.32 cores=1,3,5,7
/proc/5099/stat : 5099 (java) S 5096 5099 3449 0 -1 1077944320 61599 0 0 0 66894 38 0 0 20 0 15 0 272437067 14429130752 46844 33554432000 4194304 4196468 140734011651744 140734011634288 140184135798519 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 16568320 140734011655240 140734011655433 140734011655433 140734011658191 0
/proc/5099/statm: 3522737 46844 3593 1 0 3484809 0
[pid=5099/tid=5101] ppid=5096 vsize=14090948 memory=288230596050944315 CPUtime=663.84 cores=1,3,5,7
/proc/5099/task/5101/stat : 5101 (java) R 5096 5099 3449 0 -1 4202560 28078 0 0 0 66373 11 0 0 20 0 15 0 272437068 14429130752 46844 33554432000 4194304 4196468 140734011651744 140184140036656 140183731048992 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16568320 140734011655240 140734011655433 140734011655433 140734011658191 0
[pid=5099/tid=5102] ppid=5096 vsize=14090948 memory=16097087276190030 CPUtime=0.43 cores=1,3,5,7
/proc/5099/task/5102/stat : 5102 (java) S 5096 5099 3449 0 -1 1077944384 2485 0 0 0 38 5 0 0 20 0 15 0 272437069 14429130752 46844 33554432000 4194304 4196468 140734011651744 140184050866960 140184135808725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16568320 140734011655240 140734011655433 140734011655433 140734011658191 0
[pid=5099/tid=5103] ppid=5096 vsize=14090948 memory=8112282956445269571 CPUtime=0.43 cores=1,3,5,7
/proc/5099/task/5103/stat : 5103 (java) S 5096 5099 3449 0 -1 1077944384 1660 0 0 0 39 4 0 0 20 0 15 0 272437069 14429130752 46844 33554432000 4194304 4196468 140734011651744 140184049814416 140184135808725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16568320 140734011655240 140734011655433 140734011655433 140734011658191 0
[pid=5099/tid=5104] ppid=5096 vsize=14090948 memory=6544 CPUtime=0.43 cores=1,3,5,7
/proc/5099/task/5104/stat : 5104 (java) S 5096 5099 3449 0 -1 1077944384 1726 0 0 0 40 3 0 0 20 0 15 0 272437069 14429130752 46844 33554432000 4194304 4196468 140734011651744 140184048761872 140184135808725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16568320 140734011655240 140734011655433 140734011655433 140734011658191 0
[pid=5099/tid=5105] ppid=5096 vsize=14090948 memory=1100 CPUtime=0.43 cores=1,3,5,7
/proc/5099/task/5105/stat : 5105 (java) S 5096 5099 3449 0 -1 1077944384 4297 0 0 0 39 4 0 0 20 0 15 0 272437069 14429130752 46844 33554432000 4194304 4196468 140734011651744 140184047709328 140184135808725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16568320 140734011655240 140734011655433 140734011655433 140734011658191 0
[pid=5099/tid=5106] ppid=5096 vsize=14090948 memory=2356 CPUtime=0.36 cores=1,3,5,7
/proc/5099/task/5106/stat : 5106 (java) S 5096 5099 3449 0 -1 1077944384 2565 0 0 0 32 4 0 0 20 0 15 0 272437070 14429130752 46844 33554432000 4194304 4196468 140734011651744 140183316678640 140184135809666 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16568320 140734011655240 140734011655433 140734011655433 140734011658191 0
[pid=5099/tid=5107] ppid=5096 vsize=14090948 memory=10692 CPUtime=0 cores=1,3,5,7
/proc/5099/task/5107/stat : 5107 (java) S 5096 5099 3449 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 272437070 14429130752 46844 33554432000 4194304 4196468 140734011651744 140183315624928 140184135808725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16568320 140734011655240 140734011655433 140734011655433 140734011658191 0
[pid=5099/tid=5108] ppid=5096 vsize=14090948 memory=1620 CPUtime=0 cores=1,3,5,7
/proc/5099/task/5108/stat : 5108 (java) S 5096 5099 3449 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 272437071 14429130752 46844 33554432000 4194304 4196468 140734011651744 140183314572288 140184135808725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16568320 140734011655240 140734011655433 140734011655433 140734011658191 0
[pid=5099/tid=5109] ppid=5096 vsize=14090948 memory=6880 CPUtime=0 cores=1,3,5,7
/proc/5099/task/5109/stat : 5109 (java) S 5096 5099 3449 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272437073 14429130752 46844 33554432000 4194304 4196468 140734011651744 140183313520848 140184135817115 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16568320 140734011655240 140734011655433 140734011655433 140734011658191 0
[pid=5099/tid=5110] ppid=5096 vsize=14090948 memory=4548 CPUtime=1.25 cores=1,3,5,7
/proc/5099/task/5110/stat : 5110 (java) S 5096 5099 3449 0 -1 1077944384 4729 0 0 0 124 1 0 0 20 0 15 0 272437073 14429130752 46844 33554432000 4194304 4196468 140734011651744 140183312468464 140184135809666 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16568320 140734011655240 140734011655433 140734011655433 140734011658191 0
[pid=5099/tid=5111] ppid=5096 vsize=14090948 memory=15188 CPUtime=1.17 cores=1,3,5,7
/proc/5099/task/5111/stat : 5111 (java) S 5096 5099 3449 0 -1 1077944384 5269 0 0 0 117 0 0 0 20 0 15 0 272437073 14429130752 46844 33554432000 4194304 4196468 140734011651744 140183311415920 140184135809666 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16568320 140734011655240 140734011655433 140734011655433 140734011658191 0
[pid=5099/tid=5112] ppid=5096 vsize=14090948 memory=4008 CPUtime=0.75 cores=1,3,5,7
/proc/5099/task/5112/stat : 5112 (java) S 5096 5099 3449 0 -1 1077944384 8937 0 0 0 74 1 0 0 20 0 15 0 272437073 14429130752 46844 33554432000 4194304 4196468 140734011651744 140183310363376 140184135809666 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16568320 140734011655240 140734011655433 140734011655433 140734011658191 0
[pid=5099/tid=5113] ppid=5096 vsize=14090948 memory=4372 CPUtime=0 cores=1,3,5,7
/proc/5099/task/5113/stat : 5113 (java) S 5096 5099 3449 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272437073 14429130752 46844 33554432000 4194304 4196468 140734011651744 140183309311072 140184135808725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16568320 140734011655240 140734011655433 140734011655433 140734011658191 0
[pid=5099/tid=5114] ppid=5096 vsize=14090948 memory=16320 CPUtime=0.13 cores=1,3,5,7
/proc/5099/task/5114/stat : 5114 (java) S 5096 5099 3449 0 -1 1077944384 400 0 0 0 6 7 0 0 20 0 15 0 272437073 14429130752 46844 33554432000 4194304 4196468 140734011651744 140183308257584 140184135809666 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16568320 140734011655240 140734011655433 140734011655433 140734011658191 0
Current children cumulated CPU time: 669.32 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 187376 KiB

[startup+665.201 s]
/proc/loadavg: 1.53 1.61 1.74 3/220 5135
/proc/meminfo: memFree=23766416/32770624 swapFree=67108840/67108860
[pid=5099] ppid=5096 vsize=14090948 memory=187376 CPUtime=669.72 cores=1,3,5,7
/proc/5099/stat : 5099 (java) S 5096 5099 3449 0 -1 1077944320 61599 0 0 0 66934 38 0 0 20 0 15 0 272437067 14429130752 46844 33554432000 4194304 4196468 140734011651744 140734011634288 140184135798519 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 16568320 140734011655240 140734011655433 140734011655433 140734011658191 0
/proc/5099/statm: 3522737 46844 3593 1 0 3484809 0
[pid=5099/tid=5101] ppid=5096 vsize=14090948 memory=16097087276190030 CPUtime=664.24 cores=1,3,5,7
/proc/5099/task/5101/stat : 5101 (java) R 5096 5099 3449 0 -1 4202560 28078 0 0 0 66413 11 0 0 20 0 15 0 272437068 14429130752 46844 33554432000 4194304 4196468 140734011651744 140184140036656 140183731170642 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16568320 140734011655240 140734011655433 140734011655433 140734011658191 0
[pid=5099/tid=5102] ppid=5096 vsize=14090948 memory=7897517683652307531 CPUtime=0.43 cores=1,3,5,7
/proc/5099/task/5102/stat : 5102 (java) S 5096 5099 3449 0 -1 1077944384 2485 0 0 0 38 5 0 0 20 0 15 0 272437069 14429130752 46844 33554432000 4194304 4196468 140734011651744 140184050866960 140184135808725 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16568320 140734011655240 140734011655433 140734011655433 140734011658191 0
[pid=5099/tid=5103] ppid=5096 vsize=14090948 memory=8514726395715349656 CPUtime=0.43 cores=1,3,5,7
/proc/5099/task/5103/stat : 5103 (java) S 5096 5099 3449 0 -1 1077944384 1660 0 0 0 39 4 0 0 20 0 15 0 272437069 14429130752 46844 33554432000 4194304 4196468 140734011651744 140184049814416 140184135808725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16568320 140734011655240 140734011655433 140734011655433 140734011658191 0
[pid=5099/tid=5104] ppid=5096 vsize=14090948 memory=3047711553320166262 CPUtime=0.43 cores=1,3,5,7
/proc/5099/task/5104/stat : 5104 (java) S 5096 5099 3449 0 -1 1077944384 1726 0 0 0 40 3 0 0 20 0 15 0 272437069 14429130752 46844 33554432000 4194304 4196468 140734011651744 140184048761872 140184135808725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16568320 140734011655240 140734011655433 140734011655433 140734011658191 0
[pid=5099/tid=5105] ppid=5096 vsize=14090948 memory=8514701219730523551 CPUtime=0.43 cores=1,3,5,7
/proc/5099/task/5105/stat : 5105 (java) S 5096 5099 3449 0 -1 1077944384 4297 0 0 0 39 4 0 0 20 0 15 0 272437069 14429130752 46844 33554432000 4194304 4196468 140734011651744 140184047709328 140184135808725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16568320 140734011655240 140734011655433 140734011655433 140734011658191 0
[pid=5099/tid=5106] ppid=5096 vsize=14090948 memory=8026653030150267218 CPUtime=0.36 cores=1,3,5,7
/proc/5099/task/5106/stat : 5106 (java) S 5096 5099 3449 0 -1 1077944384 2565 0 0 0 32 4 0 0 20 0 15 0 272437070 14429130752 46844 33554432000 4194304 4196468 140734011651744 140183316678640 140184135809666 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16568320 140734011655240 140734011655433 140734011655433 140734011658191 0
[pid=5099/tid=5107] ppid=5096 vsize=14090948 memory=15188 CPUtime=0 cores=1,3,5,7
/proc/5099/task/5107/stat : 5107 (java) S 5096 5099 3449 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 272437070 14429130752 46844 33554432000 4194304 4196468 140734011651744 140183315624928 140184135808725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16568320 140734011655240 140734011655433 140734011655433 140734011658191 0
[pid=5099/tid=5108] ppid=5096 vsize=14090948 memory=4008 CPUtime=0 cores=1,3,5,7
/proc/5099/task/5108/stat : 5108 (java) S 5096 5099 3449 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 272437071 14429130752 46844 33554432000 4194304 4196468 140734011651744 140183314572288 140184135808725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16568320 140734011655240 140734011655433 140734011655433 140734011658191 0
[pid=5099/tid=5109] ppid=5096 vsize=14090948 memory=4372 CPUtime=0 cores=1,3,5,7
/proc/5099/task/5109/stat : 5109 (java) S 5096 5099 3449 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272437073 14429130752 46844 33554432000 4194304 4196468 140734011651744 140183313520848 140184135817115 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16568320 140734011655240 140734011655433 140734011655433 140734011658191 0
[pid=5099/tid=5110] ppid=5096 vsize=14090948 memory=16320 CPUtime=1.25 cores=1,3,5,7
/proc/5099/task/5110/stat : 5110 (java) S 5096 5099 3449 0 -1 1077944384 4729 0 0 0 124 1 0 0 20 0 15 0 272437073 14429130752 46844 33554432000 4194304 4196468 140734011651744 140183312468464 140184135809666 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16568320 140734011655240 140734011655433 140734011655433 140734011658191 0
[pid=5099/tid=5111] ppid=5096 vsize=14090948 memory=1720 CPUtime=1.17 cores=1,3,5,7
/proc/5099/task/5111/stat : 5111 (java) S 5096 5099 3449 0 -1 1077944384 5269 0 0 0 117 0 0 0 20 0 15 0 272437073 14429130752 46844 33554432000 4194304 4196468 140734011651744 140183311415920 140184135809666 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16568320 140734011655240 140734011655433 140734011655433 140734011658191 0
[pid=5099/tid=5112] ppid=5096 vsize=14090948 memory=1168 CPUtime=0.75 cores=1,3,5,7
/proc/5099/task/5112/stat : 5112 (java) S 5096 5099 3449 0 -1 1077944384 8937 0 0 0 74 1 0 0 20 0 15 0 272437073 14429130752 46844 33554432000 4194304 4196468 140734011651744 140183310363376 140184135809666 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16568320 140734011655240 140734011655433 140734011655433 140734011658191 0
[pid=5099/tid=5113] ppid=5096 vsize=14090948 memory=508 CPUtime=0 cores=1,3,5,7
/proc/5099/task/5113/stat : 5113 (java) S 5096 5099 3449 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272437073 14429130752 46844 33554432000 4194304 4196468 140734011651744 140183309311072 140184135808725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16568320 140734011655240 140734011655433 140734011655433 140734011658191 0
[pid=5099/tid=5114] ppid=5096 vsize=14090948 memory=924 CPUtime=0.13 cores=1,3,5,7
/proc/5099/task/5114/stat : 5114 (java) S 5096 5099 3449 0 -1 1077944384 400 0 0 0 6 7 0 0 20 0 15 0 272437073 14429130752 46844 33554432000 4194304 4196468 140734011651744 140183308257584 140184135809666 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16568320 140734011655240 140734011655433 140734011655433 140734011658191 0
Current children cumulated CPU time: 669.72 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 187376 KiB

[startup+665.601 s]
/proc/loadavg: 1.53 1.61 1.74 3/220 5135
/proc/meminfo: memFree=23766416/32770624 swapFree=67108840/67108860
[pid=5099] ppid=5096 vsize=14090948 memory=187376 CPUtime=670.12 cores=1,3,5,7
/proc/5099/stat : 5099 (java) S 5096 5099 3449 0 -1 1077944320 61601 0 0 0 66974 38 0 0 20 0 15 0 272437067 14429130752 46844 33554432000 4194304 4196468 140734011651744 140734011634288 140184135798519 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 16568320 140734011655240 140734011655433 140734011655433 140734011658191 0
/proc/5099/statm: 3522737 46844 3593 1 0 3484809 0
[pid=5099/tid=5101] ppid=5096 vsize=14090948 memory=187376 CPUtime=664.64 cores=1,3,5,7
/proc/5099/task/5101/stat : 5101 (java) R 5096 5099 3449 0 -1 4202560 28079 0 0 0 66453 11 0 0 20 0 15 0 272437068 14429130752 46844 33554432000 4194304 4196468 140734011651744 140184140036768 140183731049060 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16568320 140734011655240 140734011655433 140734011655433 140734011658191 0
[pid=5099/tid=5102] ppid=5096 vsize=14090948 memory=187376 CPUtime=0.43 cores=1,3,5,7
/proc/5099/task/5102/stat : 5102 (java) S 5096 5099 3449 0 -1 1077944384 2485 0 0 0 38 5 0 0 20 0 15 0 272437069 14429130752 46844 33554432000 4194304 4196468 140734011651744 140184050866960 140184135808725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16568320 140734011655240 140734011655433 140734011655433 140734011658191 0
[pid=5099/tid=5103] ppid=5096 vsize=14090948 memory=187376 CPUtime=0.43 cores=1,3,5,7
/proc/5099/task/5103/stat : 5103 (java) S 5096 5099 3449 0 -1 1077944384 1660 0 0 0 39 4 0 0 20 0 15 0 272437069 14429130752 46844 33554432000 4194304 4196468 140734011651744 140184049814416 140184135808725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16568320 140734011655240 140734011655433 140734011655433 140734011658191 0
[pid=5099/tid=5104] ppid=5096 vsize=14090948 memory=1408 CPUtime=0.43 cores=1,3,5,7
/proc/5099/task/5104/stat : 5104 (java) S 5096 5099 3449 0 -1 1077944384 1726 0 0 0 40 3 0 0 20 0 15 0 272437069 14429130752 46844 33554432000 4194304 4196468 140734011651744 140184048761872 140184135808725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16568320 140734011655240 140734011655433 140734011655433 140734011658191 0
[pid=5099/tid=5105] ppid=5096 vsize=14090948 memory=3204 CPUtime=0.43 cores=1,3,5,7
/proc/5099/task/5105/stat : 5105 (java) S 5096 5099 3449 0 -1 1077944384 4298 0 0 0 39 4 0 0 20 0 15 0 272437069 14429130752 46844 33554432000 4194304 4196468 140734011651744 140184047709328 140184135808725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16568320 140734011655240 140734011655433 140734011655433 140734011658191 0
[pid=5099/tid=5106] ppid=5096 vsize=14090948 memory=185328 CPUtime=0.36 cores=1,3,5,7
/proc/5099/task/5106/stat : 5106 (java) S 5096 5099 3449 0 -1 1077944384 2565 0 0 0 32 4 0 0 20 0 15 0 272437070 14429130752 46844 33554432000 4194304 4196468 140734011651744 140183316678640 140184135809666 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16568320 140734011655240 140734011655433 140734011655433 140734011658191 0
[pid=5099/tid=5107] ppid=5096 vsize=14090948 memory=1100 CPUtime=0 cores=1,3,5,7
/proc/5099/task/5107/stat : 5107 (java) S 5096 5099 3449 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 272437070 14429130752 46844 33554432000 4194304 4196468 140734011651744 140183315624928 140184135808725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16568320 140734011655240 140734011655433 140734011655433 140734011658191 0
[pid=5099/tid=5108] ppid=5096 vsize=14090948 memory=2356 CPUtime=0 cores=1,3,5,7
/proc/5099/task/5108/stat : 5108 (java) S 5096 5099 3449 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 272437071 14429130752 46844 33554432000 4194304 4196468 140734011651744 140183314572288 140184135808725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16568320 140734011655240 140734011655433 140734011655433 140734011658191 0
[pid=5099/tid=5109] ppid=5096 vsize=14090948 memory=185328 CPUtime=0 cores=1,3,5,7
/proc/5099/task/5109/stat : 5109 (java) S 5096 5099 3449 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272437073 14429130752 46844 33554432000 4194304 4196468 140734011651744 140183313520848 140184135817115 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16568320 140734011655240 140734011655433 140734011655433 140734011658191 0
[pid=5099/tid=5110] ppid=5096 vsize=14090948 memory=3208 CPUtime=1.25 cores=1,3,5,7
/proc/5099/task/5110/stat : 5110 (java) S 5096 5099 3449 0 -1 1077944384 4729 0 0 0 124 1 0 0 20 0 15 0 272437073 14429130752 46844 33554432000 4194304 4196468 140734011651744 140183312468464 140184135809666 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16568320 140734011655240 140734011655433 140734011655433 140734011658191 0
[pid=5099/tid=5111] ppid=5096 vsize=14090948 memory=187376 CPUtime=1.17 cores=1,3,5,7
/proc/5099/task/5111/stat : 5111 (java) S 5096 5099 3449 0 -1 1077944384 5269 0 0 0 117 0 0 0 20 0 15 0 272437073 14429130752 46844 33554432000 4194304 4196468 140734011651744 140183311415920 140184135809666 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16568320 140734011655240 140734011655433 140734011655433 140734011658191 0
[pid=5099/tid=5112] ppid=5096 vsize=14090948 memory=8112282956445269571 CPUtime=0.75 cores=1,3,5,7
/proc/5099/task/5112/stat : 5112 (java) S 5096 5099 3449 0 -1 1077944384 8937 0 0 0 74 1 0 0 20 0 15 0 272437073 14429130752 46844 33554432000 4194304 4196468 140734011651744 140183310363376 140184135809666 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16568320 140734011655240 140734011655433 140734011655433 140734011658191 0
[pid=5099/tid=5113] ppid=5096 vsize=14090948 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5099/task/5113/stat : 5113 (java) S 5096 5099 3449 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272437073 14429130752 46844 33554432000 4194304 4196468 140734011651744 140183309311072 140184135808725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16568320 140734011655240 140734011655433 140734011655433 140734011658191 0
[pid=5099/tid=5114] ppid=5096 vsize=14090948 memory=161946036873176 CPUtime=0.13 cores=1,3,5,7
/proc/5099/task/5114/stat : 5114 (java) S 5096 5099 3449 0 -1 1077944384 400 0 0 0 6 7 0 0 20 0 15 0 272437073 14429130752 46844 33554432000 4194304 4196468 140734011651744 140183308257584 140184135809666 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16568320 140734011655240 140734011655433 140734011655433 140734011658191 0
Current children cumulated CPU time: 670.12 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 187376 KiB

[startup+665.702 s]
/proc/loadavg: 1.53 1.61 1.74 3/220 5135
/proc/meminfo: memFree=23766416/32770624 swapFree=67108840/67108860
[pid=5099] ppid=5096 vsize=14090948 memory=187484 CPUtime=670.23 cores=1,3,5,7
/proc/5099/stat : 5099 (java) S 5096 5099 3449 0 -1 1077944320 64084 0 0 0 66985 38 0 0 20 0 15 0 272437067 14429130752 46871 33554432000 4194304 4196468 140734011651744 140734011634288 140184135798519 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 16568320 140734011655240 140734011655433 140734011655433 140734011658191 0
/proc/5099/statm: 3522737 46871 3593 1 0 3484809 0
[pid=5099/tid=5101] ppid=5096 vsize=14090948 memory=187376 CPUtime=664.74 cores=1,3,5,7
/proc/5099/task/5101/stat : 5101 (java) R 5096 5099 3449 0 -1 4202560 29467 0 0 0 66463 11 0 0 20 0 15 0 272437068 14429130752 46871 33554432000 4194304 4196468 140734011651744 140184140032768 140184135810454 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16568320 140734011655240 140734011655433 140734011655433 140734011658191 0
[pid=5099/tid=5102] ppid=5096 vsize=14090948 memory=187376 CPUtime=0.43 cores=1,3,5,7
/proc/5099/task/5102/stat : 5102 (java) S 5096 5099 3449 0 -1 1077944384 2485 0 0 0 38 5 0 0 20 0 15 0 272437069 14429130752 46871 33554432000 4194304 4196468 140734011651744 140184050866960 140184135808725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16568320 140734011655240 140734011655433 140734011655433 140734011658191 0
[pid=5099/tid=5103] ppid=5096 vsize=14090948 memory=187376 CPUtime=0.43 cores=1,3,5,7
/proc/5099/task/5103/stat : 5103 (java) S 5096 5099 3449 0 -1 1077944384 1660 0 0 0 39 4 0 0 20 0 15 0 272437069 14429130752 46871 33554432000 4194304 4196468 140734011651744 140184049814416 140184135808725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16568320 140734011655240 140734011655433 140734011655433 140734011658191 0
[pid=5099/tid=5104] ppid=5096 vsize=14090948 memory=187376 CPUtime=0.43 cores=1,3,5,7
/proc/5099/task/5104/stat : 5104 (java) S 5096 5099 3449 0 -1 1077944384 1726 0 0 0 40 3 0 0 20 0 15 0 272437069 14429130752 46871 33554432000 4194304 4196468 140734011651744 140184048761872 140184135808725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16568320 140734011655240 140734011655433 140734011655433 140734011658191 0
[pid=5099/tid=5105] ppid=5096 vsize=14090948 memory=187376 CPUtime=0.43 cores=1,3,5,7
/proc/5099/task/5105/stat : 5105 (java) S 5096 5099 3449 0 -1 1077944384 4298 0 0 0 39 4 0 0 20 0 15 0 272437069 14429130752 46871 33554432000 4194304 4196468 140734011651744 140184047709328 140184135808725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16568320 140734011655240 140734011655433 140734011655433 140734011658191 0
[pid=5099/tid=5106] ppid=5096 vsize=14090948 memory=0 CPUtime=0.36 cores=1,3,5,7
/proc/5099/task/5106/stat : 5106 (java) S 5096 5099 3449 0 -1 1077944384 2565 0 0 0 32 4 0 0 20 0 15 0 272437070 14429130752 46871 33554432000 4194304 4196468 140734011651744 140183316678640 140184135809666 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16568320 140734011655240 140734011655433 140734011655433 140734011658191 0
[pid=5099/tid=5107] ppid=5096 vsize=14090948 memory=187376 CPUtime=0 cores=1,3,5,7
/proc/5099/task/5107/stat : 5107 (java) S 5096 5099 3449 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 272437070 14429130752 46871 33554432000 4194304 4196468 140734011651744 140183315624928 140184135808725 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16568320 140734011655240 140734011655433 140734011655433 140734011658191 0
[pid=5099/tid=5108] ppid=5096 vsize=14090948 memory=161946036873177 CPUtime=0 cores=1,3,5,7
/proc/5099/task/5108/stat : 5108 (java) S 5096 5099 3449 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 272437071 14429130752 46873 33554432000 4194304 4196468 140734011651744 140183314572288 140184135808725 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16568320 140734011655240 140734011655433 140734011655433 140734011658191 0
[pid=5099/tid=5109] ppid=5096 vsize=14090948 memory=187376 CPUtime=0 cores=1,3,5,7
/proc/5099/task/5109/stat : 5109 (java) S 5096 5099 3449 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272437073 14429130752 46873 33554432000 4194304 4196468 140734011651744 140183313520848 140184135817115 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16568320 140734011655240 140734011655433 140734011655433 140734011658191 0
[pid=5099/tid=5110] ppid=5096 vsize=14090948 memory=187376 CPUtime=1.25 cores=1,3,5,7
/proc/5099/task/5110/stat : 5110 (java) S 5096 5099 3449 0 -1 1077944384 4729 0 0 0 124 1 0 0 20 0 15 0 272437073 14429130752 46873 33554432000 4194304 4196468 140734011651744 140183312468464 140184135809666 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16568320 140734011655240 140734011655433 140734011655433 140734011658191 0
[pid=5099/tid=5111] ppid=5096 vsize=14090948 memory=187376 CPUtime=1.18 cores=1,3,5,7
/proc/5099/task/5111/stat : 5111 (java) R 5096 5099 3449 0 -1 4202560 5378 0 0 0 118 0 0 0 20 0 15 0 272437073 14429130752 46873 33554432000 4194304 4196468 140734011651744 140183311415920 140184128087901 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16568320 140734011655240 140734011655433 140734011655433 140734011658191 0
[pid=5099/tid=5112] ppid=5096 vsize=14090948 memory=1828 CPUtime=0.76 cores=1,3,5,7
/proc/5099/task/5112/stat : 5112 (java) R 5096 5099 3449 0 -1 1077944384 9961 0 0 0 75 1 0 0 20 0 15 0 272437073 14429130752 46873 33554432000 4194304 4196468 140734011651744 140183310363376 140184135809666 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 16568320 140734011655240 140734011655433 140734011655433 140734011658191 0
[pid=5099/tid=5113] ppid=5096 vsize=14090948 memory=5728 CPUtime=0 cores=1,3,5,7
/proc/5099/task/5113/stat : 5113 (java) S 5096 5099 3449 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272437073 14429130752 46873 33554432000 4194304 4196468 140734011651744 140183309311072 140184135808725 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16568320 140734011655240 140734011655433 140734011655433 140734011658191 0
[pid=5099/tid=5114] ppid=5096 vsize=14090948 memory=185328 CPUtime=0.13 cores=1,3,5,7
/proc/5099/task/5114/stat : 5114 (java) S 5096 5099 3449 0 -1 1077944384 400 0 0 0 6 7 0 0 20 0 15 0 272437073 14429130752 46873 33554432000 4194304 4196468 140734011651744 140183308257584 140184135809666 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16568320 140734011655240 140734011655433 140734011655433 140734011658191 0
Current children cumulated CPU time: 670.23 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 187484 KiB

Child status: 0
Real time (s): 665.727
CPU time (s): 670.303
CPU user time (s): 669.906
CPU system time (s): 0.397353
CPU usage (%): 100.687
Max. virtual memory (cumulated for all children) (KiB): 14090948
Max. memory (cumulated for all children) (KiB): 246308

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 669.906
system time used= 0.397353
maximum resident set size= 248588
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 64968
page faults= 0
swaps= 0
block input operations= 0
block output operations= 856
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 25982
involuntary context switches= 967


# summary of solver processes directly reported to runsolver:
#   pid: 5099
#   total CPU time (s): 670.303
#   total CPU user time (s): 669.906
#   total CPU system time (s): 0.397353

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.63573 second user time and 5.9697 second system time

The end

Launcher Data

Begin job on node135 at 2018-08-18 01:32:19
IDJOB=4311984
IDBENCH=141233
IDSOLVER=2799
FILE ID=node135/4311984-1534548739
RUNJOBID= node135-1534541040-3481
PBS_JOBID= 21038636
Free space on /tmp= 54356 MiB

SOLVER NAME= OscaR - Conflict Ordering with restarts 2018-08-17
BENCH NAME= XCSP18/PseudoBoolean-dec/Pb-robin12_c18.xml
COMMAND LINE= java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 11000 --nbcore 1 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4311984-1534548739/watcher-4311984-1534548739 -o /tmp/evaluation-result-4311984-1534548739/solver-4311984-1534548739 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1534541040-3481 --watchdog 2580  java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 1427395470 --timelimit 2520 --memlimit 11000 --nbcore 1 HOME/instance-4311984-1534548739.xml

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

MD5SUM BENCH= 06a2ec4b3086c6da600ddbfdfe006226
RANDOM SEED=1427395470

node135.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.50
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.50
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.50
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.50
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:        23957340 kB
MemAvailable:   30947720 kB
Buffers:          195656 kB
Cached:          7043652 kB
SwapCached:           20 kB
Active:          5070244 kB
Inactive:        3160504 kB
Active(anon):     971196 kB
Inactive(anon):    89388 kB
Active(file):    4099048 kB
Inactive(file):  3071116 kB
Unevictable:        7240 kB
Mlocked:            7240 kB
SwapTotal:      67108860 kB
SwapFree:       67108840 kB
Dirty:             36080 kB
Writeback:             0 kB
AnonPages:        943496 kB
Mapped:            34892 kB
Shmem:             66188 kB
Slab:             278308 kB
SReclaimable:     248676 kB
SUnreclaim:        29632 kB
KernelStack:        3888 kB
PageTables:         7520 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1954356 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    798720 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:       93568 kB
DirectMap2M:    33452032 kB

Free space on /tmp at the end= 54320 MiB
End job on node135 at 2018-08-18 01:43:25