Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
OscaR - Conflict Ordering with restarts 2018-07-02 | SAT (TO) | 1312 | 2400.09 | 2390.53 |
Name | PseudoBoolean-opt/ Pb-radar-30-30-45-050-100_c18.xml |
MD5SUM | 038278868d516ab8bda18fb263b0f90d |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 49 |
Best CPU time to get the best result obtained on this benchmark | 2400.3 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 4447 |
Number of constraints | 4926 |
Number of domains | 1 |
Minimum domain size | 2 |
Maximum domain size | 2 |
Distribution of domain sizes | [{"size":2,"count":4447}] |
Minimum variable degree | 2 |
Maximum variable degree | 8 |
Distribution of variable degrees | [{"degree":2,"count":7},{"degree":3,"count":130},{"degree":4,"count":1108},{"degree":5,"count":1123},{"degree":6,"count":1918},{"degree":7,"count":3},{"degree":8,"count":158}] |
Minimum constraint arity | 1 |
Maximum constraint arity | 27 |
Distribution of constraint arities | [{"arity":1,"count":1},{"arity":2,"count":4194},{"arity":3,"count":18},{"arity":4,"count":27},{"arity":5,"count":32},{"arity":6,"count":33},{"arity":7,"count":20},{"arity":8,"count":23},{"arity":9,"count":25},{"arity":10,"count":27},{"arity":11,"count":33},{"arity":12,"count":28},{"arity":13,"count":34},{"arity":14,"count":49},{"arity":15,"count":45},{"arity":16,"count":31},{"arity":17,"count":50},{"arity":18,"count":49},{"arity":19,"count":49},{"arity":20,"count":46},{"arity":21,"count":43},{"arity":22,"count":36},{"arity":23,"count":15},{"arity":24,"count":8},{"arity":25,"count":6},{"arity":26,"count":2},{"arity":27,"count":2}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"sum","count":4926}] |
Optimization problem | YES |
Type of objective | min SUM |
0.67/0.56 c version: 2018-07-02 0.67/0.56 c seed: 639785823 0.67/0.57 c timeout: 2400 0.67/0.57 c memlimit: 11000 0.67/0.57 c nbcore: 4 0.67/0.59 c Parsing instance... 5.46/2.84 c Parsing done, starting search... 6.68/3.56 o 1638 7.70/4.38 o 1636 7.70/4.39 o 1635 7.70/4.39 o 1632 7.70/4.39 o 1631 7.70/4.40 o 1630 7.88/4.40 o 1629 7.88/4.40 o 1628 7.88/4.41 o 1627 7.88/4.41 o 1626 7.88/4.41 o 1625 7.88/4.41 o 1624 7.88/4.42 o 1623 7.88/4.42 o 1622 7.88/4.42 o 1621 7.88/4.42 o 1620 7.88/4.42 o 1619 7.88/4.43 o 1618 7.88/4.43 o 1617 7.88/4.43 o 1616 7.88/4.43 o 1615 7.88/4.43 o 1614 7.88/4.43 o 1613 7.88/4.44 o 1612 7.88/4.44 o 1611 7.88/4.44 o 1610 7.88/4.44 o 1609 7.88/4.44 o 1608 7.88/4.44 o 1607 7.88/4.45 o 1606 7.88/4.45 o 1605 7.88/4.45 o 1604 7.88/4.45 o 1603 7.88/4.45 o 1602 7.88/4.45 o 1601 7.88/4.46 o 1600 7.88/4.46 o 1599 7.88/4.46 o 1598 7.88/4.46 o 1597 7.88/4.46 o 1596 7.88/4.47 o 1595 7.88/4.47 o 1594 7.88/4.47 o 1593 7.88/4.47 o 1592 7.88/4.47 o 1591 7.88/4.48 o 1590 7.88/4.48 o 1589 7.88/4.48 o 1588 7.88/4.48 o 1587 7.88/4.48 o 1586 7.88/4.49 o 1585 7.88/4.49 o 1584 7.88/4.49 o 1583 7.88/4.49 o 1582 7.88/4.49 o 1581 7.88/4.50 o 1580 8.19/4.50 o 1579 8.19/4.50 o 1578 8.19/4.50 o 1577 8.19/4.50 o 1576 8.19/4.50 o 1575 8.19/4.51 o 1574 8.19/4.51 o 1573 8.19/4.51 o 1572 8.19/4.51 o 1571 8.19/4.51 o 1570 8.19/4.52 o 1569 8.19/4.52 o 1568 8.19/4.52 o 1567 8.19/4.52 o 1566 8.19/4.52 o 1565 8.19/4.53 o 1564 8.19/4.53 o 1563 8.19/4.53 o 1562 8.19/4.53 o 1561 8.19/4.53 o 1560 8.19/4.54 o 1559 8.19/4.54 o 1558 8.19/4.54 o 1557 8.19/4.54 o 1556 8.19/4.54 o 1555 8.19/4.55 o 1554 8.19/4.55 o 1553 8.19/4.55 o 1552 8.19/4.55 o 1551 8.19/4.55 o 1550 8.19/4.55 o 1549 8.19/4.56 o 1548 8.19/4.56 o 1547 8.19/4.56 o 1546 8.19/4.56 o 1545 8.19/4.56 o 1544 8.19/4.57 o 1543 8.19/4.57 o 1542 8.19/4.57 o 1541 8.19/4.57 o 1540 9.49/5.43 o 1539 9.49/5.43 o 1538 9.49/5.43 o 1537 9.49/5.43 o 1536 9.49/5.43 o 1535 9.49/5.44 o 1534 9.49/5.44 o 1533 9.49/5.44 o 1532 9.49/5.44 o 1531 9.49/5.44 o 1530 9.49/5.44 o 1529 9.49/5.44 o 1528 9.49/5.44 o 1527 9.49/5.45 o 1526 9.49/5.45 o 1525 9.49/5.45 o 1524 9.49/5.45 o 1523 9.49/5.45 o 1522 9.49/5.45 o 1521 9.49/5.45 o 1520 9.49/5.45 o 1519 9.49/5.46 o 1518 9.49/5.46 o 1517 9.49/5.46 o 1516 9.49/5.46 o 1515 9.49/5.46 o 1514 9.49/5.46 o 1513 9.49/5.46 o 1512 9.49/5.46 o 1511 9.49/5.47 o 1510 9.49/5.47 o 1509 9.49/5.47 o 1508 9.49/5.47 o 1507 9.49/5.47 o 1506 9.49/5.47 o 1505 9.49/5.47 o 1504 9.49/5.47 o 1503 9.49/5.48 o 1502 9.49/5.48 o 1501 9.49/5.48 o 1500 9.49/5.48 o 1499 9.49/5.48 o 1498 9.49/5.49 o 1497 9.49/5.49 o 1496 9.49/5.49 o 1495 9.49/5.49 o 1494 9.49/5.49 o 1493 9.49/5.49 o 1492 9.60/5.50 o 1491 9.60/5.50 o 1490 9.60/5.50 o 1489 9.60/5.50 o 1488 9.60/5.50 o 1487 9.60/5.51 o 1486 9.60/5.51 o 1485 9.60/5.51 o 1484 9.60/5.51 o 1483 9.60/5.51 o 1482 9.60/5.51 o 1481 9.60/5.52 o 1480 9.60/5.52 o 1479 9.60/5.52 o 1478 9.60/5.52 o 1477 9.60/5.52 o 1476 9.60/5.53 o 1475 9.60/5.53 o 1474 9.60/5.53 o 1473 9.60/5.54 o 1472 9.60/5.54 o 1471 9.60/5.54 o 1470 9.60/5.54 o 1469 9.60/5.54 o 1468 9.60/5.54 o 1467 9.60/5.55 o 1466 9.60/5.55 o 1465 9.60/5.55 o 1464 9.60/5.55 o 1463 9.60/5.56 o 1462 9.60/5.56 o 1461 9.60/5.56 o 1460 9.60/5.56 o 1459 9.60/5.57 o 1458 9.60/5.57 o 1457 9.60/5.57 o 1456 9.60/5.57 o 1455 9.60/5.58 o 1454 9.60/5.58 o 1453 9.60/5.58 o 1452 9.60/5.58 o 1451 9.60/5.59 o 1450 9.60/5.59 o 1449 9.60/5.59 o 1448 9.60/5.59 o 1447 9.60/5.59 o 1446 9.60/5.59 o 1445 9.60/5.59 o 1444 9.79/5.60 o 1443 9.79/5.60 o 1442 9.79/5.60 o 1441 9.79/5.61 o 1440 9.79/5.61 o 1439 9.79/5.61 o 1438 9.79/5.61 o 1437 9.79/5.61 o 1436 9.79/5.61 o 1435 9.79/5.61 o 1434 9.79/5.62 o 1433 9.79/5.62 o 1432 9.79/5.62 o 1431 9.79/5.62 o 1430 9.79/5.63 o 1429 9.79/5.64 o 1428 9.79/5.64 o 1427 9.79/5.65 o 1426 9.79/5.66 o 1425 9.79/5.66 o 1424 9.79/5.66 o 1423 9.79/5.67 o 1422 9.79/5.67 o 1421 9.79/5.67 o 1420 9.79/5.69 o 1419 9.89/5.74 o 1418 9.89/5.74 o 1417 9.89/5.75 o 1416 9.89/5.75 o 1415 9.89/5.75 o 1414 9.89/5.76 o 1413 9.89/5.76 o 1412 9.89/5.76 o 1411 9.89/5.76 o 1410 9.89/5.77 o 1409 9.89/5.79 o 1408 9.89/5.80 o 1407 10.04/5.80 o 1406 10.04/5.83 o 1405 10.04/5.85 o 1404 10.04/5.86 o 1403 10.04/5.86 o 1402 10.04/5.86 o 1401 10.04/5.86 o 1400 11.05/6.80 o 1399 11.05/6.81 o 1398 11.05/6.81 o 1397 11.05/6.81 o 1396 11.05/6.85 o 1395 11.05/6.85 o 1394 11.05/6.86 o 1393 11.05/6.88 o 1392 11.05/6.89 o 1391 11.15/6.91 o 1390 11.15/6.94 o 1389 11.15/6.94 o 1388 11.15/6.96 o 1387 11.15/6.99 o 1386 11.15/6.99 o 1385 11.15/7.00 o 1384 11.15/7.00 o 1383 11.38/7.12 o 1382 11.38/7.14 o 1381 11.38/7.14 o 1380 12.29/8.05 o 1379 15.28/10.93 o 1378 15.49/11.11 o 1377 18.34/13.81 o 1376 18.34/13.81 o 1375 18.34/13.81 o 1374 18.44/13.94 o 1373 18.44/13.96 o 1372 18.44/13.96 o 1371 18.55/14.08 o 1370 18.55/14.09 o 1369 18.84/14.30 o 1368 18.84/14.33 o 1367 18.84/14.33 o 1366 18.84/14.33 o 1365 18.84/14.34 o 1364 18.94/14.46 o 1363 18.94/14.46 o 1362 18.94/14.46 o 1361 20.14/15.61 o 1360 20.14/15.61 o 1359 21.55/17.05 o 1358 22.84/18.36 o 1357 22.84/18.36 o 1356 23.74/19.23 o 1355 23.74/19.23 o 1354 24.15/19.60 o 1353 24.15/19.66 o 1352 25.05/20.53 o 1351 32.63/28.08 o 1350 32.92/28.33 o 1349 44.46/39.84 o 1348 44.56/39.90 o 1347 44.56/39.91 o 1346 44.56/39.91 o 1345 44.86/40.28 o 1344 44.86/40.29 o 1343 44.86/40.29 o 1342 48.08/43.48 o 1341 51.09/46.47 o 1340 51.09/46.47 o 1339 51.19/46.58 o 1338 58.50/53.84 o 1337 59.50/54.82 o 1336 61.90/57.26 o 1335 67.61/62.98 o 1334 72.91/68.21 o 1333 73.72/69.04 o 1332 73.91/69.29 o 1331 78.13/73.49 o 1330 80.23/75.55 o 1329 80.23/75.58 o 1328 94.06/89.35 o 1327 94.26/89.58 o 1326 94.26/89.58 o 1325 94.66/89.98 o 1324 152.01/147.27 o 1323 177.66/172.88 o 1322 179.28/174.47 o 1321 180.68/175.87 o 1320 241.46/236.58 o 1319 254.18/249.22 o 1318 328.20/323.13 o 1317 368.59/363.43 o 1316 371.69/366.58 o 1315 393.16/387.91 o 1314 434.11/428.80 o 1313 436.82/431.47 o 1312 2400.05/2390.50 s SATISFIABLE 2400.05/2390.51 v <instantiation> 2400.05/2390.51 v <list> 2400.05/2390.51 v x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[90] x[91] x[92] x[93] x[94] x[95] x[96] x[97] x[98] x[99] x[100] x[101] x[102] x[103] x[104] x[105] x[106] x[107] x[108] x[109] x[110] x[111] x[112] x[113] x[114] x[115] x[116] x[117] x[118] x[119] x[120] x[121] x[122] x[123] x[124] x[125] x[126] x[127] x[128] x[129] x[130] x[131] x[132] x[133] x[134] x[135] x[136] x[137] x[138] x[139] x[140] x[141] x[142] x[143] x[144] x[145] x[146] x[147] x[148] x[149] x[150] x[151] x[152] x[153] x[154] x[155] x[156] x[157] x[158] x[159] x[160] x[161] x[162] x[163] x[164] x[165] x[166] x[167] x[168] x[169] x[170] x[171] x[172] x[173] x[174] x[175] x[176] x[177] x[178] x[179] x[180] x[181] x[182] x[183] x[184] x[185] x[186] x[187] x[188] x[189] x[190] x[191] x[192] x[193] x[194] x[195] x[196] x[197] x[198] x[199] x[200] x[201] x[202] x[203] x[204] x[205] x[206] x[207] x[208] x[209] x[210] x[211] x[212] x[213] x[214] x[215] x[216] x[217] x[218] x[219] x[220] x[221] x[222] x[223] x[224] x[225] x[226] x[227] x[228] x[229] x[230] x[231] x[232] x[233] x[234] x[235] x[236] x[237] x[238] x[239] x[240] x[241] x[242] x[243] x[244] x[245] x[246] x[247] x[248] x[249] x[250] x[251] x[252] x[253] x[254] x[255] x[256] x[257] x[258] x[259] x[260] x[261] x[262] x[263] x[264] x[265] x[266] x[267] x[268] x[269] x[270] x[271] x[272] x[273] x[274] x[275] x[276] x[277] x[278] x[279] x[280] x[281] x[282] x[283] x[284] x[285] x[286] x[287] x[288] x[289] x[290] x[291] x[292] x[293] x[294] x[295] x[296] x[297] x[298] x[299] x[300] x[301] x[302] x[303] x[304] x[305] x[306] x[307] x[308] x[309] x[310] x[311] x[312] x[313] x[314] x[315] x[316] x[317] x[318] x[319] x[320] x[321] x[322] x[323] x[324] x[325] x[326] x[327] x[328] x[329] x[330] x[331] x[332] x[333] x[334] x[335] x[336] x[337] x[338] x[339] x[340] x[341] x[342] x[343] x[344] x[345] x[346] x[347] x[348] x[349] x[350] x[351] x[352] x[353] x[354] x[355] x[356] x[357] x[358] x[359] x[360] x[361] x[362] x[363] x[364] x[365] x[366] x[367] x[368] x[369] x[370] x[371] x[372] x[373] x[374] x[375] x[376] x[377] x[378] x[379] x[380] x[381] x[382] x[383] x[384] x[385] x[386] x[387] x[388] x[389] x[390] x[391] x[392] x[393] x[394] x[395] x[396] x[397] x[398] x[399] x[400] x[401] x[402] x[403] x[404] x[405] x[406] x[407] x[408] x[409] x[410] x[411] x[412] x[413] x[414] x[415] x[416] x[417] x[418] x[419] x[420] x[421] x[422] x[423] x[424] x[425] x[426] x[427] x[428] x[429] x[430] x[431] x[432] x[433] x[434] x[435] x[436] x[437] x[438] x[439] x[440] x[441] x[442] x[443] x[444] x[445] x[446] x[447] x[448] x[449] x[450] x[451] x[452] x[453] x[454] x[455] x[456] x[457] x[458] x[459] x[460] x[461] x[462] x[463] x[464] x[465] x[466] x[467] x[468] x[469] x[470] x[471] x[472] x[473] x[474] x[475] x[476] x[477] x[478] x[479] x[480] x[481] x[482] x[483] x[484] x[485] x[486] x[487] x[488] x[489] x[490] x[491] x[492] x[493] x[494] x[495] x[496] x[497] x[498] x[499] x[500] x[501] x[502] x[503] x[504] x[505] x[506] x[507] x[508] x[509] x[510] x[511] x[512] x[513] x[514] x[515] x[516] x[517] x[518] x[519] x[520] x[521] x[522] x[523] x[524] x[525] x[526] x[527] x[528] x[529] x[530] x[531] x[532] x[533] x[534] x[535] x[536] x[537] x[538] x[539] x[540] x[541] x[542] x[543] x[544] x[545] x[546] x[547] x[548] x[549] x[550] x[551] x[552] x[553] x[554] x[555] x[556] x[557] x[558] x[559] x[560] x[561] x[562] x[563] x[564] x[565] x[566] x[567] x[568] x[569] x[570] x[571] x[572] x[573] x[574] x[575] x[576] x[577] x[578] x[579] x[580] x[581] x[582] x[583] x[584] x[585] x[586] x[587] x[588] x[589] x[590] x[591] x[592] x[593] x[594] x[595] x[596] x[597] x[598] x[599] x[600] x[601] x[602] x[603] x[604] x[605] x[606] x[607] x[608] x[609] x[610] x[611] x[612] x[613] x[614] x[615] x[616] x[617] x[618] x[619] x[620] x[621] x[622] x[623] x[624] x[625] x[626] x[627] x[628] x[629] x[630] x[631] x[632] x[633] x[634] x[635] x[636] x[637] x[638] x[639] x[640] x[641] x[642] x[643] x[644] x[645] x[646] x[647] x[648] x[649] x[650] x[651] x[652] x[653] x[654] x[655] x[656] x[657] x[658] x[659] x[660] x[661] x[662] x[663] x[664] x[665] x[666] x[667] x[668] x[669] x[670] x[671] x[672] x[673] x[674] x[675] x[676] x[677] x[678] x[679] x[680] x[681] x[682] x[683] x[684] x[685] x[686] x[687] x[688] x[689] x[690] x[691] x[692] x[693] x[694] x[695] x[696] x[697] x[698] x[699] x[700] x[701] x[702] x[703] x[704] x[705] x[706] x[707] x[708] x[709] x[710] x[711] x[712] x[713] x[714] x[715] x[716] x[717] x[718] x[719] x[720] x[721] x[722] x[723] x[724] x[725] x[726] x[727] x[728] x[729] x[730] x[731] x[732] x[733] x[734] x[735] x[736] x[737] x[738] x[739] x[740] x[741] x[742] x[743] x[744] x[745] x[746] x[747] x[748] x[749] x[750] x[751] x[752] x[753] x[754] x[755] x[756] x[757] x[758] x[759] x[760] x[761] x[762] x[763] x[764] x[765] x[766] x[767] x[768] x[769] x[770] x[771] x[772] x[773] x[774] x[775] x[776] x[777] x[778] x[779] x[780] x[781] x[782] x[783] x[784] x[785] x[786] x[787] x[788] x[789] x[790] x[791] x[792] x[793] x[794] x[795] x[796] x[797] x[798] x[799] x[800] x[801] x[802] x[803] x[804] x[805] x[806] x[807] x[808] x[809] x[810] x[811] x[812] x[813] x[814] x[815] x[816] x[817] x[818] x[819] x[820] x[821] x[822] x[823] x[824] x[825] x[826] x[827] x[828] x[829] x[830] x[831] x[832] x[833] x[834] x[835] x[836] x[837] x[838] x[839] x[840] x[841] x[842] x[843] x[844] x[845] x[846] x[847] x[848] x[849] x[850] x[851] x[852] x[853] x[854] x[855] x[856] x[857] x[858] x[859] x[860] x[861] x[862] x[863] x[864] x[865] x[866] x[867] x[868] x[869] x[870] x[871] x[872] x[873] x[874] x[875] x[876] x[877] x[878] x[879] x[880] x[881] x[882] x[883] x[884] x[885] x[886] x[887] x[888] x[889] x[890] x[891] x[892] x[893] x[894] x[895] x[896] x[897] x[898] x[899] x[900] x[901] x[902] x[903] x[904] x[905] x[906] x[907] x[908] x[909] x[910] x[911] x[912] x[913] x[914] x[915] x[916] x[917] x[918] x[919] x[920] x[921] x[922] x[923] x[924] x[925] x[926] x[927] x[928] x[929] x[930] x[931] x[932] x[933] x[934] x[935] x[936] x[937] x[938] x[939] x[940] x[941] x[942] x[943] x[944] x[945] x[946] x[947] x[948] x[949] x[950] x[951] x[952] x[953] x[954] x[955] x[956] x[957] x[958] x[959] x[960] x[961] x[962] x[963] x[964] x[965] x[966] x[967] x[968] x[969] x[970] x[971] x[972] x[973] x[974] x[975] x[976] x[977] x[978] x[979] x[980] x[981] x[982] x[983] x[984] x[985] x[986] x[987] x[988] x[989] x[990] x[991] x[992] x[993] x[994] x[995] x[996] x[997] x[998] x[999] x[1000] x[1001] x[1002] x[1003] x[1004] x[1005] x[1006] x[1007] x[1008] x[1009] x[1010] x[1011] x[1012] x[1013] x[1014] x[1015] x[1016] x[1017] x[1018] x[1019] x[1020] x[1021] x[1022] x[1023] x[1024] x[1025] x[1026] x[1027] x[1028] x[1029] x[1030] x[1031] x[1032] x[1033] x[1034] x[1035] x[1036] x[1037] x[1038] x[1039] x[1040] x[1041] x[1042] x[1043] x[1044] x[1045] x[1046] x[1047] x[1048] x[1049] x[1050] x[1051] x[1052] x[1053] x[1054] x[1055] x[1056] x[1057] x[1058] x[1059] x[1060] x[1061] x[1062] x[1063] x[1064] x[1065] x[1066] x[1067] x[1068] x[1069] x[1070] x[1071] x[1072] x[1073] x[1074] x[1075] x[1076] x[1077] x[1078] x[1079] x[1080] x[1081] x[1082] x[1083] x[1084] x[1085] x[1086] x[1087] x[1088] x[1089] x[1090] x[1091] x[1092] x[1093] x[1094] x[1095] x[1096] x[1097] x[1098] x[1099] x[1100] x[1101] x[1102] x[1103] x[1104] x[1105] x[1106] x[1107] x[1108] x[1109] x[1110] x[1111] x[1112] x[1113] x[1114] x[1115] x[1116] x[1117] x[1118] x[1119] x[1120] x[1121] x[1122] x[1123] x[1124] x[1125] x[1126] x[1127] x[1128] x[1129] x[1130] x[1131] x[1132] x[1133] x[1134] x[1135] x[1136] x[1137] x[1138] x[1139] x[1140] x[1141] x[1142] x[1143] x[1144] x[1145] x[1146] x[1147] x[1148] x[1149] x[1150] x[1151] x[1152] x[1153] x[1154] x[1155] x[1156] x[1157] x[1158] x[1159] x[1160] x[1161] x[1162] x[1163] x[1164] x[1165] x[1166] x[1167] x[1168] x[1169] x[1170] x[1171] x[1172] x[1173] x[1174] x[1175] x[1176] x[1177] x[1178] x[1179] x[1180] x[1181] x[1182] x[1183] x[1184] x[1185] x[1186] x[1187] x[1188] x[1189] x[1190] x[1191] x[1192] x[1193] x[1194] x[1195] x[1196] x[1197] x[1198] x[1199] x[1200] x[1201] x[1202] x[1203] x[1204] x[1205] x[1206] x[1207] x[1208] x[1209] x[1210] x[1211] x[1212] x[1213] x[1214] x[1215] x[1216] x[1217] x[1218] x[1219] x[1220] x[1221] x[1222] x[1223] x[1224] x[1225] x[1226] x[1227] x[1228] x[1229] x[1230] x[1231] x[1232] x[1233] x[1234] x[1235] x[1236] x[1237] x[1238] x[1239] x[1240] x[1241] x[1242] x[1243] x[1244] x[1245] x[1246] x[1247] x[1248] x[1249] x[1250] x[1251] x[1252] x[1253] x[1254] x[1255] x[1256] x[1257] x[1258] x[1259] x[1260] x[1261] x[1262] x[1263] x[1264] x[1265] x[1266] x[1267] x[1268] x[1269] x[1270] x[1271] x[1272] x[1273] x[1274] x[1275] x[1276] x[1277] x[1278] x[1279] x[1280] x[1281] x[1282] x[1283] x[1284] x[1285] x[1286] x[1287] x[1288] x[1289] x[1290] x[1291] x[1292] x[1293] x[1294] x[1295] x[1296] x[1297] x[1298] x[1299] x[1300] x[1301] x[1302] x[1303] x[1304] x[1305] x[1306] x[1307] x[1308] x[1309] x[1310] x[1311] x[1312] x[1313] x[1314] x[1315] x[1316] x[1317] x[1318] x[1319] x[1320] x[1321] x[1322] x[1323] x[1324] x[1325] x[1326] x[1327] x[1328] x[1329] x[1330] x[1331] x[1332] x[1333] x[1334] x[1335] x[1336] x[1337] x[1338] x[1339] x[1340] x[1341] x[1342] x[1343] x[1344] x[1345] x[1346] x[1347] x[1348] x[1349] x[1350] x[1351] x[1352] x[1353] x[1354] x[1355] x[1356] x[1357] x[1358] x[1359] x[1360] x[1361] x[1362] x[1363] x[1364] x[1365] x[1366] x[1367] x[1368] x[1369] x[1370] x[1371] x[1372] x[1373] x[1374] x[1375] x[1376] x[1377] x[1378] x[1379] x[1380] x[1381] x[1382] x[1383] x[1384] x[1385] x[1386] x[1387] x[1388] x[1389] x[1390] x[1391] x[1392] x[1393] x[1394] x[1395] x[1396] x[1397] x[1398] x[1399] x[1400] x[1401] x[1402] x[1403] x[1404] x[1405] x[1406] x[1407] x[1408] x[1409] x[1410] x[1411] x[1412] x[1413] x[1414] x[1415] x[1416] x[1417] x[1418] x[1419] x[1420] x[1421] x[1422] x[1423] x[1424] x[1425] x[1426] x[1427] x[1428] x[1429] x[1430] x[1431] x[1432] x[1433] x[1434] x[1435] x[1436] x[1437] x[1438] x[1439] x[1440] x[1441] x[1442] x[1443] x[1444] x[1445] x[1446] x[1447] x[1448] x[1449] x[1450] x[1451] x[1452] x[1453] x[1454] x[1455] x[1456] x[1457] x[1458] x[1459] x[1460] x[1461] x[1462] x[1463] x[1464] x[1465] x[1466] x[1467] x[1468] x[1469] x[1470] x[1471] x[1472] x[1473] x[1474] x[1475] x[1476] x[1477] x[1478] x[1479] x[1480] x[1481] x[1482] x[1483] x[1484] x[1485] x[1486] x[1487] x[1488] x[1489] x[1490] x[1491] x[1492] x[1493] x[1494] x[1495] x[1496] x[1497] x[1498] x[1499] x[1500] x[1501] x[1502] x[1503] x[1504] x[1505] x[1506] x[1507] x[1508] x[1509] x[1510] x[1511] x[1512] x[1513] x[1514] x[1515] x[1516] x[1517] x[1518] x[1519] x[1520] x[1521] x[1522] x[1523] x[1524] x[1525] x[1526] x[1527] x[1528] x[1529] x[1530] x[1531] x[1532] x[1533] x[1534] x[1535] x[1536] x[1537] x[1538] x[1539] x[1540] x[1541] x[1542] x[1543] x[1544] x[1545] x[1546] x[1547] x[1548] x[1549] x[1550] x[1551] x[1552] x[1553] x[1554] x[1555] x[1556] x[1557] x[1558] x[1559] x[1560] x[1561] x[1562] x[1563] x[1564] x[1565] x[1566] x[1567] x[1568] x[1569] x[1570] x[1571] x[1572] x[1573] x[1574] x[1575] x[1576] x[1577] x[1578] x[1579] x[1580] x[1581] x[1582] x[1583] x[1584] x[1585] x[1586] x[1587] x[1588] x[1589] x[1590] x[1591] x[1592] x[1593] x[1594] x[1595] x[1596] x[1597] x[1598] x[1599] x[1600] x[1601] x[1602] x[1603] x[1604] x[1605] x[1606] x[1607] x[1608] x[1609] x[1610] x[1611] x[1612] x[1613] x[1614] x[1615] x[1616] x[1617] x[1618] x[1619] x[1620] x[1621] x[1622] x[1623] x[1624] x[1625] x[1626] x[1627] x[1628] x[1629] x[1630] x[1631] x[1632] x[1633] x[1634] x[1635] x[1636] x[1637] x[1638] x[1639] x[1640] x[1641] x[1642] x[1643] x[1644] x[1645] x[1646] x[1647] x[1648] x[1649] x[1650] x[1651] x[1652] x[1653] x[1654] x[1655] x[1656] x[1657] x[1658] x[1659] x[1660] x[1661] x[1662] x[1663] x[1664] x[1665] x[1666] x[1667] x[1668] x[1669] x[1670] x[1671] x[1672] x[1673] x[1674] x[1675] x[1676] x[1677] x[1678] x[1679] x[1680] x[1681] x[1682] x[1683] x[1684] x[1685] x[1686] x[1687] x[1688] x[1689] x[1690] x[1691] x[1692] x[1693] x[1694] x[1695] x[1696] x[1697] x[1698] x[1699] x[1700] x[1701] x[1702] x[1703] x[1704] x[1705] x[1706] x[1707] x[1708] x[1709] x[1710] x[1711] x[1712] x[1713] x[1714] x[1715] x[1716] x[1717] x[1718] x[1719] x[1720] x[1721] x[1722] x[1723] x[1724] x[1725] x[1726] x[1727] x[1728] x[1729] x[1730] x[1731] x[1732] x[1733] x[1734] x[1735] x[1736] x[1737] x[1738] x[1739] x[1740] x[1741] x[1742] x[1743] x[1744] x[1745] x[1746] x[1747] x[1748] x[1749] x[1750] x[1751] x[1752] x[1753] x[1754] x[1755] x[1756] x[1757] x[1758] x[1759] x[1760] x[1761] x[1762] x[1763] x[1764] x[1765] x[1766] x[1767] x[1768] x[1769] x[1770] x[1771] x[1772] x[1773] x[1774] x[1775] x[1776] x[1777] x[1778] x[1779] x[1780] x[1781] x[1782] x[1783] x[1784] x[1785] x[1786] x[1787] x[1788] x[1789] x[1790] x[1791] x[1792] x[1793] x[1794] x[1795] x[1796] x[1797] x[1798] x[1799] x[1800] x[1801] x[1802] x[1803] x[1804] x[1805] x[1806] x[1807] x[1808] x[1809] x[1810] x[1811] x[1812] x[1813] x[1814] x[1815] x[1816] x[1817] x[1818] x[1819] x[1820] x[1821] x[1822] x[1823] x[1824] x[1825] x[1826] x[1827] x[1828] x[1829] x[1830] x[1831] x[1832] x[1833] x[1834] x[1835] x[1836] x[1837] x[1838] x[1839] x[1840] x[1841] x[1842] x[1843] x[1844] x[1845] x[1846] x[1847] x[1848] x[1849] x[1850] x[1851] x[1852] x[1853] x[1854] x[1855] x[1856] x[1857] x[1858] x[1859] x[1860] x[1861] x[1862] x[1863] x[1864] x[1865] x[1866] x[1867] x[1868] x[1869] x[1870] x[1871] x[1872] x[1873] x[1874] x[1875] x[1876] x[1877] x[1878] x[1879] x[1880] x[1881] x[1882] x[1883] x[1884] x[1885] x[1886] x[1887] x[1888] x[1889] x[1890] x[1891] x[1892] x[1893] x[1894] x[1895] x[1896] x[1897] x[1898] x[1899] x[1900] x[1901] x[1902] x[1903] x[1904] x[1905] x[1906] x[1907] x[1908] x[1909] x[1910] x[1911] x[1912] x[1913] x[1914] x[1915] x[1916] x[1917] x[1918] x[1919] x[1920] x[1921] x[1922] x[1923] x[1924] x[1925] x[1926] x[1927] x[1928] x[1929] x[1930] x[1931] x[1932] x[1933] x[1934] x[1935] x[1936] x[1937] x[1938] x[1939] x[1940] x[1941] x[1942] x[1943] x[1944] x[1945] x[1946] x[1947] x[1948] x[1949] x[1950] x[1951] x[1952] x[1953] x[1954] x[1955] x[1956] x[1957] x[1958] x[1959] x[1960] x[1961] x[1962] x[1963] x[1964] x[1965] x[1966] x[1967] x[1968] x[1969] x[1970] x[1971] x[1972] x[1973] x[1974] x[1975] x[1976] x[1977] x[1978] x[1979] x[1980] x[1981] x[1982] x[1983] x[1984] x[1985] x[1986] x[1987] x[1988] x[1989] x[1990] x[1991] x[1992] x[1993] x[1994] x[1995] x[1996] x[1997] x[1998] x[1999] x[2000] x[2001] x[2002] x[2003] x[2004] x[2005] x[2006] x[2007] x[2008] x[2009] x[2010] x[2011] x[2012] x[2013] x[2014] x[2015] x[2016] x[2017] x[2018] x[2019] x[2020] x[2021] x[2022] x[2023] x[2024] x[2025] x[2026] x[2027] x[2028] x[2029] x[2030] x[2031] x[2032] x[2033] x[2034] x[2035] x[2036] x[2037] x[2038] x[2039] x[2040] x[2041] x[2042] x[2043] x[2044] x[2045] x[2046] x[2047] x[2048] x[2049] x[2050] x[2051] x[2052] x[2053] x[2054] x[2055] x[2056] x[2057] x[2058] x[2059] x[2060] x[2061] x[2062] x[2063] x[2064] x[2065] x[2066] x[2067] x[2068] x[2069] x[2070] x[2071] x[2072] x[2073] x[2074] x[2075] x[2076] x[2077] x[2078] x[2079] x[2080] x[2081] x[2082] x[2083] x[2084] x[2085] x[2086] x[2087] x[2088] x[2089] x[2090] x[2091] x[2092] x[2093] x[2094] x[2095] x[2096] x[2097] x[2098] x[2099] x[2100] x[2101] x[2102] x[2103] x[2104] x[2105] x[2106] x[2107] x[2108] x[2109] x[2110] x[2111] x[2112] x[2113] x[2114] x[2115] x[2116] x[2117] x[2118] x[2119] x[2120] x[2121] x[2122] x[2123] x[2124] x[2125] x[2126] x[2127] x[2128] x[2129] x[2130] x[2131] x[2132] x[2133] x[2134] x[2135] x[2136] x[2137] x[2138] x[2139] x[2140] x[2141] x[2142] x[2143] x[2144] x[2145] x[2146] x[2147] x[2148] x[2149] x[2150] x[2151] x[2152] x[2153] x[2154] x[2155] x[2156] x[2157] x[2158] x[2159] x[2160] x[2161] x[2162] x[2163] x[2164] x[2165] x[2166] x[2167] x[2168] x[2169] x[2170] x[2171] x[2172] x[2173] x[2174] x[2175] x[2176] x[2177] x[2178] x[2179] x[2180] x[2181] x[2182] x[2183] x[2184] x[2185] x[2186] x[2187] x[2188] x[2189] x[2190] x[2191] x[2192] x[2193] x[2194] x[2195] x[2196] x[2197] x[2198] x[2199] x[2200] x[2201] x[2202] x[2203] x[2204] x[2205] x[2206] x[2207] x[2208] x[2209] x[2210] x[2211] x[2212] x[2213] x[2214] x[2215] x[2216] x[2217] x[2218] x[2219] x[2220] x[2221] x[2222] x[2223] x[2224] x[2225] x[2226] x[2227] x[2228] x[2229] x[2230] x[2231] x[2232] x[2233] x[2234] x[2235] x[2236] x[2237] x[2238] x[2239] x[2240] x[2241] x[2242] x[2243] x[2244] x[2245] x[2246] x[2247] x[2248] x[2249] x[2250] x[2251] x[2252] x[2253] x[2254] x[2255] x[2256] x[2257] x[2258] x[2259] x[2260] x[2261] x[2262] x[2263] x[2264] x[2265] x[2266] x[2267] x[2268] x[2269] x[2270] x[2271] x[2272] x[2273] x[2274] x[2275] x[2276] x[2277] x[2278] x[2279] x[2280] x[2281] x[2282] x[2283] x[2284] x[2285] x[2286] x[2287] x[2288] x[2289] x[2290] x[2291] x[2292] x[2293] x[2294] x[2295] x[2296] x[2297] x[2298] x[2299] x[2300] x[2301] x[2302] x[2303] x[2304] x[2305] x[2306] x[2307] x[2308] x[2309] x[2310] x[2311] x[2312] x[2313] x[2314] x[2315] x[2316] x[2317] x[2318] x[2319] x[2320] x[2321] x[2322] x[2323] x[2324] x[2325] x[2326] x[2327] x[2328] x[2329] x[2330] x[2331] x[2332] x[2333] x[2334] x[2335] x[2336] x[2337] x[2338] x[2339] x[2340] x[2341] x[2342] x[2343] x[2344] x[2345] x[2346] x[2347] x[2348] x[2349] x[2350] x[2351] x[2352] x[2353] x[2354] x[2355] x[2356] x[2357] x[2358] x[2359] x[2360] x[2361] x[2362] x[2363] x[2364] x[2365] x[2366] x[2367] x[2368] x[2369] x[2370] x[2371] x[2372] x[2373] x[2374] x[2375] x[2376] x[2377] x[2378] x[2379] x[2380] x[2381] x[2382] x[2383] x[2384] x[2385] x[2386] x[2387] x[2388] x[2389] x[2390] x[2391] x[2392] x[2393] x[2394] x[2395] x[2396] x[2397] x[2398] x[2399] x[2400] x[2401] x[2402] x[2403] x[2404] x[2405] x[2406] x[2407] x[2408] x[2409] x[2410] x[2411] x[2412] x[2413] x[2414] x[2415] x[2416] x[2417] x[2418] x[2419] x[2420] x[2421] x[2422] x[2423] x[2424] x[2425] x[2426] x[2427] x[2428] x[2429] x[2430] x[2431] x[2432] x[2433] x[2434] x[2435] x[2436] x[2437] x[2438] x[2439] x[2440] x[2441] x[2442] x[2443] x[2444] x[2445] x[2446] x[2447] x[2448] x[2449] x[2450] x[2451] x[2452] x[2453] x[2454] x[2455] x[2456] x[2457] x[2458] x[2459] x[2460] x[2461] x[2462] x[2463] x[2464] x[2465] x[2466] x[2467] x[2468] x[2469] x[2470] x[2471] x[2472] x[2473] x[2474] x[2475] x[2476] x[2477] x[2478] x[2479] x[2480] x[2481] x[2482] x[2483] x[2484] x[2485] x[2486] x[2487] x[2488] x[2489] x[2490] x[2491] x[2492] x[2493] x[2494] x[2495] x[2496] x[2497] x[2498] x[2499] x[2500] x[2501] x[2502] x[2503] x[2504] x[2505] x[2506] x[2507] x[2508] x[2509] x[2510] x[2511] x[2512] x[2513] x[2514] x[2515] x[2516] x[2517] x[2518] x[2519] x[2520] x[2521] x[2522] x[2523] x[2524] x[2525] x[2526] x[2527] x[2528] x[2529] x[2530] x[2531] x[2532] x[2533] x[2534] x[2535] x[2536] x[2537] x[2538] x[2539] x[2540] x[2541] x[2542] x[2543] x[2544] x[2545] x[2546] x[2547] x[2548] x[2549] x[2550] x[2551] x[2552] x[2553] x[2554] x[2555] x[2556] x[2557] x[2558] x[2559] x[2560] x[2561] x[2562] x[2563] x[2564] x[2565] x[2566] x[2567] x[2568] x[2569] x[2570] x[2571] x[2572] x[2573] x[2574] x[2575] x[2576] x[2577] x[2578] x[2579] x[2580] x[2581] x[2582] x[2583] x[2584] x[2585] x[2586] x[2587] x[2588] x[2589] x[2590] x[2591] x[2592] x[2593] x[2594] x[2595] x[2596] x[2597] x[2598] x[2599] x[2600] x[2601] x[2602] x[2603] x[2604] x[2605] x[2606] x[2607] x[2608] x[2609] x[2610] x[2611] x[2612] x[2613] x[2614] x[2615] x[2616] x[2617] x[2618] x[2619] x[2620] x[2621] x[2622] x[2623] x[2624] x[2625] x[2626] x[2627] x[2628] x[2629] x[2630] x[2631] x[2632] x[2633] x[2634] x[2635] x[2636] x[2637] x[2638] x[2639] x[2640] x[2641] x[2642] x[2643] x[2644] x[2645] x[2646] x[2647] x[2648] x[2649] x[2650] x[2651] x[2652] x[2653] x[2654] x[2655] x[2656] x[2657] x[2658] x[2659] x[2660] x[2661] x[2662] x[2663] x[2664] x[2665] x[2666] x[2667] x[2668] x[2669] x[2670] x[2671] x[2672] x[2673] x[2674] x[2675] x[2676] x[2677] x[2678] x[2679] x[2680] x[2681] x[2682] x[2683] x[2684] x[2685] x[2686] x[2687] x[2688] x[2689] x[2690] x[2691] x[2692] x[2693] x[2694] x[2695] x[2696] x[2697] x[2698] x[2699] x[2700] x[2701] x[2702] x[2703] x[2704] x[2705] x[2706] x[2707] x[2708] x[2709] x[2710] x[2711] x[2712] x[2713] x[2714] x[2715] x[2716] x[2717] x[2718] x[2719] x[2720] x[2721] x[2722] x[2723] x[2724] x[2725] x[2726] x[2727] x[2728] x[2729] x[2730] x[2731] x[2732] x[2733] x[2734] x[2735] x[2736] x[2737] x[2738] x[2739] x[2740] x[2741] x[2742] x[2743] x[2744] x[2745] x[2746] x[2747] x[2748] x[2749] x[2750] x[2751] x[2752] x[2753] x[2754] x[2755] x[2756] x[2757] x[2758] x[2759] x[2760] x[2761] x[2762] x[2763] x[2764] x[2765] x[2766] x[2767] x[2768] x[2769] x[2770] x[2771] x[2772] x[2773] x[2774] x[2775] x[2776] x[2777] x[2778] x[2779] x[2780] x[2781] x[2782] x[2783] x[2784] x[2785] x[2786] x[2787] x[2788] x[2789] x[2790] x[2791] x[2792] x[2793] x[2794] x[2795] x[2796] x[2797] x[2798] x[2799] x[2800] x[2801] x[2802] x[2803] x[2804] x[2805] x[2806] x[2807] x[2808] x[2809] x[2810] x[2811] x[2812] x[2813] x[2814] x[2815] x[2816] x[2817] x[2818] x[2819] x[2820] x[2821] x[2822] x[2823] x[2824] x[2825] x[2826] x[2827] x[2828] x[2829] x[2830] x[2831] x[2832] x[2833] x[2834] x[2835] x[2836] x[2837] x[2838] x[2839] x[2840] x[2841] x[2842] x[2843] x[2844] x[2845] x[2846] x[2847] x[2848] x[2849] x[2850] x[2851] x[2852] x[2853] x[2854] x[2855] x[2856] x[2857] x[2858] x[2859] x[2860] x[2861] x[2862] x[2863] x[2864] x[2865] x[2866] x[2867] x[2868] x[2869] x[2870] x[2871] x[2872] x[2873] x[2874] x[2875] x[2876] x[2877] x[2878] x[2879] x[2880] x[2881] x[2882] x[2883] x[2884] x[2885] x[2886] x[2887] x[2888] x[2889] x[2890] x[2891] x[2892] x[2893] x[2894] x[2895] x[2896] x[2897] x[2898] x[2899] x[2900] x[2901] x[2902] x[2903] x[2904] x[2905] x[2906] x[2907] x[2908] x[2909] x[2910] x[2911] x[2912] x[2913] x[2914] x[2915] x[2916] x[2917] x[2918] x[2919] x[2920] x[2921] x[2922] x[2923] x[2924] x[2925] x[2926] x[2927] x[2928] x[2929] x[2930] x[2931] x[2932] x[2933] x[2934] x[2935] x[2936] x[2937] x[2938] x[2939] x[2940] x[2941] x[2942] x[2943] x[2944] x[2945] x[2946] x[2947] x[2948] x[2949] x[2950] x[2951] x[2952] x[2953] x[2954] x[2955] x[2956] x[2957] x[2958] x[2959] x[2960] x[2961] x[2962] x[2963] x[2964] x[2965] x[2966] x[2967] x[2968] x[2969] x[2970] x[2971] x[2972] x[2973] x[2974] x[2975] x[2976] x[2977] x[2978] x[2979] x[2980] x[2981] x[2982] x[2983] x[2984] x[2985] x[2986] x[2987] x[2988] x[2989] x[2990] x[2991] x[2992] x[2993] x[2994] x[2995] x[2996] x[2997] x[2998] x[2999] x[3000] x[3001] x[3002] x[3003] x[3004] x[3005] x[3006] x[3007] x[3008] x[3009] x[3010] x[3011] x[3012] x[3013] x[3014] x[3015] x[3016] x[3017] x[3018] x[3019] x[3020] x[3021] x[3022] x[3023] x[3024] x[3025] x[3026] x[3027] x[3028] x[3029] x[3030] x[3031] x[3032] x[3033] x[3034] x[3035] x[3036] x[3037] x[3038] x[3039] x[3040] x[3041] x[3042] x[3043] x[3044] x[3045] x[3046] x[3047] x[3048] x[3049] x[3050] x[3051] x[3052] x[3053] x[3054] x[3055] x[3056] x[3057] x[3058] x[3059] x[3060] x[3061] x[3062] x[3063] x[3064] x[3065] x[3066] x[3067] x[3068] x[3069] x[3070] x[3071] x[3072] x[3073] x[3074] x[3075] x[3076] x[3077] x[3078] x[3079] x[3080] x[3081] x[3082] x[3083] x[3084] x[3085] x[3086] x[3087] x[3088] x[3089] x[3090] x[3091] x[3092] x[3093] x[3094] x[3095] x[3096] x[3097] x[3098] x[3099] x[3100] x[3101] x[3102] x[3103] x[3104] x[3105] x[3106] x[3107] x[3108] x[3109] x[3110] x[3111] x[3112] x[3113] x[3114] x[3115] x[3116] x[3117] x[3118] x[3119] x[3120] x[3121] x[3122] x[3123] x[3124] x[3125] x[3126] x[3127] x[3128] x[3129] x[3130] x[3131] x[3132] x[3133] x[3134] x[3135] x[3136] x[3137] x[3138] x[3139] x[3140] x[3141] x[3142] x[3143] x[3144] x[3145] x[3146] x[3147] x[3148] x[3149] x[3150] x[3151] x[3152] x[3153] x[3154] x[3155] x[3156] x[3157] x[3158] x[3159] x[3160] x[3161] x[3162] x[3163] x[3164] x[3165] x[3166] x[3167] x[3168] x[3169] x[3170] x[3171] x[3172] x[3173] x[3174] x[3175] x[3176] x[3177] x[3178] x[3179] x[3180] x[3181] x[3182] x[3183] x[3184] x[3185] x[3186] x[3187] x[3188] x[3189] x[3190] x[3191] x[3192] x[3193] x[3194] x[3195] x[3196] x[3197] x[3198] x[3199] x[3200] x[3201] x[3202] x[3203] x[3204] x[3205] x[3206] x[3207] x[3208] x[3209] x[3210] x[3211] x[3212] x[3213] x[3214] x[3215] x[3216] x[3217] x[3218] x[3219] x[3220] x[3221] x[3222] x[3223] x[3224] x[3225] x[3226] x[3227] x[3228] x[3229] x[3230] x[3231] x[3232] x[3233] x[3234] x[3235] x[3236] x[3237] x[3238] x[3239] x[3240] x[3241] x[3242] x[3243] x[3244] x[3245] x[3246] x[3247] x[3248] x[3249] x[3250] x[3251] x[3252] x[3253] x[3254] x[3255] x[3256] x[3257] x[3258] x[3259] x[3260] x[3261] x[3262] x[3263] x[3264] x[3265] x[3266] x[3267] x[3268] x[3269] x[3270] x[3271] x[3272] x[3273] x[3274] x[3275] x[3276] x[3277] x[3278] x[3279] x[3280] x[3281] x[3282] x[3283] x[3284] x[3285] x[3286] x[3287] x[3288] x[3289] x[3290] x[3291] x[3292] x[3293] x[3294] x[3295] x[3296] x[3297] x[3298] x[3299] x[3300] x[3301] x[3302] x[3303] x[3304] x[3305] x[3306] x[3307] x[3308] x[3309] x[3310] x[3311] x[3312] x[3313] x[3314] x[3315] x[3316] x[3317] x[3318] x[3319] x[3320] x[3321] x[3322] x[3323] x[3324] x[3325] x[3326] x[3327] x[3328] x[3329] x[3330] x[3331] x[3332] x[3333] x[3334] x[3335] x[3336] x[3337] x[3338] x[3339] x[3340] x[3341] x[3342] x[3343] x[3344] x[3345] x[3346] x[3347] x[3348] x[3349] x[3350] x[3351] x[3352] x[3353] x[3354] x[3355] x[3356] x[3357] x[3358] x[3359] x[3360] x[3361] x[3362] x[3363] x[3364] x[3365] x[3366] x[3367] x[3368] x[3369] x[3370] x[3371] x[3372] x[3373] x[3374] x[3375] x[3376] x[3377] x[3378] x[3379] x[3380] x[3381] x[3382] x[3383] x[3384] x[3385] x[3386] x[3387] x[3388] x[3389] x[3390] x[3391] x[3392] x[3393] x[3394] x[3395] x[3396] x[3397] x[3398] x[3399] x[3400] x[3401] x[3402] x[3403] x[3404] x[3405] x[3406] x[3407] x[3408] x[3409] x[3410] x[3411] x[3412] x[3413] x[3414] x[3415] x[3416] x[3417] x[3418] x[3419] x[3420] x[3421] x[3422] x[3423] x[3424] x[3425] x[3426] x[3427] x[3428] x[3429] x[3430] x[3431] x[3432] x[3433] x[3434] x[3435] x[3436] x[3437] x[3438] x[3439] x[3440] x[3441] x[3442] x[3443] x[3444] x[3445] x[3446] x[3447] x[3448] x[3449] x[3450] x[3451] x[3452] x[3453] x[3454] x[3455] x[3456] x[3457] x[3458] x[3459] x[3460] x[3461] x[3462] x[3463] x[3464] x[3465] x[3466] x[3467] x[3468] x[3469] x[3470] x[3471] x[3472] x[3473] x[3474] x[3475] x[3476] x[3477] x[3478] x[3479] x[3480] x[3481] x[3482] x[3483] x[3484] x[3485] x[3486] x[3487] x[3488] x[3489] x[3490] x[3491] x[3492] x[3493] x[3494] x[3495] x[3496] x[3497] x[3498] x[3499] x[3500] x[3501] x[3502] x[3503] x[3504] x[3505] x[3506] x[3507] x[3508] x[3509] x[3510] x[3511] x[3512] x[3513] x[3514] x[3515] x[3516] x[3517] x[3518] x[3519] x[3520] x[3521] x[3522] x[3523] x[3524] x[3525] x[3526] x[3527] x[3528] x[3529] x[3530] x[3531] x[3532] x[3533] x[3534] x[3535] x[3536] x[3537] x[3538] x[3539] x[3540] x[3541] x[3542] x[3543] x[3544] x[3545] x[3546] x[3547] x[3548] x[3549] x[3550] x[3551] x[3552] x[3553] x[3554] x[3555] x[3556] x[3557] x[3558] x[3559] x[3560] x[3561] x[3562] x[3563] x[3564] x[3565] x[3566] x[3567] x[3568] x[3569] x[3570] x[3571] x[3572] x[3573] x[3574] x[3575] x[3576] x[3577] x[3578] x[3579] x[3580] x[3581] x[3582] x[3583] x[3584] x[3585] x[3586] x[3587] x[3588] x[3589] x[3590] x[3591] x[3592] x[3593] x[3594] x[3595] x[3596] x[3597] x[3598] x[3599] x[3600] x[3601] x[3602] x[3603] x[3604] x[3605] x[3606] x[3607] x[3608] x[3609] x[3610] x[3611] x[3612] x[3613] x[3614] x[3615] x[3616] x[3617] x[3618] x[3619] x[3620] x[3621] x[3622] x[3623] x[3624] x[3625] x[3626] x[3627] x[3628] x[3629] x[3630] x[3631] x[3632] x[3633] x[3634] x[3635] x[3636] x[3637] x[3638] x[3639] x[3640] x[3641] x[3642] x[3643] x[3644] x[3645] x[3646] x[3647] x[3648] x[3649] x[3650] x[3651] x[3652] x[3653] x[3654] x[3655] x[3656] x[3657] x[3658] x[3659] x[3660] x[3661] x[3662] x[3663] x[3664] x[3665] x[3666] x[3667] x[3668] x[3669] x[3670] x[3671] x[3672] x[3673] x[3674] x[3675] x[3676] x[3677] x[3678] x[3679] x[3680] x[3681] x[3682] x[3683] x[3684] x[3685] x[3686] x[3687] x[3688] x[3689] x[3690] x[3691] x[3692] x[3693] x[3694] x[3695] x[3696] x[3697] x[3698] x[3699] x[3700] x[3701] x[3702] x[3703] x[3704] x[3705] x[3706] x[3707] x[3708] x[3709] x[3710] x[3711] x[3712] x[3713] x[3714] x[3715] x[3716] x[3717] x[3718] x[3719] x[3720] x[3721] x[3722] x[3723] x[3724] x[3725] x[3726] x[3727] x[3728] x[3729] x[3730] x[3731] x[3732] x[3733] x[3734] x[3735] x[3736] x[3737] x[3738] x[3739] x[3740] x[3741] x[3742] x[3743] x[3744] x[3745] x[3746] x[3747] x[3748] x[3749] x[3750] x[3751] x[3752] x[3753] x[3754] x[3755] x[3756] x[3757] x[3758] x[3759] x[3760] x[3761] x[3762] x[3763] x[3764] x[3765] x[3766] x[3767] x[3768] x[3769] x[3770] x[3771] x[3772] x[3773] x[3774] x[3775] x[3776] x[3777] x[3778] x[3779] x[3780] x[3781] x[3782] x[3783] x[3784] x[3785] x[3786] x[3787] x[3788] x[3789] x[3790] x[3791] x[3792] x[3793] x[3794] x[3795] x[3796] x[3797] x[3798] x[3799] x[3800] x[3801] x[3802] x[3803] x[3804] x[3805] x[3806] x[3807] x[3808] x[3809] x[3810] x[3811] x[3812] x[3813] x[3814] x[3815] x[3816] x[3817] x[3818] x[3819] x[3820] x[3821] x[3822] x[3823] x[3824] x[3825] x[3826] x[3827] x[3828] x[3829] x[3830] x[3831] x[3832] x[3833] x[3834] x[3835] x[3836] x[3837] x[3838] x[3839] x[3840] x[3841] x[3842] x[3843] x[3844] x[3845] x[3846] x[3847] x[3848] x[3849] x[3850] x[3851] x[3852] x[3853] x[3854] x[3855] x[3856] x[3857] x[3858] x[3859] x[3860] x[3861] x[3862] x[3863] x[3864] x[3865] x[3866] x[3867] x[3868] x[3869] x[3870] x[3871] x[3872] x[3873] x[3874] x[3875] x[3876] x[3877] x[3878] x[3879] x[3880] x[3881] x[3882] x[3883] x[3884] x[3885] x[3886] x[3887] x[3888] x[3889] x[3890] x[3891] x[3892] x[3893] x[3894] x[3895] x[3896] x[3897] x[3898] x[3899] x[3900] x[3901] x[3902] x[3903] x[3904] x[3905] x[3906] x[3907] x[3908] x[3909] x[3910] x[3911] x[3912] x[3913] x[3914] x[3915] x[3916] x[3917] x[3918] x[3919] x[3920] x[3921] x[3922] x[3923] x[3924] x[3925] x[3926] x[3927] x[3928] x[3929] x[3930] x[3931] x[3932] x[3933] x[3934] x[3935] x[3936] x[3937] x[3938] x[3939] x[3940] x[3941] x[3942] x[3943] x[3944] x[3945] x[3946] x[3947] x[3948] x[3949] x[3950] x[3951] x[3952] x[3953] x[3954] x[3955] x[3956] x[3957] x[3958] x[3959] x[3960] x[3961] x[3962] x[3963] x[3964] x[3965] x[3966] x[3967] x[3968] x[3969] x[3970] x[3971] x[3972] x[3973] x[3974] x[3975] x[3976] x[3977] x[3978] x[3979] x[3980] x[3981] x[3982] x[3983] x[3984] x[3985] x[3986] x[3987] x[3988] x[3989] x[3990] x[3991] x[3992] x[3993] x[3994] x[3995] x[3996] x[3997] x[3998] x[3999] x[4000] x[4001] x[4002] x[4003] x[4004] x[4005] x[4006] x[4007] x[4008] x[4009] x[4010] x[4011] x[4012] x[4013] x[4014] x[4015] x[4016] x[4017] x[4018] x[4019] x[4020] x[4021] x[4022] x[4023] x[4024] x[4025] x[4026] x[4027] x[4028] x[4029] x[4030] x[4031] x[4032] x[4033] x[4034] x[4035] x[4036] x[4037] x[4038] x[4039] x[4040] x[4041] x[4042] x[4043] x[4044] x[4045] x[4046] x[4047] x[4048] x[4049] x[4050] x[4051] x[4052] x[4053] x[4054] x[4055] x[4056] x[4057] x[4058] x[4059] x[4060] x[4061] x[4062] x[4063] x[4064] x[4065] x[4066] x[4067] x[4068] x[4069] x[4070] x[4071] x[4072] x[4073] x[4074] x[4075] x[4076] x[4077] x[4078] x[4079] x[4080] x[4081] x[4082] x[4083] x[4084] x[4085] x[4086] x[4087] x[4088] x[4089] x[4090] x[4091] x[4092] x[4093] x[4094] x[4095] x[4096] x[4097] x[4098] x[4099] x[4100] x[4101] x[4102] x[4103] x[4104] x[4105] x[4106] x[4107] x[4108] x[4109] x[4110] x[4111] x[4112] x[4113] x[4114] x[4115] x[4116] x[4117] x[4118] x[4119] x[4120] x[4121] x[4122] x[4123] x[4124] x[4125] x[4126] x[4127] x[4128] x[4129] x[4130] x[4131] x[4132] x[4133] x[4134] x[4135] x[4136] x[4137] x[4138] x[4139] x[4140] x[4141] x[4142] x[4143] x[4144] x[4145] x[4146] x[4147] x[4148] x[4149] x[4150] x[4151] x[4152] x[4153] x[4154] x[4155] x[4156] x[4157] x[4158] x[4159] x[4160] x[4161] x[4162] x[4163] x[4164] x[4165] x[4166] x[4167] x[4168] x[4169] x[4170] x[4171] x[4172] x[4173] x[4174] x[4175] x[4176] x[4177] x[4178] x[4179] x[4180] x[4181] x[4182] x[4183] x[4184] x[4185] x[4186] x[4187] x[4188] x[4189] x[4190] x[4191] x[4192] x[4193] x[4194] x[4195] x[4196] x[4197] x[4198] x[4199] x[4200] x[4201] x[4202] x[4203] x[4204] x[4205] x[4206] x[4207] x[4208] x[4209] x[4210] x[4211] x[4212] x[4213] x[4214] x[4215] x[4216] x[4217] x[4218] x[4219] x[4220] x[4221] x[4222] x[4223] x[4224] x[4225] x[4226] x[4227] x[4228] x[4229] x[4230] x[4231] x[4232] x[4233] x[4234] x[4235] x[4236] x[4237] x[4238] x[4239] x[4240] x[4241] x[4242] x[4243] x[4244] x[4245] x[4246] x[4247] x[4248] x[4249] x[4250] x[4251] x[4252] x[4253] x[4254] x[4255] x[4256] x[4257] x[4258] x[4259] x[4260] x[4261] x[4262] x[4263] x[4264] x[4265] x[4266] x[4267] x[4268] x[4269] x[4270] x[4271] x[4272] x[4273] x[4274] x[4275] x[4276] x[4277] x[4278] x[4279] x[4280] x[4281] x[4282] x[4283] x[4284] x[4285] x[4286] x[4287] x[4288] x[4289] x[4290] x[4291] x[4292] x[4293] x[4294] x[4295] x[4296] x[4297] x[4298] x[4299] x[4300] x[4301] x[4302] x[4303] x[4304] x[4305] x[4306] x[4307] x[4308] x[4309] x[4310] x[4311] x[4312] x[4313] x[4314] x[4315] x[4316] x[4317] x[4318] x[4319] x[4320] x[4321] x[4322] x[4323] x[4324] x[4325] x[4326] x[4327] x[4328] x[4329] x[4330] x[4331] x[4332] x[4333] x[4334] x[4335] x[4336] x[4337] x[4338] x[4339] x[4340] x[4341] x[4342] x[4343] x[4344] x[4345] x[4346] x[4347] x[4348] x[4349] x[4350] x[4351] x[4352] x[4353] x[4354] x[4355] x[4356] x[4357] x[4358] x[4359] x[4360] x[4361] x[4362] x[4363] x[4364] x[4365] x[4366] x[4367] x[4368] x[4369] x[4370] x[4371] x[4372] x[4373] x[4374] x[4375] x[4376] x[4377] x[4378] x[4379] x[4380] x[4381] x[4382] x[4383] x[4384] x[4385] x[4386] x[4387] x[4388] x[4389] x[4390] x[4391] x[4392] x[4393] x[4394] x[4395] x[4396] x[4397] x[4398] x[4399] x[4400] x[4401] x[4402] x[4403] x[4404] x[4405] x[4406] x[4407] x[4408] x[4409] x[4410] x[4411] x[4412] x[4413] x[4414] x[4415] x[4416] x[4417] x[4418] x[4419] x[4420] x[4421] x[4422] x[4423] x[4424] x[4425] x[4426] x[4427] x[4428] x[4429] x[4430] x[4431] x[4432] x[4433] x[4434] x[4435] x[4436] x[4437] x[4438] x[4439] x[4440] x[4441] x[4442] x[4443] x[4444] x[4445] x[4446] 2400.05/2390.51 v </list> 2400.05/2390.51 v <values> 2400.05/2390.51 v 1 1 1 1 1 1 0 0 0 0 1 1 1 1 1 1 1 1 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 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 1 1 0 0 0 0 0 0 0 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 1 1 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 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 0 0 0 0 0 0 1 0 0 0 1 1 1 1 1 0 1 0 0 1 1 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 0 0 0 1 1 1 1 0 0 0 0 1 1 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 1 1 1 1 1 1 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 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 1 0 0 0 0 1 1 1 1 0 0 0 0 1 0 1 1 1 1 1 1 1 0 0 0 0 0 0 1 1 0 0 0 1 1 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 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 1 1 1 0 0 0 0 1 0 1 1 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 1 1 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 1 1 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 0 0 0 1 0 1 1 1 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 1 1 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 1 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 1 1 1 0 0 0 0 1 0 1 1 0 0 1 1 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 1 0 1 1 1 0 1 1 0 0 0 0 1 1 1 1 1 0 0 0 1 0 0 1 1 0 0 1 1 0 0 1 1 1 1 1 1 0 0 0 0 1 0 0 0 1 0 0 0 0 1 1 1 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 1 1 1 1 1 1 1 1 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 0 0 0 1 1 1 1 1 1 1 1 1 0 0 0 1 0 0 0 0 1 1 0 0 0 0 0 0 1 1 1 1 1 1 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 1 1 1 1 0 0 0 1 1 0 0 1 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 1 1 0 0 0 0 0 0 0 1 0 0 0 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 1 1 1 0 1 1 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 1 1 1 0 1 1 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 0 1 1 0 0 1 1 1 0 1 1 0 0 0 0 1 1 1 1 0 0 0 1 0 0 0 1 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 1 0 0 1 1 0 0 0 1 1 0 1 1 0 0 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 1 1 1 1 1 0 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 1 1 1 1 0 0 1 1 1 0 1 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 1 1 0 0 0 1 1 1 1 1 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 0 0 1 1 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 1 1 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 1 1 1 1 1 0 1 1 1 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 1 0 1 1 1 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 1 0 0 0 0 1 1 1 1 1 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 1 1 1 1 1 1 0 0 0 1 1 1 1 1 0 0 1 1 0 0 0 1 0 0 0 1 1 0 1 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 1 1 0 1 1 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 1 1 0 0 1 1 0 0 1 1 0 0 0 1 1 1 0 1 1 0 0 0 0 0 0 1 1 1 0 1 1 0 0 0 0 0 0 1 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 0 0 1 1 1 0 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 0 1 1 0 0 0 0 1 1 0 1 1 1 1 1 1 0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 0 0 0 1 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 1 1 1 1 0 0 0 1 0 0 0 1 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 1 1 1 1 0 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 1 0 0 0 1 1 1 1 1 1 1 1 1 0 0 0 0 1 0 1 0 1 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 1 1 0 0 0 0 1 1 1 1 1 0 1 1 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 1 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 1 1 0 1 1 1 0 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 0 1 1 1 0 0 0 1 0 0 0 0 1 1 1 1 1 1 0 1 1 0 0 0 1 1 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 1 1 1 1 1 1 1 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 0 0 1 1 1 0 1 1 0 0 0 1 0 0 1 1 0 0 0 0 1 0 0 0 1 0 0 1 1 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 1 0 0 1 1 1 0 1 1 0 0 0 0 1 1 1 1 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 1 1 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 1 1 1 1 1 0 1 1 1 1 0 1 1 1 1 1 1 0 0 0 0 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 1 1 1 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 1 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 1 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 1 1 1 1 1 1 1 0 1 0 0 1 1 0 0 1 1 1 1 1 1 0 0 0 1 1 0 0 0 0 1 1 1 1 1 0 1 1 0 0 1 1 1 1 1 1 1 0 1 1 1 1 0 1 1 0 0 0 1 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 1 1 0 1 1 0 0 0 1 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 1 0 0 0 0 1 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 1 1 0 0 0 0 0 0 0 0 1 1 1 1 1 0 1 1 1 1 1 1 0 0 1 0 0 0 1 1 0 1 1 1 0 1 1 1 1 1 1 0 0 0 1 1 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 1 1 1 1 1 0 0 0 0 1 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 1 1 0 1 1 0 0 0 1 1 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 1 0 0 0 1 1 0 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 1 0 0 0 1 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 1 0 1 1 0 0 0 1 1 1 1 1 0 0 0 0 1 1 1 1 1 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 1 1 1 0 0 1 1 0 0 0 1 1 0 1 1 1 1 1 1 0 0 0 1 1 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 1 1 1 1 1 1 0 0 0 0 0 0 0 1 1 0 0 1 1 0 0 0 1 0 0 1 1 0 0 1 1 1 1 1 1 0 0 0 1 1 1 0 0 0 0 1 1 1 1 1 1 1 1 1 0 0 0 0 1 1 1 1 1 0 0 1 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 1 1 0 1 1 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 1 0 1 1 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 1 1 1 1 0 0 0 1 0 0 0 1 1 1 1 1 0 1 1 0 0 0 1 1 0 0 0 0 1 0 0 0 0 1 1 1 1 0 0 0 1 1 1 0 1 1 0 0 0 1 1 1 1 1 0 0 0 1 0 0 1 1 1 0 1 1 1 1 0 1 1 0 0 0 1 0 0 0 1 0 1 1 1 1 1 1 0 0 1 1 1 0 0 0 1 0 0 0 0 1 1 1 1 0 0 0 0 1 0 1 1 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 1 1 0 0 0 1 0 0 0 1 0 0 0 1 1 0 1 1 1 1 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 0 0 0 1 0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 1 1 1 1 1 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 1 1 1 1 1 1 0 0 0 0 1 1 1 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 1 0 1 1 1 1 1 1 1 0 1 1 1 1 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 1 1 1 1 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 1 0 1 1 1 1 1 1 1 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 1 1 1 0 1 1 0 1 1 1 1 0 0 0 0 0 0 0 0 1 0 0 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 0 1 1 1 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 1 1 0 0 1 1 1 1 0 1 1 1 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 1 1 1 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 1 1 0 1 1 1 1 1 1 0 0 0 0 1 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 0 0 0 1 0 0 0 1 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 1 0 0 0 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 1 0 0 0 0 1 1 1 1 1 1 1 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 0 0 1 1 0 0 0 0 1 0 1 1 0 0 0 1 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 1 0 0 1 0 1 1 0 0 0 1 0 0 0 0 1 1 1 1 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 1 1 1 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 1 0 0 0 0 1 1 0 1 0 0 1 1 0 2400.05/2390.51 v </values> 2400.05/2390.51 v </instantiation>
OK 1312
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 (13101 MiB free) memory of node 1: 16384 MiB (13602 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4290372-1532231983/watcher-4290372-1532231983 -o /tmp/evaluation-result-4290372-1532231983/solver-4290372-1532231983 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node134-1532224835-1955 --watchdog 2560 java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 639785823 --timelimit 2400 --memlimit 11000 --nbcore 4 HOME/instance-4290372-1532231983.xml running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=2825, runsolver pid=2822 Current StackSize limit: 8192 KiB [startup+0.100165 s]* /proc/loadavg: 1.56 1.46 1.42 3/219 2840 /proc/meminfo: memFree=27326784/32770624 swapFree=67108860/67108860 [pid=2825] ppid=2822 vsize=14082740 memory=31580 CPUtime=0.12 cores=0,2,4,6 /proc/2825/stat : 2825 (java) S 2822 2825 1924 0 -1 1077944320 6786 0 0 0 10 2 0 0 20 0 15 0 40761550 14420725760 7895 33554432000 4194304 4196468 140723315192000 140723315174544 139985473445623 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 26615808 140723315197001 140723315197193 140723315197193 140723315199951 0 /proc/2825/statm: 3520685 7895 3159 1 0 3482761 0 [pid=2825/tid=2827] ppid=2822 vsize=14082740 memory=-8968177006220768448 CPUtime=0.09 cores=0,2,4,6 /proc/2825/task/2827/stat : 2827 (java) R 2822 2825 1924 0 -1 4202560 4841 0 0 0 8 1 0 0 20 0 15 0 40761550 14420725760 7895 33554432000 4194304 4196468 140723315192000 139985477677120 139985473467549 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26615808 140723315197001 140723315197193 140723315197193 140723315199951 0 [pid=2825/tid=2828] ppid=2822 vsize=14082740 memory=8257237230052613020 CPUtime=0 cores=0,2,4,6 /proc/2825/task/2828/stat : 2828 (java) S 2822 2825 1924 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 40761551 14420725760 7895 33554432000 4194304 4196468 140723315192000 139985403534352 139985473455829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26615808 140723315197001 140723315197193 140723315197193 140723315199951 0 [pid=2825/tid=2829] ppid=2822 vsize=14082740 memory=139646405506688 CPUtime=0 cores=0,2,4,6 /proc/2825/task/2829/stat : 2829 (java) S 2822 2825 1924 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 40761551 14420725760 7895 33554432000 4194304 4196468 140723315192000 139985402481808 139985473455829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26615808 140723315197001 140723315197193 140723315197193 140723315199951 0 [pid=2825/tid=2830] ppid=2822 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6 /proc/2825/task/2830/stat : 2830 (java) S 2822 2825 1924 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 40761551 14420725760 7895 33554432000 4194304 4196468 140723315192000 139985401428752 139985473455829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26615808 140723315197001 140723315197193 140723315197193 140723315199951 0 [pid=2825/tid=2831] ppid=2822 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/2825/task/2831/stat : 2831 (java) S 2822 2825 1924 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 40761551 14420725760 7895 33554432000 4194304 4196468 140723315192000 139985400376208 139985473455829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26615808 140723315197001 140723315197193 140723315197193 140723315199951 0 [pid=2825/tid=2832] ppid=2822 vsize=14082740 memory=139646405506688 CPUtime=0 cores=0,2,4,6 /proc/2825/task/2832/stat : 2832 (java) S 2822 2825 1924 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 40761553 14420725760 7895 33554432000 4194304 4196468 140723315192000 139984386361584 139985473456770 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26615808 140723315197001 140723315197193 140723315197193 140723315199951 0 [pid=2825/tid=2833] ppid=2822 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/2825/task/2833/stat : 2833 (java) S 2822 2825 1924 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 40761553 14420725760 7895 33554432000 4194304 4196468 140723315192000 139984385307808 139985473455829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26615808 140723315197001 140723315197193 140723315197193 140723315199951 0 [pid=2825/tid=2834] ppid=2822 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6 /proc/2825/task/2834/stat : 2834 (java) S 2822 2825 1924 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 40761553 14420725760 7895 33554432000 4194304 4196468 140723315192000 139984384254704 139985473455829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26615808 140723315197001 140723315197193 140723315197193 140723315199951 0 [pid=2825/tid=2835] ppid=2822 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6 /proc/2825/task/2835/stat : 2835 (java) S 2822 2825 1924 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40761556 14420725760 7895 33554432000 4194304 4196468 140723315192000 139984383203280 139985473464219 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26615808 140723315197001 140723315197193 140723315197193 140723315199951 0 [pid=2825/tid=2836] ppid=2822 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6 /proc/2825/task/2836/stat : 2836 (java) S 2822 2825 1924 0 -1 1077944384 295 0 0 0 0 0 0 0 20 0 15 0 40761556 14420725760 7895 33554432000 4194304 4196468 140723315192000 139984382151408 139985473456770 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26615808 140723315197001 140723315197193 140723315197193 140723315199951 0 [pid=2825/tid=2837] ppid=2822 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/2825/task/2837/stat : 2837 (java) S 2822 2825 1924 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40761556 14420725760 7895 33554432000 4194304 4196468 140723315192000 139984381098864 139985473456770 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26615808 140723315197001 140723315197193 140723315197193 140723315199951 0 [pid=2825/tid=2838] ppid=2822 vsize=14082740 memory=139646405506688 CPUtime=0.01 cores=0,2,4,6 /proc/2825/task/2838/stat : 2838 (java) S 2822 2825 1924 0 -1 1077944384 272 0 0 0 1 0 0 0 20 0 15 0 40761556 14420725760 7895 33554432000 4194304 4196468 140723315192000 139984380045808 139985473456770 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26615808 140723315197001 140723315197193 140723315197193 140723315199951 0 [pid=2825/tid=2839] ppid=2822 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/2825/task/2839/stat : 2839 (java) S 2822 2825 1924 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40761556 14420725760 7895 33554432000 4194304 4196468 140723315192000 139984378993504 139985473455829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26615808 140723315197001 140723315197193 140723315197193 140723315199951 0 [pid=2825/tid=2840] ppid=2822 vsize=14082740 memory=139646405506688 CPUtime=0 cores=0,2,4,6 /proc/2825/task/2840/stat : 2840 (java) S 2822 2825 1924 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 40761556 14420725760 7895 33554432000 4194304 4196468 140723315192000 139984377940528 139985473456770 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26615808 140723315197001 140723315197193 140723315197193 140723315199951 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 14082740 KiB Current children cumulated memory: 31580 KiB [startup+0.210543 s]* /proc/loadavg: 1.56 1.46 1.42 5/219 2840 /proc/meminfo: memFree=27310900/32770624 swapFree=67108860/67108860 [pid=2825] ppid=2822 vsize=14082740 memory=47380 CPUtime=0.29 cores=0,2,4,6 /proc/2825/stat : 2825 (java) S 2822 2825 1924 0 -1 1077944320 10401 0 0 0 26 3 0 0 20 0 15 0 40761550 14420725760 11845 33554432000 4194304 4196468 140723315192000 140723315174544 139985473445623 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 26615808 140723315197001 140723315197193 140723315197193 140723315199951 0 /proc/2825/statm: 3520685 11845 3380 1 0 3482761 0 [pid=2825/tid=2827] ppid=2822 vsize=14082740 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6 /proc/2825/task/2827/stat : 2827 (java) S 2822 2825 1924 0 -1 1077944384 8166 0 0 0 18 2 0 0 20 0 15 0 40761550 14420725760 11845 33554432000 4194304 4196468 140723315192000 139985477674064 139985473455829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26615808 140723315197001 140723315197193 140723315197193 140723315199951 0 [pid=2825/tid=2828] ppid=2822 vsize=14082740 memory=345 CPUtime=0 cores=0,2,4,6 /proc/2825/task/2828/stat : 2828 (java) S 2822 2825 1924 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 40761551 14420725760 11845 33554432000 4194304 4196468 140723315192000 139985403534352 139985473455829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26615808 140723315197001 140723315197193 140723315197193 140723315199951 0 [pid=2825/tid=2829] ppid=2822 vsize=14082740 memory=139646405509767 CPUtime=0 cores=0,2,4,6 /proc/2825/task/2829/stat : 2829 (java) S 2822 2825 1924 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 40761551 14420725760 11845 33554432000 4194304 4196468 140723315192000 139985402481808 139985473455829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26615808 140723315197001 140723315197193 140723315197193 140723315199951 0 [pid=2825/tid=2830] ppid=2822 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6 /proc/2825/task/2830/stat : 2830 (java) S 2822 2825 1924 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 40761551 14420725760 11845 33554432000 4194304 4196468 140723315192000 139985401428752 139985473455829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26615808 140723315197001 140723315197193 140723315197193 140723315199951 0 [pid=2825/tid=2831] ppid=2822 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/2825/task/2831/stat : 2831 (java) S 2822 2825 1924 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 40761551 14420725760 11845 33554432000 4194304 4196468 140723315192000 139985400376208 139985473455829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26615808 140723315197001 140723315197193 140723315197193 140723315199951 0 [pid=2825/tid=2832] ppid=2822 vsize=14082740 memory=139646405506688 CPUtime=0 cores=0,2,4,6 /proc/2825/task/2832/stat : 2832 (java) S 2822 2825 1924 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 40761553 14420725760 11845 33554432000 4194304 4196468 140723315192000 139984386361584 139985473456770 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26615808 140723315197001 140723315197193 140723315197193 140723315199951 0 [pid=2825/tid=2833] ppid=2822 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/2825/task/2833/stat : 2833 (java) S 2822 2825 1924 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 40761553 14420725760 11845 33554432000 4194304 4196468 140723315192000 139984385307808 139985473455829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26615808 140723315197001 140723315197193 140723315197193 140723315199951 0 [pid=2825/tid=2834] ppid=2822 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6 /proc/2825/task/2834/stat : 2834 (java) S 2822 2825 1924 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 40761553 14420725760 11845 33554432000 4194304 4196468 140723315192000 139984384254704 139985473455829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26615808 140723315197001 140723315197193 140723315197193 140723315199951 0 [pid=2825/tid=2835] ppid=2822 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6 /proc/2825/task/2835/stat : 2835 (java) S 2822 2825 1924 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40761556 14420725760 11845 33554432000 4194304 4196468 140723315192000 139984383203280 139985473464219 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26615808 140723315197001 140723315197193 140723315197193 140723315199951 0 [pid=2825/tid=2836] ppid=2822 vsize=14082740 memory=0 CPUtime=0.02 cores=0,2,4,6 /proc/2825/task/2836/stat : 2836 (java) R 2822 2825 1924 0 -1 4202560 435 0 0 0 2 0 0 0 20 0 15 0 40761556 14420725760 11845 33554432000 4194304 4196468 140723315192000 139984382142912 139985451384608 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26615808 140723315197001 140723315197193 140723315197193 140723315199951 0 [pid=2825/tid=2837] ppid=2822 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/2825/task/2837/stat : 2837 (java) R 2822 2825 1924 0 -1 1077944384 132 0 0 0 0 0 0 0 20 0 15 0 40761556 14420725760 11845 33554432000 4194304 4196468 140723315192000 139984381098864 139985473456770 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26615808 140723315197001 140723315197193 140723315197193 140723315199951 0 [pid=2825/tid=2838] ppid=2822 vsize=14082740 memory=139646405506688 CPUtime=0.05 cores=0,2,4,6 /proc/2825/task/2838/stat : 2838 (java) S 2822 2825 1924 0 -1 1077944384 297 0 0 0 5 0 0 0 20 0 15 0 40761556 14420725760 11845 33554432000 4194304 4196468 140723315192000 139984380045808 139985473456770 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26615808 140723315197001 140723315197193 140723315197193 140723315199951 0 [pid=2825/tid=2839] ppid=2822 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/2825/task/2839/stat : 2839 (java) S 2822 2825 1924 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40761556 14420725760 11845 33554432000 4194304 4196468 140723315192000 139984378993504 139985473455829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26615808 140723315197001 140723315197193 140723315197193 140723315199951 0 [pid=2825/tid=2840] ppid=2822 vsize=14082740 memory=139646405506688 CPUtime=0 cores=0,2,4,6 /proc/2825/task/2840/stat : 2840 (java) S 2822 2825 1924 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 40761556 14420725760 11845 33554432000 4194304 4196468 140723315192000 139984377940528 139985473456770 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26615808 140723315197001 140723315197193 140723315197193 140723315199951 0 Current children cumulated CPU time: 0.29 s Current children cumulated vsize: 14082740 KiB Current children cumulated memory: 47380 KiB [startup+0.310589 s]* /proc/loadavg: 1.56 1.46 1.42 3/219 2840 /proc/meminfo: memFree=27307612/32770624 swapFree=67108860/67108860 [pid=2825] ppid=2822 vsize=14082740 memory=50500 CPUtime=0.44 cores=0,2,4,6 /proc/2825/stat : 2825 (java) S 2822 2825 1924 0 -1 1077944320 10798 0 0 0 41 3 0 0 20 0 15 0 40761550 14420725760 12625 33554432000 4194304 4196468 140723315192000 140723315174544 139985473445623 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 26615808 140723315197001 140723315197193 140723315197193 140723315199951 0 /proc/2825/statm: 3520685 12625 3383 1 0 3482761 0 [pid=2825/tid=2827] ppid=2822 vsize=14082740 memory=7022364594140610616 CPUtime=0.29 cores=0,2,4,6 /proc/2825/task/2827/stat : 2827 (java) R 2822 2825 1924 0 -1 4202560 8500 0 0 0 27 2 0 0 20 0 15 0 40761550 14420725760 12625 33554432000 4194304 4196468 140723315192000 139985477657136 139985457526110 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26615808 140723315197001 140723315197193 140723315197193 140723315199951 0 [pid=2825/tid=2828] ppid=2822 vsize=14082740 memory=4294980951 CPUtime=0 cores=0,2,4,6 /proc/2825/task/2828/stat : 2828 (java) S 2822 2825 1924 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 40761551 14420725760 12625 33554432000 4194304 4196468 140723315192000 139985403534352 139985473455829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26615808 140723315197001 140723315197193 140723315197193 140723315199951 0 [pid=2825/tid=2829] ppid=2822 vsize=14082740 memory=139646405742326 CPUtime=0 cores=0,2,4,6 /proc/2825/task/2829/stat : 2829 (java) S 2822 2825 1924 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 40761551 14420725760 12625 33554432000 4194304 4196468 140723315192000 139985402481808 139985473455829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26615808 140723315197001 140723315197193 140723315197193 140723315199951 0 [pid=2825/tid=2830] ppid=2822 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6 /proc/2825/task/2830/stat : 2830 (java) S 2822 2825 1924 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 40761551 14420725760 12625 33554432000 4194304 4196468 140723315192000 139985401428752 139985473455829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26615808 140723315197001 140723315197193 140723315197193 140723315199951 0 [pid=2825/tid=2831] ppid=2822 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/2825/task/2831/stat : 2831 (java) S 2822 2825 1924 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 40761551 14420725760 12625 33554432000 4194304 4196468 140723315192000 139985400376208 139985473455829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26615808 140723315197001 140723315197193 140723315197193 140723315199951 0 [pid=2825/tid=2832] ppid=2822 vsize=14082740 memory=139646405506688 CPUtime=0 cores=0,2,4,6 /proc/2825/task/2832/stat : 2832 (java) S 2822 2825 1924 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 40761553 14420725760 12625 33554432000 4194304 4196468 140723315192000 139984386361584 139985473456770 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26615808 140723315197001 140723315197193 140723315197193 140723315199951 0 [pid=2825/tid=2833] ppid=2822 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/2825/task/2833/stat : 2833 (java) S 2822 2825 1924 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 40761553 14420725760 12625 33554432000 4194304 4196468 140723315192000 139984385307808 139985473455829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26615808 140723315197001 140723315197193 140723315197193 140723315199951 0 [pid=2825/tid=2834] ppid=2822 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6 /proc/2825/task/2834/stat : 2834 (java) S 2822 2825 1924 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 40761553 14420725760 12625 33554432000 4194304 4196468 140723315192000 139984384254704 139985473455829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26615808 140723315197001 140723315197193 140723315197193 140723315199951 0 [pid=2825/tid=2835] ppid=2822 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6 /proc/2825/task/2835/stat : 2835 (java) S 2822 2825 1924 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40761556 14420725760 12625 33554432000 4194304 4196468 140723315192000 139984383203280 139985473464219 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26615808 140723315197001 140723315197193 140723315197193 140723315199951 0 [pid=2825/tid=2836] ppid=2822 vsize=14082740 memory=0 CPUtime=0.03 cores=0,2,4,6 /proc/2825/task/2836/stat : 2836 (java) S 2822 2825 1924 0 -1 1077944384 461 0 0 0 3 0 0 0 20 0 15 0 40761556 14420725760 12625 33554432000 4194304 4196468 140723315192000 139984382151408 139985473456770 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26615808 140723315197001 140723315197193 140723315197193 140723315199951 0 [pid=2825/tid=2837] ppid=2822 vsize=14082740 memory=-1 CPUtime=0.01 cores=0,2,4,6 /proc/2825/task/2837/stat : 2837 (java) S 2822 2825 1924 0 -1 1077944384 148 0 0 0 1 0 0 0 20 0 15 0 40761556 14420725760 12625 33554432000 4194304 4196468 140723315192000 139984381098864 139985473456770 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26615808 140723315197001 140723315197193 140723315197193 140723315199951 0 [pid=2825/tid=2838] ppid=2822 vsize=14082740 memory=139646405506688 CPUtime=0.08 cores=0,2,4,6 /proc/2825/task/2838/stat : 2838 (java) S 2822 2825 1924 0 -1 1077944384 309 0 0 0 8 0 0 0 20 0 15 0 40761556 14420725760 12625 33554432000 4194304 4196468 140723315192000 139984380045808 139985473456770 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26615808 140723315197001 140723315197193 140723315197193 140723315199951 0 [pid=2825/tid=2839] ppid=2822 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/2825/task/2839/stat : 2839 (java) S 2822 2825 1924 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40761556 14420725760 12625 33554432000 4194304 4196468 140723315192000 139984378993504 139985473455829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26615808 140723315197001 140723315197193 140723315197193 140723315199951 0 [pid=2825/tid=2840] ppid=2822 vsize=14082740 memory=139646405506688 CPUtime=0 cores=0,2,4,6 /proc/2825/task/2840/stat : 2840 (java) S 2822 2825 1924 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 40761556 14420725760 12625 33554432000 4194304 4196468 140723315192000 139984377940528 139985473456770 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26615808 140723315197001 140723315197193 140723315197193 140723315199951 0 Current children cumulated CPU time: 0.44 s Current children cumulated vsize: 14082740 KiB Current children cumulated memory: 50500 KiB [startup+0.700763 s] /proc/loadavg: 1.56 1.46 1.42 3/219 2840 /proc/meminfo: memFree=27276868/32770624 swapFree=67108860/67108860 [pid=2825] ppid=2822 vsize=14084808 memory=88748 CPUtime=0.99 cores=0,2,4,6 /proc/2825/stat : 2825 (java) S 2822 2825 1924 0 -1 1077944320 17615 0 0 0 93 6 0 0 20 0 15 0 40761550 14422843392 22187 33554432000 4194304 4196468 140723315192000 140723315174544 139985473445623 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 26615808 140723315197001 140723315197193 140723315197193 140723315199951 0 /proc/2825/statm: 3521202 22187 3500 1 0 3483273 0 [pid=2825/tid=2827] ppid=2822 vsize=14084808 memory=1236 CPUtime=0.67 cores=0,2,4,6 /proc/2825/task/2827/stat : 2827 (java) R 2822 2825 1924 0 -1 4202560 14915 0 0 0 63 4 0 0 20 0 15 0 40761550 14422843392 22187 33554432000 4194304 4196468 140723315192000 139985477669728 139985456638357 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26615808 140723315197001 140723315197193 140723315197193 140723315199951 0 [pid=2825/tid=2828] ppid=2822 vsize=14084808 memory=8808 CPUtime=0 cores=0,2,4,6 /proc/2825/task/2828/stat : 2828 (java) S 2822 2825 1924 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 40761551 14422843392 22187 33554432000 4194304 4196468 140723315192000 139985403534352 139985473455829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26615808 140723315197001 140723315197193 140723315197193 140723315199951 0 [pid=2825/tid=2829] ppid=2822 vsize=14084808 memory=4052 CPUtime=0 cores=0,2,4,6 /proc/2825/task/2829/stat : 2829 (java) S 2822 2825 1924 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 40761551 14422843392 22187 33554432000 4194304 4196468 140723315192000 139985402481808 139985473455829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26615808 140723315197001 140723315197193 140723315197193 140723315199951 0 [pid=2825/tid=2830] ppid=2822 vsize=14084808 memory=644 CPUtime=0 cores=0,2,4,6 /proc/2825/task/2830/stat : 2830 (java) S 2822 2825 1924 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 40761551 14422843392 22187 33554432000 4194304 4196468 140723315192000 139985401428752 139985473455829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26615808 140723315197001 140723315197193 140723315197193 140723315199951 0 [pid=2825/tid=2831] ppid=2822 vsize=14084808 memory=1800 CPUtime=0 cores=0,2,4,6 /proc/2825/task/2831/stat : 2831 (java) S 2822 2825 1924 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 40761551 14422843392 22187 33554432000 4194304 4196468 140723315192000 139985400376208 139985473455829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26615808 140723315197001 140723315197193 140723315197193 140723315199951 0 [pid=2825/tid=2832] ppid=2822 vsize=14084808 memory=956 CPUtime=0 cores=0,2,4,6 /proc/2825/task/2832/stat : 2832 (java) S 2822 2825 1924 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 40761553 14422843392 22187 33554432000 4194304 4196468 140723315192000 139984386361584 139985473456770 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26615808 140723315197001 140723315197193 140723315197193 140723315199951 0 [pid=2825/tid=2833] ppid=2822 vsize=14084808 memory=2340 CPUtime=0 cores=0,2,4,6 /proc/2825/task/2833/stat : 2833 (java) S 2822 2825 1924 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 40761553 14422843392 22187 33554432000 4194304 4196468 140723315192000 139984385307808 139985473455829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26615808 140723315197001 140723315197193 140723315197193 140723315199951 0 [pid=2825/tid=2834] ppid=2822 vsize=14084808 memory=928 CPUtime=0 cores=0,2,4,6 /proc/2825/task/2834/stat : 2834 (java) S 2822 2825 1924 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 40761553 14422843392 22187 33554432000 4194304 4196468 140723315192000 139984384254704 139985473455829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26615808 140723315197001 140723315197193 140723315197193 140723315199951 0 [pid=2825/tid=2835] ppid=2822 vsize=14084808 memory=6153431502485415525 CPUtime=0 cores=0,2,4,6 /proc/2825/task/2835/stat : 2835 (java) S 2822 2825 1924 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40761556 14422843392 22187 33554432000 4194304 4196468 140723315192000 139984383203280 139985473464219 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26615808 140723315197001 140723315197193 140723315197193 140723315199951 0 [pid=2825/tid=2836] ppid=2822 vsize=14084808 memory=7450757349647805273 CPUtime=0.07 cores=0,2,4,6 /proc/2825/task/2836/stat : 2836 (java) S 2822 2825 1924 0 -1 1077944384 616 0 0 0 7 0 0 0 20 0 15 0 40761556 14422843392 22187 33554432000 4194304 4196468 140723315192000 139984382151408 139985473456770 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26615808 140723315197001 140723315197193 140723315197193 140723315199951 0 [pid=2825/tid=2837] ppid=2822 vsize=14084808 memory=6300092137356946789 CPUtime=0.06 cores=0,2,4,6 /proc/2825/task/2837/stat : 2837 (java) S 2822 2825 1924 0 -1 1077944384 317 0 0 0 6 0 0 0 20 0 15 0 40761556 14422843392 22187 33554432000 4194304 4196468 140723315192000 139984381098864 139985473456770 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26615808 140723315197001 140723315197193 140723315197193 140723315199951 0 [pid=2825/tid=2838] ppid=2822 vsize=14084808 memory=4638778398333161808 CPUtime=0.14 cores=0,2,4,6 /proc/2825/task/2838/stat : 2838 (java) S 2822 2825 1924 0 -1 1077944384 385 0 0 0 14 0 0 0 20 0 15 0 40761556 14422843392 22187 33554432000 4194304 4196468 140723315192000 139984380045808 139985473456770 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26615808 140723315197001 140723315197193 140723315197193 140723315199951 0 [pid=2825/tid=2839] ppid=2822 vsize=14084808 memory=7235140988934776419 CPUtime=0 cores=0,2,4,6 /proc/2825/task/2839/stat : 2839 (java) S 2822 2825 1924 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40761556 14422843392 22187 33554432000 4194304 4196468 140723315192000 139984378993504 139985473455829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26615808 140723315197001 140723315197193 140723315197193 140723315199951 0 [pid=2825/tid=2840] ppid=2822 vsize=14084808 memory=10416 CPUtime=0 cores=0,2,4,6 /proc/2825/task/2840/stat : 2840 (java) S 2822 2825 1924 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 40761556 14422843392 22187 33554432000 4194304 4196468 140723315192000 139984377940528 139985473456770 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26615808 140723315197001 140723315197193 140723315197193 140723315199951 0 Current children cumulated CPU time: 0.99 s Current children cumulated vsize: 14084808 KiB Current children cumulated memory: 88748 KiB [startup+1.50068 s] /proc/loadavg: 1.56 1.46 1.42 5/219 2840 /proc/meminfo: memFree=27232948/32770624 swapFree=67108860/67108860 [pid=2825] ppid=2822 vsize=14086856 memory=208268 CPUtime=3.43 cores=0,2,4,6 /proc/2825/stat : 2825 (java) S 2822 2825 1924 0 -1 1077944320 23714 0 0 0 335 8 0 0 20 0 15 0 40761550 14424940544 52067 33554432000 4194304 4196468 140723315192000 140723315174544 139985473445623 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 26615808 140723315197001 140723315197193 140723315197193 140723315199951 0 /proc/2825/statm: 3521714 52067 3553 1 0 3483785 0 [pid=2825/tid=2827] ppid=2822 vsize=14086856 memory=164304 CPUtime=1.47 cores=0,2,4,6 /proc/2825/task/2827/stat : 2827 (java) R 2822 2825 1924 0 -1 4202560 17197 0 0 0 141 6 0 0 20 0 15 0 40761550 14424940544 52067 33554432000 4194304 4196468 140723315192000 139985477682272 139985086417978 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26615808 140723315197001 140723315197193 140723315197193 140723315199951 0 [pid=2825/tid=2828] ppid=2822 vsize=14086856 memory=164 CPUtime=0 cores=0,2,4,6 /proc/2825/task/2828/stat : 2828 (java) S 2822 2825 1924 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 40761551 14424940544 52067 33554432000 4194304 4196468 140723315192000 139985403534352 139985473455829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26615808 140723315197001 140723315197193 140723315197193 140723315199951 0 [pid=2825/tid=2829] ppid=2822 vsize=14086856 memory=0 CPUtime=0 cores=0,2,4,6 /proc/2825/task/2829/stat : 2829 (java) S 2822 2825 1924 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 40761551 14424940544 52067 33554432000 4194304 4196468 140723315192000 139985402481808 139985473455829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26615808 140723315197001 140723315197193 140723315197193 140723315199951 0 [pid=2825/tid=2830] ppid=2822 vsize=14086856 memory=8112282956445269571 CPUtime=0 cores=0,2,4,6 /proc/2825/task/2830/stat : 2830 (java) S 2822 2825 1924 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 40761551 14424940544 52067 33554432000 4194304 4196468 140723315192000 139985401428752 139985473455829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26615808 140723315197001 140723315197193 140723315197193 140723315199951 0 [pid=2825/tid=2831] ppid=2822 vsize=14086856 memory=0 CPUtime=0 cores=0,2,4,6 /proc/2825/task/2831/stat : 2831 (java) S 2822 2825 1924 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 40761551 14424940544 52067 33554432000 4194304 4196468 140723315192000 139985400376208 139985473455829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26615808 140723315197001 140723315197193 140723315197193 140723315199951 0 [pid=2825/tid=2832] ppid=2822 vsize=14086856 memory=0 CPUtime=0 cores=0,2,4,6 /proc/2825/task/2832/stat : 2832 (java) S 2822 2825 1924 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 15 0 40761553 14424940544 52067 33554432000 4194304 4196468 140723315192000 139984386361584 139985473456770 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26615808 140723315197001 140723315197193 140723315197193 140723315199951 0 ################ # More data... # ################ /proc/2825/task/2827/stat : 2827 (java) R 2822 2825 1924 0 -1 4202560 48779 0 0 0 231902 23 0 0 20 0 15 0 40761550 14429134848 214033 33554432000 4194304 4196468 140723315192000 139985477683792 139985091197384 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26615808 140723315197001 140723315197193 140723315197193 140723315199951 0 [pid=2825/tid=2828] ppid=2822 vsize=14090952 memory=856132 CPUtime=1.58 cores=0,2,4,6 /proc/2825/task/2828/stat : 2828 (java) S 2822 2825 1924 0 -1 1077944384 5158 0 0 0 145 13 0 0 20 0 15 0 40761551 14429134848 214033 33554432000 4194304 4196468 140723315192000 139985403534352 139985473455829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26615808 140723315197001 140723315197193 140723315197193 140723315199951 0 [pid=2825/tid=2829] ppid=2822 vsize=14090952 memory=856132 CPUtime=1.6 cores=0,2,4,6 /proc/2825/task/2829/stat : 2829 (java) S 2822 2825 1924 0 -1 1077944384 6121 0 0 0 147 13 0 0 20 0 15 0 40761551 14429134848 214033 33554432000 4194304 4196468 140723315192000 139985402481808 139985473455829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26615808 140723315197001 140723315197193 140723315197193 140723315199951 0 [pid=2825/tid=2830] ppid=2822 vsize=14090952 memory=856132 CPUtime=1.59 cores=0,2,4,6 /proc/2825/task/2830/stat : 2830 (java) S 2822 2825 1924 0 -1 1077944384 6817 0 0 0 148 11 0 0 20 0 15 0 40761551 14429134848 214033 33554432000 4194304 4196468 140723315192000 139985401428752 139985473455829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26615808 140723315197001 140723315197193 140723315197193 140723315199951 0 [pid=2825/tid=2831] ppid=2822 vsize=14090952 memory=856132 CPUtime=1.61 cores=0,2,4,6 /proc/2825/task/2831/stat : 2831 (java) S 2822 2825 1924 0 -1 1077944384 7036 0 0 0 148 13 0 0 20 0 15 0 40761551 14429134848 214033 33554432000 4194304 4196468 140723315192000 139985400376208 139985473455829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26615808 140723315197001 140723315197193 140723315197193 140723315199951 0 [pid=2825/tid=2832] ppid=2822 vsize=14090952 memory=856132 CPUtime=1.02 cores=0,2,4,6 /proc/2825/task/2832/stat : 2832 (java) S 2822 2825 1924 0 -1 1077944384 8623 0 0 0 91 11 0 0 20 0 15 0 40761553 14429134848 214033 33554432000 4194304 4196468 140723315192000 139984386361584 139985473456770 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26615808 140723315197001 140723315197193 140723315197193 140723315199951 0 [pid=2825/tid=2833] ppid=2822 vsize=14090952 memory=856132 CPUtime=0 cores=0,2,4,6 /proc/2825/task/2833/stat : 2833 (java) S 2822 2825 1924 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 40761553 14429134848 214033 33554432000 4194304 4196468 140723315192000 139984385307872 139985473455829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26615808 140723315197001 140723315197193 140723315197193 140723315199951 0 [pid=2825/tid=2834] ppid=2822 vsize=14090952 memory=856132 CPUtime=0 cores=0,2,4,6 /proc/2825/task/2834/stat : 2834 (java) S 2822 2825 1924 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 40761553 14429134848 214033 33554432000 4194304 4196468 140723315192000 139984384254720 139985473455829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26615808 140723315197001 140723315197193 140723315197193 140723315199951 0 [pid=2825/tid=2835] ppid=2822 vsize=14090952 memory=856132 CPUtime=0 cores=0,2,4,6 /proc/2825/task/2835/stat : 2835 (java) S 2822 2825 1924 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40761556 14429134848 214033 33554432000 4194304 4196468 140723315192000 139984383203280 139985473464219 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26615808 140723315197001 140723315197193 140723315197193 140723315199951 0 [pid=2825/tid=2836] ppid=2822 vsize=14090952 memory=1008 CPUtime=1.71 cores=0,2,4,6 /proc/2825/task/2836/stat : 2836 (java) S 2822 2825 1924 0 -1 1077944384 5343 0 0 0 170 1 0 0 20 0 15 0 40761556 14429134848 214033 33554432000 4194304 4196468 140723315192000 139984382151408 139985473456770 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26615808 140723315197001 140723315197193 140723315197193 140723315199951 0 [pid=2825/tid=2837] ppid=2822 vsize=14090952 memory=5404 CPUtime=1.68 cores=0,2,4,6 /proc/2825/task/2837/stat : 2837 (java) S 2822 2825 1924 0 -1 1077944384 6276 0 0 0 167 1 0 0 20 0 15 0 40761556 14429134848 214033 33554432000 4194304 4196468 140723315192000 139984381098864 139985473456770 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26615808 140723315197001 140723315197193 140723315197193 140723315199951 0 [pid=2825/tid=2838] ppid=2822 vsize=14090952 memory=8112282956445269571 CPUtime=0.95 cores=0,2,4,6 /proc/2825/task/2838/stat : 2838 (java) S 2822 2825 1924 0 -1 1077944384 13344 0 0 0 93 2 0 0 20 0 15 0 40761556 14429134848 214033 33554432000 4194304 4196468 140723315192000 139984380045808 139985473456770 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26615808 140723315197001 140723315197193 140723315197193 140723315199951 0 [pid=2825/tid=2839] ppid=2822 vsize=14090952 memory=856132 CPUtime=0 cores=0,2,4,6 /proc/2825/task/2839/stat : 2839 (java) S 2822 2825 1924 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40761556 14429134848 214033 33554432000 4194304 4196468 140723315192000 139984378993504 139985473455829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26615808 140723315197001 140723315197193 140723315197193 140723315199951 0 [pid=2825/tid=2840] ppid=2822 vsize=14090952 memory=856132 CPUtime=0.63 cores=0,2,4,6 /proc/2825/task/2840/stat : 2840 (java) S 2822 2825 1924 0 -1 1077944384 944 0 0 0 27 36 0 0 20 0 15 0 40761556 14429134848 214033 33554432000 4194304 4196468 140723315192000 139984377940528 139985473456770 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26615808 140723315197001 140723315197193 140723315197193 140723315199951 0 Current children cumulated CPU time: 2331.73 s Current children cumulated vsize: 14090952 KiB Current children cumulated memory: 856132 KiB [startup+2382.3 s] /proc/loadavg: 1.32 1.32 1.40 3/218 2944 /proc/meminfo: memFree=26503652/32770624 swapFree=67108860/67108860 [pid=2825] ppid=2822 vsize=14090952 memory=856132 CPUtime=2391.84 cores=0,2,4,6 /proc/2825/stat : 2825 (java) S 2822 2825 1924 0 -1 1077944320 110604 0 0 0 239076 108 0 0 20 0 15 0 40761550 14429134848 214033 33554432000 4194304 4196468 140723315192000 140723315174544 139985473445623 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 26615808 140723315197001 140723315197193 140723315197193 140723315199951 0 /proc/2825/statm: 3522738 214033 3594 1 0 3484809 0 [pid=2825/tid=2827] ppid=2822 vsize=14090952 memory=856132 CPUtime=2379.17 cores=0,2,4,6 /proc/2825/task/2827/stat : 2827 (java) R 2822 2825 1924 0 -1 4202560 49125 0 0 0 237894 23 0 0 20 0 15 0 40761550 14429134848 214033 33554432000 4194304 4196468 140723315192000 139985477683792 139985090951688 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26615808 140723315197001 140723315197193 140723315197193 140723315199951 0 [pid=2825/tid=2828] ppid=2822 vsize=14090952 memory=856132 CPUtime=1.62 cores=0,2,4,6 /proc/2825/task/2828/stat : 2828 (java) S 2822 2825 1924 0 -1 1077944384 5199 0 0 0 148 14 0 0 20 0 15 0 40761551 14429134848 214033 33554432000 4194304 4196468 140723315192000 139985403534352 139985473455829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26615808 140723315197001 140723315197193 140723315197193 140723315199951 0 [pid=2825/tid=2829] ppid=2822 vsize=14090952 memory=856132 CPUtime=1.63 cores=0,2,4,6 /proc/2825/task/2829/stat : 2829 (java) S 2822 2825 1924 0 -1 1077944384 6163 0 0 0 150 13 0 0 20 0 15 0 40761551 14429134848 214033 33554432000 4194304 4196468 140723315192000 139985402481808 139985473455829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26615808 140723315197001 140723315197193 140723315197193 140723315199951 0 [pid=2825/tid=2830] ppid=2822 vsize=14090952 memory=856132 CPUtime=1.64 cores=0,2,4,6 /proc/2825/task/2830/stat : 2830 (java) S 2822 2825 1924 0 -1 1077944384 6863 0 0 0 152 12 0 0 20 0 15 0 40761551 14429134848 214033 33554432000 4194304 4196468 140723315192000 139985401428752 139985473455829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26615808 140723315197001 140723315197193 140723315197193 140723315199951 0 [pid=2825/tid=2831] ppid=2822 vsize=14090952 memory=856132 CPUtime=1.64 cores=0,2,4,6 /proc/2825/task/2831/stat : 2831 (java) S 2822 2825 1924 0 -1 1077944384 7132 0 0 0 151 13 0 0 20 0 15 0 40761551 14429134848 214033 33554432000 4194304 4196468 140723315192000 139985400376208 139985473455829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26615808 140723315197001 140723315197193 140723315197193 140723315199951 0 [pid=2825/tid=2832] ppid=2822 vsize=14090952 memory=856132 CPUtime=1.05 cores=0,2,4,6 /proc/2825/task/2832/stat : 2832 (java) S 2822 2825 1924 0 -1 1077944384 8770 0 0 0 94 11 0 0 20 0 15 0 40761553 14429134848 214033 33554432000 4194304 4196468 140723315192000 139984386361584 139985473456770 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26615808 140723315197001 140723315197193 140723315197193 140723315199951 0 [pid=2825/tid=2833] ppid=2822 vsize=14090952 memory=0 CPUtime=0 cores=0,2,4,6 /proc/2825/task/2833/stat : 2833 (java) S 2822 2825 1924 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 40761553 14429134848 214033 33554432000 4194304 4196468 140723315192000 139984385307872 139985473455829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26615808 140723315197001 140723315197193 140723315197193 140723315199951 0 [pid=2825/tid=2834] ppid=2822 vsize=14090952 memory=856132 CPUtime=0 cores=0,2,4,6 /proc/2825/task/2834/stat : 2834 (java) S 2822 2825 1924 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 40761553 14429134848 214033 33554432000 4194304 4196468 140723315192000 139984384254720 139985473455829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26615808 140723315197001 140723315197193 140723315197193 140723315199951 0 [pid=2825/tid=2835] ppid=2822 vsize=14090952 memory=856132 CPUtime=0 cores=0,2,4,6 /proc/2825/task/2835/stat : 2835 (java) S 2822 2825 1924 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40761556 14429134848 214033 33554432000 4194304 4196468 140723315192000 139984383203280 139985473464219 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26615808 140723315197001 140723315197193 140723315197193 140723315199951 0 [pid=2825/tid=2836] ppid=2822 vsize=14090952 memory=164 CPUtime=1.71 cores=0,2,4,6 /proc/2825/task/2836/stat : 2836 (java) S 2822 2825 1924 0 -1 1077944384 5345 0 0 0 170 1 0 0 20 0 15 0 40761556 14429134848 214033 33554432000 4194304 4196468 140723315192000 139984382151408 139985473456770 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26615808 140723315197001 140723315197193 140723315197193 140723315199951 0 [pid=2825/tid=2837] ppid=2822 vsize=14090952 memory=7809640220832850030 CPUtime=1.68 cores=0,2,4,6 /proc/2825/task/2837/stat : 2837 (java) S 2822 2825 1924 0 -1 1077944384 6278 0 0 0 167 1 0 0 20 0 15 0 40761556 14429134848 214033 33554432000 4194304 4196468 140723315192000 139984381098864 139985473456770 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26615808 140723315197001 140723315197193 140723315197193 140723315199951 0 [pid=2825/tid=2838] ppid=2822 vsize=14090952 memory=4096 CPUtime=0.95 cores=0,2,4,6 /proc/2825/task/2838/stat : 2838 (java) S 2822 2825 1924 0 -1 1077944384 13346 0 0 0 93 2 0 0 20 0 15 0 40761556 14429134848 214033 33554432000 4194304 4196468 140723315192000 139984380045808 139985473456770 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26615808 140723315197001 140723315197193 140723315197193 140723315199951 0 [pid=2825/tid=2839] ppid=2822 vsize=14090952 memory=14308 CPUtime=0 cores=0,2,4,6 /proc/2825/task/2839/stat : 2839 (java) S 2822 2825 1924 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40761556 14429134848 214033 33554432000 4194304 4196468 140723315192000 139984378993504 139985473455829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26615808 140723315197001 140723315197193 140723315197193 140723315199951 0 [pid=2825/tid=2840] ppid=2822 vsize=14090952 memory=2396 CPUtime=0.64 cores=0,2,4,6 /proc/2825/task/2840/stat : 2840 (java) S 2822 2825 1924 0 -1 1077944384 959 0 0 0 27 37 0 0 20 0 15 0 40761556 14429134848 214033 33554432000 4194304 4196468 140723315192000 139984377940528 139985473456770 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26615808 140723315197001 140723315197193 140723315197193 140723315199951 0 Current children cumulated CPU time: 2391.84 s Current children cumulated vsize: 14090952 KiB Current children cumulated memory: 856132 KiB Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2390.5 s] /proc/loadavg: 1.53 1.37 1.41 3/218 3021 /proc/meminfo: memFree=25878860/32770624 swapFree=67108860/67108860 [pid=2825] ppid=2822 vsize=14090952 memory=856132 CPUtime=2400.05 cores=0,2,4,6 /proc/2825/stat : 2825 (java) S 2822 2825 1924 0 -1 1077944320 110615 0 0 0 239897 108 0 0 20 0 15 0 40761550 14429134848 214033 33554432000 4194304 4196468 140723315192000 140723315174544 139985473445623 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 26615808 140723315197001 140723315197193 140723315197193 140723315199951 0 /proc/2825/statm: 3522738 214033 3594 1 0 3484809 0 [pid=2825/tid=2827] ppid=2822 vsize=14090952 memory=856132 CPUtime=2387.36 cores=0,2,4,6 /proc/2825/task/2827/stat : 2827 (java) R 2822 2825 1924 0 -1 4202560 49132 0 0 0 238713 23 0 0 20 0 15 0 40761550 14429134848 214033 33554432000 4194304 4196468 140723315192000 139985477683712 139985090977612 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26615808 140723315197001 140723315197193 140723315197193 140723315199951 0 [pid=2825/tid=2828] ppid=2822 vsize=14090952 memory=856132 CPUtime=1.63 cores=0,2,4,6 /proc/2825/task/2828/stat : 2828 (java) S 2822 2825 1924 0 -1 1077944384 5199 0 0 0 149 14 0 0 20 0 15 0 40761551 14429134848 214033 33554432000 4194304 4196468 140723315192000 139985403534352 139985473455829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26615808 140723315197001 140723315197193 140723315197193 140723315199951 0 [pid=2825/tid=2829] ppid=2822 vsize=14090952 memory=856132 CPUtime=1.64 cores=0,2,4,6 /proc/2825/task/2829/stat : 2829 (java) S 2822 2825 1924 0 -1 1077944384 6163 0 0 0 151 13 0 0 20 0 15 0 40761551 14429134848 214033 33554432000 4194304 4196468 140723315192000 139985402481808 139985473455829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26615808 140723315197001 140723315197193 140723315197193 140723315199951 0 [pid=2825/tid=2830] ppid=2822 vsize=14090952 memory=856132 CPUtime=1.64 cores=0,2,4,6 /proc/2825/task/2830/stat : 2830 (java) S 2822 2825 1924 0 -1 1077944384 6863 0 0 0 152 12 0 0 20 0 15 0 40761551 14429134848 214033 33554432000 4194304 4196468 140723315192000 139985401428752 139985473455829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26615808 140723315197001 140723315197193 140723315197193 140723315199951 0 [pid=2825/tid=2831] ppid=2822 vsize=14090952 memory=856132 CPUtime=1.65 cores=0,2,4,6 /proc/2825/task/2831/stat : 2831 (java) S 2822 2825 1924 0 -1 1077944384 7132 0 0 0 152 13 0 0 20 0 15 0 40761551 14429134848 214033 33554432000 4194304 4196468 140723315192000 139985400376208 139985473455829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26615808 140723315197001 140723315197193 140723315197193 140723315199951 0 [pid=2825/tid=2832] ppid=2822 vsize=14090952 memory=856132 CPUtime=1.05 cores=0,2,4,6 /proc/2825/task/2832/stat : 2832 (java) S 2822 2825 1924 0 -1 1077944384 8772 0 0 0 94 11 0 0 20 0 15 0 40761553 14429134848 214033 33554432000 4194304 4196468 140723315192000 139984386361584 139985473456770 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26615808 140723315197001 140723315197193 140723315197193 140723315199951 0 [pid=2825/tid=2833] ppid=2822 vsize=14090952 memory=856132 CPUtime=0 cores=0,2,4,6 /proc/2825/task/2833/stat : 2833 (java) S 2822 2825 1924 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 40761553 14429134848 214033 33554432000 4194304 4196468 140723315192000 139984385307872 139985473455829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26615808 140723315197001 140723315197193 140723315197193 140723315199951 0 [pid=2825/tid=2834] ppid=2822 vsize=14090952 memory=856132 CPUtime=0 cores=0,2,4,6 /proc/2825/task/2834/stat : 2834 (java) S 2822 2825 1924 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 40761553 14429134848 214033 33554432000 4194304 4196468 140723315192000 139984384254720 139985473455829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26615808 140723315197001 140723315197193 140723315197193 140723315199951 0 [pid=2825/tid=2835] ppid=2822 vsize=14090952 memory=4639074098508484694 CPUtime=0 cores=0,2,4,6 /proc/2825/task/2835/stat : 2835 (java) S 2822 2825 1924 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40761556 14429134848 214033 33554432000 4194304 4196468 140723315192000 139984383203280 139985473464219 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26615808 140723315197001 140723315197193 140723315197193 140723315199951 0 [pid=2825/tid=2836] ppid=2822 vsize=14090952 memory=856132 CPUtime=1.71 cores=0,2,4,6 /proc/2825/task/2836/stat : 2836 (java) S 2822 2825 1924 0 -1 1077944384 5345 0 0 0 170 1 0 0 20 0 15 0 40761556 14429134848 214033 33554432000 4194304 4196468 140723315192000 139984382151408 139985473456770 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26615808 140723315197001 140723315197193 140723315197193 140723315199951 0 [pid=2825/tid=2837] ppid=2822 vsize=14090952 memory=856132 CPUtime=1.68 cores=0,2,4,6 /proc/2825/task/2837/stat : 2837 (java) S 2822 2825 1924 0 -1 1077944384 6278 0 0 0 167 1 0 0 20 0 15 0 40761556 14429134848 214033 33554432000 4194304 4196468 140723315192000 139984381098864 139985473456770 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26615808 140723315197001 140723315197193 140723315197193 140723315199951 0 [pid=2825/tid=2838] ppid=2822 vsize=14090952 memory=856132 CPUtime=0.95 cores=0,2,4,6 /proc/2825/task/2838/stat : 2838 (java) S 2822 2825 1924 0 -1 1077944384 13346 0 0 0 93 2 0 0 20 0 15 0 40761556 14429134848 214033 33554432000 4194304 4196468 140723315192000 139984380045808 139985473456770 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26615808 140723315197001 140723315197193 140723315197193 140723315199951 0 [pid=2825/tid=2839] ppid=2822 vsize=14090952 memory=856132 CPUtime=0 cores=0,2,4,6 /proc/2825/task/2839/stat : 2839 (java) S 2822 2825 1924 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40761556 14429134848 214033 33554432000 4194304 4196468 140723315192000 139984378993504 139985473455829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26615808 140723315197001 140723315197193 140723315197193 140723315199951 0 [pid=2825/tid=2840] ppid=2822 vsize=14090952 memory=4096 CPUtime=0.64 cores=0,2,4,6 /proc/2825/task/2840/stat : 2840 (java) S 2822 2825 1924 0 -1 1077944384 961 0 0 0 27 37 0 0 20 0 15 0 40761556 14429134848 214033 33554432000 4194304 4196468 140723315192000 139984377940528 139985473456770 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26615808 140723315197001 140723315197193 140723315197193 140723315199951 0 Current children cumulated CPU time: 2400.05 s Current children cumulated vsize: 14090952 KiB Current children cumulated memory: 856132 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2390.53 s] # the end of solver process 2825 was just reported to runsolver # cumulated CPU time of all completed processes: user=2399 s, system=1.09063 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+2390.5 s] /proc/loadavg: 1.53 1.37 1.41 3/218 3021 /proc/meminfo: memFree=25878860/32770624 swapFree=67108860/67108860 [pid=2825] ppid=2822 vsize=14090952 memory=856132 CPUtime=2400.05 cores=0,2,4,6 /proc/2825/stat : 2825 (java) S 2822 2825 1924 0 -1 1077944320 110615 0 0 0 239897 108 0 0 20 0 15 0 40761550 14429134848 214033 33554432000 4194304 4196468 140723315192000 140723315174544 139985473445623 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 26615808 140723315197001 140723315197193 140723315197193 140723315199951 0 /proc/2825/statm: 3522738 214033 3594 1 0 3484809 0 [pid=2825/tid=2827] ppid=2822 vsize=14090952 memory=856132 CPUtime=2387.36 cores=0,2,4,6 /proc/2825/task/2827/stat : 2827 (java) R 2822 2825 1924 0 -1 4202560 49132 0 0 0 238713 23 0 0 20 0 15 0 40761550 14429134848 214033 33554432000 4194304 4196468 140723315192000 139985477683712 139985090977612 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26615808 140723315197001 140723315197193 140723315197193 140723315199951 0 [pid=2825/tid=2828] ppid=2822 vsize=14090952 memory=856132 CPUtime=1.63 cores=0,2,4,6 /proc/2825/task/2828/stat : 2828 (java) S 2822 2825 1924 0 -1 1077944384 5199 0 0 0 149 14 0 0 20 0 15 0 40761551 14429134848 214033 33554432000 4194304 4196468 140723315192000 139985403534352 139985473455829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26615808 140723315197001 140723315197193 140723315197193 140723315199951 0 [pid=2825/tid=2829] ppid=2822 vsize=14090952 memory=856132 CPUtime=1.64 cores=0,2,4,6 /proc/2825/task/2829/stat : 2829 (java) S 2822 2825 1924 0 -1 1077944384 6163 0 0 0 151 13 0 0 20 0 15 0 40761551 14429134848 214033 33554432000 4194304 4196468 140723315192000 139985402481808 139985473455829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26615808 140723315197001 140723315197193 140723315197193 140723315199951 0 [pid=2825/tid=2830] ppid=2822 vsize=14090952 memory=856132 CPUtime=1.64 cores=0,2,4,6 /proc/2825/task/2830/stat : 2830 (java) S 2822 2825 1924 0 -1 1077944384 6863 0 0 0 152 12 0 0 20 0 15 0 40761551 14429134848 214033 33554432000 4194304 4196468 140723315192000 139985401428752 139985473455829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26615808 140723315197001 140723315197193 140723315197193 140723315199951 0 [pid=2825/tid=2831] ppid=2822 vsize=14090952 memory=856132 CPUtime=1.65 cores=0,2,4,6 /proc/2825/task/2831/stat : 2831 (java) S 2822 2825 1924 0 -1 1077944384 7132 0 0 0 152 13 0 0 20 0 15 0 40761551 14429134848 214033 33554432000 4194304 4196468 140723315192000 139985400376208 139985473455829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26615808 140723315197001 140723315197193 140723315197193 140723315199951 0 [pid=2825/tid=2832] ppid=2822 vsize=14090952 memory=856132 CPUtime=1.05 cores=0,2,4,6 /proc/2825/task/2832/stat : 2832 (java) S 2822 2825 1924 0 -1 1077944384 8772 0 0 0 94 11 0 0 20 0 15 0 40761553 14429134848 214033 33554432000 4194304 4196468 140723315192000 139984386361584 139985473456770 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26615808 140723315197001 140723315197193 140723315197193 140723315199951 0 [pid=2825/tid=2833] ppid=2822 vsize=14090952 memory=856132 CPUtime=0 cores=0,2,4,6 /proc/2825/task/2833/stat : 2833 (java) S 2822 2825 1924 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 40761553 14429134848 214033 33554432000 4194304 4196468 140723315192000 139984385307872 139985473455829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26615808 140723315197001 140723315197193 140723315197193 140723315199951 0 [pid=2825/tid=2834] ppid=2822 vsize=14090952 memory=856132 CPUtime=0 cores=0,2,4,6 /proc/2825/task/2834/stat : 2834 (java) S 2822 2825 1924 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 40761553 14429134848 214033 33554432000 4194304 4196468 140723315192000 139984384254720 139985473455829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26615808 140723315197001 140723315197193 140723315197193 140723315199951 0 [pid=2825/tid=2835] ppid=2822 vsize=14090952 memory=4639074098508484694 CPUtime=0 cores=0,2,4,6 /proc/2825/task/2835/stat : 2835 (java) S 2822 2825 1924 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40761556 14429134848 214033 33554432000 4194304 4196468 140723315192000 139984383203280 139985473464219 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26615808 140723315197001 140723315197193 140723315197193 140723315199951 0 [pid=2825/tid=2836] ppid=2822 vsize=14090952 memory=856132 CPUtime=1.71 cores=0,2,4,6 /proc/2825/task/2836/stat : 2836 (java) S 2822 2825 1924 0 -1 1077944384 5345 0 0 0 170 1 0 0 20 0 15 0 40761556 14429134848 214033 33554432000 4194304 4196468 140723315192000 139984382151408 139985473456770 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26615808 140723315197001 140723315197193 140723315197193 140723315199951 0 [pid=2825/tid=2837] ppid=2822 vsize=14090952 memory=856132 CPUtime=1.68 cores=0,2,4,6 /proc/2825/task/2837/stat : 2837 (java) S 2822 2825 1924 0 -1 1077944384 6278 0 0 0 167 1 0 0 20 0 15 0 40761556 14429134848 214033 33554432000 4194304 4196468 140723315192000 139984381098864 139985473456770 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26615808 140723315197001 140723315197193 140723315197193 140723315199951 0 [pid=2825/tid=2838] ppid=2822 vsize=14090952 memory=856132 CPUtime=0.95 cores=0,2,4,6 /proc/2825/task/2838/stat : 2838 (java) S 2822 2825 1924 0 -1 1077944384 13346 0 0 0 93 2 0 0 20 0 15 0 40761556 14429134848 214033 33554432000 4194304 4196468 140723315192000 139984380045808 139985473456770 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26615808 140723315197001 140723315197193 140723315197193 140723315199951 0 [pid=2825/tid=2839] ppid=2822 vsize=14090952 memory=856132 CPUtime=0 cores=0,2,4,6 /proc/2825/task/2839/stat : 2839 (java) S 2822 2825 1924 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40761556 14429134848 214033 33554432000 4194304 4196468 140723315192000 139984378993504 139985473455829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26615808 140723315197001 140723315197193 140723315197193 140723315199951 0 [pid=2825/tid=2840] ppid=2822 vsize=14090952 memory=4096 CPUtime=0.64 cores=0,2,4,6 /proc/2825/task/2840/stat : 2840 (java) S 2822 2825 1924 0 -1 1077944384 961 0 0 0 27 37 0 0 20 0 15 0 40761556 14429134848 214033 33554432000 4194304 4196468 140723315192000 139984377940528 139985473456770 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26615808 140723315197001 140723315197193 140723315197193 140723315199951 0 Current children cumulated CPU time: 2400.05 s Current children cumulated vsize: 14090952 KiB Current children cumulated memory: 856132 KiB Child status: 143 Real time (s): 2390.53 CPU time (s): 2400.09 CPU user time (s): 2399 CPU system time (s): 1.09063 CPU usage (%): 100.4 Max. virtual memory (cumulated for all children) (KiB): 14090952 Max. memory (cumulated for all children) (KiB): 1174960 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2399 system time used= 1.09063 maximum resident set size= 1190340 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 111055 page faults= 0 swaps= 0 block input operations= 0 block output operations= 2800 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 82476 involuntary context switches= 3799 # summary of solver processes directly reported to runsolver: # pid: 2825 # total CPU time (s): 2400.09 # total CPU user time (s): 2399 # total CPU system time (s): 1.09063 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 12.1054 second user time and 22.2365 second system time The end
Begin job on node134 at 2018-07-22 05:59:43 IDJOB=4290372 IDBENCH=141119 IDSOLVER=2743 FILE ID=node134/4290372-1532231983 RUNJOBID= node134-1532224835-1955 PBS_JOBID= 21018943 Free space on /tmp= 55960 MiB SOLVER NAME= OscaR - Conflict Ordering with restarts 2018-07-02 BENCH NAME= XCSP18/PseudoBoolean-opt/Pb-radar-30-30-45-050-100_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-4290372-1532231983/watcher-4290372-1532231983 -o /tmp/evaluation-result-4290372-1532231983/solver-4290372-1532231983 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node134-1532224835-1955 --watchdog 2560 java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 639785823 --timelimit 2400 --memlimit 11000 --nbcore 4 HOME/instance-4290372-1532231983.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 038278868d516ab8bda18fb263b0f90d RANDOM SEED=639785823 node134.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.68 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.68 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.68 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.68 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: 27345056 kB MemAvailable: 31767956 kB Buffers: 145068 kB Cached: 4543088 kB SwapCached: 0 kB Active: 1609364 kB Inactive: 3345796 kB Active(anon): 216508 kB Inactive(anon): 70372 kB Active(file): 1392856 kB Inactive(file): 3275424 kB Unevictable: 7396 kB Mlocked: 7396 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 36120 kB Writeback: 0 kB AnonPages: 264308 kB Mapped: 48672 kB Shmem: 17056 kB Slab: 168504 kB SReclaimable: 140908 kB SUnreclaim: 27596 kB KernelStack: 3872 kB PageTables: 5336 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1288696 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 145408 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 120192 kB DirectMap2M: 33425408 kB Free space on /tmp at the end= 55916 MiB End job on node134 at 2018-07-22 06:39:34