Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Concrete 3.8-SuperNG 2018-06-13 | OPT | 39 | 2136.6 | 2001.88 |
| Name | GraphColoring/ GraphColoring-qg-order40_c18.xml |
| MD5SUM | d1aa36ddb66a988b2d6475ffc1d9c375 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 39 |
| Best CPU time to get the best result obtained on this benchmark | 1305.33 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 1600 |
| Number of constraints | 62400 |
| Number of domains | 1 |
| Minimum domain size | 1600 |
| Maximum domain size | 1600 |
| Distribution of domain sizes | [{"size":1600,"count":1600}] |
| Minimum variable degree | 79 |
| Maximum variable degree | 79 |
| Distribution of variable degrees | [{"degree":79,"count":1600}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 2 |
| Distribution of constraint arities | [{"arity":2,"count":62400}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 62400 |
| Distribution of constraint types | [{"type":"intension","count":62400}] |
| Optimization problem | YES |
| Type of objective | min MAXIMUM |
0.99/0.74 c Concrete v3.8.1528841891564 running 75.02/55.06 o 1599 77.91/56.26 o 1598 79.27/57.15 o 1597 80.64/57.97 o 1596 82.05/58.80 o 1595 82.84/59.58 o 1594 83.92/60.44 o 1593 85.07/61.30 o 1592 86.01/62.12 o 1591 86.85/62.87 o 1590 87.68/63.66 o 1589 88.58/64.54 o 1588 89.38/65.38 o 1587 90.33/66.25 o 1586 91.26/67.12 o 1585 92.26/68.03 o 1584 93.15/68.91 o 1583 93.95/69.75 o 1582 94.98/70.73 o 1581 95.89/71.59 o 1580 96.92/72.57 o 1579 97.85/73.43 o 1578 98.92/74.45 o 1577 99.93/75.46 o 1576 101.05/76.36 o 1575 101.97/77.29 o 1574 102.98/78.21 o 1573 103.89/79.13 o 1572 104.99/80.22 o 1571 105.90/81.19 o 1570 106.99/82.22 o 1569 108.13/83.34 o 1568 109.40/84.38 o 1567 110.50/85.43 o 1566 111.40/86.39 o 1565 112.84/87.60 o 1564 113.84/88.69 o 1563 114.95/89.72 o 1562 115.96/90.73 o 1561 116.96/91.78 o 1560 118.33/93.06 o 1559 119.53/94.22 o 1558 120.53/95.26 o 1557 121.64/96.35 o 1556 122.84/97.51 o 1555 124.05/98.76 o 1554 125.25/99.99 o 1553 126.55/101.17 o 1552 127.84/102.41 o 1551 129.04/103.66 o 1550 130.24/104.86 o 1549 131.45/106.06 o 1548 132.75/107.36 o 1547 134.05/108.62 o 1546 135.15/109.74 o 1545 136.43/110.92 o 1544 137.64/112.15 o 1543 138.83/113.36 o 1542 140.03/114.53 o 1541 141.55/116.05 o 1540 142.94/117.39 o 1539 144.24/118.62 o 1538 145.67/119.90 o 1537 146.77/121.08 o 1536 147.97/122.27 o 1535 149.17/123.42 o 1534 150.37/124.65 o 1533 151.57/125.89 o 1532 153.17/127.44 o 1531 154.72/128.86 o 1530 156.13/130.28 o 1529 157.53/131.69 o 1528 158.83/133.00 o 1527 160.24/134.30 o 1526 161.54/135.64 o 1525 162.74/136.84 o 1524 164.05/138.14 o 1523 165.39/139.35 o 1522 166.69/140.60 o 1521 168.75/142.66 o 1520 170.35/144.23 o 1519 171.85/145.72 o 1518 173.45/147.31 o 1517 175.23/148.96 o 1516 176.73/150.48 o 1515 178.34/152.06 o 1514 179.84/153.58 o 1513 181.35/155.06 o 1512 182.85/156.54 o 1511 184.35/158.02 o 1510 186.13/159.63 o 1509 187.53/161.10 o 1508 189.43/162.91 o 1507 191.13/164.65 o 1506 192.93/166.42 o 1505 194.64/168.11 o 1504 196.24/169.74 o 1503 197.98/171.40 o 1502 199.58/172.92 o 1501 201.18/174.50 o 1500 202.69/176.10 o 1499 204.28/177.68 o 1498 205.88/179.28 o 1497 207.68/180.91 o 1496 209.11/182.35 o 1495 210.51/183.75 o 1494 212.12/185.33 o 1493 213.52/186.72 o 1492 216.62/189.55 o 1491 218.63/191.53 o 1490 220.63/193.52 o 1489 222.43/195.35 o 1488 224.33/197.29 o 1487 226.24/199.16 o 1486 227.94/200.86 o 1485 229.98/202.61 o 1484 231.68/204.35 o 1483 233.28/205.99 o 1482 234.98/207.62 o 1481 236.68/209.39 o 1480 238.49/211.15 o 1479 240.44/212.83 o 1478 242.04/214.47 o 1477 243.75/216.12 o 1476 245.24/217.68 o 1475 246.85/219.26 o 1474 248.45/220.82 o 1473 252.29/224.42 o 1472 254.49/226.60 o 1471 262.59/230.33 o 1470 264.71/232.46 o 1469 267.01/234.78 o 1468 269.42/237.13 o 1467 271.71/239.44 o 1466 273.92/241.68 o 1465 276.53/243.94 o 1464 278.74/246.16 o 1463 281.03/248.43 o 1462 283.38/250.75 o 1461 285.58/252.93 o 1460 288.09/255.24 o 1459 290.40/257.50 o 1458 292.60/259.77 o 1457 294.80/261.94 o 1456 297.00/264.15 o 1455 299.10/266.29 o 1454 301.58/268.50 o 1453 303.58/270.55 o 1452 305.78/272.70 o 1451 308.48/275.46 o 1450 311.35/278.02 o 1449 313.64/280.37 o 1448 315.94/282.68 o 1447 318.54/285.22 o 1446 320.95/287.62 o 1445 323.59/290.08 o 1444 326.19/292.60 o 1443 328.49/294.97 o 1442 330.90/297.31 o 1441 333.20/299.63 o 1440 335.85/302.02 o 1439 338.24/304.43 o 1438 340.45/306.68 o 1437 342.75/308.94 o 1436 345.05/311.26 o 1435 347.35/313.52 o 1434 349.88/315.82 o 1433 351.98/318.01 o 1432 353.98/319.94 o 1431 355.98/321.98 o 1430 357.98/323.96 o 1429 359.88/325.81 o 1428 362.12/327.86 o 1427 364.02/329.71 o 1426 365.92/331.65 o 1425 368.02/333.75 o 1424 372.49/337.81 o 1423 375.59/340.91 o 1422 378.39/343.79 o 1421 381.79/346.72 o 1420 384.39/349.30 o 1419 386.99/351.97 o 1418 389.80/354.73 o 1417 392.99/357.58 o 1416 395.69/360.21 o 1415 398.51/363.03 o 1414 401.10/365.70 o 1413 403.90/368.48 o 1412 407.03/371.22 o 1411 409.64/373.80 o 1410 412.24/376.47 o 1409 414.96/379.17 o 1408 417.65/381.90 o 1407 420.66/384.55 o 1406 423.36/387.23 o 1405 425.86/389.79 o 1404 428.47/392.39 o 1403 431.72/395.26 o 1402 434.42/397.95 o 1401 437.22/400.70 o 1400 439.93/403.40 o 1399 442.34/405.81 o 1398 445.39/408.54 o 1397 447.90/411.07 o 1396 450.60/413.75 o 1395 453.10/416.30 o 1394 455.80/418.93 o 1393 458.53/421.41 o 1392 462.36/425.23 o 1391 465.77/428.29 o 1390 468.77/431.22 o 1389 471.58/434.04 o 1388 474.37/436.85 o 1387 477.92/440.08 o 1386 480.94/443.01 o 1385 483.85/445.96 o 1384 486.86/448.90 o 1383 489.56/451.64 o 1382 492.88/454.65 o 1381 495.78/457.58 o 1380 498.60/460.39 o 1379 501.50/463.23 o 1378 504.72/466.18 o 1377 507.51/468.99 o 1376 510.73/472.16 o 1375 513.42/474.90 o 1374 516.75/477.84 o 1373 519.45/480.53 o 1372 522.35/483.46 o 1371 525.15/486.27 o 1370 527.85/488.97 o 1369 530.97/491.76 o 1368 533.77/494.58 o 1367 536.38/497.18 o 1366 539.07/499.82 o 1365 541.67/502.48 o 1364 544.69/505.15 o 1363 547.28/507.71 o 1362 549.79/510.29 o 1361 552.29/512.76 o 1360 554.70/515.17 o 1359 557.47/517.59 o 1358 559.87/519.95 o 1357 561.98/522.06 o 1356 564.47/524.50 o 1355 566.77/526.86 o 1354 569.18/529.20 o 1353 575.12/534.49 o 1352 578.42/537.77 o 1351 581.52/540.88 o 1350 585.06/543.96 o 1349 588.06/546.97 o 1348 590.97/549.90 o 1347 594.07/552.98 o 1346 597.49/555.96 o 1345 600.30/558.78 o 1344 603.51/561.98 o 1343 606.42/564.83 o 1342 609.42/567.87 o 1341 616.95/571.97 o 1340 619.65/574.67 o 1339 622.55/577.52 o 1338 625.35/580.30 o 1337 628.25/583.13 o 1336 630.94/585.88 o 1335 633.64/588.51 o 1334 636.54/591.44 o 1333 639.25/594.14 o 1332 642.12/596.97 o 1331 645.12/599.95 o 1330 647.82/602.63 o 1329 650.32/605.17 o 1328 652.82/607.65 o 1327 655.47/610.20 o 1326 657.77/612.56 o 1325 660.29/615.02 o 1324 662.58/617.35 o 1323 664.78/619.56 o 1322 666.94/621.70 o 1321 669.24/623.95 o 1320 671.46/626.15 o 1319 673.75/628.41 o 1318 676.05/630.76 o 1317 678.63/633.29 o 1316 681.03/635.60 o 1315 683.33/637.93 o 1314 685.63/640.25 o 1313 687.83/642.49 o 1312 690.30/644.86 o 1311 692.61/647.14 o 1310 694.71/649.28 o 1309 696.91/651.42 o 1308 699.02/653.58 o 1307 701.12/655.70 o 1306 703.39/657.81 o 1305 705.39/659.80 o 1304 714.40/667.37 o 1303 717.81/670.71 o 1302 721.41/674.32 o 1301 724.72/677.67 o 1300 728.76/681.15 o 1299 732.05/684.48 o 1298 735.45/687.81 o 1297 739.21/691.07 o 1296 742.31/694.17 o 1295 745.50/697.34 o 1294 748.41/700.27 o 1293 751.94/703.24 o 1292 754.85/706.17 o 1291 757.64/708.94 o 1290 761.10/711.90 o 1289 763.91/714.62 o 1288 766.61/717.32 o 1287 769.31/720.11 o 1286 772.74/723.00 o 1285 775.44/725.60 o 1284 778.14/728.33 o 1283 781.55/731.12 o 1282 784.06/733.69 o 1281 786.47/736.08 o 1280 788.97/738.52 o 1279 797.51/742.45 o 1278 800.01/744.93 o 1277 802.12/747.09 o 1276 804.41/749.33 o 1275 806.61/751.53 o 1274 808.95/753.82 o 1273 811.16/756.10 o 1272 813.35/758.29 o 1271 815.55/760.45 o 1270 817.79/762.69 o 1269 819.99/764.89 o 1268 822.10/766.99 o 1267 824.21/769.03 o 1266 826.26/771.08 o 1265 828.26/773.05 o 1264 830.15/775.00 o 1263 832.16/776.92 o 1262 834.06/778.86 o 1261 836.11/780.83 o 1260 838.01/782.79 o 1259 839.82/784.58 o 1258 841.82/786.51 o 1257 843.73/788.46 o 1256 845.73/790.41 o 1255 847.58/792.24 o 1254 849.39/794.07 o 1253 850.98/795.64 o 1252 852.78/797.47 o 1251 854.58/799.27 o 1250 856.44/801.09 o 1249 858.44/803.05 o 1248 860.23/804.85 o 1247 861.83/806.48 o 1246 863.55/808.13 o 1245 865.14/809.71 o 1244 866.79/811.30 o 1243 868.40/812.90 o 1242 869.89/814.42 o 1241 871.50/816.07 o 1240 873.00/817.59 o 1239 874.50/819.07 o 1238 905.71/836.60 o 1237 909.41/840.38 o 1236 913.33/844.07 o 1235 916.92/847.64 o 1234 920.61/851.25 o 1233 924.42/855.02 o 1232 927.91/858.56 o 1231 931.67/862.26 o 1230 935.37/865.91 o 1229 939.15/869.65 o 1228 942.75/873.25 o 1227 946.36/876.88 o 1226 949.92/880.33 o 1225 953.63/884.10 o 1224 957.52/887.98 o 1223 961.28/891.66 o 1222 964.88/895.24 o 1221 968.38/898.70 o 1220 971.85/902.15 o 1219 975.44/905.78 o 1218 979.04/909.33 o 1217 982.41/912.64 o 1216 985.72/915.93 o 1215 989.32/919.51 o 1214 992.78/922.96 o 1213 996.39/926.53 o 1212 999.59/929.77 o 1211 1003.07/933.16 o 1210 1006.46/936.53 o 1209 1009.66/939.79 o 1208 1012.97/943.09 o 1207 1016.52/946.57 o 1206 1019.83/949.83 o 1205 1022.93/952.90 o 1204 1026.14/956.16 o 1203 1029.59/959.50 o 1202 1032.80/962.78 o 1201 1035.80/965.76 o 1200 1038.80/968.70 o 1199 1041.86/971.70 o 1198 1044.76/974.63 o 1197 1047.97/977.82 o 1196 1050.87/980.76 o 1195 1054.24/984.02 o 1194 1057.44/987.27 o 1193 1060.35/990.17 o 1192 1063.35/993.12 o 1191 1066.35/996.15 o 1190 1069.31/999.02 o 1189 1072.10/1001.84 o 1188 1074.80/1004.58 o 1187 1077.51/1007.23 o 1186 1080.29/1009.96 o 1185 1082.74/1012.39 o 1184 1085.24/1014.88 o 1183 1087.74/1017.39 o 1182 1090.24/1019.80 o 1181 1092.74/1022.35 o 1180 1095.01/1024.59 o 1179 1097.52/1027.02 o 1178 1100.01/1029.58 o 1177 1102.53/1032.08 o 1176 1104.92/1034.41 o 1175 1107.32/1036.83 o 1174 1109.58/1039.04 o 1173 1111.87/1041.39 o 1172 1114.07/1043.50 o 1171 1116.18/1045.66 o 1170 1118.48/1047.96 o 1169 1120.88/1050.30 o 1168 1122.95/1052.35 o 1167 1125.05/1054.48 o 1166 1136.14/1063.63 o 1165 1140.67/1067.55 o 1164 1144.77/1071.61 o 1163 1148.57/1075.41 o 1162 1152.28/1079.16 o 1161 1156.87/1083.13 o 1160 1160.96/1087.24 o 1159 1164.87/1091.11 o 1158 1169.24/1094.99 o 1157 1173.35/1099.04 o 1156 1177.24/1102.96 o 1155 1181.82/1106.98 o 1154 1185.42/1110.56 o 1153 1188.82/1114.00 o 1152 1193.46/1117.95 o 1151 1197.06/1121.51 o 1150 1200.57/1125.06 o 1149 1210.62/1130.21 o 1148 1214.22/1133.86 o 1147 1217.62/1137.26 o 1146 1221.09/1140.69 o 1145 1224.60/1144.17 o 1144 1227.99/1147.50 o 1143 1231.06/1150.53 o 1142 1234.26/1153.78 o 1141 1237.26/1156.76 o 1140 1240.26/1159.76 o 1139 1243.62/1163.06 o 1138 1246.62/1166.02 o 1137 1249.83/1169.27 o 1136 1252.90/1172.21 o 1135 1256.00/1175.36 o 1134 1259.20/1178.58 o 1133 1262.20/1181.51 o 1132 1265.36/1184.68 o 1131 1268.27/1187.59 o 1130 1271.27/1190.51 o 1129 1274.08/1193.33 o 1128 1277.13/1196.34 o 1127 1280.04/1199.29 o 1126 1283.14/1202.33 o 1125 1285.95/1205.16 o 1124 1288.79/1207.99 o 1123 1291.59/1210.77 o 1122 1294.40/1213.55 o 1121 1297.01/1216.17 o 1120 1299.61/1218.70 o 1119 1302.26/1221.38 o 1118 1304.97/1224.03 o 1117 1307.56/1226.69 o 1116 1310.36/1229.41 o 1115 1312.97/1232.01 o 1114 1315.42/1234.45 o 1113 1318.13/1237.13 o 1112 1320.62/1239.63 o 1111 1323.13/1242.14 o 1110 1325.64/1244.68 o 1109 1328.30/1247.22 o 1108 1330.70/1249.66 o 1107 1332.90/1251.85 o 1106 1335.21/1254.17 o 1105 1337.50/1256.42 o 1104 1339.60/1258.56 o 1103 1341.96/1260.86 o 1102 1344.26/1263.19 o 1101 1346.46/1265.40 o 1100 1348.67/1267.53 o 1099 1351.07/1269.92 o 1098 1353.27/1272.20 o 1097 1355.72/1274.54 o 1096 1357.82/1276.69 o 1095 1360.12/1278.96 o 1094 1362.23/1281.07 o 1093 1364.33/1283.15 o 1092 1366.35/1285.17 o 1091 1368.44/1287.20 o 1090 1370.30/1289.02 o 1089 1372.20/1290.95 o 1088 1374.10/1292.84 o 1087 1375.90/1294.65 o 1086 1377.90/1296.60 o 1085 1379.50/1298.24 o 1084 1381.31/1300.06 o 1083 1383.00/1301.72 o 1082 1384.76/1303.47 o 1081 1386.48/1305.11 o 1080 1388.07/1306.73 o 1079 1389.66/1308.36 o 1078 1391.27/1309.95 o 1077 1392.77/1311.43 o 1076 1394.16/1312.89 o 1075 1395.66/1314.32 o 1074 1397.06/1315.79 o 1073 1398.73/1317.33 o 1072 1400.03/1318.62 o 1071 1401.33/1319.97 o 1070 1402.73/1321.30 o 1069 1403.93/1322.55 o 1068 1405.13/1323.73 o 1067 1406.23/1324.87 o 1066 1460.77/1353.40 o 1065 1465.17/1357.88 o 1064 1469.84/1362.44 o 1063 1474.35/1367.00 o 1062 1479.03/1371.53 o 1061 1483.33/1375.89 o 1060 1488.10/1380.52 o 1059 1492.50/1385.00 o 1058 1497.18/1389.50 o 1057 1501.58/1393.97 o 1056 1506.26/1398.57 o 1055 1510.66/1402.98 o 1054 1514.66/1406.97 o 1053 1518.74/1410.91 o 1052 1522.74/1414.90 o 1051 1526.64/1418.85 o 1050 1530.79/1422.96 o 1049 1535.00/1427.13 o 1048 1539.18/1431.21 o 1047 1543.18/1435.22 o 1046 1546.99/1439.03 o 1045 1550.78/1442.87 o 1044 1554.93/1446.90 o 1043 1558.43/1450.49 o 1042 1562.05/1454.02 o 1041 1565.70/1457.65 o 1040 1569.30/1461.29 o 1039 1573.00/1464.93 o 1038 1577.08/1468.90 o 1037 1580.58/1472.48 o 1036 1584.29/1476.18 o 1035 1587.98/1479.86 o 1034 1591.63/1483.42 o 1033 1595.03/1486.80 o 1032 1598.34/1490.11 o 1031 1601.62/1493.32 o 1030 1604.82/1496.50 o 1029 1607.82/1499.59 o 1028 1610.72/1502.49 o 1027 1613.43/1505.13 o 1026 1616.57/1508.21 o 1025 1619.28/1510.94 o 1024 1622.28/1513.96 o 1023 1625.19/1516.82 o 1022 1628.25/1519.81 o 1021 1630.95/1522.54 o 1020 1633.65/1525.24 o 1019 1636.47/1528.06 o 1018 1639.25/1530.75 o 1017 1641.93/1533.46 o 1016 1644.55/1536.01 o 1015 1647.34/1538.83 o 1014 1649.94/1541.44 o 1013 1652.72/1544.19 o 1012 1655.31/1546.79 o 1011 1657.91/1549.36 o 1010 1660.31/1551.75 o 1009 1662.91/1554.34 o 1008 1665.32/1556.79 o 1007 1667.98/1559.36 o 1006 1670.48/1561.85 o 1005 1672.79/1564.17 o 1004 1675.28/1566.63 o 1003 1677.58/1568.90 o 1002 1679.77/1571.09 o 1001 1682.06/1573.33 o 1000 1684.46/1575.70 o 999 1686.66/1577.93 o 998 1688.66/1579.98 o 997 1690.87/1582.15 o 996 1693.04/1584.22 o 995 1695.14/1586.33 o 994 1697.24/1588.42 o 993 1699.14/1590.34 o 992 1701.14/1592.39 o 991 1702.95/1594.14 o 990 1704.74/1596.00 o 989 1706.71/1597.87 o 988 1708.71/1599.83 o 987 1710.61/1601.80 o 986 1712.41/1603.54 o 985 1714.21/1605.38 o 984 1715.92/1607.02 o 983 1717.52/1608.64 o 982 1718.93/1610.10 o 981 1720.48/1611.56 o 980 1721.99/1613.06 o 979 1723.48/1614.53 o 978 1724.88/1615.90 o 977 1726.37/1617.46 o 976 1727.87/1618.93 o 975 1729.27/1620.31 o 974 1730.77/1621.80 o 973 1732.17/1623.23 o 972 1733.63/1624.60 o 971 1734.94/1625.90 o 970 1736.15/1627.14 o 969 1737.34/1628.39 o 968 1738.54/1629.57 o 967 1739.94/1630.92 o 966 1741.24/1632.29 o 965 1742.34/1633.37 o 964 1743.44/1634.43 o 963 1744.54/1635.59 o 962 1745.64/1636.68 o 961 1746.80/1637.80 o 960 1747.92/1638.87 o 959 1749.02/1640.00 o 958 1750.23/1641.11 o 957 1751.23/1642.15 o 956 1752.32/1643.25 o 955 1753.32/1644.29 o 954 1754.43/1645.32 o 953 1755.43/1646.32 o 952 1756.33/1647.24 o 951 1757.33/1648.21 o 950 1758.24/1649.12 o 949 1759.13/1650.07 o 948 1760.03/1650.91 o 947 1760.89/1651.76 o 946 1761.69/1652.58 o 945 1762.49/1653.33 o 944 1763.20/1654.02 o 943 1763.89/1654.75 o 942 1764.59/1655.48 o 941 1765.30/1656.18 o 940 1765.99/1656.84 o 939 1766.59/1657.49 o 938 1767.20/1658.08 o 937 1767.89/1658.72 o 936 1768.49/1659.32 o 935 1768.99/1659.89 o 934 1769.49/1660.30 o 933 1769.89/1660.76 o 932 1770.39/1661.20 o 931 1770.79/1661.64 o 930 1771.20/1662.01 o 929 1771.59/1662.40 o 928 1771.79/1662.68 o 927 1772.09/1663.00 o 926 1772.50/1663.33 o 925 1772.70/1663.58 o 924 1773.00/1663.85 o 923 1773.37/1664.14 o 922 1773.56/1664.35 o 921 1773.86/1664.60 o 920 1774.06/1664.83 o 919 1774.27/1665.01 o 918 1774.37/1665.19 o 917 1774.56/1665.36 o 916 1774.76/1665.53 o 915 1774.86/1665.69 o 914 1775.06/1665.83 o 913 1775.16/1665.99 o 912 1775.37/1666.12 o 911 1775.46/1666.24 o 910 1775.56/1666.37 o 909 1775.66/1666.46 o 908 1775.76/1666.56 o 907 1775.86/1666.65 o 906 1775.96/1666.74 o 905 1776.06/1666.82 o 904 1776.06/1666.89 o 903 1776.16/1666.98 o 902 1776.27/1667.04 o 901 1776.27/1667.10 o 900 1776.37/1667.15 o 899 1776.37/1667.19 o 898 1776.46/1667.23 o 897 1776.46/1667.26 o 896 1776.46/1667.29 o 895 1776.56/1667.31 o 894 1776.56/1667.33 o 893 1776.56/1667.35 o 892 1776.56/1667.36 o 891 1776.56/1667.38 o 890 1776.56/1667.39 o 45 1776.68/1667.40 o 44 1791.15/1679.70 o 43 1801.70/1690.26 o 42 1811.70/1699.81 o 41 2126.58/1991.99 o 40 2136.51/2001.81 o 39 2136.51/2001.84 v <instantiation cost="39"> 2136.51/2001.84 v <list> 2136.51/2001.84 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] 2136.51/2001.84 v </list> 2136.51/2001.84 v <values> 2136.51/2001.84 v 20 3 11 9 37 14 16 36 25 15 24 1 12 29 4 21 5 23 7 28 34 0 18 10 17 32 19 27 8 22 2 33 35 26 13 30 39 6 38 31 7 12 5 1 28 26 24 15 2 39 3 19 21 38 29 32 6 20 31 37 9 8 13 17 35 33 0 23 16 25 4 10 11 22 14 27 34 18 36 30 29 21 6 38 33 28 20 30 31 23 1 16 11 8 15 18 0 14 2 25 36 32 9 22 39 12 13 7 3 17 19 5 4 24 34 35 10 26 27 37 4 33 28 29 25 36 13 6 20 0 8 32 37 22 14 17 3 38 5 39 26 2 35 15 31 34 21 1 10 11 16 12 18 30 23 24 9 19 7 27 25 27 4 5 32 7 12 3 24 10 9 29 26 31 11 16 20 1 35 33 21 28 39 30 8 37 6 15 36 34 38 2 19 17 22 18 0 13 14 23 12 14 33 36 3 31 4 11 8 19 7 18 38 30 39 25 9 28 15 32 29 27 34 0 5 21 10 22 24 13 17 23 26 6 2 37 35 16 1 20 15 28 2 39 26 37 35 34 18 7 6 5 36 23 16 9 27 25 30 4 12 11 21 24 14 38 8 17 29 31 0 22 33 32 20 13 19 1 10 3 19 23 17 15 4 3 10 21 26 38 18 34 35 0 8 39 36 2 11 13 37 12 30 27 1 7 16 25 28 14 5 9 6 31 33 32 20 22 24 29 28 29 18 22 12 13 1 32 27 5 11 6 25 2 24 31 26 4 23 10 3 9 17 20 21 36 37 0 38 15 34 14 30 33 16 8 7 39 19 35 39 18 8 31 15 23 14 19 7 22 26 25 28 13 34 11 32 24 37 16 27 21 12 2 20 4 35 9 33 36 1 30 17 10 3 0 29 38 5 6 0 8 23 19 39 20 15 7 34 14 4 24 18 21 32 1 13 3 16 6 11 29 36 35 26 31 30 33 22 10 12 25 5 38 27 28 37 2 9 17 37 17 9 7 2 18 19 13 0 28 32 8 30 6 1 38 25 5 10 15 31 34 20 26 22 29 23 24 27 21 39 3 16 11 35 12 36 33 4 14 33 25 24 11 18 21 6 26 12 29 14 13 31 15 9 27 19 16 28 1 5 36 2 4 0 22 38 3 37 23 8 39 32 34 17 7 30 20 35 10 21 9 34 4 0 35 38 22 1 26 28 20 5 16 25 30 24 36 17 11 32 23 10 19 2 27 33 13 14 29 7 37 8 18 12 6 15 31 3 39 35 7 3 20 19 32 37 33 15 2 16 9 10 4 30 22 38 0 6 14 39 18 23 36 27 17 12 21 11 24 25 29 28 1 31 26 5 34 13 8 9 26 21 18 24 34 32 29 11 37 22 4 0 33 2 15 23 27 36 35 19 39 14 16 6 30 20 28 7 5 31 13 10 12 38 3 1 8 17 25 18 22 26 37 6 38 30 17 35 27 19 0 2 39 20 14 10 34 21 24 28 25 8 1 33 5 9 16 13 12 15 36 3 23 7 29 4 11 31 32 11 32 0 28 14 10 39 12 23 25 20 30 24 27 17 5 2 13 33 31 4 1 26 8 38 15 3 18 35 9 29 19 7 37 6 16 22 36 34 21 14 15 13 26 35 29 22 16 9 21 25 37 6 17 36 3 30 8 1 2 0 7 31 38 23 19 5 10 39 32 24 34 12 20 18 4 11 27 28 33 26 2 20 3 11 33 23 0 39 12 29 36 34 1 10 7 37 9 22 5 16 35 27 32 30 8 17 6 15 4 14 24 21 28 19 31 13 25 18 38 3 13 10 32 5 8 18 2 6 36 39 28 17 35 22 37 4 30 14 29 7 26 38 31 16 20 15 19 1 0 27 11 23 25 9 34 33 12 21 24 30 35 29 14 10 4 36 5 3 1 15 26 33 20 38 34 16 31 13 23 6 24 19 11 32 18 27 2 21 8 28 0 22 7 39 25 17 9 37 12 17 6 16 27 34 5 3 24 33 9 38 22 4 32 18 26 1 39 25 21 35 20 0 13 10 14 11 31 30 28 37 7 15 2 8 19 12 23 29 36 16 30 31 25 7 17 5 10 29 32 37 38 8 12 35 4 39 15 27 26 20 33 22 23 34 13 14 11 19 1 3 28 9 0 21 36 2 24 6 18 31 16 1 23 30 11 21 39 37 33 12 35 20 25 0 10 22 17 9 19 18 3 28 7 4 2 24 8 34 27 6 26 36 13 29 38 14 15 32 5 1 19 14 30 13 2 8 35 17 18 10 3 27 5 6 29 12 33 39 7 24 4 11 37 36 0 34 20 26 16 9 31 25 21 28 23 38 32 15 22 6 34 38 35 22 16 9 28 19 13 2 21 32 24 5 23 15 10 4 18 33 17 37 29 3 25 7 30 31 39 26 1 20 27 36 14 8 0 12 11 8 39 37 21 16 12 28 9 22 3 23 27 1 34 31 36 35 7 20 38 25 30 29 6 19 24 32 4 0 2 13 17 14 15 11 5 18 10 33 26 32 1 36 34 31 0 29 4 5 30 13 23 39 7 28 24 33 11 8 22 10 6 16 3 37 9 25 35 12 18 21 20 38 14 26 15 27 17 2 19 34 24 27 16 23 30 7 38 21 20 35 12 9 10 3 33 31 19 18 17 2 14 25 28 13 11 1 26 5 6 36 15 29 39 4 22 32 37 8 0 10 0 7 33 36 6 27 1 30 35 31 17 19 28 37 13 8 12 26 20 14 22 15 34 24 16 18 29 23 38 11 32 39 4 5 9 21 3 25 2 5 4 30 8 17 9 0 27 32 6 21 7 13 18 26 2 29 37 12 36 1 15 24 33 11 35 39 34 25 3 22 38 31 19 10 20 23 14 16 28 13 31 25 6 1 27 2 23 10 11 36 14 22 26 33 20 28 18 34 30 8 19 3 12 29 39 4 38 17 37 32 35 24 9 15 21 16 5 0 7 27 36 19 2 29 24 33 25 13 17 30 11 7 14 23 6 34 26 38 8 15 37 5 39 28 10 31 12 18 35 20 21 0 16 32 1 3 4 22 9 23 20 39 24 21 1 17 31 4 34 33 15 3 9 19 35 14 22 0 27 38 16 6 5 12 26 28 36 32 7 10 18 2 8 37 11 25 29 30 13 22 11 35 10 9 15 34 20 36 8 0 39 14 37 7 19 17 32 24 12 13 38 33 21 25 28 29 5 6 26 18 4 27 3 1 2 31 30 23 16 38 10 15 12 27 22 11 37 28 16 34 2 23 36 13 0 21 35 29 3 17 31 32 9 18 6 26 14 20 19 30 8 1 5 25 33 24 7 39 4 36 38 22 0 8 39 31 14 16 24 5 10 29 3 21 12 18 6 19 34 23 13 7 25 9 1 2 32 4 20 33 27 37 35 30 17 26 28 11 15 24 5 12 13 38 25 26 8 14 31 17 33 15 19 27 28 11 21 32 9 22 10 4 18 7 3 36 37 2 30 23 16 34 29 0 39 6 35 20 1 2 37 32 17 20 19 25 18 38 4 27 31 16 11 12 8 7 29 3 0 30 5 1 14 15 23 22 39 9 33 35 6 13 36 24 10 28 21 26 34 2136.51/2001.84 v </values> 2136.51/2001.84 v </instantiation> 2136.51/2001.84 s OPTIMUM FOUND
OK 39
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 (14244 MiB free)
memory of node 1: 16384 MiB (12884 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4293226-1532308748/watcher-4293226-1532308748 -o /tmp/evaluation-result-4293226-1532308748/solver-4293226-1532308748 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node149-1532298084-3499 --watchdog 2580 concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=11639403 -superng HOME/instance-4293226-1532308748.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=5789, runsolver pid=5786
Current StackSize limit: 8192 KiB
[startup+0.10011 s]*
/proc/loadavg: 1.73 3.11 2.71 3/207 5846
/proc/meminfo: memFree=27774556/32770624 swapFree=67108860/67108860
[pid=5789] ppid=5786 vsize=9972712 memory=16808 CPUtime=0.09 cores=0,2,4,6
/proc/5789/stat : 5789 (java) S 5786 5789 3468 0 -1 1077944320 4322 12979 0 0 1 0 5 3 20 0 6 0 48437965 10212057088 4202 33554432000 4194304 4196468 140731167847008 140731167829552 140694518464247 0 0 0 16784584 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 26390528 140731167848621 140731167851868 140731167851868 140731167854543 0
/proc/5789/statm: 2493178 4202 1934 1 0 2481616 0
[pid=5789/tid=5842] ppid=5786 vsize=9972712 memory=4718545630382498451 CPUtime=0.09 cores=0,2,4,6
/proc/5789/task/5842/stat : 5842 (java) R 5786 5789 3468 0 -1 4202560 2171 12979 0 0 1 0 5 3 20 0 6 0 48437974 10212057088 4202 33554432000 4194304 4196468 140731167847008 140694490301008 140694504146773 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26390528 140731167848621 140731167851868 140731167851868 140731167854543 0
[pid=5789/tid=5843] ppid=5786 vsize=9972712 memory=5793855469413009849 CPUtime=0.08 cores=0,2,4,6
/proc/5789/task/5843/stat : 5843 (java) S 5786 5789 3468 0 -1 1077944384 1 12979 0 0 0 0 5 3 20 0 6 0 48437975 10212057088 4202 33554432000 4194304 4196468 140731167847008 140694522706448 140694518474453 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26390528 140731167848621 140731167851868 140731167851868 140731167854543 0
[pid=5789/tid=5844] ppid=5786 vsize=9972712 memory=140218403116672 CPUtime=0.08 cores=0,2,4,6
/proc/5789/task/5844/stat : 5844 (java) S 5786 5789 3468 0 -1 1077944384 1 12979 0 0 0 0 5 3 20 0 6 0 48437975 10212057088 4202 33554432000 4194304 4196468 140731167847008 140694410979984 140694518474453 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26390528 140731167848621 140731167851868 140731167851868 140731167854543 0
[pid=5789/tid=5845] ppid=5786 vsize=9972712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/5789/task/5845/stat : 5845 (java) S 5786 5789 3468 0 -1 1077944384 1 12979 0 0 0 0 5 3 20 0 6 0 48437975 10212057088 4202 33554432000 4194304 4196468 140731167847008 140694409926928 140694518474453 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26390528 140731167848621 140731167851868 140731167851868 140731167854543 0
[pid=5789/tid=5846] ppid=5786 vsize=9972712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/5789/task/5846/stat : 5846 (java) S 5786 5789 3468 0 -1 1077944384 2 12979 0 0 0 0 5 3 20 0 6 0 48437975 10212057088 4202 33554432000 4194304 4196468 140731167847008 140694408874384 140694518474453 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26390528 140731167848621 140731167851868 140731167851868 140731167854543 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 16808 KiB
[startup+0.210436 s]*
/proc/loadavg: 1.73 3.11 2.71 3/216 5855
/proc/meminfo: memFree=27751900/32770624 swapFree=67108860/67108860
[pid=5789] ppid=5786 vsize=10818904 memory=41492 CPUtime=0.26 cores=0,2,4,6
/proc/5789/stat : 5789 (java) S 5786 5789 3468 0 -1 1077944320 8718 12979 0 0 17 1 5 3 20 0 15 0 48437965 11078557696 10373 33554432000 4194304 4196468 140731167847008 140731167829552 140694518464247 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 26390528 140731167848621 140731167851868 140731167851868 140731167854543 0
/proc/5789/statm: 2704726 10373 2973 1 0 2667149 0
[pid=5789/tid=5842] ppid=5786 vsize=10818936 memory=-2899909650764262549 CPUtime=0.2 cores=0,2,4,6
/proc/5789/task/5842/stat : 5842 (java) R 5786 5789 3468 0 -1 4202560 6009 12979 0 0 11 1 5 3 20 0 15 0 48437974 11078590464 10966 33554432000 4194304 4196468 140731167847008 140694490289056 140694511143965 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26390528 140731167848621 140731167851868 140731167851868 140731167854543 0
[pid=5789/tid=5843] ppid=5786 vsize=10818904 memory=4211973944607907210 CPUtime=0.08 cores=0,2,4,6
/proc/5789/task/5843/stat : 5843 (java) S 5786 5789 3468 0 -1 1077944384 1 12979 0 0 0 0 5 3 20 0 15 0 48437975 11078557696 11019 33554432000 4194304 4196468 140731167847008 140694522706448 140694518474453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26390528 140731167848621 140731167851868 140731167851868 140731167854543 0
[pid=5789/tid=5844] ppid=5786 vsize=10818904 memory=140218403116672 CPUtime=0.08 cores=0,2,4,6
/proc/5789/task/5844/stat : 5844 (java) S 5786 5789 3468 0 -1 1077944384 1 12979 0 0 0 0 5 3 20 0 15 0 48437975 11078557696 11019 33554432000 4194304 4196468 140731167847008 140694410979984 140694518474453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26390528 140731167848621 140731167851868 140731167851868 140731167854543 0
[pid=5789/tid=5845] ppid=5786 vsize=10818904 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/5789/task/5845/stat : 5845 (java) S 5786 5789 3468 0 -1 1077944384 1 12979 0 0 0 0 5 3 20 0 15 0 48437975 11078557696 11019 33554432000 4194304 4196468 140731167847008 140694409926928 140694518474453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26390528 140731167848621 140731167851868 140731167851868 140731167854543 0
[pid=5789/tid=5846] ppid=5786 vsize=10818904 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/5789/task/5846/stat : 5846 (java) S 5786 5789 3468 0 -1 1077944384 2 12979 0 0 0 0 5 3 20 0 15 0 48437975 11078557696 11019 33554432000 4194304 4196468 140731167847008 140694408874384 140694518474453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26390528 140731167848621 140731167851868 140731167851868 140731167854543 0
[pid=5789/tid=5847] ppid=5786 vsize=10818904 memory=140218403116672 CPUtime=0.08 cores=0,2,4,6
/proc/5789/task/5847/stat : 5847 (java) S 5786 5789 3468 0 -1 1077944384 2 12979 0 0 0 0 5 3 20 0 15 0 48437976 11078557696 11019 33554432000 4194304 4196468 140731167847008 140693521496816 140694518475394 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26390528 140731167848621 140731167851868 140731167851868 140731167854543 0
[pid=5789/tid=5848] ppid=5786 vsize=10818904 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/5789/task/5848/stat : 5848 (java) S 5786 5789 3468 0 -1 1077944384 33 12979 0 0 0 0 5 3 20 0 15 0 48437977 11078557696 11019 33554432000 4194304 4196468 140731167847008 140693520443040 140694518474453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26390528 140731167848621 140731167851868 140731167851868 140731167854543 0
[pid=5789/tid=5849] ppid=5786 vsize=10818936 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/5789/task/5849/stat : 5849 (java) S 5786 5789 3468 0 -1 1077944384 1 12979 0 0 0 0 5 3 20 0 15 0 48437977 11078590464 11019 33554432000 4194304 4196468 140731167847008 140693397824752 140694518474453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26390528 140731167848621 140731167851868 140731167851868 140731167854543 0
[pid=5789/tid=5850] ppid=5786 vsize=10818936 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/5789/task/5850/stat : 5850 (java) S 5786 5789 3468 0 -1 1077944384 3 12979 0 0 0 0 5 3 20 0 15 0 48437980 11078590464 11019 33554432000 4194304 4196468 140731167847008 140693090425296 140694518482843 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26390528 140731167848621 140731167851868 140731167851868 140731167854543 0
[pid=5789/tid=5851] ppid=5786 vsize=10818936 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/5789/task/5851/stat : 5851 (java) S 5786 5789 3468 0 -1 1077944384 491 12979 0 0 1 0 5 3 20 0 15 0 48437980 11078590464 11019 33554432000 4194304 4196468 140731167847008 140693486885104 140694518475394 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26390528 140731167848621 140731167851868 140731167851868 140731167854543 0
[pid=5789/tid=5852] ppid=5786 vsize=10818936 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/5789/task/5852/stat : 5852 (java) S 5786 5789 3468 0 -1 1077944384 89 12979 0 0 1 0 5 3 20 0 15 0 48437980 11078590464 11019 33554432000 4194304 4196468 140731167847008 140693485832560 140694518475394 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26390528 140731167848621 140731167851868 140731167851868 140731167854543 0
[pid=5789/tid=5853] ppid=5786 vsize=10818936 memory=140218403116672 CPUtime=0.11 cores=0,2,4,6
/proc/5789/task/5853/stat : 5853 (java) S 5786 5789 3468 0 -1 1077944384 548 12979 0 0 3 0 5 3 20 0 15 0 48437980 11078590464 11019 33554432000 4194304 4196468 140731167847008 140693484779504 140694518475394 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26390528 140731167848621 140731167851868 140731167851868 140731167854543 0
[pid=5789/tid=5854] ppid=5786 vsize=10818936 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/5789/task/5854/stat : 5854 (java) S 5786 5789 3468 0 -1 1077944384 3 12979 0 0 0 0 5 3 20 0 15 0 48437980 11078590464 11019 33554432000 4194304 4196468 140731167847008 140693056866656 140694518474453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26390528 140731167848621 140731167851868 140731167851868 140731167854543 0
[pid=5789/tid=5855] ppid=5786 vsize=10818936 memory=140218403116672 CPUtime=0.08 cores=0,2,4,6
/proc/5789/task/5855/stat : 5855 (java) S 5786 5789 3468 0 -1 1077944384 1 12979 0 0 0 0 5 3 20 0 15 0 48437980 11078590464 11019 33554432000 4194304 4196468 140731167847008 140693483727920 140694518475394 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26390528 140731167848621 140731167851868 140731167851868 140731167854543 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10818904 KiB
Current children cumulated memory: 41492 KiB
[startup+0.310479 s]*
/proc/loadavg: 1.73 3.11 2.71 3/216 5855
/proc/meminfo: memFree=27738504/32770624 swapFree=67108860/67108860
[pid=5789] ppid=5786 vsize=10819352 memory=51952 CPUtime=0.39 cores=0,2,4,6
/proc/5789/stat : 5789 (java) S 5786 5789 3468 0 -1 1077944320 10582 12979 0 0 29 2 5 3 20 0 15 0 48437965 11079016448 12988 33554432000 4194304 4196468 140731167847008 140731167829552 140694518464247 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 26390528 140731167848621 140731167851868 140731167851868 140731167854543 0
/proc/5789/statm: 2704838 12988 3092 1 0 2667149 0
[pid=5789/tid=5842] ppid=5786 vsize=10819352 memory=8112282956445269571 CPUtime=0.29 cores=0,2,4,6
/proc/5789/task/5842/stat : 5842 (java) R 5786 5789 3468 0 -1 4202560 7214 12979 0 0 20 1 5 3 20 0 15 0 48437974 11079016448 12988 33554432000 4194304 4196468 140731167847008 140694490276256 140694510701374 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26390528 140731167848621 140731167851868 140731167851868 140731167854543 0
[pid=5789/tid=5843] ppid=5786 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/5789/task/5843/stat : 5843 (java) S 5786 5789 3468 0 -1 1077944384 1 12979 0 0 0 0 5 3 20 0 15 0 48437975 11079016448 12988 33554432000 4194304 4196468 140731167847008 140694522706448 140694518474453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26390528 140731167848621 140731167851868 140731167851868 140731167854543 0
[pid=5789/tid=5844] ppid=5786 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/5789/task/5844/stat : 5844 (java) S 5786 5789 3468 0 -1 1077944384 1 12979 0 0 0 0 5 3 20 0 15 0 48437975 11079016448 12988 33554432000 4194304 4196468 140731167847008 140694410979984 140694518474453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26390528 140731167848621 140731167851868 140731167851868 140731167854543 0
[pid=5789/tid=5845] ppid=5786 vsize=10819352 memory=4294967295 CPUtime=0.08 cores=0,2,4,6
/proc/5789/task/5845/stat : 5845 (java) S 5786 5789 3468 0 -1 1077944384 1 12979 0 0 0 0 5 3 20 0 15 0 48437975 11079016448 12988 33554432000 4194304 4196468 140731167847008 140694409926928 140694518474453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26390528 140731167848621 140731167851868 140731167851868 140731167854543 0
[pid=5789/tid=5846] ppid=5786 vsize=10819352 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/5789/task/5846/stat : 5846 (java) S 5786 5789 3468 0 -1 1077944384 2 12979 0 0 0 0 5 3 20 0 15 0 48437975 11079016448 12988 33554432000 4194304 4196468 140731167847008 140694408874384 140694518474453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26390528 140731167848621 140731167851868 140731167851868 140731167854543 0
[pid=5789/tid=5847] ppid=5786 vsize=10819352 memory=140218403116671 CPUtime=0.08 cores=0,2,4,6
/proc/5789/task/5847/stat : 5847 (java) S 5786 5789 3468 0 -1 1077944384 2 12979 0 0 0 0 5 3 20 0 15 0 48437976 11079016448 12988 33554432000 4194304 4196468 140731167847008 140693521496816 140694518475394 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26390528 140731167848621 140731167851868 140731167851868 140731167854543 0
[pid=5789/tid=5848] ppid=5786 vsize=10819352 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/5789/task/5848/stat : 5848 (java) S 5786 5789 3468 0 -1 1077944384 33 12979 0 0 0 0 5 3 20 0 15 0 48437977 11079016448 12988 33554432000 4194304 4196468 140731167847008 140693520443040 140694518474453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26390528 140731167848621 140731167851868 140731167851868 140731167854543 0
[pid=5789/tid=5849] ppid=5786 vsize=10819352 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/5789/task/5849/stat : 5849 (java) S 5786 5789 3468 0 -1 1077944384 1 12979 0 0 0 0 5 3 20 0 15 0 48437977 11079016448 12988 33554432000 4194304 4196468 140731167847008 140693397824752 140694518474453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26390528 140731167848621 140731167851868 140731167851868 140731167854543 0
[pid=5789/tid=5850] ppid=5786 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/5789/task/5850/stat : 5850 (java) S 5786 5789 3468 0 -1 1077944384 3 12979 0 0 0 0 5 3 20 0 15 0 48437980 11079016448 12988 33554432000 4194304 4196468 140731167847008 140693090425296 140694518482843 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26390528 140731167848621 140731167851868 140731167851868 140731167854543 0
[pid=5789/tid=5851] ppid=5786 vsize=10819352 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/5789/task/5851/stat : 5851 (java) S 5786 5789 3468 0 -1 1077944384 492 12979 0 0 1 0 5 3 20 0 15 0 48437980 11079016448 12988 33554432000 4194304 4196468 140731167847008 140693486885104 140694518475394 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26390528 140731167848621 140731167851868 140731167851868 140731167854543 0
[pid=5789/tid=5852] ppid=5786 vsize=10819352 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/5789/task/5852/stat : 5852 (java) S 5786 5789 3468 0 -1 1077944384 89 12979 0 0 1 0 5 3 20 0 15 0 48437980 11079016448 12988 33554432000 4194304 4196468 140731167847008 140693485832560 140694518475394 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26390528 140731167848621 140731167851868 140731167851868 140731167854543 0
[pid=5789/tid=5853] ppid=5786 vsize=10819352 memory=140218403116672 CPUtime=0.13 cores=0,2,4,6
/proc/5789/task/5853/stat : 5853 (java) S 5786 5789 3468 0 -1 1077944384 560 12979 0 0 5 0 5 3 20 0 15 0 48437980 11079016448 12988 33554432000 4194304 4196468 140731167847008 140693484779504 140694518475394 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26390528 140731167848621 140731167851868 140731167851868 140731167854543 0
[pid=5789/tid=5854] ppid=5786 vsize=10819352 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/5789/task/5854/stat : 5854 (java) S 5786 5789 3468 0 -1 1077944384 3 12979 0 0 0 0 5 3 20 0 15 0 48437980 11079016448 12988 33554432000 4194304 4196468 140731167847008 140693056866656 140694518474453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26390528 140731167848621 140731167851868 140731167851868 140731167854543 0
[pid=5789/tid=5855] ppid=5786 vsize=10819352 memory=140218403116672 CPUtime=0.08 cores=0,2,4,6
/proc/5789/task/5855/stat : 5855 (java) S 5786 5789 3468 0 -1 1077944384 1 12979 0 0 0 0 5 3 20 0 15 0 48437980 11079016448 12988 33554432000 4194304 4196468 140731167847008 140693483727920 140694518475394 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26390528 140731167848621 140731167851868 140731167851868 140731167854543 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 51952 KiB
[startup+0.70076 s]
/proc/loadavg: 1.73 3.11 2.71 3/216 5855
/proc/meminfo: memFree=27729448/32770624 swapFree=67108860/67108860
[pid=5789] ppid=5786 vsize=10819352 memory=84268 CPUtime=0.99 cores=0,2,4,6
/proc/5789/stat : 5789 (java) S 5786 5789 3468 0 -1 1077944320 16746 12979 0 0 87 4 5 3 20 0 15 0 48437965 11079016448 21067 33554432000 4194304 4196468 140731167847008 140731167829552 140694518464247 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 26390528 140731167848621 140731167851868 140731167851868 140731167854543 0
/proc/5789/statm: 2704838 21067 3238 1 0 2667149 0
[pid=5789/tid=5842] ppid=5786 vsize=10819352 memory=0 CPUtime=0.66 cores=0,2,4,6
/proc/5789/task/5842/stat : 5842 (java) R 5786 5789 3468 0 -1 4202560 12314 12979 0 0 56 2 5 3 20 0 15 0 48437974 11079016448 21067 33554432000 4194304 4196468 140731167847008 140694490285072 140694498739439 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26390528 140731167848621 140731167851868 140731167851868 140731167854543 0
[pid=5789/tid=5843] ppid=5786 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/5789/task/5843/stat : 5843 (java) S 5786 5789 3468 0 -1 1077944384 1 12979 0 0 0 0 5 3 20 0 15 0 48437975 11079016448 21067 33554432000 4194304 4196468 140731167847008 140694522706448 140694518474453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26390528 140731167848621 140731167851868 140731167851868 140731167854543 0
[pid=5789/tid=5844] ppid=5786 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/5789/task/5844/stat : 5844 (java) S 5786 5789 3468 0 -1 1077944384 1 12979 0 0 0 0 5 3 20 0 15 0 48437975 11079016448 21067 33554432000 4194304 4196468 140731167847008 140694410979984 140694518474453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26390528 140731167848621 140731167851868 140731167851868 140731167854543 0
[pid=5789/tid=5845] ppid=5786 vsize=10819352 memory=3472468513686495283 CPUtime=0.08 cores=0,2,4,6
/proc/5789/task/5845/stat : 5845 (java) S 5786 5789 3468 0 -1 1077944384 1 12979 0 0 0 0 5 3 20 0 15 0 48437975 11079016448 21067 33554432000 4194304 4196468 140731167847008 140694409926928 140694518474453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26390528 140731167848621 140731167851868 140731167851868 140731167854543 0
[pid=5789/tid=5846] ppid=5786 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/5789/task/5846/stat : 5846 (java) S 5786 5789 3468 0 -1 1077944384 2 12979 0 0 0 0 5 3 20 0 15 0 48437975 11079016448 21067 33554432000 4194304 4196468 140731167847008 140694408874384 140694518474453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26390528 140731167848621 140731167851868 140731167851868 140731167854543 0
[pid=5789/tid=5847] ppid=5786 vsize=10819352 memory=280436534441216 CPUtime=0.08 cores=0,2,4,6
/proc/5789/task/5847/stat : 5847 (java) S 5786 5789 3468 0 -1 1077944384 5 12979 0 0 0 0 5 3 20 0 15 0 48437976 11079016448 21067 33554432000 4194304 4196468 140731167847008 140693521496816 140694518475394 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26390528 140731167848621 140731167851868 140731167851868 140731167854543 0
[pid=5789/tid=5848] ppid=5786 vsize=10819352 memory=4140 CPUtime=0.08 cores=0,2,4,6
/proc/5789/task/5848/stat : 5848 (java) S 5786 5789 3468 0 -1 1077944384 33 12979 0 0 0 0 5 3 20 0 15 0 48437977 11079016448 21067 33554432000 4194304 4196468 140731167847008 140693520443040 140694518474453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26390528 140731167848621 140731167851868 140731167851868 140731167854543 0
[pid=5789/tid=5849] ppid=5786 vsize=10819352 memory=2241 CPUtime=0.08 cores=0,2,4,6
/proc/5789/task/5849/stat : 5849 (java) S 5786 5789 3468 0 -1 1077944384 1 12979 0 0 0 0 5 3 20 0 15 0 48437977 11079016448 21067 33554432000 4194304 4196468 140731167847008 140693397824752 140694518474453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26390528 140731167848621 140731167851868 140731167851868 140731167854543 0
[pid=5789/tid=5850] ppid=5786 vsize=10819352 memory=2244 CPUtime=0.08 cores=0,2,4,6
/proc/5789/task/5850/stat : 5850 (java) S 5786 5789 3468 0 -1 1077944384 3 12979 0 0 0 0 5 3 20 0 15 0 48437980 11079016448 21067 33554432000 4194304 4196468 140731167847008 140693090425296 140694518482843 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26390528 140731167848621 140731167851868 140731167851868 140731167854543 0
[pid=5789/tid=5851] ppid=5786 vsize=10819352 memory=0 CPUtime=0.17 cores=0,2,4,6
/proc/5789/task/5851/stat : 5851 (java) S 5786 5789 3468 0 -1 1077944384 1118 12979 0 0 9 0 5 3 20 0 15 0 48437980 11079016448 21067 33554432000 4194304 4196468 140731167847008 140693486885104 140694518475394 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26390528 140731167848621 140731167851868 140731167851868 140731167854543 0
[pid=5789/tid=5852] ppid=5786 vsize=10819352 memory=0 CPUtime=0.15 cores=0,2,4,6
/proc/5789/task/5852/stat : 5852 (java) S 5786 5789 3468 0 -1 1077944384 451 12979 0 0 7 0 5 3 20 0 15 0 48437980 11079016448 21067 33554432000 4194304 4196468 140731167847008 140693485832560 140694518475394 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26390528 140731167848621 140731167851868 140731167851868 140731167854543 0
[pid=5789/tid=5853] ppid=5786 vsize=10819352 memory=0 CPUtime=0.2 cores=0,2,4,6
/proc/5789/task/5853/stat : 5853 (java) S 5786 5789 3468 0 -1 1077944384 625 12979 0 0 12 0 5 3 20 0 15 0 48437980 11079016448 21067 33554432000 4194304 4196468 140731167847008 140693484779504 140694518475394 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26390528 140731167848621 140731167851868 140731167851868 140731167854543 0
[pid=5789/tid=5854] ppid=5786 vsize=10819352 memory=30305 CPUtime=0.08 cores=0,2,4,6
/proc/5789/task/5854/stat : 5854 (java) S 5786 5789 3468 0 -1 1077944384 3 12979 0 0 0 0 5 3 20 0 15 0 48437980 11079016448 21067 33554432000 4194304 4196468 140731167847008 140693056866656 140694518474453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26390528 140731167848621 140731167851868 140731167851868 140731167854543 0
[pid=5789/tid=5855] ppid=5786 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/5789/task/5855/stat : 5855 (java) S 5786 5789 3468 0 -1 1077944384 1 12979 0 0 0 0 5 3 20 0 15 0 48437980 11079016448 21067 33554432000 4194304 4196468 140731167847008 140693483727920 140694518475394 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26390528 140731167848621 140731167851868 140731167851868 140731167854543 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 84268 KiB
[startup+1.50075 s]
/proc/loadavg: 1.73 3.11 2.71 3/216 5855
/proc/meminfo: memFree=27672776/32770624 swapFree=67108860/67108860
[pid=5789] ppid=5786 vsize=10828108 memory=187708 CPUtime=3.01 cores=0,2,4,6
/proc/5789/stat : 5789 (java) S 5786 5789 3468 0 -1 1077944320 22783 12979 0 0 286 7 5 3 20 0 15 0 48437965 11087982592 46927 33554432000 4194304 4196468 140731167847008 140731167829552 140694518464247 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 26390528 140731167848621 140731167851868 140731167851868 140731167854543 0
/proc/5789/statm: 2707027 46927 3451 1 0 2668685 0
[pid=5789/tid=5842] ppid=5786 vsize=10828108 memory=3467830228619376192 CPUtime=1.46 cores=0,2,4,6
/proc/5789/task/5842/stat : 5842 (java) R 5786 5789 3468 0 -1 4202560 15026 12979 0 0 134 4 5 3 20 0 15 0 48437974 11087982592 46927 33554432000 4194304 4196468 140731167847008 140694490295296 140694089673913 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26390528 140731167848621 140731167851868 140731167851868 140731167854543 0
[pid=5789/tid=5843] ppid=5786 vsize=10828108 memory=4420 CPUtime=0.08 cores=0,2,4,6
/proc/5789/task/5843/stat : 5843 (java) S 5786 5789 3468 0 -1 1077944384 1 12979 0 0 0 0 5 3 20 0 15 0 48437975 11087982592 46927 33554432000 4194304 4196468 140731167847008 140694522706448 140694518474453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26390528 140731167848621 140731167851868 140731167851868 140731167854543 0
[pid=5789/tid=5844] ppid=5786 vsize=10828108 memory=6628 CPUtime=0.08 cores=0,2,4,6
/proc/5789/task/5844/stat : 5844 (java) S 5786 5789 3468 0 -1 1077944384 1 12979 0 0 0 0 5 3 20 0 15 0 48437975 11087982592 46927 33554432000 4194304 4196468 140731167847008 140694410979984 140694518474453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26390528 140731167848621 140731167851868 140731167851868 140731167854543 0
[pid=5789/tid=5845] ppid=5786 vsize=10828108 memory=6660 CPUtime=0.08 cores=0,2,4,6
/proc/5789/task/5845/stat : 5845 (java) S 5786 5789 3468 0 -1 1077944384 1 12979 0 0 0 0 5 3 20 0 15 0 48437975 11087982592 46927 33554432000 4194304 4196468 140731167847008 140694409926928 140694518474453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26390528 140731167848621 140731167851868 140731167851868 140731167854543 0
[pid=5789/tid=5846] ppid=5786 vsize=10828108 memory=-7745171288847261353 CPUtime=0.08 cores=0,2,4,6
/proc/5789/task/5846/stat : 5846 (java) S 5786 5789 3468 0 -1 1077944384 2 12979 0 0 0 0 5 3 20 0 15 0 48437975 11087982592 46927 33554432000 4194304 4196468 140731167847008 140694408874384 140694518474453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26390528 140731167848621 140731167851868 140731167851868 140731167854543 0
[pid=5789/tid=5847] ppid=5786 vsize=10828108 memory=2867664589567282 CPUtime=0.08 cores=0,2,4,6
/proc/5789/task/5847/stat : 5847 (java) S 5786 5789 3468 0 -1 1077944384 12 12979 0 0 0 0 5 3 20 0 15 0 48437976 11087982592 46927 33554432000 4194304 4196468 140731167847008 140693521496816 140694518475394 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26390528 140731167848621 140731167851868 140731167851868 140731167854543 0
[pid=5789/tid=5848] ppid=5786 vsize=10828108 memory=55 CPUtime=0.08 cores=0,2,4,6
/proc/5789/task/5848/stat : 5848 (java) S 5786 5789 3468 0 -1 1077944384 33 12979 0 0 0 0 5 3 20 0 15 0 48437977 11087982592 46927 33554432000 4194304 4196468 140731167847008 140693520443040 140694518474453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26390528 140731167848621 140731167851868 140731167851868 140731167854543 0
[pid=5789/tid=5849] ppid=5786 vsize=10828108 memory=9168 CPUtime=0.08 cores=0,2,4,6
/proc/5789/task/5849/stat : 5849 (java) S 5786 5789 3468 0 -1 1077944384 1 12979 0 0 0 0 5 3 20 0 15 0 48437977 11087982592 46927 33554432000 4194304 4196468 140731167847008 140693397824752 140694518474453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26390528 140731167848621 140731167851868 140731167851868 140731167854543 0
[pid=5789/tid=5850] ppid=5786 vsize=10828108 memory=25283 CPUtime=0.08 cores=0,2,4,6
/proc/5789/task/5850/stat : 5850 (java) S 5786 5789 3468 0 -1 1077944384 3 12979 0 0 0 0 5 3 20 0 15 0 48437980 11087982592 46927 33554432000 4194304 4196468 140731167847008 140693090425296 140694518482843 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26390528 140731167848621 140731167851868 140731167851868 140731167854543 0
[pid=5789/tid=5851] ppid=5786 vsize=10828108 memory=0 CPUtime=0.66 cores=0,2,4,6
/proc/5789/task/5851/stat : 5851 (java) R 5786 5789 3468 0 -1 4202560 2582 12979 0 0 58 0 5 3 20 0 15 0 48437980 11087982592 46927 33554432000 4194304 4196468 140731167847008 140693486866672 140694511560678 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26390528 140731167848621 140731167851868 140731167851868 140731167854543 0
[pid=5789/tid=5852] ppid=5786 vsize=10828108 memory=-9174445032661854264 CPUtime=0.62 cores=0,2,4,6
/proc/5789/task/5852/stat : 5852 (java) R 5786 5789 3468 0 -1 4202560 1615 12979 0 0 53 1 5 3 20 0 15 0 48437980 11087982592 46927 33554432000 4194304 4196468 140731167847008 140693485813576 140694501961035 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26390528 140731167848621 140731167851868 140731167851868 140731167854543 0
[pid=5789/tid=5853] ppid=5786 vsize=10828108 memory=6944656575208382560 CPUtime=0.47 cores=0,2,4,6
/proc/5789/task/5853/stat : 5853 (java) R 5786 5789 3468 0 -1 1077944384 1313 12979 0 0 39 0 5 3 20 0 15 0 48437980 11087982592 46927 33554432000 4194304 4196468 140731167847008 140693484779504 140694518475394 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26390528 140731167848621 140731167851868 140731167851868 140731167854543 0
[pid=5789/tid=5854] ppid=5786 vsize=10828108 memory=6944656592387989600 CPUtime=0.08 cores=0,2,4,6
/proc/5789/task/5854/stat : 5854 (java) S 5786 5789 3468 0 -1 1077944384 3 12979 0 0 0 0 5 3 20 0 15 0 48437980 11087982592 46927 33554432000 4194304 4196468 140731167847008 140693056866656 140694518474453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26390528 140731167848621 140731167851868 140731167851868 140731167854543 0
[pid=5789/tid=5855] ppid=5786 vsize=10828108 memory=6656426216303648864 CPUtime=0.08 cores=0,2,4,6
/proc/5789/task/5855/stat : 5855 (java) S 5786 5789 3468 0 -1 1077944384 3 12979 0 0 0 0 5 3 20 0 15 0 48437980 11087982592 46927 33554432000 4194304 4196468 140731167847008 140693483727920 140694518475394 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26390528 140731167848621 140731167851868 140731167851868 140731167854543 0
Current children cumulated CPU time: 3.01 s
Current children cumulated vsize: 10828108 KiB
################
# More data... #
################
[pid=5789/tid=5854] ppid=5786 vsize=10914144 memory=280436535570688 CPUtime=0.08 cores=0,2,4,6
/proc/5789/task/5854/stat : 5854 (java) S 5786 5789 3468 0 -1 1077944384 3 12979 0 0 0 0 5 3 20 0 15 0 48437980 11176083456 1306237 33554432000 4194304 4196468 140731167847008 140693056866656 140694518474453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26390528 140731167848621 140731167851868 140731167851868 140731167854543 0
[pid=5789/tid=5855] ppid=5786 vsize=10914144 memory=7378983553979662436 CPUtime=1.14 cores=0,2,4,6
/proc/5789/task/5855/stat : 5855 (java) S 5786 5789 3468 0 -1 1077944384 2371 12979 0 0 49 57 5 3 20 0 15 0 48437980 11176083456 1306237 33554432000 4194304 4196468 140731167847008 140693483727920 140694518475394 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26390528 140731167848621 140731167851868 140731167851868 140731167854543 0
Current children cumulated CPU time: 2131.48 s
Current children cumulated vsize: 10914144 KiB
Current children cumulated memory: 5224948 KiB
[startup+2000 s]*
/proc/loadavg: 1.76 1.68 1.77 3/215 5955
/proc/meminfo: memFree=22509272/32770624 swapFree=67108860/67108860
[pid=5789] ppid=5786 vsize=10914144 memory=5224996 CPUtime=2134.71 cores=0,2,4,6
/proc/5789/stat : 5789 (java) S 5786 5789 3468 0 -1 1077944320 603052 12979 0 0 212776 687 5 3 20 0 15 0 48437965 11176083456 1306249 33554432000 4194304 4196468 140731167847008 140731167829552 140694518464247 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 26390528 140731167848621 140731167851868 140731167851868 140731167854543 0
/proc/5789/statm: 2728536 1306249 3543 1 0 2690189 0
[pid=5789/tid=5842] ppid=5786 vsize=10914144 memory=8112282956445269571 CPUtime=1961.85 cores=0,2,4,6
/proc/5789/task/5842/stat : 5842 (java) R 5786 5789 3468 0 -1 4202560 189464 12979 0 0 196116 61 5 3 20 0 15 0 48437974 11176083456 1306249 33554432000 4194304 4196468 140731167847008 140694490297952 140694105390628 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26390528 140731167848621 140731167851868 140731167851868 140731167854543 0
[pid=5789/tid=5843] ppid=5786 vsize=10914144 memory=11044 CPUtime=36.88 cores=0,2,4,6
/proc/5789/task/5843/stat : 5843 (java) S 5786 5789 3468 0 -1 1077944384 38621 12979 0 0 3541 139 5 3 20 0 15 0 48437975 11176083456 1306249 33554432000 4194304 4196468 140731167847008 140694522706448 140694518474453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26390528 140731167848621 140731167851868 140731167851868 140731167854543 0
[pid=5789/tid=5844] ppid=5786 vsize=10914144 memory=13252 CPUtime=36.84 cores=0,2,4,6
/proc/5789/task/5844/stat : 5844 (java) S 5786 5789 3468 0 -1 1077944384 38050 12979 0 0 3538 138 5 3 20 0 15 0 48437975 11176083456 1306249 33554432000 4194304 4196468 140731167847008 140694410979984 140694518474453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26390528 140731167848621 140731167851868 140731167851868 140731167854543 0
[pid=5789/tid=5845] ppid=5786 vsize=10914144 memory=-7003737579269690708 CPUtime=36.85 cores=0,2,4,6
/proc/5789/task/5845/stat : 5845 (java) S 5786 5789 3468 0 -1 1077944384 45621 12979 0 0 3539 138 5 3 20 0 15 0 48437975 11176083456 1306249 33554432000 4194304 4196468 140731167847008 140694409926928 140694518474453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26390528 140731167848621 140731167851868 140731167851868 140731167854543 0
[pid=5789/tid=5846] ppid=5786 vsize=10914144 memory=8112282956445269571 CPUtime=36.92 cores=0,2,4,6
/proc/5789/task/5846/stat : 5846 (java) S 5786 5789 3468 0 -1 1077944384 42096 12979 0 0 3547 137 5 3 20 0 15 0 48437975 11176083456 1306249 33554432000 4194304 4196468 140731167847008 140694408874384 140694518474453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26390528 140731167848621 140731167851868 140731167851868 140731167854543 0
[pid=5789/tid=5847] ppid=5786 vsize=10914144 memory=-7003737579269690708 CPUtime=0.99 cores=0,2,4,6
/proc/5789/task/5847/stat : 5847 (java) S 5786 5789 3468 0 -1 1077944384 99846 12979 0 0 80 11 5 3 20 0 15 0 48437976 11176083456 1306249 33554432000 4194304 4196468 140731167847008 140693521496816 140694518475394 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26390528 140731167848621 140731167851868 140731167851868 140731167854543 0
[pid=5789/tid=5848] ppid=5786 vsize=10914144 memory=5520 CPUtime=0.08 cores=0,2,4,6
/proc/5789/task/5848/stat : 5848 (java) S 5786 5789 3468 0 -1 1077944384 64 12979 0 0 0 0 5 3 20 0 15 0 48437977 11176083456 1306249 33554432000 4194304 4196468 140731167847008 140693520443104 140694518474453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26390528 140731167848621 140731167851868 140731167851868 140731167854543 0
[pid=5789/tid=5849] ppid=5786 vsize=10914144 memory=4616 CPUtime=0.08 cores=0,2,4,6
/proc/5789/task/5849/stat : 5849 (java) S 5786 5789 3468 0 -1 1077944384 21 12979 0 0 0 0 5 3 20 0 15 0 48437977 11176083456 1306249 33554432000 4194304 4196468 140731167847008 140693397824768 140694518474453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26390528 140731167848621 140731167851868 140731167851868 140731167854543 0
[pid=5789/tid=5850] ppid=5786 vsize=10914144 memory=5060148 CPUtime=0.08 cores=0,2,4,6
/proc/5789/task/5850/stat : 5850 (java) S 5786 5789 3468 0 -1 1077944384 3 12979 0 0 0 0 5 3 20 0 15 0 48437980 11176083456 1306249 33554432000 4194304 4196468 140731167847008 140693090425296 140694518482843 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26390528 140731167848621 140731167851868 140731167851868 140731167854543 0
[pid=5789/tid=5851] ppid=5786 vsize=10914144 memory=5224996 CPUtime=10.32 cores=0,2,4,6
/proc/5789/task/5851/stat : 5851 (java) S 5786 5789 3468 0 -1 1077944384 41645 12979 0 0 1020 4 5 3 20 0 15 0 48437980 11176083456 1306249 33554432000 4194304 4196468 140731167847008 140693486885104 140694518475394 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26390528 140731167848621 140731167851868 140731167851868 140731167854543 0
[pid=5789/tid=5852] ppid=5786 vsize=10914144 memory=1724 CPUtime=10.61 cores=0,2,4,6
/proc/5789/task/5852/stat : 5852 (java) S 5786 5789 3468 0 -1 1077944384 40815 12979 0 0 1048 5 5 3 20 0 15 0 48437980 11176083456 1306249 33554432000 4194304 4196468 140731167847008 140693485832560 140694518475394 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26390528 140731167848621 140731167851868 140731167851868 140731167854543 0
[pid=5789/tid=5853] ppid=5786 vsize=10914144 memory=1004 CPUtime=2.91 cores=0,2,4,6
/proc/5789/task/5853/stat : 5853 (java) S 5786 5789 3468 0 -1 1077944384 62245 12979 0 0 277 6 5 3 20 0 15 0 48437980 11176083456 1306249 33554432000 4194304 4196468 140731167847008 140693484779504 140694518475394 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26390528 140731167848621 140731167851868 140731167851868 140731167854543 0
[pid=5789/tid=5854] ppid=5786 vsize=10914144 memory=14004 CPUtime=0.08 cores=0,2,4,6
/proc/5789/task/5854/stat : 5854 (java) S 5786 5789 3468 0 -1 1077944384 3 12979 0 0 0 0 5 3 20 0 15 0 48437980 11176083456 1306249 33554432000 4194304 4196468 140731167847008 140693056866656 140694518474453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26390528 140731167848621 140731167851868 140731167851868 140731167854543 0
[pid=5789/tid=5855] ppid=5786 vsize=10914144 memory=796 CPUtime=1.14 cores=0,2,4,6
/proc/5789/task/5855/stat : 5855 (java) S 5786 5789 3468 0 -1 1077944384 2371 12979 0 0 49 57 5 3 20 0 15 0 48437980 11176083456 1306249 33554432000 4194304 4196468 140731167847008 140693483727920 140694518475394 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26390528 140731167848621 140731167851868 140731167851868 140731167854543 0
Current children cumulated CPU time: 2134.71 s
Current children cumulated vsize: 10914144 KiB
Current children cumulated memory: 5224996 KiB
[startup+2000.8 s]
/proc/loadavg: 1.76 1.68 1.77 3/215 5955
/proc/meminfo: memFree=22509272/32770624 swapFree=67108860/67108860
[pid=5789] ppid=5786 vsize=10914144 memory=5224996 CPUtime=2135.51 cores=0,2,4,6
/proc/5789/stat : 5789 (java) S 5786 5789 3468 0 -1 1077944320 603053 12979 0 0 212856 687 5 3 20 0 15 0 48437965 11176083456 1306249 33554432000 4194304 4196468 140731167847008 140731167829552 140694518464247 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 26390528 140731167848621 140731167851868 140731167851868 140731167854543 0
/proc/5789/statm: 2728536 1306249 3543 1 0 2690189 0
[pid=5789/tid=5842] ppid=5786 vsize=10914144 memory=5224948 CPUtime=1962.64 cores=0,2,4,6
/proc/5789/task/5842/stat : 5842 (java) R 5786 5789 3468 0 -1 4202560 189465 12979 0 0 196195 61 5 3 20 0 15 0 48437974 11176083456 1306249 33554432000 4194304 4196468 140731167847008 140694490297952 140694106500768 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26390528 140731167848621 140731167851868 140731167851868 140731167854543 0
[pid=5789/tid=5843] ppid=5786 vsize=10914144 memory=5224948 CPUtime=36.88 cores=0,2,4,6
/proc/5789/task/5843/stat : 5843 (java) S 5786 5789 3468 0 -1 1077944384 38621 12979 0 0 3541 139 5 3 20 0 15 0 48437975 11176083456 1306249 33554432000 4194304 4196468 140731167847008 140694522706448 140694518474453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26390528 140731167848621 140731167851868 140731167851868 140731167854543 0
[pid=5789/tid=5844] ppid=5786 vsize=10914144 memory=8112282956445269571 CPUtime=36.84 cores=0,2,4,6
/proc/5789/task/5844/stat : 5844 (java) S 5786 5789 3468 0 -1 1077944384 38050 12979 0 0 3538 138 5 3 20 0 15 0 48437975 11176083456 1306249 33554432000 4194304 4196468 140731167847008 140694410979984 140694518474453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26390528 140731167848621 140731167851868 140731167851868 140731167854543 0
[pid=5789/tid=5845] ppid=5786 vsize=10914144 memory=15872 CPUtime=36.85 cores=0,2,4,6
/proc/5789/task/5845/stat : 5845 (java) S 5786 5789 3468 0 -1 1077944384 45621 12979 0 0 3539 138 5 3 20 0 15 0 48437975 11176083456 1306249 33554432000 4194304 4196468 140731167847008 140694409926928 140694518474453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26390528 140731167848621 140731167851868 140731167851868 140731167854543 0
[pid=5789/tid=5846] ppid=5786 vsize=10914144 memory=4052 CPUtime=36.92 cores=0,2,4,6
/proc/5789/task/5846/stat : 5846 (java) S 5786 5789 3468 0 -1 1077944384 42096 12979 0 0 3547 137 5 3 20 0 15 0 48437975 11176083456 1306249 33554432000 4194304 4196468 140731167847008 140694408874384 140694518474453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26390528 140731167848621 140731167851868 140731167851868 140731167854543 0
[pid=5789/tid=5847] ppid=5786 vsize=10914144 memory=16248 CPUtime=0.99 cores=0,2,4,6
/proc/5789/task/5847/stat : 5847 (java) S 5786 5789 3468 0 -1 1077944384 99846 12979 0 0 80 11 5 3 20 0 15 0 48437976 11176083456 1306249 33554432000 4194304 4196468 140731167847008 140693521496816 140694518475394 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26390528 140731167848621 140731167851868 140731167851868 140731167854543 0
[pid=5789/tid=5848] ppid=5786 vsize=10914144 memory=5224996 CPUtime=0.08 cores=0,2,4,6
/proc/5789/task/5848/stat : 5848 (java) S 5786 5789 3468 0 -1 1077944384 64 12979 0 0 0 0 5 3 20 0 15 0 48437977 11176083456 1306249 33554432000 4194304 4196468 140731167847008 140693520443104 140694518474453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26390528 140731167848621 140731167851868 140731167851868 140731167854543 0
[pid=5789/tid=5849] ppid=5786 vsize=10914144 memory=1004 CPUtime=0.08 cores=0,2,4,6
/proc/5789/task/5849/stat : 5849 (java) S 5786 5789 3468 0 -1 1077944384 21 12979 0 0 0 0 5 3 20 0 15 0 48437977 11176083456 1306249 33554432000 4194304 4196468 140731167847008 140693397824768 140694518474453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26390528 140731167848621 140731167851868 140731167851868 140731167854543 0
[pid=5789/tid=5850] ppid=5786 vsize=10914144 memory=14004 CPUtime=0.08 cores=0,2,4,6
/proc/5789/task/5850/stat : 5850 (java) S 5786 5789 3468 0 -1 1077944384 3 12979 0 0 0 0 5 3 20 0 15 0 48437980 11176083456 1306249 33554432000 4194304 4196468 140731167847008 140693090425296 140694518482843 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26390528 140731167848621 140731167851868 140731167851868 140731167854543 0
[pid=5789/tid=5851] ppid=5786 vsize=10914144 memory=796 CPUtime=10.32 cores=0,2,4,6
/proc/5789/task/5851/stat : 5851 (java) S 5786 5789 3468 0 -1 1077944384 41645 12979 0 0 1020 4 5 3 20 0 15 0 48437980 11176083456 1306249 33554432000 4194304 4196468 140731167847008 140693486885104 140694518475394 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26390528 140731167848621 140731167851868 140731167851868 140731167854543 0
[pid=5789/tid=5852] ppid=5786 vsize=10914144 memory=1712 CPUtime=10.61 cores=0,2,4,6
/proc/5789/task/5852/stat : 5852 (java) S 5786 5789 3468 0 -1 1077944384 40815 12979 0 0 1048 5 5 3 20 0 15 0 48437980 11176083456 1306249 33554432000 4194304 4196468 140731167847008 140693485832560 140694518475394 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26390528 140731167848621 140731167851868 140731167851868 140731167854543 0
[pid=5789/tid=5853] ppid=5786 vsize=10914144 memory=1956 CPUtime=2.91 cores=0,2,4,6
/proc/5789/task/5853/stat : 5853 (java) S 5786 5789 3468 0 -1 1077944384 62245 12979 0 0 277 6 5 3 20 0 15 0 48437980 11176083456 1306249 33554432000 4194304 4196468 140731167847008 140693484779504 140694518475394 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26390528 140731167848621 140731167851868 140731167851868 140731167854543 0
[pid=5789/tid=5854] ppid=5786 vsize=10914144 memory=1196 CPUtime=0.08 cores=0,2,4,6
/proc/5789/task/5854/stat : 5854 (java) S 5786 5789 3468 0 -1 1077944384 3 12979 0 0 0 0 5 3 20 0 15 0 48437980 11176083456 1306249 33554432000 4194304 4196468 140731167847008 140693056866656 140694518474453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26390528 140731167848621 140731167851868 140731167851868 140731167854543 0
[pid=5789/tid=5855] ppid=5786 vsize=10914144 memory=5224948 CPUtime=1.14 cores=0,2,4,6
/proc/5789/task/5855/stat : 5855 (java) S 5786 5789 3468 0 -1 1077944384 2371 12979 0 0 49 57 5 3 20 0 15 0 48437980 11176083456 1306249 33554432000 4194304 4196468 140731167847008 140693483727920 140694518475394 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26390528 140731167848621 140731167851868 140731167851868 140731167854543 0
Current children cumulated CPU time: 2135.51 s
Current children cumulated vsize: 10914144 KiB
Current children cumulated memory: 5224996 KiB
[startup+2001.6 s]
/proc/loadavg: 1.76 1.68 1.77 3/215 5955
/proc/meminfo: memFree=22509272/32770624 swapFree=67108860/67108860
[pid=5789] ppid=5786 vsize=10914144 memory=5224996 CPUtime=2136.31 cores=0,2,4,6
/proc/5789/stat : 5789 (java) S 5786 5789 3468 0 -1 1077944320 603055 12979 0 0 212936 687 5 3 20 0 15 0 48437965 11176083456 1306249 33554432000 4194304 4196468 140731167847008 140731167829552 140694518464247 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 26390528 140731167848621 140731167851868 140731167851868 140731167854543 0
/proc/5789/statm: 2728536 1306249 3543 1 0 2690189 0
[pid=5789/tid=5842] ppid=5786 vsize=10914144 memory=4616 CPUtime=1963.44 cores=0,2,4,6
/proc/5789/task/5842/stat : 5842 (java) R 5786 5789 3468 0 -1 4202560 189467 12979 0 0 196275 61 5 3 20 0 15 0 48437974 11176083456 1306249 33554432000 4194304 4196468 140731167847008 140694490297952 140694106500751 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26390528 140731167848621 140731167851868 140731167851868 140731167854543 0
[pid=5789/tid=5843] ppid=5786 vsize=10914144 memory=5224996 CPUtime=36.88 cores=0,2,4,6
/proc/5789/task/5843/stat : 5843 (java) S 5786 5789 3468 0 -1 1077944384 38621 12979 0 0 3541 139 5 3 20 0 15 0 48437975 11176083456 1306249 33554432000 4194304 4196468 140731167847008 140694522706448 140694518474453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26390528 140731167848621 140731167851868 140731167851868 140731167854543 0
[pid=5789/tid=5844] ppid=5786 vsize=10914144 memory=956 CPUtime=36.84 cores=0,2,4,6
/proc/5789/task/5844/stat : 5844 (java) S 5786 5789 3468 0 -1 1077944384 38050 12979 0 0 3538 138 5 3 20 0 15 0 48437975 11176083456 1306249 33554432000 4194304 4196468 140731167847008 140694410979984 140694518474453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26390528 140731167848621 140731167851868 140731167851868 140731167854543 0
[pid=5789/tid=5845] ppid=5786 vsize=10914144 memory=2340 CPUtime=36.85 cores=0,2,4,6
/proc/5789/task/5845/stat : 5845 (java) S 5786 5789 3468 0 -1 1077944384 45621 12979 0 0 3539 138 5 3 20 0 15 0 48437975 11176083456 1306249 33554432000 4194304 4196468 140731167847008 140694409926928 140694518474453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26390528 140731167848621 140731167851868 140731167851868 140731167854543 0
[pid=5789/tid=5846] ppid=5786 vsize=10914144 memory=5224948 CPUtime=36.92 cores=0,2,4,6
/proc/5789/task/5846/stat : 5846 (java) S 5786 5789 3468 0 -1 1077944384 42096 12979 0 0 3547 137 5 3 20 0 15 0 48437975 11176083456 1306249 33554432000 4194304 4196468 140731167847008 140694408874384 140694518474453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26390528 140731167848621 140731167851868 140731167851868 140731167854543 0
[pid=5789/tid=5847] ppid=5786 vsize=10914144 memory=4640767346415259729 CPUtime=0.99 cores=0,2,4,6
/proc/5789/task/5847/stat : 5847 (java) S 5786 5789 3468 0 -1 1077944384 99846 12979 0 0 80 11 5 3 20 0 15 0 48437976 11176083456 1306249 33554432000 4194304 4196468 140731167847008 140693521496816 140694518475394 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26390528 140731167848621 140731167851868 140731167851868 140731167854543 0
[pid=5789/tid=5848] ppid=5786 vsize=10914144 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/5789/task/5848/stat : 5848 (java) S 5786 5789 3468 0 -1 1077944384 64 12979 0 0 0 0 5 3 20 0 15 0 48437977 11176083456 1306249 33554432000 4194304 4196468 140731167847008 140693520443104 140694518474453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26390528 140731167848621 140731167851868 140731167851868 140731167854543 0
[pid=5789/tid=5849] ppid=5786 vsize=10914144 memory=6944656592387989600 CPUtime=0.08 cores=0,2,4,6
/proc/5789/task/5849/stat : 5849 (java) S 5786 5789 3468 0 -1 1077944384 21 12979 0 0 0 0 5 3 20 0 15 0 48437977 11176083456 1306249 33554432000 4194304 4196468 140731167847008 140693397824768 140694518474453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26390528 140731167848621 140731167851868 140731167851868 140731167854543 0
[pid=5789/tid=5850] ppid=5786 vsize=10914144 memory=8112282956445269571 CPUtime=0.08 cores=0,2,4,6
/proc/5789/task/5850/stat : 5850 (java) S 5786 5789 3468 0 -1 1077944384 3 12979 0 0 0 0 5 3 20 0 15 0 48437980 11176083456 1306249 33554432000 4194304 4196468 140731167847008 140693090425296 140694518482843 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26390528 140731167848621 140731167851868 140731167851868 140731167854543 0
[pid=5789/tid=5851] ppid=5786 vsize=10914144 memory=1408 CPUtime=10.32 cores=0,2,4,6
/proc/5789/task/5851/stat : 5851 (java) S 5786 5789 3468 0 -1 1077944384 41645 12979 0 0 1020 4 5 3 20 0 15 0 48437980 11176083456 1306249 33554432000 4194304 4196468 140731167847008 140693486885104 140694518475394 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26390528 140731167848621 140731167851868 140731167851868 140731167854543 0
[pid=5789/tid=5852] ppid=5786 vsize=10914144 memory=5248 CPUtime=10.61 cores=0,2,4,6
/proc/5789/task/5852/stat : 5852 (java) S 5786 5789 3468 0 -1 1077944384 40815 12979 0 0 1048 5 5 3 20 0 15 0 48437980 11176083456 1306249 33554432000 4194304 4196468 140731167847008 140693485832560 140694518475394 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26390528 140731167848621 140731167851868 140731167851868 140731167854543 0
[pid=5789/tid=5853] ppid=5786 vsize=10914144 memory=5224948 CPUtime=2.91 cores=0,2,4,6
/proc/5789/task/5853/stat : 5853 (java) S 5786 5789 3468 0 -1 1077944384 62245 12979 0 0 277 6 5 3 20 0 15 0 48437980 11176083456 1306249 33554432000 4194304 4196468 140731167847008 140693484779504 140694518475394 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26390528 140731167848621 140731167851868 140731167851868 140731167854543 0
[pid=5789/tid=5854] ppid=5786 vsize=10914144 memory=5224996 CPUtime=0.08 cores=0,2,4,6
/proc/5789/task/5854/stat : 5854 (java) S 5786 5789 3468 0 -1 1077944384 3 12979 0 0 0 0 5 3 20 0 15 0 48437980 11176083456 1306249 33554432000 4194304 4196468 140731167847008 140693056866656 140694518474453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26390528 140731167848621 140731167851868 140731167851868 140731167854543 0
[pid=5789/tid=5855] ppid=5786 vsize=10914144 memory=640 CPUtime=1.14 cores=0,2,4,6
/proc/5789/task/5855/stat : 5855 (java) S 5786 5789 3468 0 -1 1077944384 2371 12979 0 0 49 57 5 3 20 0 15 0 48437980 11176083456 1306249 33554432000 4194304 4196468 140731167847008 140693483727920 140694518475394 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26390528 140731167848621 140731167851868 140731167851868 140731167854543 0
Current children cumulated CPU time: 2136.31 s
Current children cumulated vsize: 10914144 KiB
Current children cumulated memory: 5224996 KiB
[startup+2001.8 s]
/proc/loadavg: 1.76 1.68 1.77 3/215 5955
/proc/meminfo: memFree=22509272/32770624 swapFree=67108860/67108860
[pid=5789] ppid=5786 vsize=10914144 memory=5224996 CPUtime=2136.51 cores=0,2,4,6
/proc/5789/stat : 5789 (java) S 5786 5789 3468 0 -1 1077944320 603055 12979 0 0 212956 687 5 3 20 0 15 0 48437965 11176083456 1306249 33554432000 4194304 4196468 140731167847008 140731167829552 140694518464247 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 26390528 140731167848621 140731167851868 140731167851868 140731167854543 0
/proc/5789/statm: 2728536 1306249 3543 1 0 2690189 0
[pid=5789/tid=5842] ppid=5786 vsize=10914144 memory=956 CPUtime=1963.64 cores=0,2,4,6
/proc/5789/task/5842/stat : 5842 (java) R 5786 5789 3468 0 -1 4202560 189467 12979 0 0 196295 61 5 3 20 0 15 0 48437974 11176083456 1306249 33554432000 4194304 4196468 140731167847008 140694490297952 140694103916208 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26390528 140731167848621 140731167851868 140731167851868 140731167854543 0
[pid=5789/tid=5843] ppid=5786 vsize=10914144 memory=8112282956445269571 CPUtime=36.88 cores=0,2,4,6
/proc/5789/task/5843/stat : 5843 (java) S 5786 5789 3468 0 -1 1077944384 38621 12979 0 0 3541 139 5 3 20 0 15 0 48437975 11176083456 1306249 33554432000 4194304 4196468 140731167847008 140694522706448 140694518474453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26390528 140731167848621 140731167851868 140731167851868 140731167854543 0
[pid=5789/tid=5844] ppid=5786 vsize=10914144 memory=1296 CPUtime=36.84 cores=0,2,4,6
/proc/5789/task/5844/stat : 5844 (java) S 5786 5789 3468 0 -1 1077944384 38050 12979 0 0 3538 138 5 3 20 0 15 0 48437975 11176083456 1306249 33554432000 4194304 4196468 140731167847008 140694410979984 140694518474453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26390528 140731167848621 140731167851868 140731167851868 140731167854543 0
[pid=5789/tid=5845] ppid=5786 vsize=10914144 memory=2344 CPUtime=36.85 cores=0,2,4,6
/proc/5789/task/5845/stat : 5845 (java) S 5786 5789 3468 0 -1 1077944384 45621 12979 0 0 3539 138 5 3 20 0 15 0 48437975 11176083456 1306249 33554432000 4194304 4196468 140731167847008 140694409926928 140694518474453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26390528 140731167848621 140731167851868 140731167851868 140731167854543 0
[pid=5789/tid=5846] ppid=5786 vsize=10914144 memory=1724 CPUtime=36.92 cores=0,2,4,6
/proc/5789/task/5846/stat : 5846 (java) S 5786 5789 3468 0 -1 1077944384 42096 12979 0 0 3547 137 5 3 20 0 15 0 48437975 11176083456 1306249 33554432000 4194304 4196468 140731167847008 140694408874384 140694518474453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26390528 140731167848621 140731167851868 140731167851868 140731167854543 0
[pid=5789/tid=5847] ppid=5786 vsize=10914144 memory=8112282956445269571 CPUtime=0.99 cores=0,2,4,6
/proc/5789/task/5847/stat : 5847 (java) S 5786 5789 3468 0 -1 1077944384 99846 12979 0 0 80 11 5 3 20 0 15 0 48437976 11176083456 1306249 33554432000 4194304 4196468 140731167847008 140693521496816 140694518475394 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26390528 140731167848621 140731167851868 140731167851868 140731167854543 0
[pid=5789/tid=5848] ppid=5786 vsize=10914144 memory=3848 CPUtime=0.08 cores=0,2,4,6
/proc/5789/task/5848/stat : 5848 (java) S 5786 5789 3468 0 -1 1077944384 64 12979 0 0 0 0 5 3 20 0 15 0 48437977 11176083456 1306249 33554432000 4194304 4196468 140731167847008 140693520443104 140694518474453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26390528 140731167848621 140731167851868 140731167851868 140731167854543 0
[pid=5789/tid=5849] ppid=5786 vsize=10914144 memory=2900 CPUtime=0.08 cores=0,2,4,6
/proc/5789/task/5849/stat : 5849 (java) S 5786 5789 3468 0 -1 1077944384 21 12979 0 0 0 0 5 3 20 0 15 0 48437977 11176083456 1306249 33554432000 4194304 4196468 140731167847008 140693397824768 140694518474453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26390528 140731167848621 140731167851868 140731167851868 140731167854543 0
[pid=5789/tid=5850] ppid=5786 vsize=10914144 memory=2868 CPUtime=0.08 cores=0,2,4,6
/proc/5789/task/5850/stat : 5850 (java) S 5786 5789 3468 0 -1 1077944384 3 12979 0 0 0 0 5 3 20 0 15 0 48437980 11176083456 1306249 33554432000 4194304 4196468 140731167847008 140693090425296 140694518482843 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26390528 140731167848621 140731167851868 140731167851868 140731167854543 0
[pid=5789/tid=5851] ppid=5786 vsize=10914144 memory=4140 CPUtime=10.32 cores=0,2,4,6
/proc/5789/task/5851/stat : 5851 (java) S 5786 5789 3468 0 -1 1077944384 41645 12979 0 0 1020 4 5 3 20 0 15 0 48437980 11176083456 1306249 33554432000 4194304 4196468 140731167847008 140693486885104 140694518475394 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26390528 140731167848621 140731167851868 140731167851868 140731167854543 0
[pid=5789/tid=5852] ppid=5786 vsize=10914144 memory=16112 CPUtime=10.61 cores=0,2,4,6
/proc/5789/task/5852/stat : 5852 (java) S 5786 5789 3468 0 -1 1077944384 40815 12979 0 0 1048 5 5 3 20 0 15 0 48437980 11176083456 1306249 33554432000 4194304 4196468 140731167847008 140693485832560 140694518475394 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26390528 140731167848621 140731167851868 140731167851868 140731167854543 0
[pid=5789/tid=5853] ppid=5786 vsize=10914144 memory=1296 CPUtime=2.91 cores=0,2,4,6
/proc/5789/task/5853/stat : 5853 (java) S 5786 5789 3468 0 -1 1077944384 62245 12979 0 0 277 6 5 3 20 0 15 0 48437980 11176083456 1306249 33554432000 4194304 4196468 140731167847008 140693484779504 140694518475394 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26390528 140731167848621 140731167851868 140731167851868 140731167854543 0
[pid=5789/tid=5854] ppid=5786 vsize=10914144 memory=2344 CPUtime=0.08 cores=0,2,4,6
/proc/5789/task/5854/stat : 5854 (java) S 5786 5789 3468 0 -1 1077944384 3 12979 0 0 0 0 5 3 20 0 15 0 48437980 11176083456 1306249 33554432000 4194304 4196468 140731167847008 140693056866656 140694518474453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26390528 140731167848621 140731167851868 140731167851868 140731167854543 0
[pid=5789/tid=5855] ppid=5786 vsize=10914144 memory=1724 CPUtime=1.14 cores=0,2,4,6
/proc/5789/task/5855/stat : 5855 (java) S 5786 5789 3468 0 -1 1077944384 2371 12979 0 0 49 57 5 3 20 0 15 0 48437980 11176083456 1306249 33554432000 4194304 4196468 140731167847008 140693483727920 140694518475394 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26390528 140731167848621 140731167851868 140731167851868 140731167854543 0
Current children cumulated CPU time: 2136.51 s
Current children cumulated vsize: 10914144 KiB
Current children cumulated memory: 5224996 KiB
Child status: 0
Real time (s): 2001.88
CPU time (s): 2136.6
CPU user time (s): 2129.66
CPU system time (s): 6.94128
CPU usage (%): 106.73
Max. virtual memory (cumulated for all children) (KiB): 10914144
Max. memory (cumulated for all children) (KiB): 5984340
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2129.66
system time used= 6.94128
maximum resident set size= 5984356
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 616417
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2680
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 58257
involuntary context switches= 4452
# summary of solver processes directly reported to runsolver:
# pid: 5789
# total CPU time (s): 2136.6
# total CPU user time (s): 2129.66
# total CPU system time (s): 6.94128
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.3507 second user time and 19.3538 second system time
The end
Begin job on node149 at 2018-07-23 03:19:08 IDJOB=4293226 IDBENCH=141136 IDSOLVER=2751 FILE ID=node149/4293226-1532308748 RUNJOBID= node149-1532298084-3499 PBS_JOBID= 21018995 Free space on /tmp= 51816 MiB SOLVER NAME= Concrete 3.8-SuperNG 2018-06-13 BENCH NAME= XCSP18/GraphColoring/GraphColoring-qg-order40_c18.xml COMMAND LINE= concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=RANDOMSEED -superng BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4293226-1532308748/watcher-4293226-1532308748 -o /tmp/evaluation-result-4293226-1532308748/solver-4293226-1532308748 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node149-1532298084-3499 --watchdog 2580 concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=11639403 -superng HOME/instance-4293226-1532308748.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= d1aa36ddb66a988b2d6475ffc1d9c375 RANDOM SEED=11639403 node149.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.60 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.60 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.60 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.60 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: 27780348 kB MemAvailable: 30617076 kB Buffers: 140724 kB Cached: 2955568 kB SwapCached: 0 kB Active: 2995528 kB Inactive: 1509240 kB Active(anon): 1358288 kB Inactive(anon): 70184 kB Active(file): 1637240 kB Inactive(file): 1439056 kB Unevictable: 7620 kB Mlocked: 7620 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 28668 kB Writeback: 0 kB AnonPages: 1418820 kB Mapped: 49340 kB Shmem: 17064 kB Slab: 181060 kB SReclaimable: 152532 kB SUnreclaim: 28528 kB KernelStack: 3600 kB PageTables: 7552 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 2393664 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 1167360 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 118144 kB DirectMap2M: 33427456 kB Free space on /tmp at the end= 51788 MiB End job on node149 at 2018-07-23 03:52:30