Trace number 4297385

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Choco-solver 4.0.7b par (e747e1e)SAT (TO)8 19908.3 2520.16

General information on the benchmark

NameGraphColoring/
GraphColoring-4-fullins-5_c18.xml
MD5SUM95ec92f657fea8ce6e93e6f35592ce49
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark8
Best CPU time to get the best result obtained on this benchmark19908.3
Satisfiable
(Un)Satisfiability was proved
Number of variables4146
Number of constraints77305
Number of domains1
Minimum domain size4146
Maximum domain size4146
Distribution of domain sizes[{"size":4146,"count":4146}]
Minimum variable degree9
Maximum variable degree696
Distribution of variable degrees[{"degree":9,"count":4},{"degree":10,"count":18},{"degree":11,"count":14},{"degree":12,"count":56},{"degree":13,"count":22},{"degree":14,"count":94},{"degree":15,"count":28},{"degree":16,"count":112},{"degree":17,"count":54},{"degree":18,"count":216},{"degree":19,"count":62},{"degree":20,"count":248},{"degree":21,"count":24},{"degree":22,"count":96},{"degree":23,"count":78},{"degree":24,"count":312},{"degree":25,"count":10},{"degree":26,"count":40},{"degree":27,"count":40},{"degree":28,"count":166},{"degree":29,"count":40},{"degree":30,"count":160},{"degree":31,"count":166},{"degree":32,"count":664},{"degree":33,"count":30},"...",{"degree":36,"count":96}, {"degree":37,"count":6}, {"degree":38,"count":24}, {"degree":39,"count":24}, {"degree":40,"count":96}, {"degree":49,"count":6}, {"degree":50,"count":24}, {"degree":51,"count":6}, {"degree":52,"count":24}, {"degree":57,"count":6}, {"degree":58,"count":24}, {"degree":59,"count":24}, {"degree":60,"count":96}, {"degree":61,"count":24}, {"degree":62,"count":96}, {"degree":63,"count":96}, {"degree":64,"count":384}, {"degree":93,"count":6}, {"degree":94,"count":24}, {"degree":95,"count":24}, {"degree":96,"count":96}, {"degree":122,"count":6}, {"degree":239,"count":6}, {"degree":240,"count":24}, {"degree":696,"count":6}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":77305}]
Number of extensional constraints0
Number of intensional constraints77305
Distribution of constraint types[{"type":"intension","count":77305}]
Optimization problemYES
Type of objectivemin MAXIMUM

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4297385-1532701930.xml"  -tl '20160s' -p 8
0.12/0.18	c Choco e747e1e
0.12/0.18	c [HOME/instance-4297385-1532701930.xml, -tl, 20160s, -p, 8]
0.33/0.22	c 8 solvers in parallel
0.33/0.28	c parse instance...
31.44/14.47	c solve instance...
40.74/15.79	o 25 
46.73/18.22	o 24 
47.30/18.35	o 23 
47.96/18.41	o 22 
57.15/21.06	o 21 
57.15/21.08	o 20 
60.99/23.37	o 14 
69.60/25.84	o 13 
78.33/28.36	o 12 
86.00/30.55	o 10 
99.23/33.71	o 9 
106.21/35.83	o 8 
19907.39/2520.09	s SATISFIABLE
19907.39/2520.09	v <instantiation>
19907.39/2520.09	v 	<list>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] </list>
19907.39/2520.10	v 	<values>0 1 0 1 0 1 0 1 0 1 0 1 2 3 4 5 6 7 0 1 0 1 0 1 0 1 0 1 0 1 2 3 4 5 6 7 0 1 0 1 0 1 0 1 0 1 0 1 2 8 4 5 6 7 0 1 0 1 0 1 0 1 0 1 0 1 2 3 3 3 3 3 0 1 0 1 0 1 0 1 0 1 0 1 2 4 4 4 4 4 0 1 0 1 0 1 0 1 0 1 0 1 2 3 3 3 3 3 4 8 3 5 6 7 0 2 0 2 0 2 0 2 0 2 0 3 2 3 4 5 6 7 0 2 0 2 0 2 0 2 0 2 0 3 2 3 4 5 6 7 0 2 0 2 0 2 0 2 0 2 0 4 2 8 4 5 6 7 0 2 0 2 0 2 0 2 0 2 0 3 2 3 3 3 3 3 0 2 0 2 0 2 0 2 0 2 0 4 2 4 4 4 4 4 0 2 0 2 0 2 0 2 0 2 0 3 2 3 3 3 3 3 4 8 3 5 6 7 0 1 0 1 0 1 0 1 0 1 0 1 1 1 1 1 1 1 0 1 0 1 0 1 0 1 0 1 0 1 1 1 1 1 1 1 0 1 0 1 0 1 0 1 0 1 0 1 1 1 1 1 1 1 0 1 0 1 0 1 0 1 0 1 0 1 1 1 1 1 1 1 0 1 0 1 0 1 0 1 0 1 0 1 1 1 1 1 1 1 0 1 0 1 0 1 0 1 0 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 0 2 0 2 0 2 0 2 0 2 2 2 2 2 2 2 0 2 0 2 0 2 0 2 0 2 0 2 2 2 2 2 2 2 0 2 0 2 0 2 0 2 0 2 0 2 2 2 2 2 2 2 0 2 0 2 0 2 0 2 0 2 0 2 2 2 2 2 2 2 0 2 0 2 0 2 0 2 0 2 0 2 2 2 2 2 2 2 0 2 0 2 0 2 0 2 0 2 0 2 2 2 2 2 2 2 2 2 2 2 2 2 0 1 0 1 0 1 0 1 0 1 0 1 1 1 1 1 1 1 0 1 0 1 0 1 0 1 0 1 0 1 1 1 1 1 1 1 0 1 0 1 0 1 0 1 0 1 0 1 1 1 1 1 1 1 0 1 0 1 0 1 0 1 0 1 0 1 1 1 1 1 1 1 0 1 0 1 0 1 0 1 0 1 0 1 1 1 1 1 1 1 0 1 0 1 0 1 0 1 0 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 0 2 0 2 0 2 0 2 0 2 2 2 2 2 2 2 0 2 0 2 0 2 0 2 0 2 0 2 2 2 2 2 2 2 0 2 0 2 0 2 0 2 0 2 0 2 2 2 2 2 2 2 0 2 0 2 0 2 0 2 0 2 0 2 2 2 2 2 2 2 0 2 0 2 0 2 0 2 0 2 0 2 2 2 2 2 2 2 0 2 0 2 0 2 0 2 0 2 0 2 2 2 2 2 2 2 2 2 2 2 2 2 3 1 2 4 5 6 3 1 4 1 3 1 3 1 4 1 3 1 2 3 4 5 6 7 3 1 4 1 3 1 3 1 5 1 3 1 2 3 4 5 6 7 4 1 4 1 5 1 4 1 4 1 4 1 2 8 4 5 6 7 3 1 3 1 3 1 3 1 3 1 3 1 2 3 3 3 3 3 3 1 4 1 4 1 4 1 4 1 4 1 2 4 4 4 4 4 3 1 3 1 3 1 3 1 3 1 3 1 2 3 3 3 3 3 4 8 3 5 6 7 2 2 2 2 2 2 2 2 2 2 3 3 2 3 4 5 6 7 2 2 2 2 2 2 2 2 2 2 3 3 2 3 4 5 6 7 2 2 2 2 2 2 2 2 2 2 4 4 2 8 4 5 6 7 2 2 2 2 2 2 2 2 2 2 3 3 2 3 3 3 3 3 2 2 2 2 2 2 2 2 2 2 4 4 2 4 4 4 4 4 2 2 2 2 2 2 2 2 2 2 3 3 2 3 3 3 3 3 4 8 3 5 6 7 3 1 4 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 3 1 4 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 3 1 3 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 3 1 3 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 3 1 2 4 5 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 0 1 3 4 5 </values>
19907.39/2520.10	v </instantiation>
19907.39/2520.10	c Unexpected resolution interruption!

Verifier Data 

OK	8

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4297385-1532701930/watcher-4297385-1532701930 -o /tmp/evaluation-result-4297385-1532701930/solver-4297385-1532701930 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node132-1532694346-32289 --watchdog 2580 HOME/xcsp3-exec -seed 1192330875 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297385-1532701930.xml 

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

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

solver pid=943, runsolver pid=940

[startup+0.10701 s]*
/proc/loadavg: 7.60 8.14 8.36 2/203 965
/proc/meminfo: memFree=21796588/32770624 swapFree=67108860/67108860
[pid=943] ppid=940 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/943/stat : 943 (xcsp3-exec) S 940 943 32262 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 87756190 115843072 364 33554432000 4194304 5098028 140727338534416 140727338532520 140445985071740 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 19415040 140727338542133 140727338542336 140727338542336 140727338545098 0
/proc/943/statm: 28282 364 306 221 0 87 0
[pid=945] ppid=943 vsize=26104152 memory=27368 CPUtime=0.12 cores=0-7
/proc/945/stat : 945 (java) S 943 943 32262 0 -1 1077944320 5749 0 0 0 11 1 0 0 20 0 20 0 87756190 26730651648 6842 33554432000 4194304 4196468 140728873123840 140728873106384 140577139334903 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14512128 140728873124993 140728873125165 140728873125165 140728873127887 0
/proc/945/statm: 6526038 6842 3027 1 0 6488315 0
[pid=945/tid=946] ppid=943 vsize=26104152 memory=-2961578254468854852 CPUtime=0.1 cores=0-7
/proc/945/task/946/stat : 946 (java) R 943 943 32262 0 -1 4202560 3722 0 0 0 9 1 0 0 20 0 20 0 87756191 26730651648 6908 33554432000 4194304 4196468 140728873123840 140577143561200 140577123378533 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14512128 140728873124993 140728873125165 140728873125165 140728873127887 0
[pid=945/tid=947] ppid=943 vsize=26104152 memory=732370219479833573 CPUtime=0 cores=0-7
/proc/945/task/947/stat : 947 (java) S 943 943 32262 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87756192 26730651648 6908 33554432000 4194304 4196468 140728873123840 140577100295184 140577139345109 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14512128 140728873124993 140728873125165 140728873125165 140728873127887 0
[pid=945/tid=948] ppid=943 vsize=26104152 memory=140081142380160 CPUtime=0 cores=0-7
/proc/945/task/948/stat : 948 (java) S 943 943 32262 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87756192 26730651648 6908 33554432000 4194304 4196468 140728873123840 140577099242640 140577139345109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14512128 140728873124993 140728873125165 140728873125165 140728873127887 0
[pid=945/tid=950] ppid=943 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/945/task/950/stat : 950 (java) S 943 943 32262 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87756192 26730651648 6908 33554432000 4194304 4196468 140728873123840 140576695958288 140577139345109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14512128 140728873124993 140728873125165 140728873125165 140728873127887 0
[pid=945/tid=951] ppid=943 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/945/task/951/stat : 951 (java) S 943 943 32262 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87756192 26730651648 6908 33554432000 4194304 4196468 140728873123840 140576694905744 140577139345109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14512128 140728873124993 140728873125165 140728873125165 140728873127887 0
[pid=945/tid=952] ppid=943 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/945/task/952/stat : 952 (java) S 943 943 32262 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87756192 26730651648 6908 33554432000 4194304 4196468 140728873123840 140576693852688 140577139345109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14512128 140728873124993 140728873125165 140728873125165 140728873127887 0
[pid=945/tid=953] ppid=943 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/945/task/953/stat : 953 (java) S 943 943 32262 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87756192 26730651648 6908 33554432000 4194304 4196468 140728873123840 140576692800144 140577139345109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14512128 140728873124993 140728873125165 140728873125165 140728873127887 0
[pid=945/tid=954] ppid=943 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/945/task/954/stat : 954 (java) S 943 943 32262 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87756192 26730651648 6908 33554432000 4194304 4196468 140728873123840 140576691747088 140577139345109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14512128 140728873124993 140728873125165 140728873125165 140728873127887 0
[pid=945/tid=955] ppid=943 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/945/task/955/stat : 955 (java) S 943 943 32262 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 87756192 26730651648 6908 33554432000 4194304 4196468 140728873123840 140576690694544 140577139345109 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14512128 140728873124993 140728873125165 140728873125165 140728873127887 0
[pid=945/tid=956] ppid=943 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/945/task/956/stat : 956 (java) S 943 943 32262 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87756193 26730651648 6908 33554432000 4194304 4196468 140728873123840 140576266783472 140577139346050 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14512128 140728873124993 140728873125165 140728873125165 140728873127887 0
[pid=945/tid=957] ppid=943 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/945/task/957/stat : 957 (java) S 943 943 32262 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 87756193 26730651648 6908 33554432000 4194304 4196468 140728873123840 140576265729696 140577139345109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14512128 140728873124993 140728873125165 140728873125165 140728873127887 0
[pid=945/tid=958] ppid=943 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/945/task/958/stat : 958 (java) S 943 943 32262 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 87756194 26730651648 6908 33554432000 4194304 4196468 140728873123840 140576264676592 140577139345109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14512128 140728873124993 140728873125165 140728873125165 140728873127887 0
[pid=945/tid=959] ppid=943 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/945/task/959/stat : 959 (java) S 943 943 32262 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87756196 26730651648 6908 33554432000 4194304 4196468 140728873123840 140576263625168 140577139353499 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14512128 140728873124993 140728873125165 140728873125165 140728873127887 0
[pid=945/tid=960] ppid=943 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/945/task/960/stat : 960 (java) S 943 943 32262 0 -1 1077944384 292 0 0 0 0 0 0 0 20 0 20 0 87756196 26730651648 6908 33554432000 4194304 4196468 140728873123840 140576262572272 140577139346050 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14512128 140728873124993 140728873125165 140728873125165 140728873127887 0
[pid=945/tid=961] ppid=943 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/945/task/961/stat : 961 (java) R 943 943 32262 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87756196 26730651648 6908 33554432000 4194304 4196468 140728873123840 140576261519728 140577139346050 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14512128 140728873124993 140728873125165 140728873125165 140728873127887 0
[pid=945/tid=962] ppid=943 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/945/task/962/stat : 962 (java) S 943 943 32262 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 20 0 87756196 26730651648 6908 33554432000 4194304 4196468 140728873123840 140576260466672 140577139346050 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14512128 140728873124993 140728873125165 140728873125165 140728873127887 0
[pid=945/tid=963] ppid=943 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7
/proc/945/task/963/stat : 963 (java) R 943 943 32262 0 -1 4202560 348 0 0 0 1 0 0 0 20 0 20 0 87756196 26730651648 6908 33554432000 4194304 4196468 140728873123840 140576259414128 140577118458356 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14512128 140728873124993 140728873125165 140728873125165 140728873127887 0
[pid=945/tid=964] ppid=943 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/945/task/964/stat : 964 (java) S 943 943 32262 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 87756196 26730651648 6908 33554432000 4194304 4196468 140728873123840 140576258362336 140577139345109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14512128 140728873124993 140728873125165 140728873125165 140728873127887 0
[pid=945/tid=965] ppid=943 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/945/task/965/stat : 965 (java) S 943 943 32262 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87756196 26730651648 6908 33554432000 4194304 4196468 140728873123840 140576257309872 140577139346050 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14512128 140728873124993 140728873125165 140728873125165 140728873127887 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26217280 KiB
Current children cumulated memory: 28824 KiB

[startup+0.210686 s]*
/proc/loadavg: 7.60 8.14 8.36 3/203 965
/proc/meminfo: memFree=21784680/32770624 swapFree=67108860/67108860
[pid=943] ppid=940 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/943/stat : 943 (xcsp3-exec) S 940 943 32262 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 87756190 115843072 364 33554432000 4194304 5098028 140727338534416 140727338532520 140445985071740 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 19415040 140727338542133 140727338542336 140727338542336 140727338545098 0
/proc/943/statm: 28282 364 306 221 0 87 0
[pid=945] ppid=943 vsize=26104152 memory=39864 CPUtime=0.33 cores=0-7
/proc/945/stat : 945 (java) S 943 943 32262 0 -1 1077944320 8496 0 0 0 31 2 0 0 20 0 20 0 87756190 26730651648 9966 33554432000 4194304 4196468 140728873123840 140728873106384 140577139334903 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14512128 140728873124993 140728873125165 140728873125165 140728873127887 0
/proc/945/statm: 6526038 9966 3205 1 0 6488315 0
[pid=945/tid=946] ppid=943 vsize=26104152 memory=0 CPUtime=0.19 cores=0-7
/proc/945/task/946/stat : 946 (java) R 943 943 32262 0 -1 4202560 5590 0 0 0 18 1 0 0 20 0 20 0 87756191 26730651648 9966 33554432000 4194304 4196468 140728873123840 140577143573088 140577125053184 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14512128 140728873124993 140728873125165 140728873125165 140728873127887 0
[pid=945/tid=947] ppid=943 vsize=26104152 memory=732370219479833573 CPUtime=0 cores=0-7
/proc/945/task/947/stat : 947 (java) S 943 943 32262 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87756192 26730651648 9966 33554432000 4194304 4196468 140728873123840 140577100295184 140577139345109 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14512128 140728873124993 140728873125165 140728873125165 140728873127887 0
[pid=945/tid=948] ppid=943 vsize=26104152 memory=140081142380160 CPUtime=0 cores=0-7
/proc/945/task/948/stat : 948 (java) S 943 943 32262 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87756192 26730651648 9966 33554432000 4194304 4196468 140728873123840 140577099242640 140577139345109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14512128 140728873124993 140728873125165 140728873125165 140728873127887 0
[pid=945/tid=950] ppid=943 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/945/task/950/stat : 950 (java) S 943 943 32262 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87756192 26730651648 9966 33554432000 4194304 4196468 140728873123840 140576695958288 140577139345109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14512128 140728873124993 140728873125165 140728873125165 140728873127887 0
[pid=945/tid=951] ppid=943 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/945/task/951/stat : 951 (java) S 943 943 32262 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87756192 26730651648 9966 33554432000 4194304 4196468 140728873123840 140576694905744 140577139345109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14512128 140728873124993 140728873125165 140728873125165 140728873127887 0
[pid=945/tid=952] ppid=943 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/945/task/952/stat : 952 (java) S 943 943 32262 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87756192 26730651648 9966 33554432000 4194304 4196468 140728873123840 140576693852688 140577139345109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14512128 140728873124993 140728873125165 140728873125165 140728873127887 0
[pid=945/tid=953] ppid=943 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/945/task/953/stat : 953 (java) S 943 943 32262 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87756192 26730651648 9966 33554432000 4194304 4196468 140728873123840 140576692800144 140577139345109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14512128 140728873124993 140728873125165 140728873125165 140728873127887 0
[pid=945/tid=954] ppid=943 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/945/task/954/stat : 954 (java) S 943 943 32262 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87756192 26730651648 9966 33554432000 4194304 4196468 140728873123840 140576691747088 140577139345109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14512128 140728873124993 140728873125165 140728873125165 140728873127887 0
[pid=945/tid=955] ppid=943 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/945/task/955/stat : 955 (java) S 943 943 32262 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 87756192 26730651648 9966 33554432000 4194304 4196468 140728873123840 140576690694544 140577139345109 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14512128 140728873124993 140728873125165 140728873125165 140728873127887 0
[pid=945/tid=956] ppid=943 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/945/task/956/stat : 956 (java) S 943 943 32262 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 87756193 26730651648 9966 33554432000 4194304 4196468 140728873123840 140576266783472 140577139346050 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14512128 140728873124993 140728873125165 140728873125165 140728873127887 0
[pid=945/tid=957] ppid=943 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/945/task/957/stat : 957 (java) S 943 943 32262 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 87756193 26730651648 9966 33554432000 4194304 4196468 140728873123840 140576265729696 140577139345109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14512128 140728873124993 140728873125165 140728873125165 140728873127887 0
[pid=945/tid=958] ppid=943 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/945/task/958/stat : 958 (java) S 943 943 32262 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 87756194 26730651648 9966 33554432000 4194304 4196468 140728873123840 140576264676592 140577139345109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14512128 140728873124993 140728873125165 140728873125165 140728873127887 0
[pid=945/tid=959] ppid=943 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/945/task/959/stat : 959 (java) S 943 943 32262 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87756196 26730651648 9966 33554432000 4194304 4196468 140728873123840 140576263625168 140577139353499 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14512128 140728873124993 140728873125165 140728873125165 140728873127887 0
[pid=945/tid=960] ppid=943 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7
/proc/945/task/960/stat : 960 (java) S 943 943 32262 0 -1 1077944384 572 0 0 0 1 0 0 0 20 0 20 0 87756196 26730651648 9966 33554432000 4194304 4196468 140728873123840 140576262572272 140577139346050 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14512128 140728873124993 140728873125165 140728873125165 140728873127887 0
[pid=945/tid=961] ppid=943 vsize=26104152 memory=0 CPUtime=0.02 cores=0-7
/proc/945/task/961/stat : 961 (java) S 943 943 32262 0 -1 1077944384 163 0 0 0 2 0 0 0 20 0 20 0 87756196 26730651648 9966 33554432000 4194304 4196468 140728873123840 140576261519728 140577139346050 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14512128 140728873124993 140728873125165 140728873125165 140728873127887 0
[pid=945/tid=962] ppid=943 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/945/task/962/stat : 962 (java) S 943 943 32262 0 -1 1077944384 133 0 0 0 0 0 0 0 20 0 20 0 87756196 26730651648 9966 33554432000 4194304 4196468 140728873123840 140576260466672 140577139346050 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14512128 140728873124993 140728873125165 140728873125165 140728873127887 0
[pid=945/tid=963] ppid=943 vsize=26104152 memory=0 CPUtime=0.08 cores=0-7
/proc/945/task/963/stat : 963 (java) S 943 943 32262 0 -1 1077944384 737 0 0 0 8 0 0 0 20 0 20 0 87756196 26730651648 9966 33554432000 4194304 4196468 140728873123840 140576259414128 140577139346050 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14512128 140728873124993 140728873125165 140728873125165 140728873127887 0
[pid=945/tid=964] ppid=943 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/945/task/964/stat : 964 (java) S 943 943 32262 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 87756196 26730651648 9966 33554432000 4194304 4196468 140728873123840 140576258362336 140577139345109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14512128 140728873124993 140728873125165 140728873125165 140728873127887 0
[pid=945/tid=965] ppid=943 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/945/task/965/stat : 965 (java) S 943 943 32262 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87756196 26730651648 9966 33554432000 4194304 4196468 140728873123840 140576257309872 140577139346050 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14512128 140728873124993 140728873125165 140728873125165 140728873127887 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26217280 KiB
Current children cumulated memory: 41320 KiB

[startup+0.310647 s]*
/proc/loadavg: 7.60 8.14 8.36 4/203 965
/proc/meminfo: memFree=21778972/32770624 swapFree=67108860/67108860
[pid=943] ppid=940 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/943/stat : 943 (xcsp3-exec) S 940 943 32262 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 87756190 115843072 364 33554432000 4194304 5098028 140727338534416 140727338532520 140445985071740 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 19415040 140727338542133 140727338542336 140727338542336 140727338545098 0
/proc/943/statm: 28282 364 306 221 0 87 0
[pid=945] ppid=943 vsize=26108408 memory=46324 CPUtime=0.51 cores=0-7
/proc/945/stat : 945 (java) S 943 943 32262 0 -1 1077944320 9320 0 0 0 48 3 0 0 20 0 20 0 87756190 26735009792 11581 33554432000 4194304 4196468 140728873123840 140728873106384 140577139334903 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14512128 140728873124993 140728873125165 140728873125165 140728873127887 0
/proc/945/statm: 6527102 11581 3265 1 0 6488315 0
[pid=945/tid=946] ppid=943 vsize=26108408 memory=7974038411334692957 CPUtime=0.29 cores=0-7
/proc/945/task/946/stat : 946 (java) R 943 943 32262 0 -1 4202560 6283 0 0 0 27 2 0 0 20 0 20 0 87756191 26735009792 11659 33554432000 4194304 4196468 140728873123840 140577143565056 140577123415390 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14512128 140728873124993 140728873125165 140728873125165 140728873127887 0
[pid=945/tid=947] ppid=943 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/945/task/947/stat : 947 (java) S 943 943 32262 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87756192 26735009792 11659 33554432000 4194304 4196468 140728873123840 140577100295184 140577139345109 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14512128 140728873124993 140728873125165 140728873125165 140728873127887 0
[pid=945/tid=948] ppid=943 vsize=26108408 memory=665094379610138249 CPUtime=0 cores=0-7
/proc/945/task/948/stat : 948 (java) S 943 943 32262 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87756192 26735009792 11659 33554432000 4194304 4196468 140728873123840 140577099242640 140577139345109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14512128 140728873124993 140728873125165 140728873125165 140728873127887 0
[pid=945/tid=950] ppid=943 vsize=26108408 memory=6452091056216105532 CPUtime=0 cores=0-7
/proc/945/task/950/stat : 950 (java) S 943 943 32262 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87756192 26735009792 11659 33554432000 4194304 4196468 140728873123840 140576695958288 140577139345109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14512128 140728873124993 140728873125165 140728873125165 140728873127887 0
[pid=945/tid=951] ppid=943 vsize=26108408 memory=32758254098972862 CPUtime=0 cores=0-7
/proc/945/task/951/stat : 951 (java) S 943 943 32262 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87756192 26735009792 11659 33554432000 4194304 4196468 140728873123840 140576694905744 140577139345109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14512128 140728873124993 140728873125165 140728873125165 140728873127887 0
[pid=945/tid=952] ppid=943 vsize=26108408 memory=288230604674436105 CPUtime=0 cores=0-7
/proc/945/task/952/stat : 952 (java) S 943 943 32262 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87756192 26735009792 11672 33554432000 4194304 4196468 140728873123840 140576693852688 140577139345109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14512128 140728873124993 140728873125165 140728873125165 140728873127887 0
[pid=945/tid=953] ppid=943 vsize=26108408 memory=13570392392491087 CPUtime=0 cores=0-7
/proc/945/task/953/stat : 953 (java) S 943 943 32262 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87756192 26735009792 11672 33554432000 4194304 4196468 140728873123840 140576692800144 140577139345109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14512128 140728873124993 140728873125165 140728873125165 140728873127887 0
[pid=945/tid=954] ppid=943 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/945/task/954/stat : 954 (java) S 943 943 32262 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87756192 26735009792 11672 33554432000 4194304 4196468 140728873123840 140576691747088 140577139345109 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14512128 140728873124993 140728873125165 140728873125165 140728873127887 0
[pid=945/tid=955] ppid=943 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/945/task/955/stat : 955 (java) S 943 943 32262 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 87756192 26735009792 11672 33554432000 4194304 4196468 140728873123840 140576690694544 140577139345109 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14512128 140728873124993 140728873125165 140728873125165 140728873127887 0
[pid=945/tid=956] ppid=943 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/945/task/956/stat : 956 (java) S 943 943 32262 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 87756193 26735009792 11672 33554432000 4194304 4196468 140728873123840 140576266783472 140577139346050 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14512128 140728873124993 140728873125165 140728873125165 140728873127887 0
[pid=945/tid=957] ppid=943 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/945/task/957/stat : 957 (java) S 943 943 32262 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 87756193 26735009792 11672 33554432000 4194304 4196468 140728873123840 140576265729696 140577139345109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14512128 140728873124993 140728873125165 140728873125165 140728873127887 0
[pid=945/tid=958] ppid=943 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/945/task/958/stat : 958 (java) S 943 943 32262 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 87756194 26735009792 11672 33554432000 4194304 4196468 140728873123840 140576264676592 140577139345109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14512128 140728873124993 140728873125165 140728873125165 140728873127887 0
[pid=945/tid=959] ppid=943 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/945/task/959/stat : 959 (java) S 943 943 32262 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87756196 26735009792 11672 33554432000 4194304 4196468 140728873123840 140576263625168 140577139353499 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14512128 140728873124993 140728873125165 140728873125165 140728873127887 0
[pid=945/tid=960] ppid=943 vsize=26108408 memory=0 CPUtime=0.02 cores=0-7
/proc/945/task/960/stat : 960 (java) S 943 943 32262 0 -1 1077944384 573 0 0 0 2 0 0 0 20 0 20 0 87756196 26735009792 11672 33554432000 4194304 4196468 140728873123840 140576262572272 140577139346050 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14512128 140728873124993 140728873125165 140728873125165 140728873127887 0
[pid=945/tid=961] ppid=943 vsize=26108408 memory=0 CPUtime=0.04 cores=0-7
/proc/945/task/961/stat : 961 (java) R 943 943 32262 0 -1 4202560 246 0 0 0 4 0 0 0 20 0 20 0 87756196 26735009792 11672 33554432000 4194304 4196468 140728873123840 140576261510112 140577120879082 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14512128 140728873124993 140728873125165 140728873125165 140728873127887 0
[pid=945/tid=962] ppid=943 vsize=26108408 memory=0 CPUtime=0.01 cores=0-7
/proc/945/task/962/stat : 962 (java) S 943 943 32262 0 -1 1077944384 149 0 0 0 1 0 0 0 20 0 20 0 87756196 26735009792 11672 33554432000 4194304 4196468 140728873123840 140576260466672 140577139346050 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14512128 140728873124993 140728873125165 140728873125165 140728873127887 0
[pid=945/tid=963] ppid=943 vsize=26108408 memory=0 CPUtime=0.12 cores=0-7
/proc/945/task/963/stat : 963 (java) S 943 943 32262 0 -1 1077944384 801 0 0 0 12 0 0 0 20 0 20 0 87756196 26735009792 11672 33554432000 4194304 4196468 140728873123840 140576259414128 140577139346050 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14512128 140728873124993 140728873125165 140728873125165 140728873127887 0
[pid=945/tid=964] ppid=943 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/945/task/964/stat : 964 (java) S 943 943 32262 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 87756196 26735009792 11672 33554432000 4194304 4196468 140728873123840 140576258362336 140577139345109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14512128 140728873124993 140728873125165 140728873125165 140728873127887 0
[pid=945/tid=965] ppid=943 vsize=26108408 memory=-1 CPUtime=0 cores=0-7
/proc/945/task/965/stat : 965 (java) S 943 943 32262 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87756196 26735009792 11672 33554432000 4194304 4196468 140728873123840 140576257309872 140577139346050 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14512128 140728873124993 140728873125165 140728873125165 140728873127887 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 26221536 KiB
Current children cumulated memory: 47780 KiB

[startup+0.700972 s]
/proc/loadavg: 7.60 8.14 8.36 4/203 965
/proc/meminfo: memFree=21737288/32770624 swapFree=67108860/67108860
[pid=943] ppid=940 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/943/stat : 943 (xcsp3-exec) S 940 943 32262 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 87756190 115843072 364 33554432000 4194304 5098028 140727338534416 140727338532520 140445985071740 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 19415040 140727338542133 140727338542336 140727338542336 140727338545098 0
/proc/943/statm: 28282 364 306 221 0 87 0
[pid=945] ppid=943 vsize=26110532 memory=122704 CPUtime=1.77 cores=0-7
/proc/945/stat : 945 (java) S 943 943 32262 0 -1 1077944320 13028 0 0 0 172 5 0 0 20 0 20 0 87756190 26737184768 30676 33554432000 4194304 4196468 140728873123840 140728873106384 140577139334903 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14512128 140728873124993 140728873125165 140728873125165 140728873127887 0
/proc/945/statm: 6527633 30676 3343 1 0 6488827 0
[pid=945/tid=946] ppid=943 vsize=26110532 memory=1948 CPUtime=0.67 cores=0-7
/proc/945/task/946/stat : 946 (java) R 943 943 32262 0 -1 4202560 6765 0 0 0 64 3 0 0 20 0 20 0 87756191 26737184768 30676 33554432000 4194304 4196468 140728873123840 140577143572304 140576778729282 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14512128 140728873124993 140728873125165 140728873125165 140728873127887 0
[pid=945/tid=947] ppid=943 vsize=26110532 memory=1224 CPUtime=0 cores=0-7
/proc/945/task/947/stat : 947 (java) S 943 943 32262 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87756192 26737184768 30676 33554432000 4194304 4196468 140728873123840 140577100295184 140577139345109 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14512128 140728873124993 140728873125165 140728873125165 140728873127887 0
[pid=945/tid=948] ppid=943 vsize=26110532 memory=1716 CPUtime=0 cores=0-7
/proc/945/task/948/stat : 948 (java) S 943 943 32262 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87756192 26737184768 30676 33554432000 4194304 4196468 140728873123840 140577099242640 140577139345109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14512128 140728873124993 140728873125165 140728873125165 140728873127887 0
[pid=945/tid=950] ppid=943 vsize=26110532 memory=1424 CPUtime=0 cores=0-7
/proc/945/task/950/stat : 950 (java) S 943 943 32262 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87756192 26737184768 30676 33554432000 4194304 4196468 140728873123840 140576695958288 140577139345109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14512128 140728873124993 140728873125165 140728873125165 140728873127887 0

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

/proc/meminfo: memFree=14148840/32770624 swapFree=67108860/67108860
[pid=943] ppid=940 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/943/stat : 943 (xcsp3-exec) S 940 943 32262 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 87756190 115843072 364 33554432000 4194304 5098028 140727338534416 140727338532520 140445985071740 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 19415040 140727338542133 140727338542336 140727338542336 140727338545098 0
/proc/943/statm: 28282 364 306 221 0 87 0
[pid=945] ppid=943 vsize=26645092 memory=7661880 CPUtime=19766.5 cores=0-7
/proc/945/stat : 945 (java) S 943 943 32262 0 -1 1077944320 702999 0 0 0 1975160 1486 0 0 20 0 28 0 87756190 27284574208 1915470 33554432000 4194304 4196468 140728873123840 140728873106384 140577139334903 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14512128 140728873124993 140728873125165 140728873125165 140728873127887 0
/proc/945/statm: 6661273 1915470 3452 1 0 6622467 0
[pid=945/tid=946] ppid=943 vsize=26645092 memory=7661880 CPUtime=12.98 cores=0-7
/proc/945/task/946/stat : 946 (java) S 943 943 32262 0 -1 1077944384 11872 0 0 0 1249 49 0 0 20 0 28 0 87756191 27284574208 1915470 33554432000 4194304 4196468 140728873123840 140577143575680 140577139345109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14512128 140728873124993 140728873125165 140728873125165 140728873127887 0
[pid=945/tid=947] ppid=943 vsize=26645092 memory=3472328296227679313 CPUtime=7.48 cores=0-7
/proc/945/task/947/stat : 947 (java) S 943 943 32262 0 -1 1077944384 18627 0 0 0 700 48 0 0 20 0 28 0 87756192 27284574208 1915470 33554432000 4194304 4196468 140728873123840 140577100295184 140577139345109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 14512128 140728873124993 140728873125165 140728873125165 140728873127887 0
[pid=945/tid=948] ppid=943 vsize=26645092 memory=109011498 CPUtime=7.48 cores=0-7
/proc/945/task/948/stat : 948 (java) S 943 943 32262 0 -1 1077944384 16676 0 0 0 701 47 0 0 20 0 28 0 87756192 27284574208 1915470 33554432000 4194304 4196468 140728873123840 140577099242640 140577139345109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 2 0 0 6293624 6294260 14512128 140728873124993 140728873125165 140728873125165 140728873127887 0
[pid=945/tid=950] ppid=943 vsize=26645092 memory=7661880 CPUtime=7.51 cores=0-7
/proc/945/task/950/stat : 950 (java) S 943 943 32262 0 -1 1077944384 19554 0 0 0 703 48 0 0 20 0 28 0 87756192 27284574208 1915470 33554432000 4194304 4196468 140728873123840 140576695958288 140577139345109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 14512128 140728873124993 140728873125165 140728873125165 140728873127887 0
[pid=945/tid=951] ppid=943 vsize=26645092 memory=1456 CPUtime=7.5 cores=0-7
/proc/945/task/951/stat : 951 (java) S 943 943 32262 0 -1 1077944384 19813 0 0 0 699 51 0 0 20 0 28 0 87756192 27284574208 1915470 33554432000 4194304 4196468 140728873123840 140576694905744 140577139345109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 2 0 0 6293624 6294260 14512128 140728873124993 140728873125165 140728873125165 140728873127887 0
[pid=945/tid=952] ppid=943 vsize=26645092 memory=7655628 CPUtime=7.53 cores=0-7
/proc/945/task/952/stat : 952 (java) S 943 943 32262 0 -1 1077944384 22523 0 0 0 702 51 0 0 20 0 28 0 87756192 27284574208 1915470 33554432000 4194304 4196468 140728873123840 140576693852688 140577139345109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 14512128 140728873124993 140728873125165 140728873125165 140728873127887 0
[pid=945/tid=953] ppid=943 vsize=26645092 memory=1948 CPUtime=7.41 cores=0-7
/proc/945/task/953/stat : 953 (java) S 943 943 32262 0 -1 1077944384 18669 0 0 0 694 47 0 0 20 0 28 0 87756192 27284574208 1915470 33554432000 4194304 4196468 140728873123840 140576692800144 140577139345109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 14512128 140728873124993 140728873125165 140728873125165 140728873127887 0
[pid=945/tid=954] ppid=943 vsize=26645092 memory=1224 CPUtime=7.48 cores=0-7
/proc/945/task/954/stat : 954 (java) S 943 943 32262 0 -1 1077944384 20442 0 0 0 702 46 0 0 20 0 28 0 87756192 27284574208 1915470 33554432000 4194304 4196468 140728873123840 140576691747088 140577139345109 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 14512128 140728873124993 140728873125165 140728873125165 140728873127887 0
[pid=945/tid=955] ppid=943 vsize=26645092 memory=1456 CPUtime=7.49 cores=0-7
/proc/945/task/955/stat : 955 (java) S 943 943 32262 0 -1 1077944384 22361 0 0 0 704 45 0 0 20 0 28 0 87756192 27284574208 1915470 33554432000 4194304 4196468 140728873123840 140576690694544 140577139345109 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 14512128 140728873124993 140728873125165 140728873125165 140728873127887 0
[pid=945/tid=956] ppid=943 vsize=26645092 memory=7655668 CPUtime=1.64 cores=0-7
/proc/945/task/956/stat : 956 (java) S 943 943 32262 0 -1 1077944384 42666 0 0 0 148 16 0 0 20 0 28 0 87756193 27284574208 1915470 33554432000 4194304 4196468 140728873123840 140576266783472 140577139346050 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14512128 140728873124993 140728873125165 140728873125165 140728873127887 0
[pid=945/tid=957] ppid=943 vsize=26645092 memory=1456 CPUtime=0 cores=0-7
/proc/945/task/957/stat : 957 (java) S 943 943 32262 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 28 0 87756193 27284574208 1915470 33554432000 4194304 4196468 140728873123840 140576265729760 140577139345109 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14512128 140728873124993 140728873125165 140728873125165 140728873127887 0
[pid=945/tid=958] ppid=943 vsize=26645092 memory=7659832 CPUtime=0 cores=0-7
/proc/945/task/958/stat : 958 (java) S 943 943 32262 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 87756194 27284574208 1915470 33554432000 4194304 4196468 140728873123840 140576264676608 140577139345109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14512128 140728873124993 140728873125165 140728873125165 140728873127887 0
[pid=945/tid=959] ppid=943 vsize=26645092 memory=0 CPUtime=0 cores=0-7
/proc/945/task/959/stat : 959 (java) S 943 943 32262 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 87756196 27284574208 1915470 33554432000 4194304 4196468 140728873123840 140576263625168 140577139353499 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14512128 140728873124993 140728873125165 140728873125165 140728873127887 0
[pid=945/tid=960] ppid=943 vsize=26645092 memory=0 CPUtime=4.49 cores=0-7
/proc/945/task/960/stat : 960 (java) S 943 943 32262 0 -1 1077944384 22984 0 0 0 445 4 0 0 20 0 28 0 87756196 27284574208 1915470 33554432000 4194304 4196468 140728873123840 140576262572272 140577139346050 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14512128 140728873124993 140728873125165 140728873125165 140728873127887 0
[pid=945/tid=961] ppid=943 vsize=26645092 memory=4132 CPUtime=4.3 cores=0-7
/proc/945/task/961/stat : 961 (java) S 943 943 32262 0 -1 1077944384 29930 0 0 0 424 6 0 0 20 0 28 0 87756196 27284574208 1915470 33554432000 4194304 4196468 140728873123840 140576261519728 140577139346050 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14512128 140728873124993 140728873125165 140728873125165 140728873127887 0
[pid=945/tid=962] ppid=943 vsize=26645092 memory=25696 CPUtime=4.63 cores=0-7
/proc/945/task/962/stat : 962 (java) S 943 943 32262 0 -1 1077944384 25874 0 0 0 457 6 0 0 20 0 28 0 87756196 27284574208 1915470 33554432000 4194304 4196468 140728873123840 140576260466672 140577139346050 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14512128 140728873124993 140728873125165 140728873125165 140728873127887 0
[pid=945/tid=963] ppid=943 vsize=26645092 memory=1456 CPUtime=1.06 cores=0-7
/proc/945/task/963/stat : 963 (java) S 943 943 32262 0 -1 1077944384 24266 0 0 0 102 4 0 0 20 0 28 0 87756196 27284574208 1915470 33554432000 4194304 4196468 140728873123840 140576259414128 140577139346050 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14512128 140728873124993 140728873125165 140728873125165 140728873127887 0
[pid=945/tid=964] ppid=943 vsize=26645092 memory=7661880 CPUtime=0 cores=0-7
/proc/945/task/964/stat : 964 (java) S 943 943 32262 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 87756196 27284574208 1915470 33554432000 4194304 4196468 140728873123840 140576258362336 140577139345109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14512128 140728873124993 140728873125165 140728873125165 140728873127887 0
[pid=945/tid=965] ppid=943 vsize=26645092 memory=1456 CPUtime=1.01 cores=0-7
/proc/945/task/965/stat : 965 (java) S 943 943 32262 0 -1 1077944384 4323 0 0 0 76 25 0 0 20 0 28 0 87756196 27284574208 1915470 33554432000 4194304 4196468 140728873123840 140576257309872 140577139346050 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14512128 140728873124993 140728873125165 140728873125165 140728873127887 0
[pid=945/tid=1064] ppid=943 vsize=26645092 memory=1456 CPUtime=2446.24 cores=0-7
/proc/945/task/1064/stat : 1064 (java) R 943 943 32262 0 -1 4202560 12296 0 0 0 244612 12 0 0 20 0 28 0 87759774 27284574208 1915470 33554432000 4194304 4196468 140728873123840 140576242207912 140576778860826 0 4 0 16800975 0 0 0 -1 5 0 0 9 0 0 6293624 6294260 14512128 140728873124993 140728873125165 140728873125165 140728873127887 0
[pid=945/tid=1065] ppid=943 vsize=26645092 memory=1456 CPUtime=2457.95 cores=0-7
/proc/945/task/1065/stat : 1065 (java) R 943 943 32262 0 -1 4202560 13204 0 0 0 245783 12 0 0 20 0 28 0 87759774 27284574208 1915470 33554432000 4194304 4196468 140728873123840 140576244314472 140576778861051 0 4 0 16800975 0 0 0 -1 3 0 0 9 0 0 6293624 6294260 14512128 140728873124993 140728873125165 140728873125165 140728873127887 0
[pid=945/tid=1066] ppid=943 vsize=26645092 memory=1456 CPUtime=2450.35 cores=0-7
/proc/945/task/1066/stat : 1066 (java) R 943 943 32262 0 -1 4202560 118224 0 0 0 244625 410 0 0 20 0 28 0 87759774 27284574208 1915470 33554432000 4194304 4196468 140728873123840 140576246419296 140576783807347 0 4 0 16800975 0 0 0 -1 7 0 0 7 0 0 6293624 6294260 14512128 140728873124993 140728873125165 140728873125165 140728873127887 0
[pid=945/tid=1067] ppid=943 vsize=26645092 memory=1456 CPUtime=2453.94 cores=0-7
/proc/945/task/1067/stat : 1067 (java) R 943 943 32262 0 -1 4202560 34231 0 0 0 245318 76 0 0 20 0 28 0 87759774 27284574208 1915470 33554432000 4194304 4196468 140728873123840 140576245366984 140576777975262 0 4 0 16800975 0 0 0 -1 2 0 0 7 0 0 6293624 6294260 14512128 140728873124993 140728873125165 140728873125165 140728873127887 0
[pid=945/tid=1068] ppid=943 vsize=26645092 memory=7661880 CPUtime=2453.62 cores=0-7
/proc/945/task/1068/stat : 1068 (java) R 943 943 32262 0 -1 4202560 130462 0 0 0 244991 371 0 0 20 0 28 0 87759774 27284574208 1915470 33554432000 4194304 4196468 140728873123840 140576248524136 140576781497458 0 4 0 16800975 0 0 0 -1 1 0 0 8 0 0 6293624 6294260 14512128 140728873124993 140728873125165 140728873125165 140728873127887 0
[pid=945/tid=1069] ppid=943 vsize=26645092 memory=1456 CPUtime=2450.55 cores=0-7
/proc/945/task/1069/stat : 1069 (java) R 943 943 32262 0 -1 4202560 17545 0 0 0 245034 21 0 0 20 0 28 0 87759774 27284574208 1915470 33554432000 4194304 4196468 140728873123840 140576241158336 140576777539122 0 4 0 16800975 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 14512128 140728873124993 140728873125165 140728873125165 140728873127887 0
[pid=945/tid=1070] ppid=943 vsize=26645092 memory=1456 CPUtime=2449.01 cores=0-7
/proc/945/task/1070/stat : 1070 (java) R 943 943 32262 0 -1 4202560 26391 0 0 0 244865 36 0 0 20 0 28 0 87759774 27284574208 1915470 33554432000 4194304 4196468 140728873123840 140576247472616 140576778532225 0 4 0 16800975 0 0 0 -1 6 0 0 8 0 0 6293624 6294260 14512128 140728873124993 140728873125165 140728873125165 140728873127887 0
[pid=945/tid=1071] ppid=943 vsize=26645092 memory=6947385649911455296 CPUtime=2451.01 cores=0-7
/proc/945/task/1071/stat : 1071 (java) R 943 943 32262 0 -1 4202560 13558 0 0 0 245091 10 0 0 20 0 28 0 87759775 27284574208 1915470 33554432000 4194304 4196468 140728873123840 140576243262056 140576781496829 0 4 0 16800975 0 0 0 -1 0 0 0 6 0 0 6293624 6294260 14512128 140728873124993 140728873125165 140728873125165 140728873127887 0
Current children cumulated CPU time: 19766.5 s
Current children cumulated vsize: 26758220 KiB
Current children cumulated memory: 7663336 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 7.76 8.41 8.43 10/213 1140
/proc/meminfo: memFree=14148756/32770624 swapFree=67108860/67108860
[pid=943] ppid=940 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/943/stat : 943 (xcsp3-exec) S 940 943 32262 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 87756190 115843072 364 33554432000 4194304 5098028 140727338534416 140727338532520 140445985071740 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 19415040 140727338542133 140727338542336 140727338542336 140727338545098 0
/proc/943/statm: 28282 364 306 221 0 87 0
[pid=945] ppid=943 vsize=26645092 memory=7661880 CPUtime=19907.4 cores=0-7
/proc/945/stat : 945 (java) S 943 943 32262 0 -1 1077944320 705796 0 0 0 1989251 1488 0 0 20 0 28 0 87756190 27284574208 1915470 33554432000 4194304 4196468 140728873123840 140728873106384 140577139334903 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14512128 140728873124993 140728873125165 140728873125165 140728873127887 0
/proc/945/statm: 6661273 1915470 3452 1 0 6622467 0
[pid=945/tid=946] ppid=943 vsize=26645092 memory=6935054825532540783 CPUtime=12.98 cores=0-7
/proc/945/task/946/stat : 946 (java) S 943 943 32262 0 -1 1077944384 11872 0 0 0 1249 49 0 0 20 0 28 0 87756191 27284574208 1915470 33554432000 4194304 4196468 140728873123840 140577143575680 140577139345109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14512128 140728873124993 140728873125165 140728873125165 140728873127887 0
[pid=945/tid=947] ppid=943 vsize=26645092 memory=-7003737579269690708 CPUtime=7.59 cores=0-7
/proc/945/task/947/stat : 947 (java) S 943 943 32262 0 -1 1077944384 18684 0 0 0 711 48 0 0 20 0 28 0 87756192 27284574208 1915470 33554432000 4194304 4196468 140728873123840 140577100295184 140577139345109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 2 0 0 6293624 6294260 14512128 140728873124993 140728873125165 140728873125165 140728873127887 0
[pid=945/tid=948] ppid=943 vsize=26645092 memory=1456 CPUtime=7.58 cores=0-7
/proc/945/task/948/stat : 948 (java) S 943 943 32262 0 -1 1077944384 16765 0 0 0 711 47 0 0 20 0 28 0 87756192 27284574208 1915470 33554432000 4194304 4196468 140728873123840 140577099242640 140577139345109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 14512128 140728873124993 140728873125165 140728873125165 140728873127887 0
[pid=945/tid=950] ppid=943 vsize=26645092 memory=7661880 CPUtime=7.61 cores=0-7
/proc/945/task/950/stat : 950 (java) S 943 943 32262 0 -1 1077944384 19702 0 0 0 713 48 0 0 20 0 28 0 87756192 27284574208 1915470 33554432000 4194304 4196468 140728873123840 140576695958288 140577139345109 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 14512128 140728873124993 140728873125165 140728873125165 140728873127887 0
[pid=945/tid=951] ppid=943 vsize=26645092 memory=1292 CPUtime=7.6 cores=0-7
/proc/945/task/951/stat : 951 (java) S 943 943 32262 0 -1 1077944384 20042 0 0 0 709 51 0 0 20 0 28 0 87756192 27284574208 1915470 33554432000 4194304 4196468 140728873123840 140576694905744 140577139345109 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 2 0 0 6293624 6294260 14512128 140728873124993 140728873125165 140728873125165 140728873127887 0
[pid=945/tid=952] ppid=943 vsize=26645092 memory=2444 CPUtime=7.63 cores=0-7
/proc/945/task/952/stat : 952 (java) S 943 943 32262 0 -1 1077944384 22695 0 0 0 712 51 0 0 20 0 28 0 87756192 27284574208 1915470 33554432000 4194304 4196468 140728873123840 140576693852688 140577139345109 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 14512128 140728873124993 140728873125165 140728873125165 140728873127887 0
[pid=945/tid=953] ppid=943 vsize=26645092 memory=4104 CPUtime=7.51 cores=0-7
/proc/945/task/953/stat : 953 (java) S 943 943 32262 0 -1 1077944384 18693 0 0 0 704 47 0 0 20 0 28 0 87756192 27284574208 1915470 33554432000 4194304 4196468 140728873123840 140576692800144 140577139345109 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 14512128 140728873124993 140728873125165 140728873125165 140728873127887 0
[pid=945/tid=954] ppid=943 vsize=26645092 memory=1832 CPUtime=7.58 cores=0-7
/proc/945/task/954/stat : 954 (java) S 943 943 32262 0 -1 1077944384 20631 0 0 0 711 47 0 0 20 0 28 0 87756192 27284574208 1915470 33554432000 4194304 4196468 140728873123840 140576691747088 140577139345109 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 14512128 140728873124993 140728873125165 140728873125165 140728873127887 0
[pid=945/tid=955] ppid=943 vsize=26645092 memory=1224 CPUtime=7.6 cores=0-7
/proc/945/task/955/stat : 955 (java) S 943 943 32262 0 -1 1077944384 22722 0 0 0 714 46 0 0 20 0 28 0 87756192 27284574208 1915470 33554432000 4194304 4196468 140728873123840 140576690694544 140577139345109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 3 0 0 6293624 6294260 14512128 140728873124993 140728873125165 140728873125165 140728873127887 0
[pid=945/tid=956] ppid=943 vsize=26645092 memory=1716 CPUtime=1.66 cores=0-7
/proc/945/task/956/stat : 956 (java) S 943 943 32262 0 -1 1077944384 42962 0 0 0 150 16 0 0 20 0 28 0 87756193 27284574208 1915470 33554432000 4194304 4196468 140728873123840 140576266783472 140577139346050 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14512128 140728873124993 140728873125165 140728873125165 140728873127887 0
[pid=945/tid=957] ppid=943 vsize=26645092 memory=1456 CPUtime=0 cores=0-7
/proc/945/task/957/stat : 957 (java) S 943 943 32262 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 28 0 87756193 27284574208 1915470 33554432000 4194304 4196468 140728873123840 140576265729760 140577139345109 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14512128 140728873124993 140728873125165 140728873125165 140728873127887 0
[pid=945/tid=958] ppid=943 vsize=26645092 memory=7661880 CPUtime=0 cores=0-7
/proc/945/task/958/stat : 958 (java) S 943 943 32262 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 87756194 27284574208 1915470 33554432000 4194304 4196468 140728873123840 140576264676608 140577139345109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14512128 140728873124993 140728873125165 140728873125165 140728873127887 0
[pid=945/tid=959] ppid=943 vsize=26645092 memory=8448 CPUtime=0 cores=0-7
/proc/945/task/959/stat : 959 (java) S 943 943 32262 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 87756196 27284574208 1915470 33554432000 4194304 4196468 140728873123840 140576263625168 140577139353499 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14512128 140728873124993 140728873125165 140728873125165 140728873127887 0
[pid=945/tid=960] ppid=943 vsize=26645092 memory=5776 CPUtime=4.49 cores=0-7
/proc/945/task/960/stat : 960 (java) S 943 943 32262 0 -1 1077944384 22986 0 0 0 445 4 0 0 20 0 28 0 87756196 27284574208 1915470 33554432000 4194304 4196468 140728873123840 140576262572272 140577139346050 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14512128 140728873124993 140728873125165 140728873125165 140728873127887 0
[pid=945/tid=961] ppid=943 vsize=26645092 memory=1200 CPUtime=4.3 cores=0-7
/proc/945/task/961/stat : 961 (java) S 943 943 32262 0 -1 1077944384 29933 0 0 0 424 6 0 0 20 0 28 0 87756196 27284574208 1915470 33554432000 4194304 4196468 140728873123840 140576261519728 140577139346050 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14512128 140728873124993 140728873125165 140728873125165 140728873127887 0
[pid=945/tid=962] ppid=943 vsize=26645092 memory=12136 CPUtime=4.63 cores=0-7
/proc/945/task/962/stat : 962 (java) S 943 943 32262 0 -1 1077944384 25876 0 0 0 457 6 0 0 20 0 28 0 87756196 27284574208 1915470 33554432000 4194304 4196468 140728873123840 140576260466672 140577139346050 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14512128 140728873124993 140728873125165 140728873125165 140728873127887 0
[pid=945/tid=963] ppid=943 vsize=26645092 memory=1008 CPUtime=1.06 cores=0-7
/proc/945/task/963/stat : 963 (java) S 943 943 32262 0 -1 1077944384 24268 0 0 0 102 4 0 0 20 0 28 0 87756196 27284574208 1915470 33554432000 4194304 4196468 140728873123840 140576259414128 140577139346050 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14512128 140728873124993 140728873125165 140728873125165 140728873127887 0
[pid=945/tid=964] ppid=943 vsize=26645092 memory=6947385649911455296 CPUtime=0 cores=0-7
/proc/945/task/964/stat : 964 (java) S 943 943 32262 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 87756196 27284574208 1915470 33554432000 4194304 4196468 140728873123840 140576258362336 140577139345109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14512128 140728873124993 140728873125165 140728873125165 140728873127887 0
[pid=945/tid=965] ppid=943 vsize=26645092 memory=1456 CPUtime=1.02 cores=0-7
/proc/945/task/965/stat : 965 (java) S 943 943 32262 0 -1 1077944384 4341 0 0 0 77 25 0 0 20 0 28 0 87756196 27284574208 1915470 33554432000 4194304 4196468 140728873123840 140576257309872 140577139346050 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14512128 140728873124993 140728873125165 140728873125165 140728873127887 0
[pid=945/tid=1064] ppid=943 vsize=26645092 memory=7661880 CPUtime=2463.68 cores=0-7
/proc/945/task/1064/stat : 1064 (java) R 943 943 32262 0 -1 4202560 12380 0 0 0 246356 12 0 0 20 0 28 0 87759774 27284574208 1915470 33554432000 4194304 4196468 140728873123840 140576242207912 140576781497458 0 4 0 16800975 0 0 0 -1 7 0 0 9 0 0 6293624 6294260 14512128 140728873124993 140728873125165 140728873125165 140728873127887 0
[pid=945/tid=1065] ppid=943 vsize=26645092 memory=12136 CPUtime=2475.48 cores=0-7
/proc/945/task/1065/stat : 1065 (java) R 943 943 32262 0 -1 4202560 13273 0 0 0 247536 12 0 0 20 0 28 0 87759774 27284574208 1915470 33554432000 4194304 4196468 140728873123840 140576244314336 140576781496829 0 4 0 16800975 0 0 0 -1 5 0 0 9 0 0 6293624 6294260 14512128 140728873124993 140728873125165 140728873125165 140728873127887 0
[pid=945/tid=1066] ppid=943 vsize=26645092 memory=1008 CPUtime=2467.84 cores=0-7
/proc/945/task/1066/stat : 1066 (java) R 943 943 32262 0 -1 4202560 118369 0 0 0 246373 411 0 0 20 0 28 0 87759774 27284574208 1915470 33554432000 4194304 4196468 140728873123840 140576246422008 140576777985107 0 4 0 16800975 0 0 0 -1 3 0 0 7 0 0 6293624 6294260 14512128 140728873124993 140728873125165 140728873125165 140728873127887 0
[pid=945/tid=1067] ppid=943 vsize=26645092 memory=4620 CPUtime=2471.53 cores=0-7
/proc/945/task/1067/stat : 1067 (java) R 943 943 32262 0 -1 4202560 34368 0 0 0 247076 77 0 0 20 0 28 0 87759774 27284574208 1915470 33554432000 4194304 4196468 140728873123840 140576245370320 140576777975262 0 4 0 16800975 0 0 0 -1 6 0 0 7 0 0 6293624 6294260 14512128 140728873124993 140728873125165 140728873125165 140728873127887 0
[pid=945/tid=1068] ppid=943 vsize=26645092 memory=15872 CPUtime=2471.07 cores=0-7
/proc/945/task/1068/stat : 1068 (java) R 943 943 32262 0 -1 4202560 130895 0 0 0 246735 372 0 0 20 0 28 0 87759774 27284574208 1915470 33554432000 4194304 4196468 140728873123840 140576248523832 140576782360721 0 4 0 16800975 0 0 0 -1 1 0 0 8 0 0 6293624 6294260 14512128 140728873124993 140728873125165 140728873125165 140728873127887 0
[pid=945/tid=1069] ppid=943 vsize=26645092 memory=15100 CPUtime=2468.06 cores=0-7
/proc/945/task/1069/stat : 1069 (java) R 943 943 32262 0 -1 4202560 17656 0 0 0 246785 21 0 0 20 0 28 0 87759774 27284574208 1915470 33554432000 4194304 4196468 140728873123840 140576241156040 140576777237084 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 14512128 140728873124993 140728873125165 140728873125165 140728873127887 0
[pid=945/tid=1070] ppid=943 vsize=26645092 memory=18276 CPUtime=2466.58 cores=0-7
/proc/945/task/1070/stat : 1070 (java) R 943 943 32262 0 -1 4202560 26520 0 0 0 246622 36 0 0 20 0 28 0 87759774 27284574208 1915470 33554432000 4194304 4196468 140728873123840 140576247472616 140576781497458 0 4 0 16800975 0 0 0 -1 2 0 0 8 0 0 6293624 6294260 14512128 140728873124993 140728873125165 140728873125165 140728873127887 0
[pid=945/tid=1071] ppid=943 vsize=26645092 memory=956 CPUtime=2468.6 cores=0-7
/proc/945/task/1071/stat : 1071 (java) R 943 943 32262 0 -1 4202560 13655 0 0 0 246849 11 0 0 20 0 28 0 87759775 27284574208 1915470 33554432000 4194304 4196468 140728873123840 140576243262056 140576781496716 0 4 0 16800975 0 0 0 -1 4 0 0 6 0 0 6293624 6294260 14512128 140728873124993 140728873125165 140728873125165 140728873127887 0
Current children cumulated CPU time: 19907.4 s
Current children cumulated vsize: 26758220 KiB
Current children cumulated memory: 7663336 KiB

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

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

[startup+2520.16 s]
# the end of solver process 945 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=19893.4 s, system=14.9285 s
# this solver process was not waited by its parent and was adopted by runsolver

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

[startup+2520.13 s]*
/proc/loadavg: 7.76 8.41 8.43 2/186 1142
/proc/meminfo: memFree=16481864/32770624 swapFree=67108860/67108860
Current cumulated CPU time of completed processes: 0.00225 s
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143
Real time (s): 2520.16
CPU time (s): 19908.3
CPU user time (s): 19893.4
CPU system time (s): 14.9285
CPU usage (%): 789.963
Max. virtual memory (cumulated for all children) (KiB): 26758220
Max. memory (cumulated for all children) (KiB): 7946228

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19893.4
system time used= 14.9285
maximum resident set size= 7946808
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 707282
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3192
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 129730
involuntary context switches= 227568


# summary of solver processes directly reported to runsolver:
#   pid: 943,945
#   total CPU time (s): 19908.3
#   total CPU user time (s): 19893.4
#   total CPU system time (s): 14.9285

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 20.7945 second user time and 31.2042 second system time

The end

Launcher Data 

Begin job on node132 at 2018-07-27 16:32:10
IDJOB=4297385
IDBENCH=141141
IDSOLVER=2760
FILE ID=node132/4297385-1532701930
RUNJOBID= node132-1532694346-32289
PBS_JOBID= 21022289
Free space on /tmp= 52040 MiB

SOLVER NAME= Choco-solver 4.0.7b par (e747e1e)
BENCH NAME= XCSP18/GraphColoring/GraphColoring-4-fullins-5_c18.xml
COMMAND LINE= HOME/xcsp3-exec -seed RANDOMSEED -dir DIR -tl TIMEOUT -ml 22000 -p NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4297385-1532701930/watcher-4297385-1532701930 -o /tmp/evaluation-result-4297385-1532701930/solver-4297385-1532701930 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node132-1532694346-32289 --watchdog 2580  HOME/xcsp3-exec -seed 1192330875 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297385-1532701930.xml

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

MD5SUM BENCH= 95ec92f657fea8ce6e93e6f35592ce49
RANDOM SEED=1192330875

node132.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.65
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.65
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.65
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.65
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:        21812156 kB
MemAvailable:   31927244 kB
Buffers:          219592 kB
Cached:         10089200 kB
SwapCached:            0 kB
Active:          2958488 kB
Inactive:        7405992 kB
Active(anon):       5460 kB
Inactive(anon):    77932 kB
Active(file):    2953028 kB
Inactive(file):  7328060 kB
Unevictable:        7020 kB
Mlocked:            7020 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             24916 kB
Writeback:             8 kB
AnonPages:         62284 kB
Mapped:            41860 kB
Shmem:             25248 kB
Slab:             289544 kB
SReclaimable:     262460 kB
SUnreclaim:        27084 kB
KernelStack:        3280 kB
PageTables:         5060 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     326040 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      6144 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /tmp at the end= 52016 MiB
End job on node132 at 2018-07-27 17:14:10