Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| OscaR - Conflict Ordering with restarts 2018-08-14 | SAT (TO) | 1522733 | 2520.05 | 2512.91 |
| Name | Auction/Auction-sum/ Auction-sum-decay400_c18.xml |
| MD5SUM | b20be86eed1a54c36d145f853cc0c945 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 2501073 |
| Best CPU time to get the best result obtained on this benchmark | 2520.03 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 2000 |
| Number of constraints | 400 |
| Number of domains | 1 |
| Minimum domain size | 2 |
| Maximum domain size | 2 |
| Distribution of domain sizes | [{"size":2,"count":2000}] |
| Minimum variable degree | 2 |
| Maximum variable degree | 40 |
| Distribution of variable degrees | [{"degree":2,"count":289},{"degree":3,"count":388},{"degree":4,"count":306},{"degree":5,"count":228},{"degree":6,"count":177},{"degree":7,"count":144},{"degree":8,"count":94},{"degree":9,"count":75},{"degree":10,"count":72},{"degree":11,"count":50},{"degree":12,"count":41},{"degree":13,"count":35},{"degree":14,"count":25},{"degree":15,"count":25},{"degree":16,"count":8},{"degree":17,"count":7},{"degree":18,"count":9},{"degree":19,"count":3},{"degree":20,"count":7},{"degree":21,"count":5},{"degree":22,"count":3},{"degree":23,"count":2},{"degree":24,"count":2},{"degree":25,"count":2},{"degree":29,"count":1},{"degree":32,"count":1},{"degree":40,"count":1}] |
| Minimum constraint arity | 12 |
| Maximum constraint arity | 37 |
| Distribution of constraint arities | [{"arity":12,"count":1},{"arity":13,"count":2},{"arity":14,"count":5},{"arity":15,"count":4},{"arity":16,"count":5},{"arity":17,"count":17},{"arity":18,"count":18},{"arity":19,"count":18},{"arity":20,"count":18},{"arity":21,"count":33},{"arity":22,"count":38},{"arity":23,"count":36},{"arity":24,"count":35},{"arity":25,"count":32},{"arity":26,"count":31},{"arity":27,"count":21},{"arity":28,"count":23},{"arity":29,"count":10},{"arity":30,"count":16},{"arity":31,"count":8},{"arity":32,"count":12},{"arity":33,"count":4},{"arity":34,"count":4},{"arity":35,"count":5},{"arity":36,"count":3},{"arity":37,"count":1}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 0 |
| Distribution of constraint types | [{"type":"sum","count":400}] |
| Optimization problem | YES |
| Type of objective | max SUM |
0.67/0.55 c version: 2018-08-14 0.67/0.55 c seed: 634823521 0.67/0.55 c timeout: 2520 0.67/0.55 c memlimit: 11000 0.67/0.56 c nbcore: 4 0.67/0.58 c Parsing instance... 3.68/1.91 c Parsing done, starting search... 3.93/2.04 o 1161587 4.82/2.47 o 1171268 4.82/2.48 o 1175107 4.82/2.48 o 1180458 4.82/2.48 o 1184704 4.82/2.49 o 1192506 4.82/2.49 o 1198695 4.82/2.49 o 1202005 4.82/2.49 o 1208787 4.82/2.49 o 1210221 4.99/2.50 o 1220180 4.99/2.50 o 1223181 4.99/2.50 o 1229853 4.99/2.51 o 1230542 4.99/2.51 o 1232213 4.99/2.51 o 1232902 4.99/2.52 o 1238243 4.99/2.52 o 1238932 4.99/2.52 o 1244069 4.99/2.52 o 1252202 4.99/2.52 o 1253382 4.99/2.53 o 1253563 4.99/2.53 o 1253601 4.99/2.53 o 1254554 4.99/2.54 o 1254735 4.99/2.54 o 1256289 4.99/2.54 o 1256470 4.99/2.54 o 1256978 4.99/2.54 o 1257159 4.99/2.55 o 1257650 4.99/2.55 o 1257831 4.99/2.55 o 1258520 4.99/2.55 o 1262311 4.99/2.55 o 1263445 4.99/2.56 o 1263818 4.99/2.56 o 1264496 4.99/2.56 o 1264677 4.99/2.56 o 1265051 4.99/2.56 o 1265740 4.99/2.56 o 1267101 4.99/2.57 o 1271528 4.99/2.58 o 1272916 4.99/2.58 o 1273206 4.99/2.58 o 1274148 4.99/2.58 o 1275509 4.99/2.58 o 1277278 4.99/2.59 o 1278510 4.99/2.59 o 1280986 4.99/2.59 o 1283987 4.99/2.59 o 1285219 5.30/2.60 o 1285593 5.30/2.60 o 1287138 5.30/2.61 o 1287469 5.30/2.61 o 1289014 5.30/2.61 o 1293961 5.30/2.61 o 1295193 5.30/2.61 o 1298327 5.30/2.61 o 1300263 5.30/2.62 o 1303284 5.30/2.62 o 1305220 5.30/2.62 o 1308221 5.30/2.62 o 1308350 5.30/2.64 o 1309582 5.30/2.64 o 1311437 5.30/2.64 o 1313077 5.30/2.64 o 1314438 5.30/2.65 o 1314700 5.30/2.65 o 1319647 5.30/2.65 o 1321287 5.30/2.65 o 1322648 5.30/2.68 o 1323680 5.30/2.68 o 1326683 5.62/2.73 o 1327081 5.62/2.73 o 1327759 5.62/2.73 o 1332716 5.62/2.73 o 1334077 5.62/2.73 o 1334485 5.62/2.73 o 1335846 5.62/2.74 o 1337078 5.62/2.74 o 1338340 5.62/2.74 o 1340276 5.62/2.75 o 1341637 5.62/2.75 o 1341932 5.62/2.75 o 1343771 5.62/2.75 o 1343922 5.62/2.75 o 1344935 5.62/2.75 o 1346774 5.62/2.75 o 1346925 5.62/2.77 o 1347378 5.62/2.78 o 1348923 5.62/2.78 o 1354953 5.62/2.78 o 1359910 5.62/2.78 o 1364857 5.62/2.78 o 1365152 5.62/2.78 o 1366214 5.62/2.78 o 1366991 5.62/2.78 o 1367142 5.62/2.79 o 1367575 5.62/2.79 o 1368352 5.62/2.79 o 1368503 5.92/2.81 o 1369419 5.92/2.81 o 1371258 5.92/2.81 o 1371789 5.92/2.81 o 1371940 5.92/2.81 o 1372490 5.92/2.82 o 1373709 5.92/2.82 o 1374164 5.92/2.82 o 1374941 5.92/2.82 o 1375340 5.92/2.82 o 1375491 5.92/2.84 o 1375602 5.92/2.84 o 1376152 5.92/2.84 o 1380559 5.92/2.84 o 1381109 5.92/2.84 o 1382693 5.92/2.85 o 1382844 5.92/2.85 o 1383243 5.92/2.85 o 1383394 6.14/2.90 o 1383690 6.14/2.90 o 1383841 6.14/2.94 o 1388430 6.14/2.95 o 1388725 6.14/2.95 o 1390564 6.14/2.95 o 1390715 6.14/2.95 o 1391299 6.14/2.95 o 1391925 6.14/2.95 o 1392076 6.14/2.96 o 1392626 6.65/3.47 o 1392748 7.07/3.83 o 1392957 7.07/3.83 o 1393138 7.07/3.83 o 1394893 7.07/3.83 o 1395074 7.07/3.83 o 1395704 7.07/3.83 o 1395885 7.07/3.83 o 1396254 7.07/3.83 o 1396435 7.07/3.84 o 1396920 7.07/3.84 o 1397101 7.07/3.84 o 1397212 7.07/3.87 o 1397493 7.07/3.87 o 1397674 7.07/3.89 o 1397785 7.17/3.90 o 1399458 7.17/3.90 o 1400400 7.17/3.90 o 1401462 7.17/3.90 o 1401643 7.17/3.90 o 1402239 7.17/3.90 o 1402420 7.17/3.91 o 1402789 7.17/3.91 o 1402970 7.17/3.91 o 1405240 7.17/3.91 o 1405421 7.17/3.91 o 1405679 7.17/3.91 o 1405860 7.17/3.91 o 1405971 7.17/3.91 o 1406245 7.17/3.91 o 1406426 7.17/3.91 o 1407022 7.17/3.91 o 1407203 7.47/4.22 o 1407299 7.47/4.22 o 1407410 7.47/4.22 o 1407539 7.47/4.22 o 1408479 7.47/4.22 o 1408660 7.47/4.22 o 1408771 8.30/5.00 o 1410393 8.30/5.00 o 1410574 8.30/5.01 o 1411335 8.41/5.01 o 1411516 8.41/5.01 o 1412567 8.41/5.01 o 1412748 8.41/5.01 o 1412859 8.70/5.36 o 1412877 8.70/5.36 o 1413058 8.70/5.38 o 1414109 8.70/5.38 o 1414290 8.80/5.44 o 1414693 8.80/5.44 o 1414874 8.80/5.44 o 1415470 8.80/5.44 o 1415651 9.41/6.09 o 1416145 9.41/6.09 o 1416584 9.41/6.09 o 1416695 206.66/203.03 o 1418473 206.66/203.03 o 1418810 206.66/203.03 o 1419415 206.66/203.03 o 1419752 206.66/203.03 o 1422168 206.66/203.04 o 1422413 206.78/203.18 o 1423186 208.27/204.68 o 1423417 208.68/205.05 o 1424166 208.68/205.05 o 1424411 214.58/210.99 o 1424899 214.58/210.99 o 1426619 214.58/210.99 o 1427691 217.08/213.40 o 1428440 217.08/213.40 o 1428685 222.80/219.16 o 1429405 222.80/219.16 o 1430170 222.80/219.16 o 1431112 222.80/219.17 o 1431396 222.80/219.17 o 1432161 222.80/219.17 o 1433103 224.09/220.41 o 1433199 224.09/220.41 o 1433489 224.09/220.41 o 1434431 224.09/220.42 o 1434714 224.09/220.42 o 1435656 224.49/220.80 o 1435695 224.49/220.81 o 1435940 224.49/220.83 o 1436177 224.49/220.83 o 1436460 224.49/220.83 o 1437402 224.49/220.83 o 1437647 227.80/224.16 o 1438175 229.00/225.35 o 1438420 356.18/352.37 o 1438665 356.18/352.37 o 1439607 356.28/352.45 o 1440154 356.28/352.45 o 1440437 356.28/352.45 o 1441379 384.33/380.42 o 1441918 384.53/380.68 o 1442748 384.53/380.69 o 1443690 440.62/436.66 o 1443701 445.93/441.99 o 1444480 518.56/514.45 o 1444514 518.66/514.57 o 1444664 518.66/514.57 o 1445922 518.66/514.57 o 1446221 519.56/515.42 o 1446615 519.56/515.42 o 1447873 521.37/517.22 o 1448461 523.47/519.38 o 1448705 524.29/520.14 o 1449717 524.29/520.15 o 1450016 526.08/521.93 o 1451050 526.38/522.24 o 1451294 526.38/522.25 o 1453001 531.89/527.77 o 1454074 531.89/527.77 o 1456282 531.89/527.77 o 1459962 531.99/527.83 o 1461687 531.99/527.83 o 1461986 531.99/527.83 o 1463638 531.99/527.84 o 1463937 531.99/527.87 o 1464240 531.99/527.87 o 1465808 531.99/527.89 o 1466107 532.10/527.92 o 1466318 532.10/527.92 o 1467392 532.10/527.94 o 1467748 532.10/527.94 o 1468179 532.10/527.94 o 1471907 532.10/527.95 o 1472206 532.91/528.73 o 1473149 533.40/529.28 o 1473954 533.50/529.37 o 1474253 539.12/534.98 o 1475687 539.12/534.99 o 1480493 539.12/534.99 o 1482179 539.12/534.99 o 1483253 539.12/535.00 o 1486116 539.12/535.00 o 1488067 539.23/535.05 o 1489171 539.23/535.09 o 1489470 539.34/535.14 o 1495119 539.34/535.14 o 1495418 539.34/535.15 o 1496522 542.64/538.47 o 1497323 543.54/539.38 o 1497870 543.54/539.38 o 1498169 543.54/539.39 o 1498600 543.54/539.39 o 1500489 543.54/539.39 o 1502328 543.64/539.41 o 1502424 543.64/539.43 o 1502536 543.64/539.43 o 1504375 564.58/560.35 o 1505444 564.58/560.35 o 1506387 564.68/560.40 o 1507491 564.68/560.48 o 1507925 631.50/627.12 o 1508520 1292.15/1286.81 o 1509355 1292.15/1286.81 o 1509450 1292.15/1286.81 o 1509563 1292.15/1286.81 o 1509658 1292.15/1286.86 o 1510598 1292.15/1286.86 o 1510693 1292.15/1286.86 o 1510806 1292.15/1286.86 o 1510901 1292.85/1287.51 o 1511200 1292.85/1287.51 o 1512741 1292.85/1287.51 o 1512836 1415.13/1409.64 o 1514774 1415.13/1409.64 o 1514869 1415.13/1409.65 o 1516838 1415.13/1409.65 o 1516933 1415.13/1409.68 o 1517888 1415.13/1409.68 o 1517983 1415.13/1409.69 o 1519744 1415.13/1409.69 o 1519839 1415.13/1409.69 o 1519952 1415.13/1409.69 o 1520047 1418.35/1412.88 o 1520178 1418.35/1412.88 o 1520273 1418.35/1412.90 o 1520386 1418.35/1412.90 o 1520481 2289.10/2282.31 o 1520631 2289.10/2282.33 o 1521766 2289.10/2282.33 o 1522582 2301.71/2294.95 o 1522733 2520.02/2512.90 s SATISFIABLE 2520.02/2512.90 v <instantiation> 2520.02/2512.90 v <list> 2520.02/2512.90 v b[0] b[1] b[2] b[3] b[4] b[5] b[6] b[7] b[8] b[9] b[10] b[11] b[12] b[13] b[14] b[15] b[16] b[17] b[18] b[19] b[20] b[21] b[22] b[23] b[24] b[25] b[26] b[27] b[28] b[29] b[30] b[31] b[32] b[33] b[34] b[35] b[36] b[37] b[38] b[39] b[40] b[41] b[42] b[43] b[44] b[45] b[46] b[47] b[48] b[49] b[50] b[51] b[52] b[53] b[54] b[55] b[56] b[57] b[58] b[59] b[60] b[61] b[62] b[63] b[64] b[65] b[66] b[67] b[68] b[69] b[70] b[71] b[72] b[73] b[74] b[75] b[76] b[77] b[78] b[79] b[80] b[81] b[82] b[83] b[84] b[85] b[86] b[87] b[88] b[89] b[90] b[91] b[92] b[93] b[94] b[95] b[96] b[97] b[98] b[99] b[100] b[101] b[102] b[103] b[104] b[105] b[106] b[107] b[108] b[109] b[110] b[111] b[112] b[113] b[114] b[115] b[116] b[117] b[118] b[119] b[120] b[121] b[122] b[123] b[124] b[125] b[126] b[127] b[128] b[129] b[130] b[131] b[132] b[133] b[134] b[135] b[136] b[137] b[138] b[139] b[140] b[141] b[142] b[143] b[144] b[145] b[146] b[147] b[148] b[149] b[150] b[151] b[152] b[153] b[154] b[155] b[156] b[157] b[158] b[159] b[160] b[161] b[162] b[163] b[164] b[165] b[166] b[167] b[168] b[169] b[170] b[171] b[172] b[173] b[174] b[175] b[176] b[177] b[178] b[179] b[180] b[181] b[182] b[183] b[184] b[185] b[186] b[187] b[188] b[189] b[190] b[191] b[192] b[193] b[194] b[195] b[196] b[197] b[198] b[199] b[200] b[201] b[202] b[203] b[204] b[205] b[206] b[207] b[208] b[209] b[210] b[211] b[212] b[213] b[214] b[215] b[216] b[217] b[218] b[219] b[220] b[221] b[222] b[223] b[224] b[225] b[226] b[227] b[228] b[229] b[230] b[231] b[232] b[233] b[234] b[235] b[236] b[237] b[238] b[239] b[240] b[241] b[242] b[243] b[244] b[245] b[246] b[247] b[248] b[249] b[250] b[251] b[252] b[253] b[254] b[255] b[256] b[257] b[258] b[259] b[260] b[261] b[262] b[263] b[264] b[265] b[266] b[267] b[268] b[269] b[270] b[271] b[272] b[273] b[274] b[275] b[276] b[277] b[278] b[279] b[280] b[281] b[282] b[283] b[284] b[285] b[286] b[287] b[288] b[289] b[290] b[291] b[292] b[293] b[294] b[295] b[296] b[297] b[298] b[299] b[300] b[301] b[302] b[303] b[304] b[305] b[306] b[307] b[308] b[309] b[310] b[311] b[312] b[313] b[314] b[315] b[316] b[317] b[318] b[319] b[320] b[321] b[322] b[323] b[324] b[325] b[326] b[327] b[328] b[329] b[330] b[331] b[332] b[333] b[334] b[335] b[336] b[337] b[338] b[339] b[340] b[341] b[342] b[343] b[344] b[345] b[346] b[347] b[348] b[349] b[350] b[351] b[352] b[353] b[354] b[355] b[356] b[357] b[358] b[359] b[360] b[361] b[362] b[363] b[364] b[365] b[366] b[367] b[368] b[369] b[370] b[371] b[372] b[373] b[374] b[375] b[376] b[377] b[378] b[379] b[380] b[381] b[382] b[383] b[384] b[385] b[386] b[387] b[388] b[389] b[390] b[391] b[392] b[393] b[394] b[395] b[396] b[397] b[398] b[399] b[400] b[401] b[402] b[403] b[404] b[405] b[406] b[407] b[408] b[409] b[410] b[411] b[412] b[413] b[414] b[415] b[416] b[417] b[418] b[419] b[420] b[421] b[422] b[423] b[424] b[425] b[426] b[427] b[428] b[429] b[430] b[431] b[432] b[433] b[434] b[435] b[436] b[437] b[438] b[439] b[440] b[441] b[442] b[443] b[444] b[445] b[446] b[447] b[448] b[449] b[450] b[451] b[452] b[453] b[454] b[455] b[456] b[457] b[458] b[459] b[460] b[461] b[462] b[463] b[464] b[465] b[466] b[467] b[468] b[469] b[470] b[471] b[472] b[473] b[474] b[475] b[476] b[477] b[478] b[479] b[480] b[481] b[482] b[483] b[484] b[485] b[486] b[487] b[488] b[489] b[490] b[491] b[492] b[493] b[494] b[495] b[496] b[497] b[498] b[499] b[500] b[501] b[502] b[503] b[504] b[505] b[506] b[507] b[508] b[509] b[510] b[511] b[512] b[513] b[514] b[515] b[516] b[517] b[518] b[519] b[520] b[521] b[522] b[523] b[524] b[525] b[526] b[527] b[528] b[529] b[530] b[531] b[532] b[533] b[534] b[535] b[536] b[537] b[538] b[539] b[540] b[541] b[542] b[543] b[544] b[545] b[546] b[547] b[548] b[549] b[550] b[551] b[552] b[553] b[554] b[555] b[556] b[557] b[558] b[559] b[560] b[561] b[562] b[563] b[564] b[565] b[566] b[567] b[568] b[569] b[570] b[571] b[572] b[573] b[574] b[575] b[576] b[577] b[578] b[579] b[580] b[581] b[582] b[583] b[584] b[585] b[586] b[587] b[588] b[589] b[590] b[591] b[592] b[593] b[594] b[595] b[596] b[597] b[598] b[599] b[600] b[601] b[602] b[603] b[604] b[605] b[606] b[607] b[608] b[609] b[610] b[611] b[612] b[613] b[614] b[615] b[616] b[617] b[618] b[619] b[620] b[621] b[622] b[623] b[624] b[625] b[626] b[627] b[628] b[629] b[630] b[631] b[632] b[633] b[634] b[635] b[636] b[637] b[638] b[639] b[640] b[641] b[642] b[643] b[644] b[645] b[646] b[647] b[648] b[649] b[650] b[651] b[652] b[653] b[654] b[655] b[656] b[657] b[658] b[659] b[660] b[661] b[662] b[663] b[664] b[665] b[666] b[667] b[668] b[669] b[670] b[671] b[672] b[673] b[674] b[675] b[676] b[677] b[678] b[679] b[680] b[681] b[682] b[683] b[684] b[685] b[686] b[687] b[688] b[689] b[690] b[691] b[692] b[693] b[694] b[695] b[696] b[697] b[698] b[699] b[700] b[701] b[702] b[703] b[704] b[705] b[706] b[707] b[708] b[709] b[710] b[711] b[712] b[713] b[714] b[715] b[716] b[717] b[718] b[719] b[720] b[721] b[722] b[723] b[724] b[725] b[726] b[727] b[728] b[729] b[730] b[731] b[732] b[733] b[734] b[735] b[736] b[737] b[738] b[739] b[740] b[741] b[742] b[743] b[744] b[745] b[746] b[747] b[748] b[749] b[750] b[751] b[752] b[753] b[754] b[755] b[756] b[757] b[758] b[759] b[760] b[761] b[762] b[763] b[764] b[765] b[766] b[767] b[768] b[769] b[770] b[771] b[772] b[773] b[774] b[775] b[776] b[777] b[778] b[779] b[780] b[781] b[782] b[783] b[784] b[785] b[786] b[787] b[788] b[789] b[790] b[791] b[792] b[793] b[794] b[795] b[796] b[797] b[798] b[799] b[800] b[801] b[802] b[803] b[804] b[805] b[806] b[807] b[808] b[809] b[810] b[811] b[812] b[813] b[814] b[815] b[816] b[817] b[818] b[819] b[820] b[821] b[822] b[823] b[824] b[825] b[826] b[827] b[828] b[829] b[830] b[831] b[832] b[833] b[834] b[835] b[836] b[837] b[838] b[839] b[840] b[841] b[842] b[843] b[844] b[845] b[846] b[847] b[848] b[849] b[850] b[851] b[852] b[853] b[854] b[855] b[856] b[857] b[858] b[859] b[860] b[861] b[862] b[863] b[864] b[865] b[866] b[867] b[868] b[869] b[870] b[871] b[872] b[873] b[874] b[875] b[876] b[877] b[878] b[879] b[880] b[881] b[882] b[883] b[884] b[885] b[886] b[887] b[888] b[889] b[890] b[891] b[892] b[893] b[894] b[895] b[896] b[897] b[898] b[899] b[900] b[901] b[902] b[903] b[904] b[905] b[906] b[907] b[908] b[909] b[910] b[911] b[912] b[913] b[914] b[915] b[916] b[917] b[918] b[919] b[920] b[921] b[922] b[923] b[924] b[925] b[926] b[927] b[928] b[929] b[930] b[931] b[932] b[933] b[934] b[935] b[936] b[937] b[938] b[939] b[940] b[941] b[942] b[943] b[944] b[945] b[946] b[947] b[948] b[949] b[950] b[951] b[952] b[953] b[954] b[955] b[956] b[957] b[958] b[959] b[960] b[961] b[962] b[963] b[964] b[965] b[966] b[967] b[968] b[969] b[970] b[971] b[972] b[973] b[974] b[975] b[976] b[977] b[978] b[979] b[980] b[981] b[982] b[983] b[984] b[985] b[986] b[987] b[988] b[989] b[990] b[991] b[992] b[993] b[994] b[995] b[996] b[997] b[998] b[999] b[1000] b[1001] b[1002] b[1003] b[1004] b[1005] b[1006] b[1007] b[1008] b[1009] b[1010] b[1011] b[1012] b[1013] b[1014] b[1015] b[1016] b[1017] b[1018] b[1019] b[1020] b[1021] b[1022] b[1023] b[1024] b[1025] b[1026] b[1027] b[1028] b[1029] b[1030] b[1031] b[1032] b[1033] b[1034] b[1035] b[1036] b[1037] b[1038] b[1039] b[1040] b[1041] b[1042] b[1043] b[1044] b[1045] b[1046] b[1047] b[1048] b[1049] b[1050] b[1051] b[1052] b[1053] b[1054] b[1055] b[1056] b[1057] b[1058] b[1059] b[1060] b[1061] b[1062] b[1063] b[1064] b[1065] b[1066] b[1067] b[1068] b[1069] b[1070] b[1071] b[1072] b[1073] b[1074] b[1075] b[1076] b[1077] b[1078] b[1079] b[1080] b[1081] b[1082] b[1083] b[1084] b[1085] b[1086] b[1087] b[1088] b[1089] b[1090] b[1091] b[1092] b[1093] b[1094] b[1095] b[1096] b[1097] b[1098] b[1099] b[1100] b[1101] b[1102] b[1103] b[1104] b[1105] b[1106] b[1107] b[1108] b[1109] b[1110] b[1111] b[1112] b[1113] b[1114] b[1115] b[1116] b[1117] b[1118] b[1119] b[1120] b[1121] b[1122] b[1123] b[1124] b[1125] b[1126] b[1127] b[1128] b[1129] b[1130] b[1131] b[1132] b[1133] b[1134] b[1135] b[1136] b[1137] b[1138] b[1139] b[1140] b[1141] b[1142] b[1143] b[1144] b[1145] b[1146] b[1147] b[1148] b[1149] b[1150] b[1151] b[1152] b[1153] b[1154] b[1155] b[1156] b[1157] b[1158] b[1159] b[1160] b[1161] b[1162] b[1163] b[1164] b[1165] b[1166] b[1167] b[1168] b[1169] b[1170] b[1171] b[1172] b[1173] b[1174] b[1175] b[1176] b[1177] b[1178] b[1179] b[1180] b[1181] b[1182] b[1183] b[1184] b[1185] b[1186] b[1187] b[1188] b[1189] b[1190] b[1191] b[1192] b[1193] b[1194] b[1195] b[1196] b[1197] b[1198] b[1199] b[1200] b[1201] b[1202] b[1203] b[1204] b[1205] b[1206] b[1207] b[1208] b[1209] b[1210] b[1211] b[1212] b[1213] b[1214] b[1215] b[1216] b[1217] b[1218] b[1219] b[1220] b[1221] b[1222] b[1223] b[1224] b[1225] b[1226] b[1227] b[1228] b[1229] b[1230] b[1231] b[1232] b[1233] b[1234] b[1235] b[1236] b[1237] b[1238] b[1239] b[1240] b[1241] b[1242] b[1243] b[1244] b[1245] b[1246] b[1247] b[1248] b[1249] b[1250] b[1251] b[1252] b[1253] b[1254] b[1255] b[1256] b[1257] b[1258] b[1259] b[1260] b[1261] b[1262] b[1263] b[1264] b[1265] b[1266] b[1267] b[1268] b[1269] b[1270] b[1271] b[1272] b[1273] b[1274] b[1275] b[1276] b[1277] b[1278] b[1279] b[1280] b[1281] b[1282] b[1283] b[1284] b[1285] b[1286] b[1287] b[1288] b[1289] b[1290] b[1291] b[1292] b[1293] b[1294] b[1295] b[1296] b[1297] b[1298] b[1299] b[1300] b[1301] b[1302] b[1303] b[1304] b[1305] b[1306] b[1307] b[1308] b[1309] b[1310] b[1311] b[1312] b[1313] b[1314] b[1315] b[1316] b[1317] b[1318] b[1319] b[1320] b[1321] b[1322] b[1323] b[1324] b[1325] b[1326] b[1327] b[1328] b[1329] b[1330] b[1331] b[1332] b[1333] b[1334] b[1335] b[1336] b[1337] b[1338] b[1339] b[1340] b[1341] b[1342] b[1343] b[1344] b[1345] b[1346] b[1347] b[1348] b[1349] b[1350] b[1351] b[1352] b[1353] b[1354] b[1355] b[1356] b[1357] b[1358] b[1359] b[1360] b[1361] b[1362] b[1363] b[1364] b[1365] b[1366] b[1367] b[1368] b[1369] b[1370] b[1371] b[1372] b[1373] b[1374] b[1375] b[1376] b[1377] b[1378] b[1379] b[1380] b[1381] b[1382] b[1383] b[1384] b[1385] b[1386] b[1387] b[1388] b[1389] b[1390] b[1391] b[1392] b[1393] b[1394] b[1395] b[1396] b[1397] b[1398] b[1399] b[1400] b[1401] b[1402] b[1403] b[1404] b[1405] b[1406] b[1407] b[1408] b[1409] b[1410] b[1411] b[1412] b[1413] b[1414] b[1415] b[1416] b[1417] b[1418] b[1419] b[1420] b[1421] b[1422] b[1423] b[1424] b[1425] b[1426] b[1427] b[1428] b[1429] b[1430] b[1431] b[1432] b[1433] b[1434] b[1435] b[1436] b[1437] b[1438] b[1439] b[1440] b[1441] b[1442] b[1443] b[1444] b[1445] b[1446] b[1447] b[1448] b[1449] b[1450] b[1451] b[1452] b[1453] b[1454] b[1455] b[1456] b[1457] b[1458] b[1459] b[1460] b[1461] b[1462] b[1463] b[1464] b[1465] b[1466] b[1467] b[1468] b[1469] b[1470] b[1471] b[1472] b[1473] b[1474] b[1475] b[1476] b[1477] b[1478] b[1479] b[1480] b[1481] b[1482] b[1483] b[1484] b[1485] b[1486] b[1487] b[1488] b[1489] b[1490] b[1491] b[1492] b[1493] b[1494] b[1495] b[1496] b[1497] b[1498] b[1499] b[1500] b[1501] b[1502] b[1503] b[1504] b[1505] b[1506] b[1507] b[1508] b[1509] b[1510] b[1511] b[1512] b[1513] b[1514] b[1515] b[1516] b[1517] b[1518] b[1519] b[1520] b[1521] b[1522] b[1523] b[1524] b[1525] b[1526] b[1527] b[1528] b[1529] b[1530] b[1531] b[1532] b[1533] b[1534] b[1535] b[1536] b[1537] b[1538] b[1539] b[1540] b[1541] b[1542] b[1543] b[1544] b[1545] b[1546] b[1547] b[1548] b[1549] b[1550] b[1551] b[1552] b[1553] b[1554] b[1555] b[1556] b[1557] b[1558] b[1559] b[1560] b[1561] b[1562] b[1563] b[1564] b[1565] b[1566] b[1567] b[1568] b[1569] b[1570] b[1571] b[1572] b[1573] b[1574] b[1575] b[1576] b[1577] b[1578] b[1579] b[1580] b[1581] b[1582] b[1583] b[1584] b[1585] b[1586] b[1587] b[1588] b[1589] b[1590] b[1591] b[1592] b[1593] b[1594] b[1595] b[1596] b[1597] b[1598] b[1599] b[1600] b[1601] b[1602] b[1603] b[1604] b[1605] b[1606] b[1607] b[1608] b[1609] b[1610] b[1611] b[1612] b[1613] b[1614] b[1615] b[1616] b[1617] b[1618] b[1619] b[1620] b[1621] b[1622] b[1623] b[1624] b[1625] b[1626] b[1627] b[1628] b[1629] b[1630] b[1631] b[1632] b[1633] b[1634] b[1635] b[1636] b[1637] b[1638] b[1639] b[1640] b[1641] b[1642] b[1643] b[1644] b[1645] b[1646] b[1647] b[1648] b[1649] b[1650] b[1651] b[1652] b[1653] b[1654] b[1655] b[1656] b[1657] b[1658] b[1659] b[1660] b[1661] b[1662] b[1663] b[1664] b[1665] b[1666] b[1667] b[1668] b[1669] b[1670] b[1671] b[1672] b[1673] b[1674] b[1675] b[1676] b[1677] b[1678] b[1679] b[1680] b[1681] b[1682] b[1683] b[1684] b[1685] b[1686] b[1687] b[1688] b[1689] b[1690] b[1691] b[1692] b[1693] b[1694] b[1695] b[1696] b[1697] b[1698] b[1699] b[1700] b[1701] b[1702] b[1703] b[1704] b[1705] b[1706] b[1707] b[1708] b[1709] b[1710] b[1711] b[1712] b[1713] b[1714] b[1715] b[1716] b[1717] b[1718] b[1719] b[1720] b[1721] b[1722] b[1723] b[1724] b[1725] b[1726] b[1727] b[1728] b[1729] b[1730] b[1731] b[1732] b[1733] b[1734] b[1735] b[1736] b[1737] b[1738] b[1739] b[1740] b[1741] b[1742] b[1743] b[1744] b[1745] b[1746] b[1747] b[1748] b[1749] b[1750] b[1751] b[1752] b[1753] b[1754] b[1755] b[1756] b[1757] b[1758] b[1759] b[1760] b[1761] b[1762] b[1763] b[1764] b[1765] b[1766] b[1767] b[1768] b[1769] b[1770] b[1771] b[1772] b[1773] b[1774] b[1775] b[1776] b[1777] b[1778] b[1779] b[1780] b[1781] b[1782] b[1783] b[1784] b[1785] b[1786] b[1787] b[1788] b[1789] b[1790] b[1791] b[1792] b[1793] b[1794] b[1795] b[1796] b[1797] b[1798] b[1799] b[1800] b[1801] b[1802] b[1803] b[1804] b[1805] b[1806] b[1807] b[1808] b[1809] b[1810] b[1811] b[1812] b[1813] b[1814] b[1815] b[1816] b[1817] b[1818] b[1819] b[1820] b[1821] b[1822] b[1823] b[1824] b[1825] b[1826] b[1827] b[1828] b[1829] b[1830] b[1831] b[1832] b[1833] b[1834] b[1835] b[1836] b[1837] b[1838] b[1839] b[1840] b[1841] b[1842] b[1843] b[1844] b[1845] b[1846] b[1847] b[1848] b[1849] b[1850] b[1851] b[1852] b[1853] b[1854] b[1855] b[1856] b[1857] b[1858] b[1859] b[1860] b[1861] b[1862] b[1863] b[1864] b[1865] b[1866] b[1867] b[1868] b[1869] b[1870] b[1871] b[1872] b[1873] b[1874] b[1875] b[1876] b[1877] b[1878] b[1879] b[1880] b[1881] b[1882] b[1883] b[1884] b[1885] b[1886] b[1887] b[1888] b[1889] b[1890] b[1891] b[1892] b[1893] b[1894] b[1895] b[1896] b[1897] b[1898] b[1899] b[1900] b[1901] b[1902] b[1903] b[1904] b[1905] b[1906] b[1907] b[1908] b[1909] b[1910] b[1911] b[1912] b[1913] b[1914] b[1915] b[1916] b[1917] b[1918] b[1919] b[1920] b[1921] b[1922] b[1923] b[1924] b[1925] b[1926] b[1927] b[1928] b[1929] b[1930] b[1931] b[1932] b[1933] b[1934] b[1935] b[1936] b[1937] b[1938] b[1939] b[1940] b[1941] b[1942] b[1943] b[1944] b[1945] b[1946] b[1947] b[1948] b[1949] b[1950] b[1951] b[1952] b[1953] b[1954] b[1955] b[1956] b[1957] b[1958] b[1959] b[1960] b[1961] b[1962] b[1963] b[1964] b[1965] b[1966] b[1967] b[1968] b[1969] b[1970] b[1971] b[1972] b[1973] b[1974] b[1975] b[1976] b[1977] b[1978] b[1979] b[1980] b[1981] b[1982] b[1983] b[1984] b[1985] b[1986] b[1987] b[1988] b[1989] b[1990] b[1991] b[1992] b[1993] b[1994] b[1995] b[1996] b[1997] b[1998] b[1999] 2520.02/2512.90 v </list> 2520.02/2512.90 v <values> 2520.02/2512.90 v 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 1 0 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 2520.02/2512.90 v </values> 2520.02/2512.90 v </instantiation>
OK 1522733
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 (6810 MiB free)
memory of node 1: 16384 MiB (11085 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4308335-1534278037/watcher-4308335-1534278037 -o /tmp/evaluation-result-4308335-1534278037/solver-4308335-1534278037 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1534270551-18810 --watchdog 2580 java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 634823521 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4308335-1534278037.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=19763, runsolver pid=19760
[startup+0.100125 s]*
/proc/loadavg: 1.61 1.51 1.43 3/216 19778
/proc/meminfo: memFree=18305628/32770624 swapFree=67108792/67108860
[pid=19763] ppid=19760 vsize=14082736 memory=31936 CPUtime=0.11 cores=1,3,5,7
/proc/19763/stat : 19763 (java) S 19760 19763 17276 0 -1 1077944320 6418 0 0 0 10 1 0 0 20 0 15 0 245367023 14420721664 7984 33554432000 4194304 4196468 140721952893040 140721952875584 139926369525495 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14774272 140721952896073 140721952896265 140721952896265 140721952899023 0
/proc/19763/statm: 3520684 7984 3153 1 0 3482761 0
[pid=19763/tid=19765] ppid=19760 vsize=14082736 memory=-6966717417093883519 CPUtime=0.09 cores=1,3,5,7
/proc/19763/task/19765/stat : 19765 (java) R 19760 19763 17276 0 -1 4202560 4449 0 0 0 8 1 0 0 20 0 15 0 245367024 14420721664 7984 33554432000 4194304 4196468 140721952893040 139926373721104 139926353605982 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14774272 140721952896073 140721952896265 140721952896265 140721952899023 0
[pid=19763/tid=19766] ppid=19760 vsize=14082736 memory=5793855229777578425 CPUtime=0 cores=1,3,5,7
/proc/19763/task/19766/stat : 19766 (java) S 19760 19763 17276 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245367025 14420721664 8049 33554432000 4194304 4196468 140721952893040 139926284593936 139926369535701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14774272 140721952896073 140721952896265 140721952896265 140721952899023 0
[pid=19763/tid=19767] ppid=19760 vsize=14082736 memory=139978767685248 CPUtime=0 cores=1,3,5,7
/proc/19763/task/19767/stat : 19767 (java) S 19760 19763 17276 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245367025 14420721664 8049 33554432000 4194304 4196468 140721952893040 139926283541392 139926369535701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14774272 140721952896073 140721952896265 140721952896265 140721952899023 0
[pid=19763/tid=19768] ppid=19760 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19763/task/19768/stat : 19768 (java) S 19760 19763 17276 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245367025 14420721664 8049 33554432000 4194304 4196468 140721952893040 139926282488848 139926369535701 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14774272 140721952896073 140721952896265 140721952896265 140721952899023 0
[pid=19763/tid=19769] ppid=19760 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19763/task/19769/stat : 19769 (java) S 19760 19763 17276 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245367025 14420721664 8049 33554432000 4194304 4196468 140721952893040 139926281436304 139926369535701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14774272 140721952896073 140721952896265 140721952896265 140721952899023 0
[pid=19763/tid=19770] ppid=19760 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19763/task/19770/stat : 19770 (java) S 19760 19763 17276 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245367026 14420721664 8049 33554432000 4194304 4196468 140721952893040 139925281023984 139926369536642 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14774272 140721952896073 140721952896265 140721952896265 140721952899023 0
[pid=19763/tid=19771] ppid=19760 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19763/task/19771/stat : 19771 (java) S 19760 19763 17276 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 245367026 14420721664 8049 33554432000 4194304 4196468 140721952893040 139925279970208 139926369535701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14774272 140721952896073 140721952896265 140721952896265 140721952899023 0
[pid=19763/tid=19772] ppid=19760 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19763/task/19772/stat : 19772 (java) S 19760 19763 17276 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 245367027 14420721664 8049 33554432000 4194304 4196468 140721952893040 139925278917616 139926369535701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14774272 140721952896073 140721952896265 140721952896265 140721952899023 0
[pid=19763/tid=19773] ppid=19760 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19763/task/19773/stat : 19773 (java) S 19760 19763 17276 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245367029 14420721664 8049 33554432000 4194304 4196468 140721952893040 139925277866192 139926369544091 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14774272 140721952896073 140721952896265 140721952896265 140721952899023 0
[pid=19763/tid=19774] ppid=19760 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19763/task/19774/stat : 19774 (java) S 19760 19763 17276 0 -1 1077944384 318 0 0 0 0 0 0 0 20 0 15 0 245367029 14420721664 8049 33554432000 4194304 4196468 140721952893040 139925276813808 139926369536642 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14774272 140721952896073 140721952896265 140721952896265 140721952899023 0
[pid=19763/tid=19775] ppid=19760 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19763/task/19775/stat : 19775 (java) S 19760 19763 17276 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245367029 14420721664 8049 33554432000 4194304 4196468 140721952893040 139925275761264 139926369536642 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14774272 140721952896073 140721952896265 140721952896265 140721952899023 0
[pid=19763/tid=19776] ppid=19760 vsize=14082736 memory=139978767685248 CPUtime=0.01 cores=1,3,5,7
/proc/19763/task/19776/stat : 19776 (java) S 19760 19763 17276 0 -1 1077944384 273 0 0 0 1 0 0 0 20 0 15 0 245367029 14420721664 8049 33554432000 4194304 4196468 140721952893040 139925274708720 139926369536642 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14774272 140721952896073 140721952896265 140721952896265 140721952899023 0
[pid=19763/tid=19777] ppid=19760 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19763/task/19777/stat : 19777 (java) S 19760 19763 17276 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245367029 14420721664 8049 33554432000 4194304 4196468 140721952893040 139925273656416 139926369535701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14774272 140721952896073 140721952896265 140721952896265 140721952899023 0
[pid=19763/tid=19778] ppid=19760 vsize=14082736 memory=139978767685248 CPUtime=0 cores=1,3,5,7
/proc/19763/task/19778/stat : 19778 (java) S 19760 19763 17276 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245367029 14420721664 8049 33554432000 4194304 4196468 140721952893040 139925272602928 139926369536642 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14774272 140721952896073 140721952896265 140721952896265 140721952899023 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 31936 KiB
[startup+0.211241 s]*
/proc/loadavg: 1.61 1.51 1.43 6/216 19778
/proc/meminfo: memFree=18290868/32770624 swapFree=67108792/67108860
[pid=19763] ppid=19760 vsize=14082736 memory=47996 CPUtime=0.3 cores=1,3,5,7
/proc/19763/stat : 19763 (java) S 19760 19763 17276 0 -1 1077944320 10062 0 0 0 28 2 0 0 20 0 15 0 245367023 14420721664 11999 33554432000 4194304 4196468 140721952893040 140721952875584 139926369525495 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14774272 140721952896073 140721952896265 140721952896265 140721952899023 0
/proc/19763/statm: 3520684 11999 3399 1 0 3482761 0
[pid=19763/tid=19765] ppid=19760 vsize=14082736 memory=6735269665583770266 CPUtime=0.2 cores=1,3,5,7
/proc/19763/task/19765/stat : 19765 (java) R 19760 19763 17276 0 -1 4202560 7753 0 0 0 18 2 0 0 20 0 15 0 245367024 14420721664 11999 33554432000 4194304 4196468 140721952893040 139926373754432 139926354794298 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14774272 140721952896073 140721952896265 140721952896265 140721952899023 0
[pid=19763/tid=19766] ppid=19760 vsize=14082736 memory=4211973704972475786 CPUtime=0 cores=1,3,5,7
/proc/19763/task/19766/stat : 19766 (java) S 19760 19763 17276 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245367025 14420721664 11999 33554432000 4194304 4196468 140721952893040 139926284593936 139926369535701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14774272 140721952896073 140721952896265 140721952896265 140721952899023 0
[pid=19763/tid=19767] ppid=19760 vsize=14082736 memory=139978767685248 CPUtime=0 cores=1,3,5,7
/proc/19763/task/19767/stat : 19767 (java) S 19760 19763 17276 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245367025 14420721664 11999 33554432000 4194304 4196468 140721952893040 139926283541392 139926369535701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14774272 140721952896073 140721952896265 140721952896265 140721952899023 0
[pid=19763/tid=19768] ppid=19760 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19763/task/19768/stat : 19768 (java) S 19760 19763 17276 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245367025 14420721664 11999 33554432000 4194304 4196468 140721952893040 139926282488848 139926369535701 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14774272 140721952896073 140721952896265 140721952896265 140721952899023 0
[pid=19763/tid=19769] ppid=19760 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19763/task/19769/stat : 19769 (java) S 19760 19763 17276 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245367025 14420721664 11999 33554432000 4194304 4196468 140721952893040 139926281436304 139926369535701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14774272 140721952896073 140721952896265 140721952896265 140721952899023 0
[pid=19763/tid=19770] ppid=19760 vsize=14082736 memory=139978767685248 CPUtime=0 cores=1,3,5,7
/proc/19763/task/19770/stat : 19770 (java) S 19760 19763 17276 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 245367026 14420721664 11999 33554432000 4194304 4196468 140721952893040 139925281023984 139926369536642 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14774272 140721952896073 140721952896265 140721952896265 140721952899023 0
[pid=19763/tid=19771] ppid=19760 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19763/task/19771/stat : 19771 (java) S 19760 19763 17276 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 245367026 14420721664 11999 33554432000 4194304 4196468 140721952893040 139925279970208 139926369535701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14774272 140721952896073 140721952896265 140721952896265 140721952899023 0
[pid=19763/tid=19772] ppid=19760 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19763/task/19772/stat : 19772 (java) S 19760 19763 17276 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 245367027 14420721664 11999 33554432000 4194304 4196468 140721952893040 139925278917616 139926369535701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14774272 140721952896073 140721952896265 140721952896265 140721952899023 0
[pid=19763/tid=19773] ppid=19760 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19763/task/19773/stat : 19773 (java) S 19760 19763 17276 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245367029 14420721664 11999 33554432000 4194304 4196468 140721952893040 139925277866192 139926369544091 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14774272 140721952896073 140721952896265 140721952896265 140721952899023 0
[pid=19763/tid=19774] ppid=19760 vsize=14082736 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/19763/task/19774/stat : 19774 (java) S 19760 19763 17276 0 -1 1077944384 541 0 0 0 1 0 0 0 20 0 15 0 245367029 14420721664 11999 33554432000 4194304 4196468 140721952893040 139925276813808 139926369536642 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14774272 140721952896073 140721952896265 140721952896265 140721952899023 0
[pid=19763/tid=19775] ppid=19760 vsize=14082736 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/19763/task/19775/stat : 19775 (java) S 19760 19763 17276 0 -1 1077944384 84 0 0 0 2 0 0 0 20 0 15 0 245367029 14420721664 11999 33554432000 4194304 4196468 140721952893040 139925275761264 139926369536642 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14774272 140721952896073 140721952896265 140721952896265 140721952899023 0
[pid=19763/tid=19776] ppid=19760 vsize=14082736 memory=139978767685248 CPUtime=0.06 cores=1,3,5,7
/proc/19763/task/19776/stat : 19776 (java) R 19760 19763 17276 0 -1 4202560 302 0 0 0 6 0 0 0 20 0 15 0 245367029 14420721664 11999 33554432000 4194304 4196468 140721952893040 139925274708720 139926353686581 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14774272 140721952896073 140721952896265 140721952896265 140721952899023 0
[pid=19763/tid=19777] ppid=19760 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19763/task/19777/stat : 19777 (java) S 19760 19763 17276 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245367029 14420721664 11999 33554432000 4194304 4196468 140721952893040 139925273656416 139926369535701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14774272 140721952896073 140721952896265 140721952896265 140721952899023 0
[pid=19763/tid=19778] ppid=19760 vsize=14082736 memory=139978767685248 CPUtime=0 cores=1,3,5,7
/proc/19763/task/19778/stat : 19778 (java) S 19760 19763 17276 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245367029 14420721664 11999 33554432000 4194304 4196468 140721952893040 139925272602928 139926369536642 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14774272 140721952896073 140721952896265 140721952896265 140721952899023 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 47996 KiB
[startup+0.310484 s]*
/proc/loadavg: 1.61 1.51 1.43 3/216 19778
/proc/meminfo: memFree=18287332/32770624 swapFree=67108792/67108860
[pid=19763] ppid=19760 vsize=14082736 memory=51324 CPUtime=0.44 cores=1,3,5,7
/proc/19763/stat : 19763 (java) S 19760 19763 17276 0 -1 1077944320 10415 0 0 0 41 3 0 0 20 0 15 0 245367023 14420721664 12831 33554432000 4194304 4196468 140721952893040 140721952875584 139926369525495 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14774272 140721952896073 140721952896265 140721952896265 140721952899023 0
/proc/19763/statm: 3520684 12831 3402 1 0 3482761 0
[pid=19763/tid=19765] ppid=19760 vsize=14082736 memory=6735269665583770266 CPUtime=0.3 cores=1,3,5,7
/proc/19763/task/19765/stat : 19765 (java) R 19760 19763 17276 0 -1 4202560 8085 0 0 0 28 2 0 0 20 0 15 0 245367024 14420721664 12831 33554432000 4194304 4196468 140721952893040 139926373733328 139926349800882 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14774272 140721952896073 140721952896265 140721952896265 140721952899023 0
[pid=19763/tid=19766] ppid=19760 vsize=14082736 memory=4211973704972475786 CPUtime=0 cores=1,3,5,7
/proc/19763/task/19766/stat : 19766 (java) S 19760 19763 17276 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245367025 14420721664 12831 33554432000 4194304 4196468 140721952893040 139926284593936 139926369535701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14774272 140721952896073 140721952896265 140721952896265 140721952899023 0
[pid=19763/tid=19767] ppid=19760 vsize=14082736 memory=279957389117824 CPUtime=0 cores=1,3,5,7
/proc/19763/task/19767/stat : 19767 (java) S 19760 19763 17276 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245367025 14420721664 12831 33554432000 4194304 4196468 140721952893040 139926283541392 139926369535701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14774272 140721952896073 140721952896265 140721952896265 140721952899023 0
[pid=19763/tid=19768] ppid=19760 vsize=14082736 memory=279957242892800 CPUtime=0 cores=1,3,5,7
/proc/19763/task/19768/stat : 19768 (java) S 19760 19763 17276 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245367025 14420721664 12831 33554432000 4194304 4196468 140721952893040 139926282488848 139926369535701 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14774272 140721952896073 140721952896265 140721952896265 140721952899023 0
[pid=19763/tid=19769] ppid=19760 vsize=14082736 memory=139978621432591 CPUtime=0 cores=1,3,5,7
/proc/19763/task/19769/stat : 19769 (java) S 19760 19763 17276 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245367025 14420721664 12831 33554432000 4194304 4196468 140721952893040 139926281436304 139926369535701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14774272 140721952896073 140721952896265 140721952896265 140721952899023 0
[pid=19763/tid=19770] ppid=19760 vsize=14082736 memory=279957389127040 CPUtime=0 cores=1,3,5,7
/proc/19763/task/19770/stat : 19770 (java) S 19760 19763 17276 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 245367026 14420721664 12831 33554432000 4194304 4196468 140721952893040 139925281023984 139926369536642 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14774272 140721952896073 140721952896265 140721952896265 140721952899023 0
[pid=19763/tid=19771] ppid=19760 vsize=14082736 memory=139978621437199 CPUtime=0 cores=1,3,5,7
/proc/19763/task/19771/stat : 19771 (java) S 19760 19763 17276 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 245367026 14420721664 12831 33554432000 4194304 4196468 140721952893040 139925279970208 139926369535701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14774272 140721952896073 140721952896265 140721952896265 140721952899023 0
[pid=19763/tid=19772] ppid=19760 vsize=14082736 memory=139978621458314 CPUtime=0 cores=1,3,5,7
/proc/19763/task/19772/stat : 19772 (java) S 19760 19763 17276 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 245367027 14420721664 12831 33554432000 4194304 4196468 140721952893040 139925278917616 139926369535701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14774272 140721952896073 140721952896265 140721952896265 140721952899023 0
[pid=19763/tid=19773] ppid=19760 vsize=14082736 memory=139978621460986 CPUtime=0 cores=1,3,5,7
/proc/19763/task/19773/stat : 19773 (java) S 19760 19763 17276 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245367029 14420721664 12831 33554432000 4194304 4196468 140721952893040 139925277866192 139926369544091 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14774272 140721952896073 140721952896265 140721952896265 140721952899023 0
[pid=19763/tid=19774] ppid=19760 vsize=14082736 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/19763/task/19774/stat : 19774 (java) S 19760 19763 17276 0 -1 1077944384 547 0 0 0 2 0 0 0 20 0 15 0 245367029 14420721664 12831 33554432000 4194304 4196468 140721952893040 139925276813808 139926369536642 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14774272 140721952896073 140721952896265 140721952896265 140721952899023 0
[pid=19763/tid=19775] ppid=19760 vsize=14082736 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/19763/task/19775/stat : 19775 (java) S 19760 19763 17276 0 -1 1077944384 89 0 0 0 2 0 0 0 20 0 15 0 245367029 14420721664 12831 33554432000 4194304 4196468 140721952893040 139925275761264 139926369536642 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14774272 140721952896073 140721952896265 140721952896265 140721952899023 0
[pid=19763/tid=19776] ppid=19760 vsize=14082736 memory=139978767685248 CPUtime=0.08 cores=1,3,5,7
/proc/19763/task/19776/stat : 19776 (java) S 19760 19763 17276 0 -1 1077944384 311 0 0 0 8 0 0 0 20 0 15 0 245367029 14420721664 12831 33554432000 4194304 4196468 140721952893040 139925274708720 139926369536642 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14774272 140721952896073 140721952896265 140721952896265 140721952899023 0
[pid=19763/tid=19777] ppid=19760 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19763/task/19777/stat : 19777 (java) S 19760 19763 17276 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245367029 14420721664 12831 33554432000 4194304 4196468 140721952893040 139925273656416 139926369535701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14774272 140721952896073 140721952896265 140721952896265 140721952899023 0
[pid=19763/tid=19778] ppid=19760 vsize=14082736 memory=139978767717184 CPUtime=0 cores=1,3,5,7
/proc/19763/task/19778/stat : 19778 (java) S 19760 19763 17276 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245367029 14420721664 12831 33554432000 4194304 4196468 140721952893040 139925272602928 139926369536642 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14774272 140721952896073 140721952896265 140721952896265 140721952899023 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 51324 KiB
[startup+0.700937 s]
/proc/loadavg: 1.64 1.52 1.43 3/216 19778
/proc/meminfo: memFree=18262632/32770624 swapFree=67108792/67108860
[pid=19763] ppid=19760 vsize=14084804 memory=88992 CPUtime=0.98 cores=1,3,5,7
/proc/19763/stat : 19763 (java) S 19760 19763 17276 0 -1 1077944320 17129 0 0 0 92 6 0 0 20 0 15 0 245367023 14422839296 22248 33554432000 4194304 4196468 140721952893040 140721952875584 139926369525495 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14774272 140721952896073 140721952896265 140721952896265 140721952899023 0
/proc/19763/statm: 3521201 22248 3482 1 0 3483273 0
[pid=19763/tid=19765] ppid=19760 vsize=14084804 memory=53 CPUtime=0.67 cores=1,3,5,7
/proc/19763/task/19765/stat : 19765 (java) R 19760 19763 17276 0 -1 4202560 14430 0 0 0 62 5 0 0 20 0 15 0 245367024 14422839296 22248 33554432000 4194304 4196468 140721952893040 139926373748688 139926353605982 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14774272 140721952896073 140721952896265 140721952896265 140721952899023 0
[pid=19763/tid=19766] ppid=19760 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19763/task/19766/stat : 19766 (java) S 19760 19763 17276 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245367025 14422839296 22248 33554432000 4194304 4196468 140721952893040 139926284593936 139926369535701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14774272 140721952896073 140721952896265 140721952896265 140721952899023 0
[pid=19763/tid=19767] ppid=19760 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19763/task/19767/stat : 19767 (java) S 19760 19763 17276 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245367025 14422839296 22248 33554432000 4194304 4196468 140721952893040 139926283541392 139926369535701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14774272 140721952896073 140721952896265 140721952896265 140721952899023 0
[pid=19763/tid=19768] ppid=19760 vsize=14084804 memory=79 CPUtime=0 cores=1,3,5,7
/proc/19763/task/19768/stat : 19768 (java) S 19760 19763 17276 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245367025 14422839296 22248 33554432000 4194304 4196468 140721952893040 139926282488848 139926369535701 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14774272 140721952896073 140721952896265 140721952896265 140721952899023 0
[pid=19763/tid=19769] ppid=19760 vsize=14084804 memory=1 CPUtime=0 cores=1,3,5,7
/proc/19763/task/19769/stat : 19769 (java) S 19760 19763 17276 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245367025 14422839296 22248 33554432000 4194304 4196468 140721952893040 139926281436304 139926369535701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14774272 140721952896073 140721952896265 140721952896265 140721952899023 0
[pid=19763/tid=19770] ppid=19760 vsize=14084804 memory=8564 CPUtime=0 cores=1,3,5,7
/proc/19763/task/19770/stat : 19770 (java) S 19760 19763 17276 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 245367026 14422839296 22248 33554432000 4194304 4196468 140721952893040 139925281023984 139926369536642 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14774272 140721952896073 140721952896265 140721952896265 140721952899023 0
[pid=19763/tid=19771] ppid=19760 vsize=14084804 memory=1800 CPUtime=0 cores=1,3,5,7
/proc/19763/task/19771/stat : 19771 (java) S 19760 19763 17276 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 245367026 14422839296 22248 33554432000 4194304 4196468 140721952893040 139925279970208 139926369535701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14774272 140721952896073 140721952896265 140721952896265 140721952899023 0
[pid=19763/tid=19772] ppid=19760 vsize=14084804 memory=1264 CPUtime=0 cores=1,3,5,7
/proc/19763/task/19772/stat : 19772 (java) S 19760 19763 17276 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 245367027 14422839296 22248 33554432000 4194304 4196468 140721952893040 139925278917616 139926369535701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14774272 140721952896073 140721952896265 140721952896265 140721952899023 0
[pid=19763/tid=19773] ppid=19760 vsize=14084804 memory=7192 CPUtime=0 cores=1,3,5,7
/proc/19763/task/19773/stat : 19773 (java) S 19760 19763 17276 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245367029 14422839296 22248 33554432000 4194304 4196468 140721952893040 139925277866192 139926369544091 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14774272 140721952896073 140721952896265 140721952896265 140721952899023 0
[pid=19763/tid=19774] ppid=19760 vsize=14084804 memory=748 CPUtime=0.06 cores=1,3,5,7
/proc/19763/task/19774/stat : 19774 (java) S 19760 19763 17276 0 -1 1077944384 680 0 0 0 6 0 0 0 20 0 15 0 245367029 14422839296 22248 33554432000 4194304 4196468 140721952893040 139925276813808 139926369536642 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14774272 140721952896073 140721952896265 140721952896265 140721952899023 0
[pid=19763/tid=19775] ppid=19760 vsize=14084804 memory=872 CPUtime=0.08 cores=1,3,5,7
/proc/19763/task/19775/stat : 19775 (java) S 19760 19763 17276 0 -1 1077944384 263 0 0 0 8 0 0 0 20 0 15 0 245367029 14422839296 22248 33554432000 4194304 4196468 140721952893040 139925275761264 139926369536642 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14774272 140721952896073 140721952896265 140721952896265 140721952899023 0
[pid=19763/tid=19776] ppid=19760 vsize=14084804 memory=1220 CPUtime=0.15 cores=1,3,5,7
/proc/19763/task/19776/stat : 19776 (java) S 19760 19763 17276 0 -1 1077944384 377 0 0 0 15 0 0 0 20 0 15 0 245367029 14422839296 22248 33554432000 4194304 4196468 140721952893040 139925274708720 139926369536642 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14774272 140721952896073 140721952896265 140721952896265 140721952899023 0
[pid=19763/tid=19777] ppid=19760 vsize=14084804 memory=1108 CPUtime=0 cores=1,3,5,7
/proc/19763/task/19777/stat : 19777 (java) S 19760 19763 17276 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245367029 14422839296 22248 33554432000 4194304 4196468 140721952893040 139925273656416 139926369535701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14774272 140721952896073 140721952896265 140721952896265 140721952899023 0
[pid=19763/tid=19778] ppid=19760 vsize=14084804 memory=15336 CPUtime=0 cores=1,3,5,7
/proc/19763/task/19778/stat : 19778 (java) S 19760 19763 17276 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245367029 14422839296 22248 33554432000 4194304 4196468 140721952893040 139925272602928 139926369536642 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14774272 140721952896073 140721952896265 140721952896265 140721952899023 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 14084804 KiB
Current children cumulated memory: 88992 KiB
[startup+1.50073 s]
/proc/loadavg: 1.64 1.52 1.43 5/216 19778
/proc/meminfo: memFree=18219832/32770624 swapFree=67108792/67108860
[pid=19763] ppid=19760 vsize=14086852 memory=191604 CPUtime=2.92 cores=1,3,5,7
/proc/19763/stat : 19763 (java) S 19760 19763 17276 0 -1 1077944320 21889 0 0 0 283 9 0 0 20 0 15 0 245367023 14424936448 47901 33554432000 4194304 4196468 140721952893040 140721952875584 139926369525495 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14774272 140721952896073 140721952896265 140721952896265 140721952899023 0
/proc/19763/statm: 3521713 47901 3552 1 0 3483785 0
[pid=19763/tid=19765] ppid=19760 vsize=14086852 memory=0 CPUtime=1.47 cores=1,3,5,7
/proc/19763/task/19765/stat : 19765 (java) R 19760 19763 17276 0 -1 4202560 15613 0 0 0 140 7 0 0 20 0 15 0 245367024 14424936448 47901 33554432000 4194304 4196468 140721952893040 139926373761136 139925962759092 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14774272 140721952896073 140721952896265 140721952896265 140721952899023 0
[pid=19763/tid=19766] ppid=19760 vsize=14086852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19763/task/19766/stat : 19766 (java) S 19760 19763 17276 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245367025 14424936448 47901 33554432000 4194304 4196468 140721952893040 139926284593936 139926369535701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14774272 140721952896073 140721952896265 140721952896265 140721952899023 0
[pid=19763/tid=19767] ppid=19760 vsize=14086852 memory=79 CPUtime=0 cores=1,3,5,7
/proc/19763/task/19767/stat : 19767 (java) S 19760 19763 17276 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245367025 14424936448 47901 33554432000 4194304 4196468 140721952893040 139926283541392 139926369535701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14774272 140721952896073 140721952896265 140721952896265 140721952899023 0
[pid=19763/tid=19768] ppid=19760 vsize=14086852 memory=1 CPUtime=0 cores=1,3,5,7
/proc/19763/task/19768/stat : 19768 (java) S 19760 19763 17276 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245367025 14424936448 47901 33554432000 4194304 4196468 140721952893040 139926282488848 139926369535701 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14774272 140721952896073 140721952896265 140721952896265 140721952899023 0
[pid=19763/tid=19769] ppid=19760 vsize=14086852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19763/task/19769/stat : 19769 (java) S 19760 19763 17276 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245367025 14424936448 47901 33554432000 4194304 4196468 140721952893040 139926281436304 139926369535701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14774272 140721952896073 140721952896265 140721952896265 140721952899023 0
[pid=19763/tid=19770] ppid=19760 vsize=14086852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19763/task/19770/stat : 19770 (java) S 19760 19763 17276 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 15 0 245367026 14424936448 47901 33554432000 4194304 4196468 140721952893040 139925281023984 139926369536642 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14774272 140721952896073 140721952896265 140721952896265 140721952899023 0
################
# More data... #
################
/proc/19763/task/19765/stat : 19765 (java) R 19760 19763 17276 0 -1 4202560 31027 0 0 0 243932 12 0 0 20 0 15 0 245367024 14429130752 55510 33554432000 4194304 4196468 140721952893040 139926373763472 139925965488121 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14774272 140721952896073 140721952896265 140721952896265 140721952899023 0
[pid=19763/tid=19766] ppid=19760 vsize=14090948 memory=222040 CPUtime=1.19 cores=1,3,5,7
/proc/19763/task/19766/stat : 19766 (java) S 19760 19763 17276 0 -1 1077944384 2463 0 0 0 109 10 0 0 20 0 15 0 245367025 14429130752 55510 33554432000 4194304 4196468 140721952893040 139926284593936 139926369535701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14774272 140721952896073 140721952896265 140721952896265 140721952899023 0
[pid=19763/tid=19767] ppid=19760 vsize=14090948 memory=222040 CPUtime=1.19 cores=1,3,5,7
/proc/19763/task/19767/stat : 19767 (java) S 19760 19763 17276 0 -1 1077944384 2515 0 0 0 110 9 0 0 20 0 15 0 245367025 14429130752 55510 33554432000 4194304 4196468 140721952893040 139926283541392 139926369535701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14774272 140721952896073 140721952896265 140721952896265 140721952899023 0
[pid=19763/tid=19768] ppid=19760 vsize=14090948 memory=222040 CPUtime=1.18 cores=1,3,5,7
/proc/19763/task/19768/stat : 19768 (java) S 19760 19763 17276 0 -1 1077944384 2591 0 0 0 107 11 0 0 20 0 15 0 245367025 14429130752 55510 33554432000 4194304 4196468 140721952893040 139926282488848 139926369535701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14774272 140721952896073 140721952896265 140721952896265 140721952899023 0
[pid=19763/tid=19769] ppid=19760 vsize=14090948 memory=222040 CPUtime=1.2 cores=1,3,5,7
/proc/19763/task/19769/stat : 19769 (java) S 19760 19763 17276 0 -1 1077944384 5676 0 0 0 108 12 0 0 20 0 15 0 245367025 14429130752 55510 33554432000 4194304 4196468 140721952893040 139926281436304 139926369535701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14774272 140721952896073 140721952896265 140721952896265 140721952899023 0
[pid=19763/tid=19770] ppid=19760 vsize=14090948 memory=222040 CPUtime=1.14 cores=1,3,5,7
/proc/19763/task/19770/stat : 19770 (java) S 19760 19763 17276 0 -1 1077944384 4735 0 0 0 104 10 0 0 20 0 15 0 245367026 14429130752 55510 33554432000 4194304 4196468 140721952893040 139925281023984 139926369536642 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14774272 140721952896073 140721952896265 140721952896265 140721952899023 0
[pid=19763/tid=19771] ppid=19760 vsize=14090948 memory=222040 CPUtime=0 cores=1,3,5,7
/proc/19763/task/19771/stat : 19771 (java) S 19760 19763 17276 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 245367026 14429130752 55510 33554432000 4194304 4196468 140721952893040 139925279970272 139926369535701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14774272 140721952896073 140721952896265 140721952896265 140721952899023 0
[pid=19763/tid=19772] ppid=19760 vsize=14090948 memory=222040 CPUtime=0 cores=1,3,5,7
/proc/19763/task/19772/stat : 19772 (java) S 19760 19763 17276 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 245367027 14429130752 55510 33554432000 4194304 4196468 140721952893040 139925278917632 139926369535701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14774272 140721952896073 140721952896265 140721952896265 140721952899023 0
[pid=19763/tid=19773] ppid=19760 vsize=14090948 memory=2420 CPUtime=0 cores=1,3,5,7
/proc/19763/task/19773/stat : 19773 (java) S 19760 19763 17276 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245367029 14429130752 55510 33554432000 4194304 4196468 140721952893040 139925277866192 139926369544091 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14774272 140721952896073 140721952896265 140721952896265 140721952899023 0
[pid=19763/tid=19774] ppid=19760 vsize=14090948 memory=1572 CPUtime=1.33 cores=1,3,5,7
/proc/19763/task/19774/stat : 19774 (java) S 19760 19763 17276 0 -1 1077944384 3829 0 0 0 132 1 0 0 20 0 15 0 245367029 14429130752 55510 33554432000 4194304 4196468 140721952893040 139925276813808 139926369536642 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14774272 140721952896073 140721952896265 140721952896265 140721952899023 0
[pid=19763/tid=19775] ppid=19760 vsize=14090948 memory=6791534058613427641 CPUtime=1.39 cores=1,3,5,7
/proc/19763/task/19775/stat : 19775 (java) S 19760 19763 17276 0 -1 1077944384 4698 0 0 0 139 0 0 0 20 0 15 0 245367029 14429130752 55510 33554432000 4194304 4196468 140721952893040 139925275761264 139926369536642 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14774272 140721952896073 140721952896265 140721952896265 140721952899023 0
[pid=19763/tid=19776] ppid=19760 vsize=14090948 memory=1220 CPUtime=0.71 cores=1,3,5,7
/proc/19763/task/19776/stat : 19776 (java) S 19760 19763 17276 0 -1 1077944384 7202 0 0 0 70 1 0 0 20 0 15 0 245367029 14429130752 55510 33554432000 4194304 4196468 140721952893040 139925274708720 139926369536642 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14774272 140721952896073 140721952896265 140721952896265 140721952899023 0
[pid=19763/tid=19777] ppid=19760 vsize=14090948 memory=222040 CPUtime=0 cores=1,3,5,7
/proc/19763/task/19777/stat : 19777 (java) S 19760 19763 17276 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245367029 14429130752 55510 33554432000 4194304 4196468 140721952893040 139925273656416 139926369535701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14774272 140721952896073 140721952896265 140721952896265 140721952899023 0
[pid=19763/tid=19778] ppid=19760 vsize=14090948 memory=222040 CPUtime=0.49 cores=1,3,5,7
/proc/19763/task/19778/stat : 19778 (java) S 19760 19763 17276 0 -1 1077944384 997 0 0 0 21 28 0 0 20 0 15 0 245367029 14429130752 55510 33554432000 4194304 4196468 140721952893040 139925272602928 139926369536642 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14774272 140721952896073 140721952896265 140721952896265 140721952899023 0
Current children cumulated CPU time: 2449.32 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 222040 KiB
[startup+2502.3 s]
/proc/loadavg: 1.45 1.43 1.43 3/217 19879
/proc/meminfo: memFree=18140372/32770624 swapFree=67108792/67108860
[pid=19763] ppid=19760 vsize=14090948 memory=222040 CPUtime=2509.41 cores=1,3,5,7
/proc/19763/stat : 19763 (java) S 19760 19763 17276 0 -1 1077944320 67470 0 0 0 250860 81 0 0 20 0 15 0 245367023 14429130752 55510 33554432000 4194304 4196468 140721952893040 140721952875584 139926369525495 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14774272 140721952896073 140721952896265 140721952896265 140721952899023 0
/proc/19763/statm: 3522737 55510 3593 1 0 3484809 0
[pid=19763/tid=19765] ppid=19760 vsize=14090948 memory=222040 CPUtime=2499.37 cores=1,3,5,7
/proc/19763/task/19765/stat : 19765 (java) R 19760 19763 17276 0 -1 4202560 31247 0 0 0 249925 12 0 0 20 0 15 0 245367024 14429130752 55510 33554432000 4194304 4196468 140721952893040 139926373763536 139925965342963 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14774272 140721952896073 140721952896265 140721952896265 140721952899023 0
[pid=19763/tid=19766] ppid=19760 vsize=14090948 memory=222040 CPUtime=1.22 cores=1,3,5,7
/proc/19763/task/19766/stat : 19766 (java) S 19760 19763 17276 0 -1 1077944384 2466 0 0 0 112 10 0 0 20 0 15 0 245367025 14429130752 55510 33554432000 4194304 4196468 140721952893040 139926284593936 139926369535701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14774272 140721952896073 140721952896265 140721952896265 140721952899023 0
[pid=19763/tid=19767] ppid=19760 vsize=14090948 memory=222040 CPUtime=1.22 cores=1,3,5,7
/proc/19763/task/19767/stat : 19767 (java) S 19760 19763 17276 0 -1 1077944384 2582 0 0 0 113 9 0 0 20 0 15 0 245367025 14429130752 55510 33554432000 4194304 4196468 140721952893040 139926283541392 139926369535701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14774272 140721952896073 140721952896265 140721952896265 140721952899023 0
[pid=19763/tid=19768] ppid=19760 vsize=14090948 memory=222040 CPUtime=1.21 cores=1,3,5,7
/proc/19763/task/19768/stat : 19768 (java) S 19760 19763 17276 0 -1 1077944384 2591 0 0 0 110 11 0 0 20 0 15 0 245367025 14429130752 55510 33554432000 4194304 4196468 140721952893040 139926282488848 139926369535701 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14774272 140721952896073 140721952896265 140721952896265 140721952899023 0
[pid=19763/tid=19769] ppid=19760 vsize=14090948 memory=222040 CPUtime=1.23 cores=1,3,5,7
/proc/19763/task/19769/stat : 19769 (java) S 19760 19763 17276 0 -1 1077944384 5679 0 0 0 111 12 0 0 20 0 15 0 245367025 14429130752 55510 33554432000 4194304 4196468 140721952893040 139926281436304 139926369535701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14774272 140721952896073 140721952896265 140721952896265 140721952899023 0
[pid=19763/tid=19770] ppid=19760 vsize=14090948 memory=222040 CPUtime=1.16 cores=1,3,5,7
/proc/19763/task/19770/stat : 19770 (java) S 19760 19763 17276 0 -1 1077944384 4751 0 0 0 106 10 0 0 20 0 15 0 245367026 14429130752 55510 33554432000 4194304 4196468 140721952893040 139925281023984 139926369536642 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14774272 140721952896073 140721952896265 140721952896265 140721952899023 0
[pid=19763/tid=19771] ppid=19760 vsize=14090948 memory=222040 CPUtime=0 cores=1,3,5,7
/proc/19763/task/19771/stat : 19771 (java) S 19760 19763 17276 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 245367026 14429130752 55510 33554432000 4194304 4196468 140721952893040 139925279970272 139926369535701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14774272 140721952896073 140721952896265 140721952896265 140721952899023 0
[pid=19763/tid=19772] ppid=19760 vsize=14090948 memory=222040 CPUtime=0 cores=1,3,5,7
/proc/19763/task/19772/stat : 19772 (java) S 19760 19763 17276 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 245367027 14429130752 55510 33554432000 4194304 4196468 140721952893040 139925278917632 139926369535701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14774272 140721952896073 140721952896265 140721952896265 140721952899023 0
[pid=19763/tid=19773] ppid=19760 vsize=14090948 memory=222040 CPUtime=0 cores=1,3,5,7
/proc/19763/task/19773/stat : 19773 (java) S 19760 19763 17276 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245367029 14429130752 55510 33554432000 4194304 4196468 140721952893040 139925277866192 139926369544091 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14774272 140721952896073 140721952896265 140721952896265 140721952899023 0
[pid=19763/tid=19774] ppid=19760 vsize=14090948 memory=222040 CPUtime=1.33 cores=1,3,5,7
/proc/19763/task/19774/stat : 19774 (java) S 19760 19763 17276 0 -1 1077944384 3831 0 0 0 132 1 0 0 20 0 15 0 245367029 14429130752 55510 33554432000 4194304 4196468 140721952893040 139925276813808 139926369536642 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14774272 140721952896073 140721952896265 140721952896265 140721952899023 0
[pid=19763/tid=19775] ppid=19760 vsize=14090948 memory=222040 CPUtime=1.39 cores=1,3,5,7
/proc/19763/task/19775/stat : 19775 (java) S 19760 19763 17276 0 -1 1077944384 4700 0 0 0 139 0 0 0 20 0 15 0 245367029 14429130752 55510 33554432000 4194304 4196468 140721952893040 139925275761264 139926369536642 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14774272 140721952896073 140721952896265 140721952896265 140721952899023 0
[pid=19763/tid=19776] ppid=19760 vsize=14090948 memory=222040 CPUtime=0.71 cores=1,3,5,7
/proc/19763/task/19776/stat : 19776 (java) S 19760 19763 17276 0 -1 1077944384 7204 0 0 0 70 1 0 0 20 0 15 0 245367029 14429130752 55510 33554432000 4194304 4196468 140721952893040 139925274708720 139926369536642 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14774272 140721952896073 140721952896265 140721952896265 140721952899023 0
[pid=19763/tid=19777] ppid=19760 vsize=14090948 memory=222040 CPUtime=0 cores=1,3,5,7
/proc/19763/task/19777/stat : 19777 (java) S 19760 19763 17276 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245367029 14429130752 55510 33554432000 4194304 4196468 140721952893040 139925273656416 139926369535701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14774272 140721952896073 140721952896265 140721952896265 140721952899023 0
[pid=19763/tid=19778] ppid=19760 vsize=14090948 memory=279957244210032 CPUtime=0.5 cores=1,3,5,7
/proc/19763/task/19778/stat : 19778 (java) S 19760 19763 17276 0 -1 1077944384 1003 0 0 0 21 29 0 0 20 0 15 0 245367029 14429130752 55510 33554432000 4194304 4196468 140721952893040 139925272602928 139926369536642 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14774272 140721952896073 140721952896265 140721952896265 140721952899023 0
Current children cumulated CPU time: 2509.41 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 222040 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2512.9 s]
/proc/loadavg: 1.38 1.42 1.42 3/217 19956
/proc/meminfo: memFree=17944556/32770624 swapFree=67108792/67108860
[pid=19763] ppid=19760 vsize=14090948 memory=222040 CPUtime=2520.02 cores=1,3,5,7
/proc/19763/stat : 19763 (java) S 19760 19763 17276 0 -1 1077944320 67482 0 0 0 251921 81 0 0 20 0 15 0 245367023 14429130752 55510 33554432000 4194304 4196468 140721952893040 140721952875584 139926369525495 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14774272 140721952896073 140721952896265 140721952896265 140721952899023 0
/proc/19763/statm: 3522737 55510 3593 1 0 3484809 0
[pid=19763/tid=19765] ppid=19760 vsize=14090948 memory=222040 CPUtime=2509.96 cores=1,3,5,7
/proc/19763/task/19765/stat : 19765 (java) R 19760 19763 17276 0 -1 4202560 31255 0 0 0 250984 12 0 0 20 0 15 0 245367024 14429130752 55510 33554432000 4194304 4196468 140721952893040 139926373763552 139925965459017 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14774272 140721952896073 140721952896265 140721952896265 140721952899023 0
[pid=19763/tid=19766] ppid=19760 vsize=14090948 memory=222040 CPUtime=1.22 cores=1,3,5,7
/proc/19763/task/19766/stat : 19766 (java) S 19760 19763 17276 0 -1 1077944384 2466 0 0 0 112 10 0 0 20 0 15 0 245367025 14429130752 55510 33554432000 4194304 4196468 140721952893040 139926284593936 139926369535701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14774272 140721952896073 140721952896265 140721952896265 140721952899023 0
[pid=19763/tid=19767] ppid=19760 vsize=14090948 memory=222040 CPUtime=1.22 cores=1,3,5,7
/proc/19763/task/19767/stat : 19767 (java) S 19760 19763 17276 0 -1 1077944384 2582 0 0 0 113 9 0 0 20 0 15 0 245367025 14429130752 55510 33554432000 4194304 4196468 140721952893040 139926283541392 139926369535701 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14774272 140721952896073 140721952896265 140721952896265 140721952899023 0
[pid=19763/tid=19768] ppid=19760 vsize=14090948 memory=222040 CPUtime=1.21 cores=1,3,5,7
/proc/19763/task/19768/stat : 19768 (java) S 19760 19763 17276 0 -1 1077944384 2591 0 0 0 110 11 0 0 20 0 15 0 245367025 14429130752 55510 33554432000 4194304 4196468 140721952893040 139926282488848 139926369535701 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14774272 140721952896073 140721952896265 140721952896265 140721952899023 0
[pid=19763/tid=19769] ppid=19760 vsize=14090948 memory=222040 CPUtime=1.23 cores=1,3,5,7
/proc/19763/task/19769/stat : 19769 (java) S 19760 19763 17276 0 -1 1077944384 5679 0 0 0 111 12 0 0 20 0 15 0 245367025 14429130752 55510 33554432000 4194304 4196468 140721952893040 139926281436304 139926369535701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14774272 140721952896073 140721952896265 140721952896265 140721952899023 0
[pid=19763/tid=19770] ppid=19760 vsize=14090948 memory=222040 CPUtime=1.16 cores=1,3,5,7
/proc/19763/task/19770/stat : 19770 (java) S 19760 19763 17276 0 -1 1077944384 4753 0 0 0 106 10 0 0 20 0 15 0 245367026 14429130752 55510 33554432000 4194304 4196468 140721952893040 139925281023984 139926369536642 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14774272 140721952896073 140721952896265 140721952896265 140721952899023 0
[pid=19763/tid=19771] ppid=19760 vsize=14090948 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/19763/task/19771/stat : 19771 (java) S 19760 19763 17276 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 245367026 14429130752 55510 33554432000 4194304 4196468 140721952893040 139925279970272 139926369535701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14774272 140721952896073 140721952896265 140721952896265 140721952899023 0
[pid=19763/tid=19772] ppid=19760 vsize=14090948 memory=222040 CPUtime=0 cores=1,3,5,7
/proc/19763/task/19772/stat : 19772 (java) S 19760 19763 17276 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 245367027 14429130752 55510 33554432000 4194304 4196468 140721952893040 139925278917632 139926369535701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14774272 140721952896073 140721952896265 140721952896265 140721952899023 0
[pid=19763/tid=19773] ppid=19760 vsize=14090948 memory=2380 CPUtime=0 cores=1,3,5,7
/proc/19763/task/19773/stat : 19773 (java) S 19760 19763 17276 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245367029 14429130752 55510 33554432000 4194304 4196468 140721952893040 139925277866192 139926369544091 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14774272 140721952896073 140721952896265 140721952896265 140721952899023 0
[pid=19763/tid=19774] ppid=19760 vsize=14090948 memory=1752 CPUtime=1.33 cores=1,3,5,7
/proc/19763/task/19774/stat : 19774 (java) S 19760 19763 17276 0 -1 1077944384 3831 0 0 0 132 1 0 0 20 0 15 0 245367029 14429130752 55510 33554432000 4194304 4196468 140721952893040 139925276813808 139926369536642 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14774272 140721952896073 140721952896265 140721952896265 140721952899023 0
[pid=19763/tid=19775] ppid=19760 vsize=14090948 memory=56 CPUtime=1.39 cores=1,3,5,7
/proc/19763/task/19775/stat : 19775 (java) S 19760 19763 17276 0 -1 1077944384 4700 0 0 0 139 0 0 0 20 0 15 0 245367029 14429130752 55510 33554432000 4194304 4196468 140721952893040 139925275761264 139926369536642 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14774272 140721952896073 140721952896265 140721952896265 140721952899023 0
[pid=19763/tid=19776] ppid=19760 vsize=14090948 memory=7450735440566441835 CPUtime=0.71 cores=1,3,5,7
/proc/19763/task/19776/stat : 19776 (java) S 19760 19763 17276 0 -1 1077944384 7204 0 0 0 70 1 0 0 20 0 15 0 245367029 14429130752 55510 33554432000 4194304 4196468 140721952893040 139925274708720 139926369536642 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14774272 140721952896073 140721952896265 140721952896265 140721952899023 0
[pid=19763/tid=19777] ppid=19760 vsize=14090948 memory=222040 CPUtime=0 cores=1,3,5,7
/proc/19763/task/19777/stat : 19777 (java) S 19760 19763 17276 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245367029 14429130752 55510 33554432000 4194304 4196468 140721952893040 139925273656416 139926369535701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14774272 140721952896073 140721952896265 140721952896265 140721952899023 0
[pid=19763/tid=19778] ppid=19760 vsize=14090948 memory=7523376918531162212 CPUtime=0.5 cores=1,3,5,7
/proc/19763/task/19778/stat : 19778 (java) S 19760 19763 17276 0 -1 1077944384 1005 0 0 0 21 29 0 0 20 0 15 0 245367029 14429130752 55510 33554432000 4194304 4196468 140721952893040 139925272602928 139926369536642 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14774272 140721952896073 140721952896265 140721952896265 140721952899023 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 222040 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2512.91 s]
# the end of solver process 19763 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.23 s, system=0.820446 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2512.9 s]
/proc/loadavg: 1.38 1.42 1.42 3/217 19956
/proc/meminfo: memFree=17944556/32770624 swapFree=67108792/67108860
[pid=19763] ppid=19760 vsize=14090948 memory=222040 CPUtime=2520.02 cores=1,3,5,7
/proc/19763/stat : 19763 (java) S 19760 19763 17276 0 -1 1077944320 67482 0 0 0 251921 81 0 0 20 0 15 0 245367023 14429130752 55510 33554432000 4194304 4196468 140721952893040 140721952875584 139926369525495 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14774272 140721952896073 140721952896265 140721952896265 140721952899023 0
/proc/19763/statm: 3522737 55510 3593 1 0 3484809 0
[pid=19763/tid=19765] ppid=19760 vsize=14090948 memory=222040 CPUtime=2509.96 cores=1,3,5,7
/proc/19763/task/19765/stat : 19765 (java) R 19760 19763 17276 0 -1 4202560 31255 0 0 0 250984 12 0 0 20 0 15 0 245367024 14429130752 55510 33554432000 4194304 4196468 140721952893040 139926373763552 139925965459017 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14774272 140721952896073 140721952896265 140721952896265 140721952899023 0
[pid=19763/tid=19766] ppid=19760 vsize=14090948 memory=222040 CPUtime=1.22 cores=1,3,5,7
/proc/19763/task/19766/stat : 19766 (java) S 19760 19763 17276 0 -1 1077944384 2466 0 0 0 112 10 0 0 20 0 15 0 245367025 14429130752 55510 33554432000 4194304 4196468 140721952893040 139926284593936 139926369535701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14774272 140721952896073 140721952896265 140721952896265 140721952899023 0
[pid=19763/tid=19767] ppid=19760 vsize=14090948 memory=222040 CPUtime=1.22 cores=1,3,5,7
/proc/19763/task/19767/stat : 19767 (java) S 19760 19763 17276 0 -1 1077944384 2582 0 0 0 113 9 0 0 20 0 15 0 245367025 14429130752 55510 33554432000 4194304 4196468 140721952893040 139926283541392 139926369535701 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14774272 140721952896073 140721952896265 140721952896265 140721952899023 0
[pid=19763/tid=19768] ppid=19760 vsize=14090948 memory=222040 CPUtime=1.21 cores=1,3,5,7
/proc/19763/task/19768/stat : 19768 (java) S 19760 19763 17276 0 -1 1077944384 2591 0 0 0 110 11 0 0 20 0 15 0 245367025 14429130752 55510 33554432000 4194304 4196468 140721952893040 139926282488848 139926369535701 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14774272 140721952896073 140721952896265 140721952896265 140721952899023 0
[pid=19763/tid=19769] ppid=19760 vsize=14090948 memory=222040 CPUtime=1.23 cores=1,3,5,7
/proc/19763/task/19769/stat : 19769 (java) S 19760 19763 17276 0 -1 1077944384 5679 0 0 0 111 12 0 0 20 0 15 0 245367025 14429130752 55510 33554432000 4194304 4196468 140721952893040 139926281436304 139926369535701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14774272 140721952896073 140721952896265 140721952896265 140721952899023 0
[pid=19763/tid=19770] ppid=19760 vsize=14090948 memory=222040 CPUtime=1.16 cores=1,3,5,7
/proc/19763/task/19770/stat : 19770 (java) S 19760 19763 17276 0 -1 1077944384 4753 0 0 0 106 10 0 0 20 0 15 0 245367026 14429130752 55510 33554432000 4194304 4196468 140721952893040 139925281023984 139926369536642 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14774272 140721952896073 140721952896265 140721952896265 140721952899023 0
[pid=19763/tid=19771] ppid=19760 vsize=14090948 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/19763/task/19771/stat : 19771 (java) S 19760 19763 17276 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 245367026 14429130752 55510 33554432000 4194304 4196468 140721952893040 139925279970272 139926369535701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14774272 140721952896073 140721952896265 140721952896265 140721952899023 0
[pid=19763/tid=19772] ppid=19760 vsize=14090948 memory=222040 CPUtime=0 cores=1,3,5,7
/proc/19763/task/19772/stat : 19772 (java) S 19760 19763 17276 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 245367027 14429130752 55510 33554432000 4194304 4196468 140721952893040 139925278917632 139926369535701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14774272 140721952896073 140721952896265 140721952896265 140721952899023 0
[pid=19763/tid=19773] ppid=19760 vsize=14090948 memory=2380 CPUtime=0 cores=1,3,5,7
/proc/19763/task/19773/stat : 19773 (java) S 19760 19763 17276 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245367029 14429130752 55510 33554432000 4194304 4196468 140721952893040 139925277866192 139926369544091 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14774272 140721952896073 140721952896265 140721952896265 140721952899023 0
[pid=19763/tid=19774] ppid=19760 vsize=14090948 memory=1752 CPUtime=1.33 cores=1,3,5,7
/proc/19763/task/19774/stat : 19774 (java) S 19760 19763 17276 0 -1 1077944384 3831 0 0 0 132 1 0 0 20 0 15 0 245367029 14429130752 55510 33554432000 4194304 4196468 140721952893040 139925276813808 139926369536642 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14774272 140721952896073 140721952896265 140721952896265 140721952899023 0
[pid=19763/tid=19775] ppid=19760 vsize=14090948 memory=56 CPUtime=1.39 cores=1,3,5,7
/proc/19763/task/19775/stat : 19775 (java) S 19760 19763 17276 0 -1 1077944384 4700 0 0 0 139 0 0 0 20 0 15 0 245367029 14429130752 55510 33554432000 4194304 4196468 140721952893040 139925275761264 139926369536642 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14774272 140721952896073 140721952896265 140721952896265 140721952899023 0
[pid=19763/tid=19776] ppid=19760 vsize=14090948 memory=7450735440566441835 CPUtime=0.71 cores=1,3,5,7
/proc/19763/task/19776/stat : 19776 (java) S 19760 19763 17276 0 -1 1077944384 7204 0 0 0 70 1 0 0 20 0 15 0 245367029 14429130752 55510 33554432000 4194304 4196468 140721952893040 139925274708720 139926369536642 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14774272 140721952896073 140721952896265 140721952896265 140721952899023 0
[pid=19763/tid=19777] ppid=19760 vsize=14090948 memory=222040 CPUtime=0 cores=1,3,5,7
/proc/19763/task/19777/stat : 19777 (java) S 19760 19763 17276 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245367029 14429130752 55510 33554432000 4194304 4196468 140721952893040 139925273656416 139926369535701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14774272 140721952896073 140721952896265 140721952896265 140721952899023 0
[pid=19763/tid=19778] ppid=19760 vsize=14090948 memory=7523376918531162212 CPUtime=0.5 cores=1,3,5,7
/proc/19763/task/19778/stat : 19778 (java) S 19760 19763 17276 0 -1 1077944384 1005 0 0 0 21 29 0 0 20 0 15 0 245367029 14429130752 55510 33554432000 4194304 4196468 140721952893040 139925272602928 139926369536642 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14774272 140721952896073 140721952896265 140721952896265 140721952899023 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 222040 KiB
Child status: 143
Real time (s): 2512.91
CPU time (s): 2520.05
CPU user time (s): 2519.23
CPU system time (s): 0.820446
CPU usage (%): 100.284
Max. virtual memory (cumulated for all children) (KiB): 14090948
Max. memory (cumulated for all children) (KiB): 261316
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.23
system time used= 0.820446
maximum resident set size= 261316
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 67909
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2912
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 87813
involuntary context switches= 1450
# summary of solver processes directly reported to runsolver:
# pid: 19763
# total CPU time (s): 2520.05
# total CPU user time (s): 2519.23
# total CPU system time (s): 0.820446
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.1924 second user time and 19.6393 second system time
The end
Begin job on node150 at 2018-08-14 22:20:37 IDJOB=4308335 IDBENCH=141152 IDSOLVER=2791 FILE ID=node150/4308335-1534278037 RUNJOBID= node150-1534270551-18810 PBS_JOBID= 21038115 Free space on /tmp= 37968 MiB SOLVER NAME= OscaR - Conflict Ordering with restarts 2018-08-14 BENCH NAME= XCSP18/Auction/Auction-sum/Auction-sum-decay400_c18.xml COMMAND LINE= java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 11000 --nbcore NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4308335-1534278037/watcher-4308335-1534278037 -o /tmp/evaluation-result-4308335-1534278037/solver-4308335-1534278037 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1534270551-18810 --watchdog 2580 java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 634823521 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4308335-1534278037.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= b20be86eed1a54c36d145f853cc0c945 RANDOM SEED=634823521 node150.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.76 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.76 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.76 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.76 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: 18325520 kB MemAvailable: 31684072 kB Buffers: 240104 kB Cached: 13276980 kB SwapCached: 32 kB Active: 6549048 kB Inactive: 7244600 kB Active(anon): 227880 kB Inactive(anon): 100944 kB Active(file): 6321168 kB Inactive(file): 7143656 kB Unevictable: 7740 kB Mlocked: 7740 kB SwapTotal: 67108860 kB SwapFree: 67108792 kB Dirty: 36060 kB Writeback: 0 kB AnonPages: 287896 kB Mapped: 69164 kB Shmem: 49732 kB Slab: 350780 kB SReclaimable: 322188 kB SUnreclaim: 28592 kB KernelStack: 3680 kB PageTables: 5892 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1325084 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 161792 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 126336 kB DirectMap2M: 33419264 kB Free space on /tmp at the end= 37932 MiB End job on node150 at 2018-08-14 23:02:31