Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| OscaR - Hybrid 2018-08-14 | SAT (TO) | 558 | 2520.11 | 2397.75 |
| 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.67/0.56 c version: 2018-08-14 0.67/0.56 c seed: 455138365 0.67/0.56 c timeout: 2520 0.67/0.56 c memlimit: 11000 0.67/0.56 c nbcore: 4 0.67/0.58 c Parsing instance... 24.43/11.92 c Parsing done, starting first complete search... 26.55/13.02 o 1599 28.59/14.26 o 1598 29.97/15.43 o 1597 31.08/16.48 o 1596 32.10/17.49 o 1595 33.17/18.49 o 1594 37.81/20.45 o 1593 38.81/21.40 o 1592 39.72/22.36 o 1591 40.72/23.31 o 1590 41.62/24.26 o 1589 42.62/25.20 o 1588 43.53/26.15 o 1587 44.43/27.09 o 1586 45.43/28.03 o 1585 46.32/28.96 o 1584 47.22/29.89 o 1583 48.23/30.81 o 1582 49.14/31.73 o 1581 50.04/32.65 o 1580 50.95/33.56 o 1579 51.85/34.46 o 1578 52.76/35.37 o 1577 53.66/36.29 o 1576 54.66/37.21 o 1575 55.57/38.14 o 1574 56.47/39.07 o 1573 57.38/40.00 o 1572 58.44/40.93 o 1571 59.34/41.86 o 1570 60.24/42.79 o 1569 61.24/43.71 o 1568 62.17/44.64 o 1567 63.08/45.58 o 1566 64.08/46.52 o 1565 65.02/47.46 o 1564 66.02/48.41 o 1563 66.97/49.35 o 1562 68.62/50.49 o 1561 69.62/51.43 o 1560 70.53/52.39 o 1559 71.55/53.34 o 1558 72.46/54.29 o 1557 73.45/55.23 o 1556 74.36/56.16 o 1555 75.27/57.08 o 1554 76.16/58.00 o 1553 77.16/58.94 o 1552 78.06/59.87 o 1551 78.97/60.79 o 1550 79.97/61.72 o 1549 80.87/62.64 o 1548 81.77/63.56 o 1547 82.67/64.48 o 1546 83.57/65.38 o 1545 84.47/66.29 o 1544 85.38/67.19 o 1543 86.28/68.09 o 1542 87.18/69.00 o 1541 88.08/69.89 o 1540 88.98/70.80 o 1539 89.88/71.69 o 1538 90.78/72.59 o 1537 91.68/73.49 o 1536 92.58/74.39 o 1535 93.48/75.30 o 1534 94.39/76.19 o 1533 95.29/77.10 o 1532 96.18/78.00 o 1531 97.19/78.90 o 1530 98.52/79.91 o 1529 99.41/80.82 o 1528 100.32/81.73 o 1527 101.22/82.65 o 1526 102.12/83.56 o 1525 103.02/84.48 o 1524 104.02/85.41 o 1523 104.92/86.33 o 1522 105.82/87.26 o 1521 106.72/88.19 o 1520 107.72/89.11 o 1519 108.62/90.03 o 1518 109.52/90.95 o 1517 110.42/91.87 o 1516 111.33/92.79 o 1515 112.33/93.70 o 1514 113.23/94.60 o 1513 114.13/95.53 o 1512 115.03/96.44 o 1511 115.93/97.35 o 1510 116.83/98.26 o 1509 117.74/99.17 o 1508 118.64/100.07 o 1507 119.53/100.98 o 1506 120.43/101.87 o 1505 121.33/102.75 o 1504 122.23/103.63 o 1503 123.13/104.52 o 1502 123.93/105.39 o 1501 124.83/106.27 o 1500 125.73/107.16 o 1499 126.64/108.04 o 1498 127.54/108.92 o 1497 128.95/109.94 o 1496 129.85/110.82 o 1495 130.75/111.71 o 1494 131.55/112.59 o 1493 132.45/113.48 o 1492 133.35/114.37 o 1491 134.25/115.25 o 1490 135.16/116.14 o 1489 136.06/117.03 o 1488 136.96/117.93 o 1487 137.86/118.84 o 1486 138.76/119.74 o 1485 139.66/120.65 o 1484 140.56/121.56 o 1483 141.47/122.47 o 1482 142.37/123.38 o 1481 143.37/124.30 o 1480 144.27/125.22 o 1479 145.18/126.13 o 1478 146.08/127.04 o 1477 146.97/127.97 o 1476 147.87/128.87 o 1475 148.77/129.77 o 1474 149.68/130.68 o 1473 150.58/131.57 o 1472 151.48/132.47 o 1471 152.38/133.36 o 1470 153.28/134.25 o 1469 154.19/135.13 o 1468 155.09/136.01 o 1467 155.88/136.89 o 1466 156.78/137.77 o 1465 157.68/138.65 o 1464 159.40/139.73 o 1463 160.20/140.59 o 1462 161.10/141.46 o 1461 162.00/142.32 o 1460 162.81/143.19 o 1459 163.71/144.06 o 1458 164.60/144.92 o 1457 165.40/145.79 o 1456 166.31/146.66 o 1455 167.21/147.53 o 1454 168.11/148.40 o 1453 168.91/149.27 o 1452 169.82/150.14 o 1451 170.72/151.01 o 1450 171.51/151.88 o 1449 172.41/152.76 o 1448 173.31/153.65 o 1447 174.21/154.53 o 1446 175.11/155.42 o 1445 176.01/156.31 o 1444 176.91/157.20 o 1443 177.72/158.10 o 1442 178.61/159.00 o 1441 179.51/159.89 o 1440 180.51/160.80 o 1439 181.31/161.70 o 1438 182.21/162.59 o 1437 183.11/163.48 o 1436 184.02/164.37 o 1435 184.92/165.25 o 1434 185.83/166.13 o 1433 186.62/167.00 o 1432 187.52/167.87 o 1431 188.42/168.75 o 1430 190.25/169.87 o 1429 191.15/170.74 o 1428 192.05/171.62 o 1427 192.85/172.49 o 1426 193.75/173.36 o 1425 194.65/174.21 o 1424 195.46/175.07 o 1423 196.35/175.93 o 1422 197.15/176.79 o 1421 198.05/177.64 o 1420 198.85/178.49 o 1419 199.75/179.35 o 1418 200.56/180.19 o 1417 201.45/181.05 o 1416 202.35/181.90 o 1415 203.15/182.76 o 1414 204.05/183.62 o 1413 204.85/184.47 o 1412 205.75/185.33 o 1411 206.56/186.18 o 1410 207.46/187.05 o 1409 208.35/187.91 o 1408 209.16/188.78 o 1407 210.06/189.65 o 1406 210.96/190.52 o 1405 211.76/191.38 o 1404 212.66/192.26 o 1403 213.57/193.15 o 1402 214.47/194.03 o 1401 215.36/194.92 o 1400 216.26/195.80 o 1399 217.06/196.68 o 1398 217.96/197.55 o 1397 219.98/198.70 o 1396 220.78/199.55 o 1395 221.68/200.42 o 1394 222.48/201.28 o 1393 223.39/202.15 o 1392 224.29/203.01 o 1391 225.08/203.87 o 1390 225.98/204.72 o 1389 226.78/205.57 o 1388 227.68/206.43 o 1387 228.48/207.29 o 1386 229.39/208.13 o 1385 230.18/208.98 o 1384 231.08/209.83 o 1383 231.88/210.67 o 1382 232.78/211.51 o 1381 233.58/212.35 o 1380 234.39/213.19 o 1379 235.29/214.03 o 1378 236.09/214.86 o 1377 236.89/215.69 o 1376 237.79/216.53 o 1375 238.59/217.38 o 1374 239.49/218.23 o 1373 240.30/219.08 o 1372 241.19/219.92 o 1371 241.99/220.75 o 1370 242.89/221.60 o 1369 243.69/222.44 o 1368 244.49/223.29 o 1367 245.40/224.14 o 1366 246.19/225.00 o 1365 247.09/225.86 o 1364 249.25/227.04 o 1363 250.14/227.91 o 1362 250.94/228.77 o 1361 251.84/229.63 o 1360 252.64/230.49 o 1359 253.54/231.36 o 1358 254.44/232.22 o 1357 255.25/233.07 o 1356 256.14/233.92 o 1355 256.95/234.77 o 1354 257.84/235.63 o 1353 258.65/236.49 o 1352 259.56/237.34 o 1351 260.37/238.19 o 1350 261.27/239.04 o 1349 262.06/239.89 o 1348 262.96/240.74 o 1347 263.76/241.57 o 1346 264.66/242.45 o 1345 265.46/243.28 o 1344 266.37/244.11 o 1343 267.17/244.93 o 1342 267.96/245.75 o 1341 268.77/246.57 o 1340 269.57/247.38 o 1339 270.38/248.20 o 1338 271.28/249.02 o 1337 272.07/249.84 o 1336 274.49/251.07 o 1335 275.28/251.89 o 1334 276.18/252.72 o 1333 276.98/253.55 o 1332 277.78/254.37 o 1331 278.59/255.19 o 1330 279.50/256.03 o 1329 280.29/256.86 o 1328 281.09/257.68 o 1327 281.99/258.52 o 1326 282.79/259.35 o 1325 283.60/260.19 o 1324 284.50/261.04 o 1323 285.29/261.88 o 1322 286.29/262.84 c First complete search done, starting ALNS search... 287.89/264.28 o 1321 288.49/264.81 o 1320 289.00/265.35 o 1319 291.35/267.58 o 1318 301.45/276.17 o 1317 304.23/277.40 o 1316 305.12/278.23 o 1315 305.86/278.99 o 1314 308.07/281.07 o 1313 315.00/287.70 o 1312 316.64/289.36 o 1311 318.04/290.76 o 1310 321.38/292.62 o 1309 326.30/297.56 o 1308 327.21/298.44 o 1307 328.11/299.31 o 1306 328.93/300.18 o 1305 332.68/302.75 o 1304 333.86/303.80 o 1303 334.17/304.13 o 1302 334.47/304.46 o 1301 334.77/304.78 o 1300 335.08/305.10 o 1299 335.47/305.42 o 1298 335.77/305.74 o 1297 336.08/306.05 o 1296 336.37/306.36 o 1295 336.67/306.67 o 1294 338.98/308.91 o 1293 341.18/310.15 o 1292 342.30/311.16 o 1291 342.69/311.51 o 1290 342.99/311.86 o 1289 343.39/312.20 o 1288 343.69/312.55 o 1287 343.99/312.89 o 1286 344.39/313.23 o 1285 344.69/313.58 o 1284 345.09/313.92 o 1283 345.39/314.27 o 1282 345.79/314.62 o 1281 348.12/315.89 o 1280 348.52/316.22 o 1279 349.78/317.43 o 1278 350.88/318.53 o 1277 353.40/321.04 o 1276 354.29/321.94 o 1275 354.69/322.33 o 1274 355.69/323.30 o 1273 356.59/324.20 o 1272 357.69/325.30 o 1271 360.22/326.77 o 1270 361.32/327.87 o 1269 362.42/328.97 o 1268 364.13/330.69 o 1267 365.14/331.65 o 1266 368.27/333.60 o 1265 369.37/334.76 o 1264 370.47/335.85 o 1263 371.57/336.94 o 1262 374.19/338.41 o 1261 375.30/339.51 o 1260 376.40/340.69 o 1259 376.92/341.14 o 1258 377.31/341.60 o 1257 379.34/342.44 o 1256 379.74/342.90 o 1255 380.24/343.36 o 1254 380.74/343.83 o 1253 381.24/344.30 o 1252 381.64/344.77 o 1251 382.14/345.25 o 1250 384.30/346.15 o 1249 385.40/347.27 o 1248 386.40/348.20 o 1247 387.60/349.45 o 1246 388.10/349.90 o 1245 388.50/350.36 o 1244 389.00/350.83 o 1243 389.40/351.29 o 1242 401.33/356.15 o 1241 401.82/356.62 o 1240 402.23/357.10 o 1239 402.72/357.57 o 1238 403.23/358.06 o 1237 403.72/358.54 o 1236 404.72/359.55 o 1235 406.02/360.87 o 1234 410.04/362.89 o 1233 411.44/364.21 o 1232 414.69/366.04 o 1231 415.98/367.38 o 1230 417.49/368.80 o 1229 418.39/369.74 o 1228 419.30/370.67 o 1227 419.90/371.27 o 1226 422.68/372.97 o 1225 424.08/374.37 o 1224 425.18/375.41 o 1223 426.08/376.35 o 1222 426.68/376.97 o 1221 427.59/377.87 o 1220 428.49/378.78 o 1219 430.00/380.19 o 1218 431.55/381.02 o 1217 432.34/381.88 o 1216 433.05/382.54 o 1215 433.94/383.46 o 1214 434.96/384.48 o 1213 438.01/387.17 o 1212 440.59/389.74 o 1211 443.53/392.42 o 1210 446.34/395.26 o 1209 447.34/396.28 o 1208 448.77/397.36 o 1207 449.87/398.40 o 1206 451.38/399.95 o 1205 453.28/401.80 o 1204 455.42/403.74 o 1203 457.67/405.70 o 1202 459.98/408.06 o 1201 462.33/410.13 o 1200 465.23/413.09 o 1199 466.38/413.95 o 1198 467.28/414.83 o 1197 468.18/415.79 o 1196 469.18/416.75 o 1195 469.98/417.52 o 1194 470.78/418.30 o 1193 471.49/419.08 o 1192 472.63/419.95 o 1191 473.43/420.74 o 1190 474.23/421.53 o 1189 475.03/422.32 o 1188 476.18/423.21 o 1187 476.88/424.00 o 1186 477.78/424.81 o 1185 479.02/426.07 o 1184 482.25/429.08 o 1183 485.49/432.09 o 1182 488.86/435.11 o 1181 490.05/436.34 o 1180 491.65/438.00 o 1179 494.99/441.01 o 1178 497.89/443.94 o 1177 501.14/446.95 o 1176 502.35/448.13 o 1175 503.14/448.90 o 1174 506.12/451.61 o 1173 507.42/453.00 o 1172 508.22/453.77 o 1171 509.12/454.66 o 1170 510.02/455.58 o 1169 510.82/456.35 o 1168 511.72/457.28 o 1167 514.10/459.35 o 1166 516.10/461.31 o 1165 518.38/463.37 o 1164 520.39/465.34 o 1163 521.99/466.96 o 1162 523.96/468.63 o 1161 524.76/469.45 o 1160 525.56/470.28 o 1159 526.47/471.11 o 1158 527.26/471.94 o 1157 528.44/472.87 o 1156 529.34/473.71 o 1155 530.14/474.55 o 1154 530.94/475.39 o 1153 531.84/476.23 o 1152 533.03/477.18 o 1151 534.32/478.41 o 1150 535.22/479.39 o 1149 537.03/481.16 o 1148 539.12/483.20 o 1147 541.49/485.38 o 1146 543.60/487.47 o 1145 546.07/489.66 o 1144 548.17/491.75 o 1143 549.97/493.51 o 1142 552.96/496.21 o 1141 553.77/497.10 o 1140 554.66/497.98 o 1139 555.56/498.87 o 1138 556.83/499.85 o 1137 557.73/500.74 o 1136 558.63/501.63 o 1135 559.53/502.52 o 1134 560.43/503.42 o 1133 561.71/504.42 o 1132 562.61/505.32 o 1131 563.81/506.54 o 1130 564.71/507.48 o 1129 565.71/508.42 o 1128 566.97/509.45 o 1127 567.87/510.38 o 1126 568.88/511.32 o 1125 569.78/512.27 o 1124 570.78/513.21 o 1123 572.06/514.26 o 1122 573.06/515.21 o 1121 573.96/516.16 o 1120 575.26/517.40 o 1119 576.97/519.12 o 1118 580.92/522.83 o 1117 584.90/526.53 o 1116 588.52/530.13 o 1115 589.81/531.42 o 1114 591.18/532.50 o 1113 592.18/533.50 o 1112 593.18/534.50 o 1111 594.18/535.51 o 1110 595.56/536.61 o 1109 596.56/537.61 o 1108 597.56/538.62 o 1107 598.56/539.63 o 1106 599.56/540.64 o 1105 600.91/541.73 o 1104 602.22/543.08 o 1103 603.32/544.13 o 1102 604.32/545.13 o 1101 605.32/546.11 o 1100 606.23/547.10 o 1099 607.23/548.10 o 1098 608.23/549.09 o 1097 609.58/550.17 o 1096 610.58/551.18 o 1095 611.58/552.18 o 1094 612.58/553.19 o 1093 613.93/554.29 o 1092 615.03/555.31 o 1091 616.73/557.04 o 1090 619.03/559.38 o 1089 620.13/560.42 o 1088 621.14/561.46 o 1087 622.25/562.50 o 1086 623.60/563.63 o 1085 624.60/564.67 o 1084 625.70/565.72 o 1083 626.70/566.77 o 1082 627.80/567.83 o 1081 629.14/568.97 o 1080 630.25/570.03 o 1079 631.54/571.32 o 1078 632.54/572.35 o 1077 633.54/573.39 o 1076 635.00/574.52 o 1075 636.00/575.57 o 1074 637.10/576.62 o 1073 638.10/577.67 o 1072 639.21/578.73 o 1071 640.56/579.87 o 1070 641.65/580.94 o 1069 642.76/582.02 o 1068 644.35/583.69 o 1067 645.45/584.73 o 1066 646.36/585.65 o 1065 647.35/586.64 o 1064 653.52/592.52 o 1063 656.22/595.22 o 1062 659.17/598.00 o 1061 661.87/600.69 o 1060 664.57/603.38 o 1059 666.93/605.49 o 1058 668.93/607.45 o 1057 670.03/608.55 o 1056 671.13/609.62 o 1055 672.13/610.66 o 1054 673.24/611.76 o 1053 674.72/612.95 o 1052 675.82/614.06 o 1051 676.92/615.17 o 1050 678.01/616.28 o 1049 679.11/617.39 o 1048 680.67/618.60 o 1047 681.78/619.72 o 1046 682.88/620.83 o 1045 683.98/621.95 o 1044 685.38/623.38 o 1043 689.94/627.61 o 1042 694.39/631.82 o 1041 698.50/635.94 o 1040 699.90/637.37 o 1039 702.36/639.52 o 1038 703.36/640.55 o 1037 704.46/641.67 o 1036 705.56/642.73 o 1035 708.66/645.84 o 1034 712.61/649.55 o 1033 718.92/655.85 o 1032 720.23/657.15 o 1031 721.23/658.13 o 1030 724.88/661.56 o 1029 729.39/666.06 o 1028 731.14/667.51 o 1027 732.55/668.96 o 1026 734.76/671.18 o 1025 738.25/674.61 o 1024 742.02/678.13 o 1023 745.76/681.65 o 1022 749.18/685.08 o 1021 751.67/687.55 o 1020 753.12/688.79 o 1019 758.23/693.84 o 1018 763.57/698.97 o 1017 769.04/704.12 o 1016 770.53/705.61 o 1015 771.94/707.04 o 1014 773.69/708.56 o 1013 775.09/709.99 o 1012 776.59/711.43 o 1011 777.99/712.87 o 1010 779.86/714.41 o 1009 781.26/715.85 o 1008 782.76/717.30 o 1007 784.16/718.75 o 1006 785.93/720.29 o 1005 787.43/721.76 o 1004 788.84/723.17 o 1003 789.93/724.26 o 1002 795.29/729.38 o 1001 800.74/734.51 o 1000 805.75/739.55 o 999 807.26/741.03 o 998 809.02/742.59 o 997 810.52/744.07 o 996 812.01/745.56 o 995 813.52/747.04 o 994 815.37/748.61 o 993 816.78/750.09 o 992 818.27/751.57 o 991 819.78/753.06 o 990 821.63/754.64 o 989 823.14/756.15 o 988 824.62/757.66 o 987 825.82/758.85 o 986 831.58/764.37 o 985 837.34/769.87 o 984 843.09/775.37 o 983 844.69/776.98 o 982 845.90/778.16 o 981 848.60/780.81 o 980 851.94/783.98 o 979 853.06/785.04 o 978 854.75/786.73 o 977 856.45/788.43 o 976 858.16/790.13 o 975 860.21/791.92 o 974 861.91/793.62 o 973 863.61/795.33 o 972 865.68/797.13 o 971 867.37/798.86 o 970 869.07/800.59 o 969 870.87/802.32 o 968 872.84/804.04 o 967 877.13/808.34 o 966 882.29/813.27 o 965 884.10/815.04 o 964 887.14/817.84 o 963 888.35/819.01 o 962 889.45/820.19 o 961 892.24/822.99 o 960 894.14/824.88 o 959 899.60/830.03 o 958 916.58/846.77 o 957 917.69/847.87 o 956 918.81/848.98 o 955 919.92/850.10 o 954 921.11/851.20 o 953 923.49/853.33 o 952 925.49/855.35 o 951 927.49/857.38 o 950 929.97/859.50 o 949 931.97/861.55 o 948 933.97/863.59 o 947 936.44/865.75 o 946 938.54/867.80 o 945 940.55/869.88 o 944 943.22/872.22 o 943 944.92/873.96 o 942 946.13/875.11 o 941 949.13/878.13 o 940 950.32/879.32 o 939 953.53/882.51 o 938 956.11/884.87 o 937 958.01/886.71 o 936 959.11/887.87 o 935 960.32/889.05 o 934 966.29/894.72 o 933 972.16/900.36 o 932 978.05/905.98 o 931 982.15/910.05 o 930 990.90/918.22 o 929 999.30/926.30 o 928 1004.09/930.80 o 927 1005.30/932.10 o 926 1013.97/940.42 o 925 1022.54/948.70 o 924 1026.91/952.87 o 923 1028.12/954.01 o 922 1030.46/956.36 o 921 1031.57/957.42 o 920 1035.12/960.72 o 919 1036.22/961.88 o 918 1037.53/963.17 o 917 1046.00/971.39 o 916 1054.97/979.83 o 915 1059.77/984.69 o 914 1060.97/985.87 o 913 1062.29/987.17 o 912 1071.16/995.55 o 911 1079.70/1003.88 o 910 1084.17/1008.01 o 909 1087.46/1011.36 o 908 1088.66/1012.55 o 907 1092.41/1016.03 o 906 1094.80/1018.45 o 905 1097.20/1020.89 o 904 1100.03/1023.40 o 903 1102.43/1025.84 o 902 1105.17/1028.37 o 901 1107.67/1030.83 o 900 1110.17/1033.30 o 899 1112.92/1035.83 o 898 1114.02/1036.90 o 897 1115.92/1038.87 o 896 1122.85/1045.56 o 895 1126.36/1049.02 o 894 1127.92/1050.43 o 893 1132.59/1055.01 o 892 1133.70/1056.18 o 891 1134.89/1057.36 o 890 1137.93/1060.12 o 889 1140.52/1062.78 o 888 1143.22/1065.43 o 887 1146.16/1068.17 o 886 1148.85/1070.84 o 885 1151.80/1073.59 o 884 1154.50/1076.25 o 883 1156.50/1078.29 o 882 1163.14/1084.68 o 881 1170.12/1091.17 o 880 1176.74/1097.58 o 879 1178.36/1099.18 o 878 1179.65/1100.40 o 877 1182.26/1103.07 o 876 1185.46/1106.21 o 875 1186.66/1107.42 o 874 1189.60/1110.18 o 873 1190.69/1111.21 o 872 1193.29/1113.88 o 871 1196.32/1116.63 o 870 1198.93/1119.28 o 869 1201.95/1122.02 o 868 1204.54/1124.68 o 867 1207.55/1127.41 o 866 1210.15/1130.08 o 865 1212.26/1132.14 o 864 1216.39/1136.02 o 863 1217.58/1137.28 o 862 1218.78/1138.49 o 861 1219.98/1139.68 o 860 1221.18/1140.89 o 859 1224.18/1143.82 o 858 1227.29/1146.77 o 857 1230.19/1149.65 o 856 1233.40/1152.60 o 855 1236.21/1155.49 o 854 1239.42/1158.46 o 853 1242.82/1161.82 o 852 1244.13/1163.20 o 851 1245.42/1164.47 o 850 1253.13/1171.74 o 849 1260.55/1178.95 o 848 1267.16/1185.32 o 847 1268.37/1186.54 o 846 1270.36/1188.55 o 845 1271.66/1189.83 o 844 1272.98/1191.14 o 843 1279.26/1197.26 o 842 1281.26/1199.11 o 841 1285.95/1203.85 o 840 1289.53/1207.16 o 839 1292.72/1210.36 o 838 1296.30/1213.66 o 837 1299.50/1216.87 o 836 1303.08/1220.17 o 835 1306.64/1223.47 o 834 1307.94/1224.72 o 833 1311.14/1227.92 o 832 1314.73/1231.24 o 831 1317.93/1234.47 o 830 1321.60/1237.80 o 829 1324.81/1241.05 o 828 1328.37/1244.39 o 827 1329.77/1245.75 o 826 1336.54/1252.20 o 825 1343.35/1259.10 o 824 1362.47/1277.37 o 823 1365.77/1280.69 o 822 1369.08/1283.97 o 821 1377.85/1292.14 o 820 1386.21/1300.24 o 819 1391.09/1304.86 o 818 1396.29/1310.08 o 817 1397.79/1311.53 o 816 1399.48/1313.07 o 815 1400.85/1314.39 o 814 1404.36/1317.85 o 813 1405.46/1318.92 o 812 1409.32/1322.52 o 811 1412.83/1326.02 o 810 1416.60/1329.60 o 809 1420.49/1333.16 o 808 1423.98/1336.64 o 807 1427.45/1339.80 o 806 1430.85/1343.27 o 805 1434.72/1346.84 o 804 1438.22/1350.32 o 803 1442.09/1353.92 o 802 1445.97/1357.52 o 801 1449.17/1360.73 o 800 1450.48/1362.04 o 799 1454.46/1365.70 o 798 1455.66/1366.93 o 797 1460.16/1371.48 o 796 1461.59/1372.85 o 795 1463.18/1374.26 o 794 1466.83/1377.86 o 793 1470.74/1381.53 o 792 1474.34/1385.13 o 791 1478.26/1388.83 o 790 1482.18/1392.54 o 789 1484.68/1395.05 o 788 1485.98/1396.38 o 787 1494.90/1405.10 o 786 1504.12/1413.87 o 785 1507.52/1417.27 o 784 1516.76/1426.04 o 783 1525.67/1434.77 o 782 1529.89/1438.78 o 781 1534.69/1443.53 o 780 1536.09/1444.91 o 779 1537.70/1446.33 o 778 1541.51/1450.13 o 777 1545.52/1453.99 o 776 1549.64/1457.85 o 775 1553.44/1461.64 o 774 1557.55/1465.51 o 773 1559.35/1467.34 o 772 1560.85/1468.81 o 771 1562.25/1470.23 o 770 1563.65/1471.64 o 769 1568.87/1476.68 o 768 1573.07/1480.66 o 767 1576.98/1484.57 o 766 1581.19/1488.55 o 765 1585.40/1492.53 o 764 1589.30/1496.45 o 763 1590.40/1497.54 o 762 1591.80/1498.93 o 761 1601.53/1508.30 o 760 1611.36/1517.67 o 759 1613.56/1519.84 o 758 1623.77/1529.80 o 757 1625.27/1531.33 o 756 1626.67/1532.75 o 755 1634.09/1539.95 o 754 1635.59/1541.45 o 753 1640.80/1546.43 o 752 1645.01/1550.43 o 751 1648.92/1554.34 o 750 1653.13/1558.36 o 749 1657.35/1562.37 o 748 1661.35/1566.30 o 747 1662.25/1567.28 o 746 1663.65/1568.62 o 745 1665.37/1570.19 o 744 1679.41/1583.72 o 743 1686.84/1590.95 o 742 1688.24/1592.31 o 741 1692.46/1596.33 o 740 1696.36/1600.26 o 739 1700.58/1604.25 o 738 1704.81/1608.25 o 737 1708.72/1612.18 o 736 1709.91/1613.32 o 735 1711.64/1614.89 o 734 1713.14/1616.30 o 733 1718.14/1621.31 o 732 1722.37/1625.36 o 731 1723.47/1626.47 o 730 1725.38/1628.38 o 729 1726.78/1629.72 o 728 1731.10/1633.84 o 727 1732.20/1634.96 o 726 1736.64/1639.11 o 725 1737.72/1640.23 o 724 1741.73/1644.29 o 723 1743.03/1645.57 o 722 1757.92/1659.78 o 721 1764.88/1666.41 o 720 1766.28/1667.82 o 719 1767.68/1669.22 o 718 1773.41/1674.72 o 717 1778.82/1680.14 o 716 1780.54/1681.62 o 715 1784.74/1685.87 o 714 1785.95/1687.06 o 713 1787.44/1688.51 o 712 1793.77/1694.61 o 711 1809.36/1709.59 o 710 1815.48/1715.47 o 709 1819.89/1719.82 o 708 1821.10/1721.03 o 707 1831.82/1731.35 o 706 1842.86/1741.99 o 705 1844.37/1743.42 o 704 1846.37/1745.46 o 703 1847.87/1747.00 o 702 1853.79/1752.61 o 701 1855.20/1754.03 o 700 1856.59/1755.45 o 699 1858.00/1756.87 o 698 1862.93/1761.54 o 697 1867.76/1766.15 o 696 1872.25/1770.69 o 695 1877.19/1775.31 o 694 1879.70/1777.85 o 693 1891.87/1789.53 o 692 1897.79/1795.26 o 691 1902.61/1799.86 o 690 1903.71/1801.00 o 689 1908.64/1805.61 o 688 1913.15/1810.14 o 687 1918.06/1814.80 o 686 1922.90/1819.45 o 685 1925.39/1821.95 o 684 1936.72/1832.88 o 683 1947.07/1842.79 o 682 1948.67/1844.39 o 681 1950.17/1845.89 o 680 1956.18/1851.60 o 679 1957.59/1853.02 o 678 1962.41/1857.69 o 677 1963.61/1858.83 o 676 1968.21/1863.40 o 675 1973.04/1868.05 o 674 1977.94/1872.72 o 673 1982.86/1877.41 o 672 1985.17/1879.71 o 671 1986.58/1881.17 o 670 1988.07/1882.67 o 669 1989.59/1884.15 o 668 1995.59/1889.94 o 667 2002.23/1896.34 o 666 2003.73/1897.80 o 665 2005.33/1899.43 o 664 2006.94/1901.02 o 663 2012.95/1906.89 o 662 2018.06/1911.71 o 661 2023.07/1916.52 o 660 2028.07/1921.33 o 659 2032.78/1926.07 o 658 2034.47/1927.74 o 657 2036.18/1929.26 o 656 2037.69/1930.71 o 655 2042.81/1935.65 o 654 2044.11/1936.91 o 653 2045.61/1938.42 o 652 2047.11/1939.97 o 651 2059.43/1951.80 o 650 2068.55/1960.78 o 649 2070.05/1962.25 o 648 2075.26/1967.29 o 647 2080.57/1972.32 o 646 2085.78/1977.36 o 645 2091.80/1983.12 o 644 2096.70/1988.08 o 643 2102.03/1993.11 o 642 2107.24/1998.19 o 641 2113.36/2004.01 o 640 2118.54/2009.08 o 639 2119.93/2010.43 o 638 2137.68/2027.53 o 637 2141.29/2031.15 o 636 2142.79/2032.63 o 635 2144.61/2034.24 o 634 2157.15/2046.30 o 633 2166.09/2055.07 o 632 2167.78/2056.74 o 631 2169.98/2058.90 o 630 2182.42/2071.00 o 629 2191.88/2079.93 o 628 2198.09/2086.12 o 627 2203.41/2091.27 o 626 2208.83/2096.41 o 625 2214.16/2101.56 o 624 2219.77/2106.98 o 623 2225.21/2112.17 o 622 2226.60/2113.54 o 621 2228.11/2115.08 o 620 2229.70/2116.68 o 619 2231.30/2118.22 o 618 2236.72/2123.47 o 617 2237.92/2124.64 o 616 2243.45/2129.90 o 615 2244.66/2131.17 o 614 2258.42/2144.42 o 613 2263.94/2149.77 o 612 2265.14/2150.97 o 611 2266.64/2152.49 o 610 2272.25/2157.84 o 609 2274.25/2159.88 o 608 2275.86/2161.43 o 607 2277.36/2162.95 o 606 2278.86/2164.46 o 605 2280.87/2166.23 o 604 2282.37/2167.79 o 603 2288.08/2173.27 o 602 2293.70/2178.69 o 601 2299.11/2184.04 o 600 2303.93/2188.62 o 599 2305.64/2190.31 o 598 2307.14/2191.87 o 597 2312.86/2197.35 o 596 2318.60/2202.84 o 595 2324.31/2208.31 o 594 2329.63/2213.49 o 593 2335.34/2218.95 o 592 2336.64/2220.20 o 591 2338.34/2221.92 o 590 2340.74/2224.32 o 589 2348.26/2231.60 o 588 2349.96/2233.33 o 587 2351.57/2234.93 o 586 2353.27/2236.64 o 585 2372.52/2255.28 o 584 2374.86/2257.38 o 583 2380.68/2262.97 o 582 2386.51/2268.55 o 581 2392.02/2274.05 o 580 2396.44/2278.22 o 579 2397.94/2279.76 o 578 2403.77/2285.34 o 577 2405.17/2286.70 o 576 2424.76/2305.69 o 575 2426.77/2307.45 o 574 2428.27/2308.99 o 573 2429.87/2310.59 o 572 2436.91/2317.37 o 571 2442.84/2323.08 o 570 2448.87/2328.82 o 569 2454.79/2334.51 o 568 2458.49/2338.28 o 567 2460.30/2340.02 o 566 2467.43/2346.97 o 565 2474.55/2353.88 o 564 2488.73/2367.32 o 563 2496.45/2374.88 o 562 2503.59/2381.73 o 561 2505.29/2383.45 o 560 2506.89/2385.04 o 559 2508.48/2386.65 o 558 2520.05/2397.70 s SATISFIABLE 2520.05/2397.70 v <instantiation> 2520.05/2397.70 v <list> 2520.05/2397.70 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] 2520.05/2397.70 v </list> 2520.05/2397.70 v <values> 2520.05/2397.70 v 513 533 550 551 519 543 535 546 517 554 537 529 523 547 544 527 553 552 522 541 524 558 556 531 557 528 525 545 548 555 530 518 542 549 515 521 539 532 538 520 519 521 541 513 552 539 529 544 530 517 553 535 555 514 540 545 525 542 520 534 550 556 549 524 528 516 527 522 518 548 547 557 536 546 551 558 526 543 515 523 525 532 524 547 523 546 518 522 531 552 542 536 540 545 519 551 530 554 526 550 543 517 533 527 555 520 544 541 549 538 556 539 548 553 521 529 528 537 558 557 520 558 539 521 555 514 537 534 549 541 527 523 522 540 557 525 542 551 517 528 529 526 548 536 530 556 552 524 519 544 545 516 533 538 547 553 543 535 554 546 517 522 521 556 541 519 545 542 543 555 554 533 534 525 537 530 524 553 558 538 546 536 540 549 550 544 516 528 535 539 557 552 547 526 520 551 518 548 523 529 515 540 535 553 546 554 527 551 520 530 557 555 549 521 558 538 532 516 556 518 523 547 534 529 537 543 528 552 517 533 548 542 550 525 522 524 531 526 545 536 532 520 548 549 535 518 552 557 550 528 538 539 527 554 542 533 545 541 530 544 555 516 519 556 540 531 536 543 553 546 524 534 525 558 517 537 523 551 529 547 522 549 542 532 531 513 533 538 523 536 535 553 554 543 521 546 527 545 524 520 528 555 552 537 529 558 540 526 539 551 519 541 556 544 550 557 547 525 534 548 534 531 549 546 530 551 544 535 539 545 558 528 532 523 529 552 555 525 548 542 541 518 550 547 524 540 522 533 543 557 554 526 538 521 527 520 553 536 537 556 531 527 558 518 536 528 521 555 552 522 534 542 538 550 547 537 540 539 523 519 556 524 544 548 517 546 520 553 551 543 541 545 529 535 525 554 516 549 557 526 558 525 555 536 515 529 522 543 532 540 520 552 553 518 554 556 549 524 528 535 539 523 537 533 546 548 521 551 541 542 527 550 534 531 526 516 530 538 547 544 521 526 545 522 532 542 520 540 536 543 556 527 530 544 550 547 548 557 554 552 518 514 535 517 551 537 515 538 546 523 549 524 528 529 534 539 525 558 555 541 556 551 530 531 550 523 539 521 524 525 533 516 526 515 552 535 547 529 544 532 519 543 522 558 520 554 557 527 538 534 536 555 517 518 528 545 546 540 553 537 516 557 547 545 556 548 540 550 537 538 524 525 535 536 528 522 534 543 541 529 549 532 554 518 539 526 519 558 527 553 520 530 523 552 555 542 521 544 546 551 554 555 536 529 553 526 513 527 545 537 552 515 557 516 556 532 521 522 542 531 514 550 528 519 538 524 546 517 530 540 539 520 558 534 543 525 535 541 549 533 514 518 551 550 540 544 524 529 519 556 526 558 541 533 546 553 557 523 549 545 522 528 538 532 552 539 548 547 534 537 535 525 543 554 536 517 555 521 531 527 529 548 556 544 557 547 558 519 538 526 521 518 552 542 527 524 531 530 516 537 540 515 555 534 549 523 541 536 545 525 553 546 520 550 554 543 551 539 517 528 536 538 554 543 529 524 549 523 541 534 531 519 539 527 553 548 546 535 555 525 551 537 520 550 521 530 518 557 558 547 526 533 540 528 516 552 544 542 556 545 550 536 526 525 533 545 541 549 529 548 551 524 558 520 543 518 554 521 546 527 538 531 557 539 553 542 517 540 523 528 516 514 544 519 556 530 552 547 522 555 549 554 515 530 516 538 528 548 535 529 539 526 519 537 531 550 551 544 518 543 536 527 545 523 541 557 558 514 540 556 552 517 522 555 553 547 532 534 521 542 540 535 553 552 534 549 523 558 542 531 536 556 529 528 532 544 533 518 543 539 557 520 526 521 525 541 551 555 516 527 546 538 537 547 548 550 522 545 530 554 541 539 546 558 526 521 548 520 547 542 540 557 543 551 536 529 518 538 537 553 554 533 523 552 545 514 532 556 544 549 525 515 535 527 519 555 550 517 528 531 542 541 527 557 528 556 547 552 548 535 530 532 533 549 555 534 539 537 531 558 553 544 524 551 536 545 526 529 550 521 540 543 546 517 523 522 554 520 525 538 537 545 544 555 538 527 546 526 540 550 549 548 547 524 539 542 543 532 552 557 533 535 525 522 516 553 534 518 521 558 523 528 554 536 529 531 541 556 551 519 530 537 552 548 524 516 542 536 527 553 550 543 525 558 534 549 520 555 532 540 544 541 518 538 554 529 523 539 547 531 528 519 545 551 557 535 556 546 526 521 528 534 525 527 514 540 538 516 558 520 522 541 521 546 526 555 552 556 547 530 537 519 551 535 548 532 543 542 524 554 550 536 539 545 549 523 557 529 544 553 552 556 534 554 520 558 543 553 544 557 555 550 524 529 525 526 538 536 545 533 516 530 517 546 535 527 547 531 542 541 522 551 521 532 540 549 537 519 548 539 538 529 540 534 554 530 550 528 551 558 544 545 542 553 541 557 537 533 535 547 521 549 527 555 523 525 531 546 552 524 517 548 526 543 539 556 536 522 518 532 523 524 533 540 521 520 556 537 554 549 546 551 544 522 538 543 526 547 525 555 530 539 536 528 542 552 529 548 557 535 558 532 519 541 545 518 527 553 550 534 545 544 529 541 537 525 551 524 557 519 523 547 546 539 518 554 528 549 536 556 548 553 521 543 533 535 538 550 532 526 531 522 552 542 558 534 540 555 527 530 544 543 537 528 545 550 557 517 556 547 532 540 518 552 533 531 523 548 551 522 525 534 541 542 527 521 524 549 536 529 555 535 553 520 546 526 538 554 539 558 524 530 520 515 551 552 519 545 521 532 513 554 556 535 516 536 529 517 527 523 542 548 547 526 534 555 553 525 531 518 544 558 557 514 537 546 533 528 541 522 543 552 531 538 542 541 555 530 553 521 548 546 528 557 549 539 558 526 550 554 534 522 529 544 547 551 533 520 556 517 537 523 527 540 535 532 545 524 536 525 535 523 557 533 518 555 516 556 525 539 543 537 536 517 520 558 522 528 534 546 545 551 542 553 526 547 554 521 529 552 538 544 549 548 541 527 524 550 519 540 547 553 538 542 517 515 526 554 546 533 525 534 531 548 551 523 541 540 539 536 558 557 516 530 544 522 555 535 528 532 543 556 524 537 518 519 549 514 520 550 527 519 518 537 525 517 553 531 526 546 541 544 545 555 530 528 556 558 540 551 547 538 543 557 522 533 535 534 554 550 529 521 532 539 542 536 548 552 524 549 539 542 528 526 549 557 554 518 555 527 547 522 520 519 545 541 550 546 533 548 532 529 553 540 556 534 537 544 525 536 551 531 530 524 552 538 558 523 543 535 533 546 523 539 527 522 531 525 534 551 529 538 548 541 535 520 544 550 553 549 526 554 558 545 543 536 530 532 537 519 521 547 555 556 524 528 542 557 540 552 555 550 522 523 558 537 536 547 528 518 519 549 517 538 524 516 535 534 557 526 527 521 546 525 532 515 556 554 520 545 542 553 541 533 544 548 529 531 552 543 526 528 543 535 547 553 525 541 522 544 545 517 516 556 548 540 536 519 529 521 552 546 539 554 558 550 549 523 555 520 518 537 551 557 538 533 534 527 542 524 2520.05/2397.70 v </values> 2520.05/2397.70 v </instantiation>
OK 558
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 (9857 MiB free)
memory of node 1: 16384 MiB (11552 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4308396-1534280549/watcher-4308396-1534280549 -o /tmp/evaluation-result-4308396-1534280549/solver-4308396-1534280549 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node106-1534270601-15611 --watchdog 2580 java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 455138365 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4308396-1534280549.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
Current StackSize limit: 8192 KiB
solver pid=16661, runsolver pid=16658
[startup+0.10013 s]*
/proc/loadavg: 1.56 1.45 1.41 3/216 16676
/proc/meminfo: memFree=21906468/32770624 swapFree=67108688/67108860
[pid=16661] ppid=16658 vsize=14082736 memory=32636 CPUtime=0.12 cores=0,2,4,6
/proc/16661/stat : 16661 (java) S 16658 16661 13692 0 -1 1077944320 7093 0 0 0 10 2 0 0 20 0 15 0 245617788 14420721664 8159 33554432000 4194304 4196468 140727786200288 140727786182832 140501314260727 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 15630336 140727786206293 140727786206473 140727786206473 140727786209231 0
/proc/16661/statm: 3520684 8159 3137 1 0 3482761 0
[pid=16661/tid=16663] ppid=16658 vsize=14082736 memory=-6966717417093883519 CPUtime=0.09 cores=0,2,4,6
/proc/16661/task/16663/stat : 16663 (java) R 16658 16661 13692 0 -1 4202560 5165 0 0 0 8 1 0 0 20 0 15 0 245617788 14420721664 8159 33554432000 4194304 4196468 140727786200288 140501318486416 140501314272662 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15630336 140727786206293 140727786206473 140727786206473 140727786209231 0
[pid=16661/tid=16664] ppid=16658 vsize=14082736 memory=5793855084714228153 CPUtime=0 cores=0,2,4,6
/proc/16661/task/16664/stat : 16664 (java) S 16658 16661 13692 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245617789 14420721664 8159 33554432000 4194304 4196468 140727786200288 140501266881040 140501314270933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15630336 140727786206293 140727786206473 140727786206473 140727786209231 0
[pid=16661/tid=16665] ppid=16658 vsize=14082736 memory=139833704334976 CPUtime=0 cores=0,2,4,6
/proc/16661/task/16665/stat : 16665 (java) S 16658 16661 13692 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245617789 14420721664 8159 33554432000 4194304 4196468 140727786200288 140500908829328 140501314270933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15630336 140727786206293 140727786206473 140727786206473 140727786209231 0
[pid=16661/tid=16666] ppid=16658 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16661/task/16666/stat : 16666 (java) S 16658 16661 13692 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245617789 14420721664 8159 33554432000 4194304 4196468 140727786200288 140500907776272 140501314270933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15630336 140727786206293 140727786206473 140727786206473 140727786209231 0
[pid=16661/tid=16667] ppid=16658 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16661/task/16667/stat : 16667 (java) S 16658 16661 13692 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245617789 14420721664 8159 33554432000 4194304 4196468 140727786200288 140500906723728 140501314270933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15630336 140727786206293 140727786206473 140727786206473 140727786209231 0
[pid=16661/tid=16668] ppid=16658 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16661/task/16668/stat : 16668 (java) S 16658 16661 13692 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245617790 14420721664 8159 33554432000 4194304 4196468 140727786200288 140500654852848 140501314271874 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15630336 140727786206293 140727786206473 140727786206473 140727786209231 0
[pid=16661/tid=16669] ppid=16658 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16661/task/16669/stat : 16669 (java) S 16658 16661 13692 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 245617791 14420721664 8159 33554432000 4194304 4196468 140727786200288 140500653799072 140501314270933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15630336 140727786206293 140727786206473 140727786206473 140727786209231 0
[pid=16661/tid=16670] ppid=16658 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16661/task/16670/stat : 16670 (java) S 16658 16661 13692 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 245617791 14420721664 8159 33554432000 4194304 4196468 140727786200288 140500652745968 140501314270933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15630336 140727786206293 140727786206473 140727786206473 140727786209231 0
[pid=16661/tid=16671] ppid=16658 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16661/task/16671/stat : 16671 (java) S 16658 16661 13692 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245617793 14420721664 8159 33554432000 4194304 4196468 140727786200288 140500651694544 140501314279323 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15630336 140727786206293 140727786206473 140727786206473 140727786209231 0
[pid=16661/tid=16672] ppid=16658 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16661/task/16672/stat : 16672 (java) S 16658 16661 13692 0 -1 1077944384 298 0 0 0 0 0 0 0 20 0 15 0 245617793 14420721664 8159 33554432000 4194304 4196468 140727786200288 140500650641648 140501314271874 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15630336 140727786206293 140727786206473 140727786206473 140727786209231 0
[pid=16661/tid=16673] ppid=16658 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16661/task/16673/stat : 16673 (java) S 16658 16661 13692 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245617793 14420721664 8159 33554432000 4194304 4196468 140727786200288 140500649589104 140501314271874 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15630336 140727786206293 140727786206473 140727786206473 140727786209231 0
[pid=16661/tid=16674] ppid=16658 vsize=14082736 memory=139833704334976 CPUtime=0.01 cores=0,2,4,6
/proc/16661/task/16674/stat : 16674 (java) R 16658 16661 13692 0 -1 4202560 257 0 0 0 1 0 0 0 20 0 15 0 245617793 14420721664 8159 33554432000 4194304 4196468 140727786200288 140500648536048 140501298508025 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15630336 140727786206293 140727786206473 140727786206473 140727786209231 0
[pid=16661/tid=16675] ppid=16658 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16661/task/16675/stat : 16675 (java) S 16658 16661 13692 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245617794 14420721664 8159 33554432000 4194304 4196468 140727786200288 140500647483744 140501314270933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15630336 140727786206293 140727786206473 140727786206473 140727786209231 0
[pid=16661/tid=16676] ppid=16658 vsize=14082736 memory=139833704334976 CPUtime=0 cores=0,2,4,6
/proc/16661/task/16676/stat : 16676 (java) S 16658 16661 13692 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245617794 14420721664 8159 33554432000 4194304 4196468 140727786200288 140500646431792 140501314271874 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15630336 140727786206293 140727786206473 140727786206473 140727786209231 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 32636 KiB
[startup+0.210244 s]*
/proc/loadavg: 1.56 1.45 1.41 3/216 16676
/proc/meminfo: memFree=21890592/32770624 swapFree=67108688/67108860
[pid=16661] ppid=16658 vsize=14082736 memory=46796 CPUtime=0.31 cores=0,2,4,6
/proc/16661/stat : 16661 (java) S 16658 16661 13692 0 -1 1077944320 10314 0 0 0 28 3 0 0 20 0 15 0 245617788 14420721664 11699 33554432000 4194304 4196468 140727786200288 140727786182832 140501314260727 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 15630336 140727786206293 140727786206473 140727786206473 140727786209231 0
/proc/16661/statm: 3520684 11699 3380 1 0 3482761 0
[pid=16661/tid=16663] ppid=16658 vsize=14082736 memory=6735269665583770266 CPUtime=0.2 cores=0,2,4,6
/proc/16661/task/16663/stat : 16663 (java) R 16658 16661 13692 0 -1 1077944384 8020 0 0 0 18 2 0 0 20 0 15 0 245617788 14420721664 11699 33554432000 4194304 4196468 140727786200288 140501318489184 140501314270933 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15630336 140727786206293 140727786206473 140727786206473 140727786209231 0
[pid=16661/tid=16664] ppid=16658 vsize=14082736 memory=4211973559909125514 CPUtime=0 cores=0,2,4,6
/proc/16661/task/16664/stat : 16664 (java) S 16658 16661 13692 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245617789 14420721664 11699 33554432000 4194304 4196468 140727786200288 140501266881040 140501314270933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15630336 140727786206293 140727786206473 140727786206473 140727786209231 0
[pid=16661/tid=16665] ppid=16658 vsize=14082736 memory=139833704334976 CPUtime=0 cores=0,2,4,6
/proc/16661/task/16665/stat : 16665 (java) S 16658 16661 13692 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245617789 14420721664 11699 33554432000 4194304 4196468 140727786200288 140500908829328 140501314270933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15630336 140727786206293 140727786206473 140727786206473 140727786209231 0
[pid=16661/tid=16666] ppid=16658 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16661/task/16666/stat : 16666 (java) S 16658 16661 13692 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245617789 14420721664 11699 33554432000 4194304 4196468 140727786200288 140500907776272 140501314270933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15630336 140727786206293 140727786206473 140727786206473 140727786209231 0
[pid=16661/tid=16667] ppid=16658 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16661/task/16667/stat : 16667 (java) S 16658 16661 13692 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245617789 14420721664 11699 33554432000 4194304 4196468 140727786200288 140500906723728 140501314270933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15630336 140727786206293 140727786206473 140727786206473 140727786209231 0
[pid=16661/tid=16668] ppid=16658 vsize=14082736 memory=139833704334976 CPUtime=0 cores=0,2,4,6
/proc/16661/task/16668/stat : 16668 (java) S 16658 16661 13692 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 245617790 14420721664 11699 33554432000 4194304 4196468 140727786200288 140500654852848 140501314271874 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15630336 140727786206293 140727786206473 140727786206473 140727786209231 0
[pid=16661/tid=16669] ppid=16658 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16661/task/16669/stat : 16669 (java) S 16658 16661 13692 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 245617791 14420721664 11699 33554432000 4194304 4196468 140727786200288 140500653799072 140501314270933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15630336 140727786206293 140727786206473 140727786206473 140727786209231 0
[pid=16661/tid=16670] ppid=16658 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16661/task/16670/stat : 16670 (java) S 16658 16661 13692 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 245617791 14420721664 11699 33554432000 4194304 4196468 140727786200288 140500652745968 140501314270933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15630336 140727786206293 140727786206473 140727786206473 140727786209231 0
[pid=16661/tid=16671] ppid=16658 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16661/task/16671/stat : 16671 (java) S 16658 16661 13692 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245617793 14420721664 11699 33554432000 4194304 4196468 140727786200288 140500651694544 140501314279323 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15630336 140727786206293 140727786206473 140727786206473 140727786209231 0
[pid=16661/tid=16672] ppid=16658 vsize=14082736 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/16661/task/16672/stat : 16672 (java) S 16658 16661 13692 0 -1 1077944384 563 0 0 0 2 0 0 0 20 0 15 0 245617793 14420721664 11699 33554432000 4194304 4196468 140727786200288 140500650641648 140501314271874 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15630336 140727786206293 140727786206473 140727786206473 140727786209231 0
[pid=16661/tid=16673] ppid=16658 vsize=14082736 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/16661/task/16673/stat : 16673 (java) R 16658 16661 13692 0 -1 4202560 23 0 0 0 1 0 0 0 20 0 15 0 245617793 14420721664 11699 33554432000 4194304 4196468 140727786200288 140500649589104 140501295631040 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15630336 140727786206293 140727786206473 140727786206473 140727786209231 0
[pid=16661/tid=16674] ppid=16658 vsize=14082736 memory=139833704334976 CPUtime=0.06 cores=0,2,4,6
/proc/16661/task/16674/stat : 16674 (java) R 16658 16661 13692 0 -1 4202560 326 0 0 0 6 0 0 0 20 0 15 0 245617793 14420721664 11699 33554432000 4194304 4196468 140727786200288 140500648531776 140501298341214 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15630336 140727786206293 140727786206473 140727786206473 140727786209231 0
[pid=16661/tid=16675] ppid=16658 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16661/task/16675/stat : 16675 (java) S 16658 16661 13692 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245617794 14420721664 11699 33554432000 4194304 4196468 140727786200288 140500647483744 140501314270933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15630336 140727786206293 140727786206473 140727786206473 140727786209231 0
[pid=16661/tid=16676] ppid=16658 vsize=14082736 memory=139833704334976 CPUtime=0 cores=0,2,4,6
/proc/16661/task/16676/stat : 16676 (java) S 16658 16661 13692 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245617794 14420721664 11699 33554432000 4194304 4196468 140727786200288 140500646431792 140501314271874 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15630336 140727786206293 140727786206473 140727786206473 140727786209231 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 46796 KiB
[startup+0.31144 s]*
/proc/loadavg: 1.56 1.45 1.41 3/216 16676
/proc/meminfo: memFree=21887304/32770624 swapFree=67108688/67108860
[pid=16661] ppid=16658 vsize=14082736 memory=50488 CPUtime=0.43 cores=0,2,4,6
/proc/16661/stat : 16661 (java) S 16658 16661 13692 0 -1 1077944320 10724 0 0 0 40 3 0 0 20 0 15 0 245617788 14420721664 12622 33554432000 4194304 4196468 140727786200288 140727786182832 140501314260727 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 15630336 140727786206293 140727786206473 140727786206473 140727786209231 0
/proc/16661/statm: 3520684 12622 3385 1 0 3482761 0
[pid=16661/tid=16663] ppid=16658 vsize=14082736 memory=6735269665583770266 CPUtime=0.29 cores=0,2,4,6
/proc/16661/task/16663/stat : 16663 (java) R 16658 16661 13692 0 -1 4202560 8392 0 0 0 27 2 0 0 20 0 15 0 245617788 14420721664 12622 33554432000 4194304 4196468 140727786200288 140501318472648 140501298341214 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15630336 140727786206293 140727786206473 140727786206473 140727786209231 0
[pid=16661/tid=16664] ppid=16658 vsize=14082736 memory=4211973559909125514 CPUtime=0 cores=0,2,4,6
/proc/16661/task/16664/stat : 16664 (java) S 16658 16661 13692 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245617789 14420721664 12622 33554432000 4194304 4196468 140727786200288 140501266881040 140501314270933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15630336 140727786206293 140727786206473 140727786206473 140727786209231 0
[pid=16661/tid=16665] ppid=16658 vsize=14082736 memory=279667303512448 CPUtime=0 cores=0,2,4,6
/proc/16661/task/16665/stat : 16665 (java) S 16658 16661 13692 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245617789 14420721664 12622 33554432000 4194304 4196468 140727786200288 140500908829328 140501314270933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15630336 140727786206293 140727786206473 140727786206473 140727786209231 0
[pid=16661/tid=16666] ppid=16658 vsize=14082736 memory=279667198382592 CPUtime=0 cores=0,2,4,6
/proc/16661/task/16666/stat : 16666 (java) S 16658 16661 13692 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245617789 14420721664 12622 33554432000 4194304 4196468 140727786200288 140500907776272 140501314270933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15630336 140727786206293 140727786206473 140727786206473 140727786209231 0
[pid=16661/tid=16667] ppid=16658 vsize=14082736 memory=139833599177487 CPUtime=0 cores=0,2,4,6
/proc/16661/task/16667/stat : 16667 (java) S 16658 16661 13692 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245617789 14420721664 12622 33554432000 4194304 4196468 140727786200288 140500906723728 140501314270933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15630336 140727786206293 140727786206473 140727786206473 140727786209231 0
[pid=16661/tid=16668] ppid=16658 vsize=14082736 memory=279667303521664 CPUtime=0 cores=0,2,4,6
/proc/16661/task/16668/stat : 16668 (java) S 16658 16661 13692 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 245617790 14420721664 12622 33554432000 4194304 4196468 140727786200288 140500654852848 140501314271874 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15630336 140727786206293 140727786206473 140727786206473 140727786209231 0
[pid=16661/tid=16669] ppid=16658 vsize=14082736 memory=139833599182095 CPUtime=0 cores=0,2,4,6
/proc/16661/task/16669/stat : 16669 (java) S 16658 16661 13692 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 245617791 14420721664 12622 33554432000 4194304 4196468 140727786200288 140500653799072 140501314270933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15630336 140727786206293 140727786206473 140727786206473 140727786209231 0
[pid=16661/tid=16670] ppid=16658 vsize=14082736 memory=139833599200012 CPUtime=0 cores=0,2,4,6
/proc/16661/task/16670/stat : 16670 (java) S 16658 16661 13692 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 245617791 14420721664 12622 33554432000 4194304 4196468 140727786200288 140500652745968 140501314270933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15630336 140727786206293 140727786206473 140727786206473 140727786209231 0
[pid=16661/tid=16671] ppid=16658 vsize=14082736 memory=139833599203187 CPUtime=0 cores=0,2,4,6
/proc/16661/task/16671/stat : 16671 (java) S 16658 16661 13692 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245617793 14420721664 12622 33554432000 4194304 4196468 140727786200288 140500651694544 140501314279323 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15630336 140727786206293 140727786206473 140727786206473 140727786209231 0
[pid=16661/tid=16672] ppid=16658 vsize=14082736 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/16661/task/16672/stat : 16672 (java) S 16658 16661 13692 0 -1 1077944384 568 0 0 0 2 0 0 0 20 0 15 0 245617793 14420721664 12622 33554432000 4194304 4196468 140727786200288 140500650641648 140501314271874 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15630336 140727786206293 140727786206473 140727786206473 140727786209231 0
[pid=16661/tid=16673] ppid=16658 vsize=14082736 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/16661/task/16673/stat : 16673 (java) S 16658 16661 13692 0 -1 1077944384 38 0 0 0 1 0 0 0 20 0 15 0 245617793 14420721664 12622 33554432000 4194304 4196468 140727786200288 140500649589104 140501314271874 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15630336 140727786206293 140727786206473 140727786206473 140727786209231 0
[pid=16661/tid=16674] ppid=16658 vsize=14082736 memory=139833704334976 CPUtime=0.08 cores=0,2,4,6
/proc/16661/task/16674/stat : 16674 (java) S 16658 16661 13692 0 -1 1077944384 345 0 0 0 8 0 0 0 20 0 15 0 245617793 14420721664 12622 33554432000 4194304 4196468 140727786200288 140500648536048 140501314271874 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15630336 140727786206293 140727786206473 140727786206473 140727786209231 0
[pid=16661/tid=16675] ppid=16658 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16661/task/16675/stat : 16675 (java) S 16658 16661 13692 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245617794 14420721664 12622 33554432000 4194304 4196468 140727786200288 140500647483744 140501314270933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15630336 140727786206293 140727786206473 140727786206473 140727786209231 0
[pid=16661/tid=16676] ppid=16658 vsize=14082736 memory=139833704367612 CPUtime=0 cores=0,2,4,6
/proc/16661/task/16676/stat : 16676 (java) S 16658 16661 13692 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245617794 14420721664 12622 33554432000 4194304 4196468 140727786200288 140500646431792 140501314271874 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15630336 140727786206293 140727786206473 140727786206473 140727786209231 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 50488 KiB
[startup+0.700768 s]
/proc/loadavg: 1.56 1.45 1.41 3/216 16676
/proc/meminfo: memFree=21864936/32770624 swapFree=67108688/67108860
[pid=16661] ppid=16658 vsize=14084804 memory=88612 CPUtime=0.98 cores=0,2,4,6
/proc/16661/stat : 16661 (java) S 16658 16661 13692 0 -1 1077944320 17573 0 0 0 93 5 0 0 20 0 15 0 245617788 14422839296 22153 33554432000 4194304 4196468 140727786200288 140727786182832 140501314260727 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 15630336 140727786206293 140727786206473 140727786206473 140727786209231 0
/proc/16661/statm: 3521201 22153 3497 1 0 3483273 0
[pid=16661/tid=16663] ppid=16658 vsize=14084804 memory=56 CPUtime=0.66 cores=0,2,4,6
/proc/16661/task/16663/stat : 16663 (java) R 16658 16661 13692 0 -1 4202560 14806 0 0 0 63 3 0 0 20 0 15 0 245617788 14422839296 22153 33554432000 4194304 4196468 140727786200288 140501318475664 140501298341214 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15630336 140727786206293 140727786206473 140727786206473 140727786209231 0
[pid=16661/tid=16664] ppid=16658 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16661/task/16664/stat : 16664 (java) S 16658 16661 13692 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245617789 14422839296 22153 33554432000 4194304 4196468 140727786200288 140501266881040 140501314270933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15630336 140727786206293 140727786206473 140727786206473 140727786209231 0
[pid=16661/tid=16665] ppid=16658 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16661/task/16665/stat : 16665 (java) S 16658 16661 13692 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245617789 14422839296 22153 33554432000 4194304 4196468 140727786200288 140500908829328 140501314270933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15630336 140727786206293 140727786206473 140727786206473 140727786209231 0
[pid=16661/tid=16666] ppid=16658 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16661/task/16666/stat : 16666 (java) S 16658 16661 13692 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245617789 14422839296 22153 33554432000 4194304 4196468 140727786200288 140500907776272 140501314270933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15630336 140727786206293 140727786206473 140727786206473 140727786209231 0
[pid=16661/tid=16667] ppid=16658 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16661/task/16667/stat : 16667 (java) S 16658 16661 13692 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245617789 14422839296 22153 33554432000 4194304 4196468 140727786200288 140500906723728 140501314270933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15630336 140727786206293 140727786206473 140727786206473 140727786209231 0
[pid=16661/tid=16668] ppid=16658 vsize=14084804 memory=748 CPUtime=0 cores=0,2,4,6
/proc/16661/task/16668/stat : 16668 (java) S 16658 16661 13692 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 245617790 14422839296 22153 33554432000 4194304 4196468 140727786200288 140500654852848 140501314271874 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15630336 140727786206293 140727786206473 140727786206473 140727786209231 0
[pid=16661/tid=16669] ppid=16658 vsize=14084804 memory=1220 CPUtime=0 cores=0,2,4,6
/proc/16661/task/16669/stat : 16669 (java) S 16658 16661 13692 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 245617791 14422839296 22153 33554432000 4194304 4196468 140727786200288 140500653799072 140501314270933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15630336 140727786206293 140727786206473 140727786206473 140727786209231 0
[pid=16661/tid=16670] ppid=16658 vsize=14084804 memory=6604 CPUtime=0 cores=0,2,4,6
/proc/16661/task/16670/stat : 16670 (java) S 16658 16661 13692 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 245617791 14422839296 22153 33554432000 4194304 4196468 140727786200288 140500652745968 140501314270933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15630336 140727786206293 140727786206473 140727786206473 140727786209231 0
[pid=16661/tid=16671] ppid=16658 vsize=14084804 memory=1296 CPUtime=0 cores=0,2,4,6
/proc/16661/task/16671/stat : 16671 (java) S 16658 16661 13692 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245617793 14422839296 22153 33554432000 4194304 4196468 140727786200288 140500651694544 140501314279323 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15630336 140727786206293 140727786206473 140727786206473 140727786209231 0
[pid=16661/tid=16672] ppid=16658 vsize=14084804 memory=4452 CPUtime=0.07 cores=0,2,4,6
/proc/16661/task/16672/stat : 16672 (java) S 16658 16661 13692 0 -1 1077944384 708 0 0 0 7 0 0 0 20 0 15 0 245617793 14422839296 22153 33554432000 4194304 4196468 140727786200288 140500650641648 140501314271874 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15630336 140727786206293 140727786206473 140727786206473 140727786209231 0
[pid=16661/tid=16673] ppid=16658 vsize=14084804 memory=3732 CPUtime=0.07 cores=0,2,4,6
/proc/16661/task/16673/stat : 16673 (java) S 16658 16661 13692 0 -1 1077944384 219 0 0 0 7 0 0 0 20 0 15 0 245617793 14422839296 22153 33554432000 4194304 4196468 140727786200288 140500649589104 140501314271874 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15630336 140727786206293 140727786206473 140727786206473 140727786209231 0
[pid=16661/tid=16674] ppid=16658 vsize=14084804 memory=12668 CPUtime=0.15 cores=0,2,4,6
/proc/16661/task/16674/stat : 16674 (java) S 16658 16661 13692 0 -1 1077944384 458 0 0 0 15 0 0 0 20 0 15 0 245617793 14422839296 22153 33554432000 4194304 4196468 140727786200288 140500648536048 140501314271874 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15630336 140727786206293 140727786206473 140727786206473 140727786209231 0
[pid=16661/tid=16675] ppid=16658 vsize=14084804 memory=1072 CPUtime=0 cores=0,2,4,6
/proc/16661/task/16675/stat : 16675 (java) S 16658 16661 13692 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245617794 14422839296 22153 33554432000 4194304 4196468 140727786200288 140500647483744 140501314270933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15630336 140727786206293 140727786206473 140727786206473 140727786209231 0
[pid=16661/tid=16676] ppid=16658 vsize=14084804 memory=14888 CPUtime=0 cores=0,2,4,6
/proc/16661/task/16676/stat : 16676 (java) S 16658 16661 13692 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245617794 14422839296 22153 33554432000 4194304 4196468 140727786200288 140500646431792 140501314271874 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15630336 140727786206293 140727786206473 140727786206473 140727786209231 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 14084804 KiB
Current children cumulated memory: 88612 KiB
[startup+1.50122 s]
/proc/loadavg: 1.56 1.45 1.41 5/216 16676
/proc/meminfo: memFree=21796836/32770624 swapFree=67108688/67108860
[pid=16661] ppid=16658 vsize=14086852 memory=280504 CPUtime=3.38 cores=0,2,4,6
/proc/16661/stat : 16661 (java) S 16658 16661 13692 0 -1 1077944320 26087 0 0 0 324 14 0 0 20 0 15 0 245617788 14424936448 70126 33554432000 4194304 4196468 140727786200288 140727786182832 140501314260727 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 15630336 140727786206293 140727786206473 140727786206473 140727786209231 0
/proc/16661/statm: 3521713 70126 3566 1 0 3483785 0
[pid=16661/tid=16663] ppid=16658 vsize=14086852 memory=0 CPUtime=1.4 cores=0,2,4,6
/proc/16661/task/16663/stat : 16663 (java) S 16658 16661 13692 0 -1 1077944384 15713 0 0 0 135 5 0 0 20 0 15 0 245617788 14424936448 70126 33554432000 4194304 4196468 140727786200288 140501318496832 140501314270933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15630336 140727786206293 140727786206473 140727786206473 140727786209231 0
[pid=16661/tid=16664] ppid=16658 vsize=14086852 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/16661/task/16664/stat : 16664 (java) R 16658 16661 13692 0 -1 4202560 324 0 0 0 3 1 0 0 20 0 15 0 245617789 14424936448 70126 33554432000 4194304 4196468 140727786200288 140501266881240 140501295886633 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15630336 140727786206293 140727786206473 140727786206473 140727786209231 0
[pid=16661/tid=16665] ppid=16658 vsize=14086852 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/16661/task/16665/stat : 16665 (java) R 16658 16661 13692 0 -1 4202560 376 0 0 0 2 1 0 0 20 0 15 0 245617789 14424936448 70126 33554432000 4194304 4196468 140727786200288 140500908829448 140501306888935 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15630336 140727786206293 140727786206473 140727786206473 140727786209231 0
[pid=16661/tid=16666] ppid=16658 vsize=14086852 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/16661/task/16666/stat : 16666 (java) R 16658 16661 13692 0 -1 4202560 113 0 0 0 2 1 0 0 20 0 15 0 245617789 14424936448 70126 33554432000 4194304 4196468 140727786200288 140500907776392 140501306888935 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15630336 140727786206293 140727786206473 140727786206473 140727786209231 0
[pid=16661/tid=16667] ppid=16658 vsize=14086852 memory=0 CPUtime=0.06 cores=0,2,4,6
/proc/16661/task/16667/stat : 16667 (java) R 16658 16661 13692 0 -1 4202560 200 0 0 0 4 2 0 0 20 0 15 0 245617789 14424936448 70126 33554432000 4194304 4196468 140727786200288 140500906723728 140501306888935 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15630336 140727786206293 140727786206473 140727786206473 140727786209231 0
[pid=16661/tid=16668] ppid=16658 vsize=14086852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16661/task/16668/stat : 16668 (java) S 16658 16661 13692 0 -1 1077944384 236 0 0 0 0 0 0 0 20 0 15 0 245617790 14424936448 70126 33554432000 4194304 4196468 140727786200288 140500654851360 140501314270933 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15630336 140727786206293 140727786206473 140727786206473 140727786209231 0
################
# More data... #
################
/proc/16661/task/16663/stat : 16663 (java) R 16658 16661 13692 0 -1 4202560 915573 0 0 0 228214 110 0 0 20 0 15 0 245617788 14431227904 1630632 33554432000 4194304 4196468 140727786200288 140501318498208 140500954443984 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15630336 140727786206293 140727786206473 140727786206473 140727786209231 0
[pid=16661/tid=16664] ppid=16658 vsize=14092996 memory=6522464 CPUtime=35.7 cores=0,2,4,6
/proc/16661/task/16664/stat : 16664 (java) S 16658 16661 13692 0 -1 1077944384 127316 0 0 0 3443 127 0 0 20 0 15 0 245617789 14431227904 1630632 33554432000 4194304 4196468 140727786200288 140501266881040 140501314270933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15630336 140727786206293 140727786206473 140727786206473 140727786209231 0
[pid=16661/tid=16665] ppid=16658 vsize=14092996 memory=6522528 CPUtime=35.78 cores=0,2,4,6
/proc/16661/task/16665/stat : 16665 (java) S 16658 16661 13692 0 -1 1077944384 126988 0 0 0 3456 122 0 0 20 0 15 0 245617789 14431227904 1630632 33554432000 4194304 4196468 140727786200288 140500908829328 140501314270933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15630336 140727786206293 140727786206473 140727786206473 140727786209231 0
[pid=16661/tid=16666] ppid=16658 vsize=14092996 memory=6522464 CPUtime=35.8 cores=0,2,4,6
/proc/16661/task/16666/stat : 16666 (java) S 16658 16661 13692 0 -1 1077944384 115437 0 0 0 3463 117 0 0 20 0 15 0 245617789 14431227904 1630632 33554432000 4194304 4196468 140727786200288 140500907776272 140501314270933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15630336 140727786206293 140727786206473 140727786206473 140727786209231 0
[pid=16661/tid=16667] ppid=16658 vsize=14092996 memory=3868 CPUtime=35.8 cores=0,2,4,6
/proc/16661/task/16667/stat : 16667 (java) S 16658 16661 13692 0 -1 1077944384 115975 0 0 0 3464 116 0 0 20 0 15 0 245617789 14431227904 1630632 33554432000 4194304 4196468 140727786200288 140500906723728 140501314270933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15630336 140727786206293 140727786206473 140727786206473 140727786209231 0
[pid=16661/tid=16668] ppid=16658 vsize=14092996 memory=1752 CPUtime=2.48 cores=0,2,4,6
/proc/16661/task/16668/stat : 16668 (java) S 16658 16661 13692 0 -1 1077944384 19622 0 0 0 242 6 0 0 20 0 15 0 245617790 14431227904 1630632 33554432000 4194304 4196468 140727786200288 140500654852848 140501314271874 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15630336 140727786206293 140727786206473 140727786206473 140727786209231 0
[pid=16661/tid=16669] ppid=16658 vsize=14092996 memory=868 CPUtime=0 cores=0,2,4,6
/proc/16661/task/16669/stat : 16669 (java) S 16658 16661 13692 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 15 0 245617791 14431227904 1630632 33554432000 4194304 4196468 140727786200288 140500653799136 140501314270933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15630336 140727786206293 140727786206473 140727786206473 140727786209231 0
[pid=16661/tid=16670] ppid=16658 vsize=14092996 memory=-7003737579269690708 CPUtime=0 cores=0,2,4,6
/proc/16661/task/16670/stat : 16670 (java) S 16658 16661 13692 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 15 0 245617791 14431227904 1630632 33554432000 4194304 4196468 140727786200288 140500652745984 140501314270933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15630336 140727786206293 140727786206473 140727786206473 140727786209231 0
[pid=16661/tid=16671] ppid=16658 vsize=14092996 memory=3732 CPUtime=0 cores=0,2,4,6
/proc/16661/task/16671/stat : 16671 (java) S 16658 16661 13692 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245617793 14431227904 1630632 33554432000 4194304 4196468 140727786200288 140500651694544 140501314279323 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15630336 140727786206293 140727786206473 140727786206473 140727786209231 0
[pid=16661/tid=16672] ppid=16658 vsize=14092996 memory=6522464 CPUtime=5.18 cores=0,2,4,6
/proc/16661/task/16672/stat : 16672 (java) S 16658 16661 13692 0 -1 1077944384 28398 0 0 0 511 7 0 0 20 0 15 0 245617793 14431227904 1630632 33554432000 4194304 4196468 140727786200288 140500650641648 140501314271874 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15630336 140727786206293 140727786206473 140727786206473 140727786209231 0
[pid=16661/tid=16673] ppid=16658 vsize=14092996 memory=3868 CPUtime=5.38 cores=0,2,4,6
/proc/16661/task/16673/stat : 16673 (java) S 16658 16661 13692 0 -1 1077944384 20837 0 0 0 535 3 0 0 20 0 15 0 245617793 14431227904 1630632 33554432000 4194304 4196468 140727786200288 140500649589104 140501314271874 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15630336 140727786206293 140727786206473 140727786206473 140727786209231 0
[pid=16661/tid=16674] ppid=16658 vsize=14092996 memory=6522528 CPUtime=1.46 cores=0,2,4,6
/proc/16661/task/16674/stat : 16674 (java) S 16658 16661 13692 0 -1 1077944384 45109 0 0 0 142 4 0 0 20 0 15 0 245617793 14431227904 1630632 33554432000 4194304 4196468 140727786200288 140500648536048 140501314271874 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15630336 140727786206293 140727786206473 140727786206473 140727786209231 0
[pid=16661/tid=16675] ppid=16658 vsize=14092996 memory=1296 CPUtime=0 cores=0,2,4,6
/proc/16661/task/16675/stat : 16675 (java) S 16658 16661 13692 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245617794 14431227904 1630632 33554432000 4194304 4196468 140727786200288 140500647483744 140501314270933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15630336 140727786206293 140727786206473 140727786206473 140727786209231 0
[pid=16661/tid=16676] ppid=16658 vsize=14092996 memory=4452 CPUtime=1.23 cores=0,2,4,6
/proc/16661/task/16676/stat : 16676 (java) S 16658 16661 13692 0 -1 1077944384 1831 0 0 0 60 63 0 0 20 0 15 0 245617794 14431227904 1630632 33554432000 4194304 4196468 140727786200288 140500646431792 140501314271874 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15630336 140727786206293 140727786206473 140727786206473 140727786209231 0
Current children cumulated CPU time: 2442.13 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 6522528 KiB
[startup+2382.3 s]
/proc/loadavg: 1.43 1.52 1.78 4/216 16822
/proc/meminfo: memFree=15239912/32770624 swapFree=67108688/67108860
[pid=16661] ppid=16658 vsize=14092996 memory=6523576 CPUtime=2504.18 cores=0,2,4,6
/proc/16661/stat : 16661 (java) S 16658 16661 13692 0 -1 1077944320 1531333 0 0 0 249751 667 0 0 20 0 15 0 245617788 14431227904 1630894 33554432000 4194304 4196468 140727786200288 140727786182832 140501314260727 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 15630336 140727786206293 140727786206473 140727786206473 140727786209231 0
/proc/16661/statm: 3523249 1630894 3628 1 0 3485321 0
[pid=16661/tid=16663] ppid=16658 vsize=14092996 memory=6523576 CPUtime=2342.55 cores=0,2,4,6
/proc/16661/task/16663/stat : 16663 (java) R 16658 16661 13692 0 -1 4202560 922548 0 0 0 234144 111 0 0 20 0 15 0 245617788 14431227904 1630894 33554432000 4194304 4196468 140727786200288 140501318489504 140500950852958 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15630336 140727786206293 140727786206473 140727786206473 140727786209231 0
[pid=16661/tid=16664] ppid=16658 vsize=14092996 memory=6521528 CPUtime=36.37 cores=0,2,4,6
/proc/16661/task/16664/stat : 16664 (java) S 16658 16661 13692 0 -1 1077944384 128761 0 0 0 3510 127 0 0 20 0 15 0 245617789 14431227904 1630894 33554432000 4194304 4196468 140727786200288 140501266881040 140501314270933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15630336 140727786206293 140727786206473 140727786206473 140727786209231 0
[pid=16661/tid=16665] ppid=16658 vsize=14092996 memory=6521528 CPUtime=36.46 cores=0,2,4,6
/proc/16661/task/16665/stat : 16665 (java) S 16658 16661 13692 0 -1 1077944384 130016 0 0 0 3523 123 0 0 20 0 15 0 245617789 14431227904 1630894 33554432000 4194304 4196468 140727786200288 140500908829328 140501314270933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15630336 140727786206293 140727786206473 140727786206473 140727786209231 0
[pid=16661/tid=16666] ppid=16658 vsize=14092996 memory=6521528 CPUtime=36.48 cores=0,2,4,6
/proc/16661/task/16666/stat : 16666 (java) S 16658 16661 13692 0 -1 1077944384 115694 0 0 0 3531 117 0 0 20 0 15 0 245617789 14431227904 1630894 33554432000 4194304 4196468 140727786200288 140500907776272 140501314270933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15630336 140727786206293 140727786206473 140727786206473 140727786209231 0
[pid=16661/tid=16667] ppid=16658 vsize=14092996 memory=6521528 CPUtime=36.47 cores=0,2,4,6
/proc/16661/task/16667/stat : 16667 (java) S 16658 16661 13692 0 -1 1077944384 116695 0 0 0 3531 116 0 0 20 0 15 0 245617789 14431227904 1630894 33554432000 4194304 4196468 140727786200288 140500906723728 140501314270933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15630336 140727786206293 140727786206473 140727786206473 140727786209231 0
[pid=16661/tid=16668] ppid=16658 vsize=14092996 memory=6521528 CPUtime=2.48 cores=0,2,4,6
/proc/16661/task/16668/stat : 16668 (java) S 16658 16661 13692 0 -1 1077944384 19772 0 0 0 242 6 0 0 20 0 15 0 245617790 14431227904 1630894 33554432000 4194304 4196468 140727786200288 140500654852848 140501314271874 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15630336 140727786206293 140727786206473 140727786206473 140727786209231 0
[pid=16661/tid=16669] ppid=16658 vsize=14092996 memory=6523576 CPUtime=0 cores=0,2,4,6
/proc/16661/task/16669/stat : 16669 (java) S 16658 16661 13692 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 15 0 245617791 14431227904 1630894 33554432000 4194304 4196468 140727786200288 140500653799136 140501314270933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15630336 140727786206293 140727786206473 140727786206473 140727786209231 0
[pid=16661/tid=16670] ppid=16658 vsize=14092996 memory=3868 CPUtime=0 cores=0,2,4,6
/proc/16661/task/16670/stat : 16670 (java) S 16658 16661 13692 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 15 0 245617791 14431227904 1630894 33554432000 4194304 4196468 140727786200288 140500652745984 140501314270933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15630336 140727786206293 140727786206473 140727786206473 140727786209231 0
[pid=16661/tid=16671] ppid=16658 vsize=14092996 memory=66876 CPUtime=0 cores=0,2,4,6
/proc/16661/task/16671/stat : 16671 (java) S 16658 16661 13692 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245617793 14431227904 1630894 33554432000 4194304 4196468 140727786200288 140500651694544 140501314279323 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15630336 140727786206293 140727786206473 140727786206473 140727786209231 0
[pid=16661/tid=16672] ppid=16658 vsize=14092996 memory=6791534058613427641 CPUtime=5.18 cores=0,2,4,6
/proc/16661/task/16672/stat : 16672 (java) S 16658 16661 13692 0 -1 1077944384 28404 0 0 0 511 7 0 0 20 0 15 0 245617793 14431227904 1630894 33554432000 4194304 4196468 140727786200288 140500650641648 140501314271874 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15630336 140727786206293 140727786206473 140727786206473 140727786209231 0
[pid=16661/tid=16673] ppid=16658 vsize=14092996 memory=6522464 CPUtime=5.38 cores=0,2,4,6
/proc/16661/task/16673/stat : 16673 (java) S 16658 16661 13692 0 -1 1077944384 20841 0 0 0 535 3 0 0 20 0 15 0 245617793 14431227904 1630894 33554432000 4194304 4196468 140727786200288 140500649589104 140501314271874 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15630336 140727786206293 140727786206473 140727786206473 140727786209231 0
[pid=16661/tid=16674] ppid=16658 vsize=14092996 memory=2604 CPUtime=1.46 cores=0,2,4,6
/proc/16661/task/16674/stat : 16674 (java) S 16658 16661 13692 0 -1 1077944384 45277 0 0 0 142 4 0 0 20 0 15 0 245617793 14431227904 1630894 33554432000 4194304 4196468 140727786200288 140500648536048 140501314271874 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15630336 140727786206293 140727786206473 140727786206473 140727786209231 0
[pid=16661/tid=16675] ppid=16658 vsize=14092996 memory=6521528 CPUtime=0 cores=0,2,4,6
/proc/16661/task/16675/stat : 16675 (java) S 16658 16661 13692 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245617794 14431227904 1630894 33554432000 4194304 4196468 140727786200288 140500647483744 140501314270933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15630336 140727786206293 140727786206473 140727786206473 140727786209231 0
[pid=16661/tid=16676] ppid=16658 vsize=14092996 memory=3868 CPUtime=1.27 cores=0,2,4,6
/proc/16661/task/16676/stat : 16676 (java) S 16658 16661 13692 0 -1 1077944384 1853 0 0 0 62 65 0 0 20 0 15 0 245617794 14431227904 1630894 33554432000 4194304 4196468 140727786200288 140500646431792 140501314271874 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15630336 140727786206293 140727786206473 140727786206473 140727786209231 0
Current children cumulated CPU time: 2504.18 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 6523576 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2397.7 s]
/proc/loadavg: 1.41 1.51 1.77 4/216 16822
/proc/meminfo: memFree=15267968/32770624 swapFree=67108688/67108860
[pid=16661] ppid=16658 vsize=14092996 memory=6523576 CPUtime=2520.05 cores=0,2,4,6
/proc/16661/stat : 16661 (java) S 16658 16661 13692 0 -1 1077944320 1539874 0 0 0 251337 668 0 0 20 0 15 0 245617788 14431227904 1630894 33554432000 4194304 4196468 140727786200288 140727786182832 140501314260727 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 15630336 140727786206293 140727786206473 140727786206473 140727786209231 0
/proc/16661/statm: 3523249 1630894 3628 1 0 3485321 0
[pid=16661/tid=16663] ppid=16658 vsize=14092996 memory=6523576 CPUtime=2357.79 cores=0,2,4,6
/proc/16661/task/16663/stat : 16663 (java) R 16658 16661 13692 0 -1 4202560 924819 0 0 0 235668 111 0 0 20 0 15 0 245617788 14431227904 1630894 33554432000 4194304 4196468 140727786200288 140501318498208 140500954443126 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15630336 140727786206293 140727786206473 140727786206473 140727786209231 0
[pid=16661/tid=16664] ppid=16658 vsize=14092996 memory=6523576 CPUtime=36.52 cores=0,2,4,6
/proc/16661/task/16664/stat : 16664 (java) S 16658 16661 13692 0 -1 1077944384 131321 0 0 0 3525 127 0 0 20 0 15 0 245617789 14431227904 1630894 33554432000 4194304 4196468 140727786200288 140501266881040 140501314270933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15630336 140727786206293 140727786206473 140727786206473 140727786209231 0
[pid=16661/tid=16665] ppid=16658 vsize=14092996 memory=6523576 CPUtime=36.61 cores=0,2,4,6
/proc/16661/task/16665/stat : 16665 (java) S 16658 16661 13692 0 -1 1077944384 131606 0 0 0 3538 123 0 0 20 0 15 0 245617789 14431227904 1630894 33554432000 4194304 4196468 140727786200288 140500908829328 140501314270933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15630336 140727786206293 140727786206473 140727786206473 140727786209231 0
[pid=16661/tid=16666] ppid=16658 vsize=14092996 memory=6523576 CPUtime=36.63 cores=0,2,4,6
/proc/16661/task/16666/stat : 16666 (java) S 16658 16661 13692 0 -1 1077944384 116813 0 0 0 3546 117 0 0 20 0 15 0 245617789 14431227904 1630894 33554432000 4194304 4196468 140727786200288 140500907776272 140501314270933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15630336 140727786206293 140727786206473 140727786206473 140727786209231 0
[pid=16661/tid=16667] ppid=16658 vsize=14092996 memory=6523576 CPUtime=36.62 cores=0,2,4,6
/proc/16661/task/16667/stat : 16667 (java) S 16658 16661 13692 0 -1 1077944384 117605 0 0 0 3546 116 0 0 20 0 15 0 245617789 14431227904 1630894 33554432000 4194304 4196468 140727786200288 140500906723728 140501314270933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15630336 140727786206293 140727786206473 140727786206473 140727786209231 0
[pid=16661/tid=16668] ppid=16658 vsize=14092996 memory=6521528 CPUtime=2.48 cores=0,2,4,6
/proc/16661/task/16668/stat : 16668 (java) S 16658 16661 13692 0 -1 1077944384 19863 0 0 0 242 6 0 0 20 0 15 0 245617790 14431227904 1630894 33554432000 4194304 4196468 140727786200288 140500654852848 140501314271874 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15630336 140727786206293 140727786206473 140727786206473 140727786209231 0
[pid=16661/tid=16669] ppid=16658 vsize=14092996 memory=6521528 CPUtime=0 cores=0,2,4,6
/proc/16661/task/16669/stat : 16669 (java) S 16658 16661 13692 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 15 0 245617791 14431227904 1630894 33554432000 4194304 4196468 140727786200288 140500653799136 140501314270933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15630336 140727786206293 140727786206473 140727786206473 140727786209231 0
[pid=16661/tid=16670] ppid=16658 vsize=14092996 memory=6521528 CPUtime=0 cores=0,2,4,6
/proc/16661/task/16670/stat : 16670 (java) S 16658 16661 13692 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 15 0 245617791 14431227904 1630894 33554432000 4194304 4196468 140727786200288 140500652745984 140501314270933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15630336 140727786206293 140727786206473 140727786206473 140727786209231 0
[pid=16661/tid=16671] ppid=16658 vsize=14092996 memory=6523576 CPUtime=0 cores=0,2,4,6
/proc/16661/task/16671/stat : 16671 (java) S 16658 16661 13692 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245617793 14431227904 1630894 33554432000 4194304 4196468 140727786200288 140500651694544 140501314279323 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15630336 140727786206293 140727786206473 140727786206473 140727786209231 0
[pid=16661/tid=16672] ppid=16658 vsize=14092996 memory=7738145589632723561 CPUtime=5.18 cores=0,2,4,6
/proc/16661/task/16672/stat : 16672 (java) S 16658 16661 13692 0 -1 1077944384 28404 0 0 0 511 7 0 0 20 0 15 0 245617793 14431227904 1630894 33554432000 4194304 4196468 140727786200288 140500650641648 140501314271874 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15630336 140727786206293 140727786206473 140727786206473 140727786209231 0
[pid=16661/tid=16673] ppid=16658 vsize=14092996 memory=6523576 CPUtime=5.38 cores=0,2,4,6
/proc/16661/task/16673/stat : 16673 (java) S 16658 16661 13692 0 -1 1077944384 20841 0 0 0 535 3 0 0 20 0 15 0 245617793 14431227904 1630894 33554432000 4194304 4196468 140727786200288 140500649589104 140501314271874 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15630336 140727786206293 140727786206473 140727786206473 140727786209231 0
[pid=16661/tid=16674] ppid=16658 vsize=14092996 memory=6523576 CPUtime=1.46 cores=0,2,4,6
/proc/16661/task/16674/stat : 16674 (java) S 16658 16661 13692 0 -1 1077944384 45277 0 0 0 142 4 0 0 20 0 15 0 245617793 14431227904 1630894 33554432000 4194304 4196468 140727786200288 140500648536048 140501314271874 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15630336 140727786206293 140727786206473 140727786206473 140727786209231 0
[pid=16661/tid=16675] ppid=16658 vsize=14092996 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/16661/task/16675/stat : 16675 (java) S 16658 16661 13692 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245617794 14431227904 1630894 33554432000 4194304 4196468 140727786200288 140500647483744 140501314270933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15630336 140727786206293 140727786206473 140727786206473 140727786209231 0
[pid=16661/tid=16676] ppid=16658 vsize=14092996 memory=-8412656567318647667 CPUtime=1.27 cores=0,2,4,6
/proc/16661/task/16676/stat : 16676 (java) S 16658 16661 13692 0 -1 1077944384 1853 0 0 0 62 65 0 0 20 0 15 0 245617794 14431227904 1630894 33554432000 4194304 4196468 140727786200288 140500646431792 140501314271874 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15630336 140727786206293 140727786206473 140727786206473 140727786209231 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 6523576 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2397.75 s]
# the end of solver process 16661 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2513.39 s, system=6.72014 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2397.7 s]
/proc/loadavg: 1.41 1.51 1.77 4/216 16822
/proc/meminfo: memFree=15267968/32770624 swapFree=67108688/67108860
[pid=16661] ppid=16658 vsize=14092996 memory=6523576 CPUtime=2520.05 cores=0,2,4,6
/proc/16661/stat : 16661 (java) S 16658 16661 13692 0 -1 1077944320 1539874 0 0 0 251337 668 0 0 20 0 15 0 245617788 14431227904 1630894 33554432000 4194304 4196468 140727786200288 140727786182832 140501314260727 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 15630336 140727786206293 140727786206473 140727786206473 140727786209231 0
/proc/16661/statm: 3523249 1630894 3628 1 0 3485321 0
[pid=16661/tid=16663] ppid=16658 vsize=14092996 memory=6523576 CPUtime=2357.79 cores=0,2,4,6
/proc/16661/task/16663/stat : 16663 (java) R 16658 16661 13692 0 -1 4202560 924819 0 0 0 235668 111 0 0 20 0 15 0 245617788 14431227904 1630894 33554432000 4194304 4196468 140727786200288 140501318498208 140500954443126 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15630336 140727786206293 140727786206473 140727786206473 140727786209231 0
[pid=16661/tid=16664] ppid=16658 vsize=14092996 memory=6523576 CPUtime=36.52 cores=0,2,4,6
/proc/16661/task/16664/stat : 16664 (java) S 16658 16661 13692 0 -1 1077944384 131321 0 0 0 3525 127 0 0 20 0 15 0 245617789 14431227904 1630894 33554432000 4194304 4196468 140727786200288 140501266881040 140501314270933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15630336 140727786206293 140727786206473 140727786206473 140727786209231 0
[pid=16661/tid=16665] ppid=16658 vsize=14092996 memory=6523576 CPUtime=36.61 cores=0,2,4,6
/proc/16661/task/16665/stat : 16665 (java) S 16658 16661 13692 0 -1 1077944384 131606 0 0 0 3538 123 0 0 20 0 15 0 245617789 14431227904 1630894 33554432000 4194304 4196468 140727786200288 140500908829328 140501314270933 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15630336 140727786206293 140727786206473 140727786206473 140727786209231 0
[pid=16661/tid=16666] ppid=16658 vsize=14092996 memory=6523576 CPUtime=36.63 cores=0,2,4,6
/proc/16661/task/16666/stat : 16666 (java) S 16658 16661 13692 0 -1 1077944384 116813 0 0 0 3546 117 0 0 20 0 15 0 245617789 14431227904 1630894 33554432000 4194304 4196468 140727786200288 140500907776272 140501314270933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15630336 140727786206293 140727786206473 140727786206473 140727786209231 0
[pid=16661/tid=16667] ppid=16658 vsize=14092996 memory=6523576 CPUtime=36.62 cores=0,2,4,6
/proc/16661/task/16667/stat : 16667 (java) S 16658 16661 13692 0 -1 1077944384 117605 0 0 0 3546 116 0 0 20 0 15 0 245617789 14431227904 1630894 33554432000 4194304 4196468 140727786200288 140500906723728 140501314270933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15630336 140727786206293 140727786206473 140727786206473 140727786209231 0
[pid=16661/tid=16668] ppid=16658 vsize=14092996 memory=6521528 CPUtime=2.48 cores=0,2,4,6
/proc/16661/task/16668/stat : 16668 (java) S 16658 16661 13692 0 -1 1077944384 19863 0 0 0 242 6 0 0 20 0 15 0 245617790 14431227904 1630894 33554432000 4194304 4196468 140727786200288 140500654852848 140501314271874 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15630336 140727786206293 140727786206473 140727786206473 140727786209231 0
[pid=16661/tid=16669] ppid=16658 vsize=14092996 memory=6521528 CPUtime=0 cores=0,2,4,6
/proc/16661/task/16669/stat : 16669 (java) S 16658 16661 13692 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 15 0 245617791 14431227904 1630894 33554432000 4194304 4196468 140727786200288 140500653799136 140501314270933 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15630336 140727786206293 140727786206473 140727786206473 140727786209231 0
[pid=16661/tid=16670] ppid=16658 vsize=14092996 memory=6521528 CPUtime=0 cores=0,2,4,6
/proc/16661/task/16670/stat : 16670 (java) S 16658 16661 13692 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 15 0 245617791 14431227904 1630894 33554432000 4194304 4196468 140727786200288 140500652745984 140501314270933 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15630336 140727786206293 140727786206473 140727786206473 140727786209231 0
[pid=16661/tid=16671] ppid=16658 vsize=14092996 memory=6523576 CPUtime=0 cores=0,2,4,6
/proc/16661/task/16671/stat : 16671 (java) S 16658 16661 13692 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245617793 14431227904 1630894 33554432000 4194304 4196468 140727786200288 140500651694544 140501314279323 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15630336 140727786206293 140727786206473 140727786206473 140727786209231 0
[pid=16661/tid=16672] ppid=16658 vsize=14092996 memory=7738145589632723561 CPUtime=5.18 cores=0,2,4,6
/proc/16661/task/16672/stat : 16672 (java) S 16658 16661 13692 0 -1 1077944384 28404 0 0 0 511 7 0 0 20 0 15 0 245617793 14431227904 1630894 33554432000 4194304 4196468 140727786200288 140500650641648 140501314271874 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15630336 140727786206293 140727786206473 140727786206473 140727786209231 0
[pid=16661/tid=16673] ppid=16658 vsize=14092996 memory=6523576 CPUtime=5.38 cores=0,2,4,6
/proc/16661/task/16673/stat : 16673 (java) S 16658 16661 13692 0 -1 1077944384 20841 0 0 0 535 3 0 0 20 0 15 0 245617793 14431227904 1630894 33554432000 4194304 4196468 140727786200288 140500649589104 140501314271874 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15630336 140727786206293 140727786206473 140727786206473 140727786209231 0
[pid=16661/tid=16674] ppid=16658 vsize=14092996 memory=6523576 CPUtime=1.46 cores=0,2,4,6
/proc/16661/task/16674/stat : 16674 (java) S 16658 16661 13692 0 -1 1077944384 45277 0 0 0 142 4 0 0 20 0 15 0 245617793 14431227904 1630894 33554432000 4194304 4196468 140727786200288 140500648536048 140501314271874 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15630336 140727786206293 140727786206473 140727786206473 140727786209231 0
[pid=16661/tid=16675] ppid=16658 vsize=14092996 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/16661/task/16675/stat : 16675 (java) S 16658 16661 13692 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245617794 14431227904 1630894 33554432000 4194304 4196468 140727786200288 140500647483744 140501314270933 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15630336 140727786206293 140727786206473 140727786206473 140727786209231 0
[pid=16661/tid=16676] ppid=16658 vsize=14092996 memory=-8412656567318647667 CPUtime=1.27 cores=0,2,4,6
/proc/16661/task/16676/stat : 16676 (java) S 16658 16661 13692 0 -1 1077944384 1853 0 0 0 62 65 0 0 20 0 15 0 245617794 14431227904 1630894 33554432000 4194304 4196468 140727786200288 140500646431792 140501314271874 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15630336 140727786206293 140727786206473 140727786206473 140727786209231 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 6523576 KiB
Child status: 143
Real time (s): 2397.75
CPU time (s): 2520.11
CPU user time (s): 2513.39
CPU system time (s): 6.72014
CPU usage (%): 105.103
Max. virtual memory (cumulated for all children) (KiB): 14092996
Max. memory (cumulated for all children) (KiB): 6523576
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2513.39
system time used= 6.72014
maximum resident set size= 6523860
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1541213
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3136
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 64271
involuntary context switches= 5391
# summary of solver processes directly reported to runsolver:
# pid: 16661
# total CPU time (s): 2520.11
# total CPU user time (s): 2513.39
# total CPU system time (s): 6.72014
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.1763 second user time and 23.0923 second system time
The end
Begin job on node106 at 2018-08-14 23:02:29 IDJOB=4308396 IDBENCH=141136 IDSOLVER=2792 FILE ID=node106/4308396-1534280549 RUNJOBID= node106-1534270601-15611 PBS_JOBID= 21038127 Free space on /tmp= 42444 MiB SOLVER NAME= OscaR - Hybrid 2018-08-14 BENCH NAME= XCSP18/GraphColoring/GraphColoring-qg-order40_c18.xml COMMAND LINE= java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 11000 --nbcore NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4308396-1534280549/watcher-4308396-1534280549 -o /tmp/evaluation-result-4308396-1534280549/solver-4308396-1534280549 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node106-1534270601-15611 --watchdog 2580 java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 455138365 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4308396-1534280549.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= d1aa36ddb66a988b2d6475ffc1d9c375 RANDOM SEED=455138365 node106.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 : 5334.11 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 : 5334.11 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 : 5334.11 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 : 5334.11 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: 21923504 kB MemAvailable: 30665720 kB Buffers: 184736 kB Cached: 8764796 kB SwapCached: 0 kB Active: 5744312 kB Inactive: 4497180 kB Active(anon): 1238848 kB Inactive(anon): 105460 kB Active(file): 4505464 kB Inactive(file): 4391720 kB Unevictable: 6964 kB Mlocked: 6964 kB SwapTotal: 67108860 kB SwapFree: 67108688 kB Dirty: 37804 kB Writeback: 0 kB AnonPages: 1298716 kB Mapped: 68160 kB Shmem: 49632 kB Slab: 302036 kB SReclaimable: 273492 kB SUnreclaim: 28544 kB KernelStack: 3552 kB PageTables: 7964 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 3289836 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 1142784 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 109952 kB DirectMap2M: 33435648 kB Free space on /tmp at the end= 42412 MiB End job on node106 at 2018-08-14 23:42:27