Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Concrete 3.8 2018-06-13 | OPT | 39 | 433.23 | 401.378 |
| Name | GraphColoring/ GraphColoring-qg-order40_c18.xml |
| MD5SUM | d1aa36ddb66a988b2d6475ffc1d9c375 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 39 |
| Best CPU time to get the best result obtained on this benchmark | 1305.33 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 1600 |
| Number of constraints | 62400 |
| Number of domains | 1 |
| Minimum domain size | 1600 |
| Maximum domain size | 1600 |
| Distribution of domain sizes | [{"size":1600,"count":1600}] |
| Minimum variable degree | 79 |
| Maximum variable degree | 79 |
| Distribution of variable degrees | [{"degree":79,"count":1600}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 2 |
| Distribution of constraint arities | [{"arity":2,"count":62400}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 62400 |
| Distribution of constraint types | [{"type":"intension","count":62400}] |
| Optimization problem | YES |
| Type of objective | min MAXIMUM |
0.99/0.74 c Concrete v3.8.1528841891564 running 78.37/56.72 o 1599 79.88/57.58 o 1598 80.99/58.32 o 1597 81.83/58.99 o 1596 83.04/59.71 o 1595 83.72/60.40 o 1594 84.47/61.10 o 1593 85.57/61.77 o 1592 86.30/62.44 o 1591 87.47/63.13 o 1590 88.17/63.81 o 1589 88.77/64.48 o 1588 89.48/65.17 o 1587 90.18/65.84 o 1586 90.88/66.51 o 1585 91.49/67.18 o 1584 92.26/67.86 o 1583 92.86/68.50 o 1582 93.58/69.11 o 1581 94.20/69.72 o 1580 94.83/70.37 o 1579 95.60/71.03 o 1578 96.20/71.69 o 1577 96.90/72.36 o 1576 97.61/73.02 o 1575 98.39/73.70 o 1574 99.00/74.34 o 1573 99.60/75.00 o 1572 100.30/75.63 o 1571 100.90/76.27 o 1570 101.51/76.89 o 1569 102.14/77.49 o 1568 102.94/78.09 o 1567 103.63/78.72 o 1566 104.23/79.34 o 1565 105.13/80.04 o 1564 105.73/80.69 o 1563 106.43/81.34 o 1562 107.03/81.98 o 1561 107.73/82.61 o 1560 108.33/83.22 o 1559 108.93/83.87 o 1558 109.63/84.50 o 1557 110.24/85.15 o 1556 111.02/85.84 o 1555 111.62/86.48 o 1554 112.33/87.18 o 1553 113.02/87.82 o 1552 113.62/88.46 o 1551 114.23/89.10 o 1550 114.82/89.69 o 1549 115.52/90.32 o 1548 116.12/90.95 o 1547 116.72/91.59 o 1546 117.48/92.22 o 1545 118.08/92.85 o 1544 118.68/93.48 o 1543 119.37/94.10 o 1542 120.06/94.75 o 1541 120.66/95.39 o 1540 121.26/96.01 o 1539 121.97/96.63 o 1538 122.57/97.20 o 1537 123.25/97.84 o 1536 123.86/98.46 o 1535 124.47/99.08 o 1534 125.07/99.67 o 1533 125.77/100.32 o 1532 126.37/100.95 o 1531 126.97/101.59 o 1530 127.67/102.27 o 1529 128.27/102.89 o 1528 128.87/103.48 o 1527 129.65/104.16 o 1526 130.24/104.74 o 1525 130.84/105.35 o 1524 131.45/105.93 o 1523 132.05/106.51 o 1522 132.66/107.14 o 1521 133.25/107.76 o 1520 133.85/108.36 o 1519 134.45/108.99 o 1518 135.15/109.60 o 1517 135.81/110.23 o 1516 136.42/110.82 o 1515 137.03/111.40 o 1514 137.53/111.95 o 1513 138.27/112.54 o 1512 138.88/113.13 o 1511 139.47/113.77 o 1510 140.08/114.32 o 1509 140.68/114.97 o 1508 141.38/115.62 o 1507 142.05/116.25 o 1506 142.65/116.86 o 1505 143.26/117.45 o 1504 143.87/118.05 o 1503 144.46/118.68 o 1502 145.06/119.28 o 1501 145.66/119.89 o 1500 146.36/120.50 o 1499 146.97/121.11 o 1498 147.46/121.67 o 1497 148.24/122.32 o 1496 148.84/122.90 o 1495 149.34/123.42 o 1494 149.95/124.08 o 1493 150.64/124.71 o 1492 151.24/125.31 o 1491 151.84/125.94 o 1490 152.44/126.58 o 1489 153.05/127.20 o 1488 153.74/127.83 o 1487 154.42/128.45 o 1486 155.02/129.08 o 1485 155.71/129.73 o 1484 156.32/130.34 o 1483 156.92/130.97 o 1482 157.52/131.58 o 1481 158.23/132.22 o 1480 158.83/132.85 o 1479 159.43/133.47 o 1478 160.04/134.07 o 1477 160.70/134.69 o 1476 161.30/135.26 o 1475 161.90/135.89 o 1474 162.60/136.54 o 1473 163.21/137.17 o 1472 163.81/137.78 o 1471 164.41/138.39 o 1470 165.01/138.98 o 1469 165.61/139.56 o 1468 166.22/140.15 o 1467 166.88/140.76 o 1466 167.48/141.35 o 1465 168.08/141.99 o 1464 168.78/142.61 o 1463 169.38/143.21 o 1462 169.98/143.80 o 1461 170.48/144.37 o 1460 171.08/144.94 o 1459 171.68/145.51 o 1458 172.19/146.06 o 1457 172.87/146.64 o 1456 173.47/147.25 o 1455 173.97/147.76 o 1454 174.57/148.34 o 1453 175.17/148.94 o 1452 175.77/149.56 o 1451 176.47/150.21 o 1450 177.07/150.85 o 1449 177.67/151.47 o 1448 178.28/152.10 o 1447 178.97/152.78 o 1446 179.66/153.39 o 1445 180.27/153.99 o 1444 180.97/154.66 o 1443 181.57/155.27 o 1442 182.27/155.91 o 1441 182.87/156.55 o 1440 183.48/157.19 o 1439 184.17/157.84 o 1438 184.77/158.47 o 1437 185.44/159.10 o 1436 186.03/159.69 o 1435 186.74/160.33 o 1434 187.34/160.97 o 1433 188.04/161.62 o 1432 188.64/162.27 o 1431 189.34/162.91 o 1430 189.94/163.54 o 1429 190.55/164.16 o 1428 191.14/164.78 o 1427 191.90/165.44 o 1426 192.51/166.07 o 1425 193.21/166.74 o 1424 193.91/167.40 o 1423 194.41/168.00 o 1422 195.11/168.61 o 1421 195.71/169.25 o 1420 196.31/169.88 o 1419 197.01/170.53 o 1418 197.62/171.17 o 1417 198.36/171.81 o 1416 198.96/172.43 o 1415 199.57/173.02 o 1414 200.16/173.64 o 1413 200.76/174.25 o 1412 201.36/174.84 o 1411 201.96/175.41 o 1410 202.57/176.02 o 1409 203.17/176.64 o 1408 203.77/177.26 o 1407 204.44/177.85 o 1406 204.94/178.40 o 1405 205.54/178.93 o 1404 206.14/179.51 o 1403 206.65/180.05 o 1402 207.15/180.58 o 1401 207.85/181.20 o 1400 208.35/181.78 o 1399 208.95/182.31 o 1398 209.35/182.79 o 1397 209.95/183.33 o 1396 210.45/183.82 o 1395 211.01/184.32 o 1394 211.51/184.81 o 1393 212.10/185.43 o 1392 212.71/186.05 o 1391 213.31/186.68 o 1390 214.00/187.30 o 1389 214.60/187.94 o 1388 215.20/188.53 o 1387 215.81/189.13 o 1386 216.41/189.70 o 1385 217.07/190.35 o 1384 217.69/190.91 o 1383 218.19/191.47 o 1382 218.80/192.05 o 1381 219.39/192.64 o 1380 219.99/193.20 o 1379 220.49/193.78 o 1378 221.09/194.35 o 1377 221.69/194.94 o 1376 222.29/195.53 o 1375 222.91/196.11 o 1374 223.55/196.71 o 1373 224.05/197.29 o 1372 224.65/197.84 o 1371 225.25/198.43 o 1370 225.86/199.02 o 1369 226.45/199.64 o 1368 226.96/200.17 o 1367 227.46/200.69 o 1366 228.06/201.25 o 1365 228.66/201.80 o 1364 229.16/202.37 o 1363 229.82/202.94 o 1362 230.32/203.47 o 1361 230.93/204.04 o 1360 231.42/204.53 o 1359 231.93/205.08 o 1358 232.52/205.63 o 1357 233.13/206.21 o 1356 233.73/206.80 o 1355 234.23/207.33 o 1354 234.73/207.87 o 1353 235.43/208.53 o 1352 236.11/209.18 o 1351 236.80/209.82 o 1350 237.40/210.46 o 1349 238.01/211.07 o 1348 238.60/211.70 o 1347 239.20/212.29 o 1346 239.90/212.90 o 1345 240.50/213.54 o 1344 241.12/214.16 o 1343 241.71/214.78 o 1342 242.31/215.37 o 1341 242.99/215.98 o 1340 243.60/216.55 o 1339 244.21/217.16 o 1338 244.80/217.75 o 1337 245.40/218.32 o 1336 246.00/218.90 o 1335 246.60/219.51 o 1334 247.21/220.13 o 1333 247.80/220.73 o 1332 248.40/221.31 o 1331 249.06/221.94 o 1330 249.66/222.56 o 1329 250.27/223.12 o 1328 250.76/223.69 o 1327 251.36/224.22 o 1326 251.86/224.77 o 1325 252.46/225.35 o 1324 253.06/225.90 o 1323 253.56/226.45 o 1322 254.17/227.01 o 1321 254.67/227.56 o 1320 255.36/228.12 o 1319 255.84/228.64 o 1318 256.44/229.20 o 1317 256.84/229.69 o 1316 257.35/230.19 o 1315 257.84/230.64 o 1314 258.35/231.17 o 1313 258.94/231.71 o 1312 259.44/232.21 o 1311 259.94/232.74 o 1310 260.44/233.25 o 1309 260.94/233.77 o 1308 261.44/234.27 o 1307 262.10/234.81 o 1306 262.60/235.33 o 1305 263.20/235.91 o 1304 263.80/236.54 o 1303 264.41/237.16 o 1302 265.00/237.77 o 1301 265.60/238.38 o 1300 266.31/239.01 o 1299 266.90/239.62 o 1298 267.50/240.22 o 1297 268.18/240.88 o 1296 268.78/241.47 o 1295 269.39/242.09 o 1294 269.98/242.68 o 1293 270.68/243.30 o 1292 271.18/243.86 o 1291 271.78/244.47 o 1290 272.39/245.04 o 1289 272.98/245.60 o 1288 273.49/246.18 o 1287 274.08/246.74 o 1286 274.74/247.33 o 1285 275.24/247.85 o 1284 275.74/248.38 o 1283 276.24/248.89 o 1282 276.84/249.44 o 1281 277.35/249.93 o 1280 277.85/250.45 o 1279 278.35/250.97 o 1278 278.96/251.50 o 1277 279.37/252.00 o 1276 279.97/252.52 o 1275 280.37/253.00 o 1274 280.87/253.49 o 1273 281.53/254.01 o 1272 282.02/254.52 o 1271 282.53/255.02 o 1270 283.02/255.51 o 1269 283.43/255.95 o 1268 283.93/256.40 o 1267 284.33/256.87 o 1266 284.83/257.34 o 1265 285.33/257.80 o 1264 285.73/258.24 o 1263 286.13/258.64 o 1262 286.54/259.07 o 1261 286.93/259.49 o 1260 287.33/259.87 o 1259 287.90/260.31 o 1258 288.30/260.73 o 1257 288.71/261.11 o 1256 289.10/261.54 o 1255 289.50/261.96 o 1254 289.91/262.37 o 1253 290.31/262.75 o 1252 290.71/263.14 o 1251 291.11/263.55 o 1250 291.51/263.96 o 1249 291.91/264.38 o 1248 292.31/264.77 o 1247 292.72/265.17 o 1246 293.11/265.56 o 1245 293.51/265.92 o 1244 293.81/266.26 o 1243 294.21/266.63 o 1242 294.86/267.28 o 1241 295.46/267.89 o 1240 296.16/268.53 o 1239 296.78/269.14 o 1238 297.37/269.77 o 1237 297.97/270.37 o 1236 298.57/270.97 o 1235 299.17/271.57 o 1234 299.78/272.18 o 1233 300.37/272.74 o 1232 301.02/273.37 o 1231 301.62/273.93 o 1230 302.22/274.52 o 1229 302.73/275.10 o 1228 303.33/275.69 o 1227 303.92/276.24 o 1226 304.53/276.84 o 1225 305.13/277.40 o 1224 305.62/277.94 o 1223 306.22/278.52 o 1222 306.73/279.05 o 1221 307.39/279.62 o 1220 307.90/280.20 o 1219 308.49/280.75 o 1218 308.99/281.28 o 1217 309.50/281.79 o 1216 310.11/282.31 o 1215 310.61/282.86 o 1214 311.21/283.42 o 1213 311.71/283.95 o 1212 312.21/284.45 o 1211 312.71/284.95 o 1210 313.21/285.45 o 1209 313.78/285.97 o 1208 314.28/286.48 o 1207 314.78/286.99 o 1206 315.38/287.50 o 1205 315.78/287.99 o 1204 316.28/288.47 o 1203 316.79/288.97 o 1202 317.29/289.46 o 1201 317.79/289.94 o 1200 318.29/290.42 o 1199 318.69/290.89 o 1198 319.20/291.36 o 1197 319.70/291.86 o 1196 320.27/292.39 o 1195 320.77/292.87 o 1194 321.27/293.34 o 1193 321.77/293.84 o 1192 322.27/294.33 o 1191 322.68/294.80 o 1190 323.18/295.24 o 1189 323.68/295.71 o 1188 324.09/296.13 o 1187 324.48/296.57 o 1186 324.96/296.97 o 1185 325.46/297.41 o 1184 325.86/297.87 o 1183 326.36/298.34 o 1182 326.86/298.81 o 1181 327.31/299.25 o 1180 327.71/299.67 o 1179 328.12/300.10 o 1178 328.61/300.52 o 1177 329.01/300.90 o 1176 329.31/301.28 o 1175 329.71/301.67 o 1174 330.12/302.08 o 1173 330.51/302.43 o 1172 330.81/302.79 o 1171 331.22/303.17 o 1170 331.61/303.54 o 1169 332.01/303.92 o 1168 332.32/304.28 o 1167 333.02/304.93 o 1166 333.68/305.55 o 1165 334.29/306.16 o 1164 334.89/306.78 o 1163 335.59/307.40 o 1162 336.20/308.03 o 1161 336.79/308.64 o 1160 337.39/309.27 o 1159 338.09/309.91 o 1158 338.69/310.56 o 1157 339.30/311.16 o 1156 339.89/311.72 o 1155 340.54/312.32 o 1154 341.04/312.89 o 1153 341.64/313.47 o 1152 342.25/314.06 o 1151 342.84/314.62 o 1150 343.35/315.17 o 1149 343.94/315.75 o 1148 344.44/316.28 o 1147 345.04/316.85 o 1146 345.64/317.42 o 1145 346.14/317.94 o 1144 346.80/318.51 o 1143 347.31/319.08 o 1142 347.90/319.65 o 1141 348.41/320.17 o 1140 349.00/320.72 o 1139 349.50/321.25 o 1138 350.00/321.77 o 1137 350.60/322.31 o 1136 351.10/322.84 o 1135 351.60/323.36 o 1134 352.10/323.86 o 1133 352.60/324.38 o 1132 353.27/324.90 o 1131 353.77/325.44 o 1130 354.27/325.94 o 1129 354.77/326.44 o 1128 355.27/326.97 o 1127 355.77/327.46 o 1126 356.27/327.94 o 1125 356.77/328.42 o 1124 357.27/328.92 o 1123 357.67/329.39 o 1122 358.17/329.88 o 1121 358.67/330.35 o 1120 359.17/330.83 o 1119 359.64/331.27 o 1118 360.14/331.72 o 1117 360.55/332.17 o 1116 361.04/332.63 o 1115 361.45/333.07 o 1114 361.94/333.53 o 1113 362.34/334.01 o 1112 362.84/334.46 o 1111 363.35/334.92 o 1110 363.76/335.38 o 1109 364.26/335.80 o 1108 364.66/336.27 o 1107 365.16/336.73 o 1106 365.66/337.20 o 1105 366.06/337.61 o 1104 366.53/338.06 o 1103 366.92/338.46 o 1102 367.32/338.88 o 1101 367.82/339.32 o 1100 368.22/339.70 o 1099 368.53/340.10 o 1098 369.02/340.51 o 1097 369.42/340.91 o 1096 369.73/341.29 o 1095 370.13/341.67 o 1094 370.54/342.07 o 1093 370.93/342.43 o 1092 371.33/342.85 o 1091 371.73/343.21 o 1090 372.03/343.55 o 1089 372.33/343.90 o 1088 372.74/344.25 o 1087 373.21/344.62 o 1086 373.51/344.96 o 1085 373.81/345.29 o 1084 374.21/345.63 o 1083 374.51/345.96 o 1082 374.81/346.26 o 1081 375.11/346.57 o 1080 375.41/346.86 o 1079 375.72/347.16 o 1078 376.01/347.46 o 1077 376.31/347.74 o 1076 376.51/347.98 o 1075 376.81/348.25 o 1074 377.11/348.50 o 1073 377.31/348.75 o 1072 377.91/349.36 o 1071 378.51/349.94 o 1070 379.11/350.52 o 1069 379.72/351.12 o 1068 380.35/351.72 o 1067 380.95/352.35 o 1066 381.55/352.92 o 1065 382.15/353.51 o 1064 382.66/354.08 o 1063 383.35/354.70 o 1062 383.85/355.26 o 1061 384.45/355.82 o 1060 384.95/356.36 o 1059 385.45/356.89 o 1058 386.05/357.45 o 1057 386.60/358.00 o 1056 387.20/358.51 o 1055 387.71/359.02 o 1054 388.20/359.56 o 1053 388.71/360.07 o 1052 389.30/360.61 o 1051 389.81/361.12 o 1050 390.30/361.66 o 1049 390.81/362.17 o 1048 391.30/362.68 o 1047 391.81/363.18 o 1046 392.40/363.71 o 1045 392.97/364.22 o 1044 393.47/364.71 o 1043 393.89/365.14 o 1042 394.38/365.61 o 1041 394.79/366.04 o 1040 395.18/366.43 o 1039 395.58/366.85 o 1038 395.98/367.28 o 1037 396.38/367.68 o 1036 396.79/368.08 o 1035 397.18/368.48 o 1034 397.58/368.88 o 1033 397.98/369.27 o 1032 398.38/369.66 o 1031 398.79/370.08 o 1030 399.18/370.46 o 1029 399.64/370.86 o 1028 400.04/371.25 o 1027 400.44/371.64 o 1026 400.85/372.05 o 1025 401.25/372.45 o 1024 401.65/372.84 o 1023 402.05/373.24 o 1022 402.35/373.58 o 1021 402.75/373.94 o 1020 403.15/374.32 o 1019 403.45/374.66 o 1018 403.75/374.99 o 1017 404.15/375.34 o 1016 404.45/375.68 o 1015 404.86/376.01 o 1014 405.15/376.31 o 1013 405.35/376.60 o 1012 405.75/376.90 o 1011 405.96/377.18 o 1010 406.25/377.47 o 1009 406.61/377.78 o 1008 406.91/378.06 o 1007 407.21/378.33 o 1006 407.41/378.58 o 1005 407.71/378.85 o 1004 408.02/379.13 o 1003 408.21/379.36 o 1002 408.51/379.61 o 1001 408.71/379.86 o 1000 408.92/380.08 o 999 409.21/380.33 o 998 409.41/380.56 o 997 409.61/380.76 o 996 409.81/380.97 o 995 410.11/381.21 o 994 410.31/381.44 o 993 410.51/381.66 o 992 410.71/381.87 o 991 410.92/382.10 o 990 411.21/382.31 o 989 411.41/382.50 o 988 411.61/382.71 o 987 411.71/382.90 o 986 411.92/383.06 o 985 412.11/383.24 o 984 412.31/383.40 o 983 412.41/383.58 o 982 412.61/383.75 o 981 412.81/383.90 o 980 412.92/384.04 o 979 413.02/384.19 o 978 413.21/384.36 o 977 413.41/384.50 o 976 413.51/384.64 o 975 413.67/384.78 o 974 413.87/384.92 o 973 413.98/385.06 o 972 414.08/385.19 o 971 414.27/385.32 o 970 414.37/385.45 o 969 414.47/385.58 o 968 414.67/385.71 o 967 414.77/385.83 o 966 414.87/385.96 o 965 414.98/386.09 o 964 415.17/386.20 o 963 415.27/386.31 o 962 415.37/386.40 o 961 415.37/386.50 o 960 415.47/386.59 o 959 415.58/386.68 o 958 415.68/386.76 o 957 415.78/386.83 o 956 415.88/386.91 o 955 415.88/386.99 o 954 415.99/387.08 o 953 416.09/387.15 o 952 416.18/387.23 o 951 416.18/387.29 o 950 416.28/387.36 o 949 416.38/387.44 o 948 416.48/387.51 o 947 416.48/387.58 o 946 416.58/387.64 o 945 416.58/387.69 o 944 416.68/387.73 o 943 416.68/387.78 o 942 416.78/387.82 o 941 416.78/387.85 o 940 416.78/387.89 o 939 416.88/387.93 o 938 416.88/387.96 o 937 416.88/387.99 o 936 416.99/388.02 o 935 416.99/388.04 o 934 416.99/388.07 o 933 416.99/388.09 o 932 416.99/388.10 o 931 417.09/388.12 o 930 417.09/388.13 o 929 417.09/388.14 o 928 417.09/388.16 o 927 417.09/388.17 o 926 417.09/388.18 o 925 417.09/388.19 o 924 417.18/388.20 o 923 417.18/388.21 o 922 417.18/388.22 o 921 417.18/388.23 o 920 417.18/388.24 o 45 417.42/388.35 o 44 417.87/388.56 o 43 418.34/388.97 o 42 419.57/389.86 o 41 431.78/400.17 o 40 433.13/401.31 o 39 433.13/401.35 v <instantiation cost="39"> 433.13/401.35 v <list> 433.13/401.35 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] 433.13/401.35 v </list> 433.13/401.35 v <values> 433.13/401.35 v 24 6 26 38 0 10 12 33 16 32 15 4 20 17 7 31 13 2 27 9 34 25 18 22 35 21 19 36 14 8 30 5 39 37 23 11 28 3 29 1 39 36 3 0 5 19 26 18 11 30 35 12 24 20 6 25 33 29 10 1 32 23 2 27 22 37 17 28 31 34 16 21 9 13 8 7 4 14 38 15 18 39 38 2 34 23 13 27 14 29 31 19 0 24 11 5 35 16 32 3 37 17 7 25 33 28 26 1 4 15 20 9 22 36 6 21 30 12 8 10 31 20 32 5 38 24 21 17 8 10 3 37 34 23 4 2 9 36 0 7 19 12 26 33 30 13 6 39 28 25 14 18 1 15 16 29 35 27 11 22 7 4 28 19 22 5 25 12 13 6 32 36 14 27 29 18 38 8 20 39 24 16 37 34 2 26 10 30 1 9 15 11 3 31 0 35 23 21 17 33 25 7 5 1 24 39 22 32 3 16 28 10 11 0 37 9 26 35 21 27 12 36 34 15 6 29 2 17 20 4 38 33 14 30 18 23 19 13 31 8 0 11 34 16 26 3 37 8 29 35 13 21 19 36 17 23 25 32 22 38 20 30 39 1 24 14 12 18 9 33 2 10 28 5 15 4 27 31 6 7 29 31 6 36 1 20 32 13 5 33 25 27 16 9 15 28 39 18 4 22 11 8 10 19 7 17 37 2 34 0 35 38 26 12 30 24 3 23 21 14 13 8 37 6 9 14 31 1 27 39 18 34 29 35 32 19 21 33 23 16 4 3 22 17 28 24 30 5 0 10 26 25 20 38 2 12 15 36 7 11 32 15 35 25 36 2 8 22 26 9 33 1 5 11 34 30 31 39 37 23 14 21 38 0 4 18 29 24 6 28 19 20 16 27 3 17 12 7 10 13 17 27 19 20 32 15 33 16 1 5 7 26 28 25 38 14 10 34 11 37 35 31 21 18 29 12 22 8 24 6 13 3 0 39 4 9 36 30 23 2 1 34 9 18 37 27 4 39 20 31 0 8 17 26 33 29 19 13 3 5 10 7 36 14 21 6 35 22 16 30 24 23 25 11 28 15 2 38 12 32 33 3 14 7 23 32 29 10 22 15 2 6 12 39 5 13 20 25 28 18 16 11 8 36 34 1 21 38 17 31 27 26 4 35 9 30 24 37 19 0 15 32 39 17 21 30 28 9 33 27 29 3 35 18 0 36 7 19 12 4 2 5 23 11 20 22 24 16 8 13 25 31 38 34 10 14 37 1 26 6 19 21 2 22 6 9 18 20 7 26 12 33 36 31 35 4 3 38 5 28 25 1 30 29 37 15 0 11 23 17 8 14 13 32 24 10 34 16 39 27 9 0 18 34 27 37 24 36 17 13 38 14 4 16 26 21 8 20 7 29 1 35 15 6 5 2 28 31 10 23 11 39 12 3 33 22 32 25 30 19 12 9 24 35 13 22 3 38 18 34 36 23 15 37 28 6 17 10 29 33 31 2 32 5 14 0 20 7 26 21 4 19 30 25 11 8 1 39 27 16 6 33 15 11 14 16 9 28 10 8 30 39 27 2 20 1 23 5 36 0 13 38 3 24 31 34 7 4 37 32 12 29 18 22 19 25 26 17 35 21 20 2 23 37 35 1 10 26 9 0 27 24 31 5 19 3 18 28 14 6 15 4 11 12 39 33 25 21 30 22 29 7 32 17 38 13 16 8 36 34 3 26 0 23 18 11 2 19 25 20 14 9 22 30 1 39 34 15 38 10 6 27 31 35 36 32 5 33 21 12 17 16 24 8 13 28 7 29 37 4 8 5 4 32 20 18 6 3 23 12 1 15 25 29 10 33 36 14 30 26 17 22 35 38 0 16 9 19 39 11 21 27 2 7 37 34 13 24 28 31 22 1 11 3 29 28 38 30 21 37 23 18 39 13 25 32 4 24 31 36 7 20 33 9 17 8 16 15 35 27 0 2 6 19 26 5 10 34 14 12 5 38 33 8 2 13 0 7 39 21 11 25 10 34 24 20 27 9 15 30 3 29 6 32 12 36 4 35 19 18 22 1 31 28 17 37 14 26 16 23 37 35 21 30 10 31 20 24 4 7 34 38 2 8 23 0 5 11 18 25 26 39 19 16 13 27 14 9 32 1 3 17 15 29 12 36 6 33 22 28 4 19 27 24 15 8 36 0 12 1 20 11 7 10 22 37 16 23 9 34 30 33 14 2 32 38 31 29 25 26 39 6 35 21 5 18 17 28 13 3 27 29 17 26 25 12 7 23 38 3 24 28 8 4 18 11 14 6 2 19 39 15 20 10 9 30 32 34 5 36 31 13 33 0 21 16 22 35 1 37 26 24 22 27 8 29 14 31 30 25 9 0 6 7 16 15 37 17 19 21 18 13 5 39 11 35 34 32 12 3 10 28 36 23 1 38 33 4 2 20 30 12 36 4 11 21 17 34 32 38 16 29 3 19 39 8 1 22 6 20 5 24 13 28 27 10 23 26 33 35 37 0 7 14 25 31 18 2 15 9 14 13 25 29 4 17 11 21 2 19 37 22 38 12 8 35 30 7 1 31 33 6 28 23 15 9 3 27 36 16 32 24 5 10 34 20 39 0 18 26 21 16 12 28 19 38 35 2 31 11 17 30 37 33 9 24 6 27 39 15 0 10 1 7 23 3 8 14 13 29 5 4 34 18 20 26 25 22 32 36 35 37 29 13 31 7 34 25 28 36 5 20 30 15 14 26 11 12 33 17 21 32 0 8 16 19 1 3 2 24 6 22 23 9 27 39 38 10 4 18 28 25 8 33 7 36 19 11 35 24 39 32 21 1 31 16 12 3 34 2 23 0 27 30 10 4 38 13 22 37 9 15 17 26 14 6 29 18 20 5 23 14 7 10 3 0 16 4 37 17 26 31 1 6 36 27 29 30 25 24 22 28 9 21 18 39 13 12 11 5 34 8 19 2 35 32 20 15 33 38 38 22 1 31 16 35 30 5 34 18 10 2 33 14 21 12 24 4 8 13 28 9 29 26 19 11 36 37 15 39 23 32 27 6 7 3 0 20 25 17 11 30 10 9 17 33 23 6 36 14 8 5 32 3 2 22 28 37 26 35 27 34 16 13 38 25 15 0 18 20 7 12 21 4 29 1 31 19 24 39 2 17 31 21 12 6 27 35 24 23 4 13 18 28 3 7 15 0 16 32 38 26 25 37 8 5 39 20 29 14 33 36 10 1 22 19 9 11 34 30 34 28 16 14 30 25 5 15 19 4 22 7 23 32 13 10 2 26 17 12 8 18 24 31 1 20 11 6 27 38 36 35 37 33 39 0 21 9 3 29 36 10 30 39 28 4 15 29 0 22 21 16 26 38 27 17 32 1 13 14 9 37 12 20 25 7 33 23 3 19 18 34 11 24 31 2 8 6 5 35 10 23 20 12 33 34 39 14 15 28 6 17 13 22 30 38 0 21 35 8 36 19 4 3 26 31 18 25 7 2 1 37 29 16 32 27 11 5 9 24 16 18 13 15 39 26 1 37 6 2 19 35 9 21 12 34 22 31 24 11 29 14 17 4 3 23 27 10 38 7 28 30 8 20 36 33 5 32 0 25 433.13/401.35 v </values> 433.13/401.35 v </instantiation> 433.13/401.35 s OPTIMUM FOUND
OK 39
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (9634 MiB free)
memory of node 1: 16384 MiB (11795 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4293225-1532311668/watcher-4293225-1532311668 -o /tmp/evaluation-result-4293225-1532311668/solver-4293225-1532311668 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node103-1532293810-5214 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=1134741934 HOME/instance-4293225-1532311668.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=8501, runsolver pid=8498
[startup+0.100118 s]*
/proc/loadavg: 1.74 1.50 1.41 3/206 8558
/proc/meminfo: memFree=21937784/32770624 swapFree=67108860/67108860
[pid=8501] ppid=8498 vsize=9972712 memory=15440 CPUtime=0.08 cores=1,3,5,7
/proc/8501/stat : 8501 (java) S 8498 8501 5182 0 -1 1077944320 4508 12840 0 0 1 0 5 2 20 0 6 0 48730039 10212057088 3860 33554432000 4194304 4196468 140727736508832 140727736491376 139654212550391 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 31199232 140727736515182 140727736517980 140727736517980 140727736520655 0
/proc/8501/statm: 2493178 3860 1957 1 0 2481616 0
[pid=8501/tid=8554] ppid=8498 vsize=9989820 memory=4718545630382498451 CPUtime=0.08 cores=1,3,5,7
/proc/8501/task/8554/stat : 8554 (java) S 8498 8501 5182 0 -1 1077944384 2376 12840 0 0 1 0 5 2 20 0 7 0 48730048 10229575680 3926 33554432000 4194304 4196468 140727736508832 139654184393488 139654212560597 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31199232 140727736515182 140727736517980 140727736517980 140727736520655 0
[pid=8501/tid=8555] ppid=8498 vsize=10055356 memory=5793855674501695929 CPUtime=0.07 cores=1,3,5,7
/proc/8501/task/8555/stat : 8555 (java) S 8498 8501 5182 0 -1 1077944384 1 12840 0 0 0 0 5 2 20 0 7 0 48730048 10296684544 3926 33554432000 4194304 4196468 140727736508832 139654216792592 139654212560597 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31199232 140727736515182 140727736517980 140727736517980 140727736520655 0
[pid=8501/tid=8556] ppid=8498 vsize=10055356 memory=140423491802752 CPUtime=0.07 cores=1,3,5,7
/proc/8501/task/8556/stat : 8556 (java) S 8498 8501 5182 0 -1 1077944384 2 12840 0 0 0 0 5 2 20 0 7 0 48730048 10296684544 3926 33554432000 4194304 4196468 140727736508832 139653785422480 139654212560597 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31199232 140727736515182 140727736517980 140727736517980 140727736520655 0
[pid=8501/tid=8557] ppid=8498 vsize=10055356 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8501/task/8557/stat : 8557 (java) S 8498 8501 5182 0 -1 1077944384 1 12840 0 0 0 0 5 2 20 0 7 0 48730048 10296684544 3926 33554432000 4194304 4196468 140727736508832 139653784369424 139654212560597 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31199232 140727736515182 140727736517980 140727736517980 140727736520655 0
[pid=8501/tid=8558] ppid=8498 vsize=10055356 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8501/task/8558/stat : 8558 (java) S 8498 8501 5182 0 -1 1077944384 2 12840 0 0 0 0 5 2 20 0 7 0 48730048 10296684544 3926 33554432000 4194304 4196468 140727736508832 139653783316880 139654212560597 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31199232 140727736515182 140727736517980 140727736517980 140727736520655 0
[pid=8501/tid=8559] ppid=8498 vsize=10055356 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8501/task/8559/stat : 8559 (java) S 8498 8501 5182 0 -1 1077944384 2 12840 0 0 0 0 5 2 20 0 7 0 48730050 10296684544 3926 33554432000 4194304 4196468 140727736508832 139653671774960 139654212561538 0 0 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31199232 140727736515182 140727736517980 140727736517980 140727736520655 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 15440 KiB
[startup+0.210058 s]*
/proc/loadavg: 1.74 1.50 1.41 3/215 8567
/proc/meminfo: memFree=21918332/32770624 swapFree=67108860/67108860
[pid=8501] ppid=8498 vsize=10819896 memory=41056 CPUtime=0.25 cores=1,3,5,7
/proc/8501/stat : 8501 (java) S 8498 8501 5182 0 -1 1077944320 8483 12840 0 0 17 1 5 2 20 0 15 0 48730039 11079573504 10198 33554432000 4194304 4196468 140727736508832 140727736491376 139654212550391 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 31199232 140727736515182 140727736517980 140727736517980 140727736520655 0
/proc/8501/statm: 2704974 10198 2964 1 0 2667397 0
[pid=8501/tid=8554] ppid=8498 vsize=10821524 memory=-2899909650764262549 CPUtime=0.19 cores=1,3,5,7
/proc/8501/task/8554/stat : 8554 (java) R 8498 8501 5182 0 -1 4202560 5338 12840 0 0 11 1 5 2 20 0 15 0 48730048 11081240576 10594 33554432000 4194304 4196468 140727736508832 139654184375200 139654205230109 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31199232 140727736515182 140727736517980 140727736517980 140727736520655 0
[pid=8501/tid=8555] ppid=8498 vsize=10821524 memory=4211974149696593290 CPUtime=0.07 cores=1,3,5,7
/proc/8501/task/8555/stat : 8555 (java) S 8498 8501 5182 0 -1 1077944384 1 12840 0 0 0 0 5 2 20 0 15 0 48730048 11081240576 10594 33554432000 4194304 4196468 140727736508832 139654216792592 139654212560597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31199232 140727736515182 140727736517980 140727736517980 140727736520655 0
[pid=8501/tid=8556] ppid=8498 vsize=10821524 memory=140423491802752 CPUtime=0.07 cores=1,3,5,7
/proc/8501/task/8556/stat : 8556 (java) S 8498 8501 5182 0 -1 1077944384 2 12840 0 0 0 0 5 2 20 0 15 0 48730048 11081240576 10660 33554432000 4194304 4196468 140727736508832 139653785422480 139654212560597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31199232 140727736515182 140727736517980 140727736517980 140727736520655 0
[pid=8501/tid=8557] ppid=8498 vsize=10821524 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8501/task/8557/stat : 8557 (java) S 8498 8501 5182 0 -1 1077944384 1 12840 0 0 0 0 5 2 20 0 15 0 48730048 11081240576 10660 33554432000 4194304 4196468 140727736508832 139653784369424 139654212560597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31199232 140727736515182 140727736517980 140727736517980 140727736520655 0
[pid=8501/tid=8558] ppid=8498 vsize=10821524 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8501/task/8558/stat : 8558 (java) S 8498 8501 5182 0 -1 1077944384 2 12840 0 0 0 0 5 2 20 0 15 0 48730048 11081240576 10660 33554432000 4194304 4196468 140727736508832 139653783316880 139654212560597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31199232 140727736515182 140727736517980 140727736517980 140727736520655 0
[pid=8501/tid=8559] ppid=8498 vsize=10821524 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8501/task/8559/stat : 8559 (java) S 8498 8501 5182 0 -1 1077944384 2 12840 0 0 0 0 5 2 20 0 15 0 48730050 11081240576 10660 33554432000 4194304 4196468 140727736508832 139653671774960 139654212561538 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31199232 140727736515182 140727736517980 140727736517980 140727736520655 0
[pid=8501/tid=8560] ppid=8498 vsize=10821524 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/8501/task/8560/stat : 8560 (java) S 8498 8501 5182 0 -1 1077944384 33 12840 0 0 0 0 5 2 20 0 15 0 48730050 11081240576 10660 33554432000 4194304 4196468 140727736508832 139653670721184 139654212560597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31199232 140727736515182 140727736517980 140727736517980 140727736520655 0
[pid=8501/tid=8561] ppid=8498 vsize=10821524 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8501/task/8561/stat : 8561 (java) S 8498 8501 5182 0 -1 1077944384 1 12840 0 0 0 0 5 2 20 0 15 0 48730051 11081240576 10726 33554432000 4194304 4196468 140727736508832 139653076215024 139654212560597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31199232 140727736515182 140727736517980 140727736517980 140727736520655 0
[pid=8501/tid=8562] ppid=8498 vsize=10821524 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8501/task/8562/stat : 8562 (java) S 8498 8501 5182 0 -1 1077944384 3 12840 0 0 0 0 5 2 20 0 15 0 48730053 11081240576 10726 33554432000 4194304 4196468 140727736508832 139652768815568 139654212568987 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31199232 140727736515182 140727736517980 140727736517980 140727736520655 0
[pid=8501/tid=8563] ppid=8498 vsize=10821524 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/8501/task/8563/stat : 8563 (java) S 8498 8501 5182 0 -1 1077944384 423 12840 0 0 1 0 5 2 20 0 15 0 48730053 11081240576 10726 33554432000 4194304 4196468 140727736508832 139653637163248 139654212561538 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31199232 140727736515182 140727736517980 140727736517980 140727736520655 0
[pid=8501/tid=8564] ppid=8498 vsize=10821524 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/8501/task/8564/stat : 8564 (java) S 8498 8501 5182 0 -1 1077944384 197 12840 0 0 1 0 5 2 20 0 15 0 48730053 11081240576 10726 33554432000 4194304 4196468 140727736508832 139653636110704 139654212561538 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31199232 140727736515182 140727736517980 140727736517980 140727736520655 0
[pid=8501/tid=8565] ppid=8498 vsize=10821524 memory=140423491802752 CPUtime=0.1 cores=1,3,5,7
/proc/8501/task/8565/stat : 8565 (java) S 8498 8501 5182 0 -1 1077944384 667 12840 0 0 3 0 5 2 20 0 15 0 48730053 11081240576 10792 33554432000 4194304 4196468 140727736508832 139653635057648 139654212561538 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31199232 140727736515182 140727736517980 140727736517980 140727736520655 0
[pid=8501/tid=8566] ppid=8498 vsize=10821524 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/8501/task/8566/stat : 8566 (java) S 8498 8501 5182 0 -1 1077944384 3 12840 0 0 0 0 5 2 20 0 15 0 48730053 11081240576 10792 33554432000 4194304 4196468 140727736508832 139652735256928 139654212560597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31199232 140727736515182 140727736517980 140727736517980 140727736520655 0
[pid=8501/tid=8567] ppid=8498 vsize=10821524 memory=140423491802752 CPUtime=0.07 cores=1,3,5,7
/proc/8501/task/8567/stat : 8567 (java) S 8498 8501 5182 0 -1 1077944384 1 12840 0 0 0 0 5 2 20 0 15 0 48730054 11081240576 10792 33554432000 4194304 4196468 140727736508832 139653634006064 139654212561538 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31199232 140727736515182 140727736517980 140727736517980 140727736520655 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10819896 KiB
Current children cumulated memory: 41056 KiB
[startup+0.310368 s]*
/proc/loadavg: 1.74 1.50 1.41 4/215 8567
/proc/meminfo: memFree=21893216/32770624 swapFree=67108860/67108860
[pid=8501] ppid=8498 vsize=10819352 memory=51516 CPUtime=0.38 cores=1,3,5,7
/proc/8501/stat : 8501 (java) S 8498 8501 5182 0 -1 1077944320 10968 12840 0 0 29 2 5 2 20 0 15 0 48730039 11079016448 12879 33554432000 4194304 4196468 140727736508832 140727736491376 139654212550391 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 31199232 140727736515182 140727736517980 140727736517980 140727736520655 0
/proc/8501/statm: 2704838 12879 3115 1 0 2667149 0
[pid=8501/tid=8554] ppid=8498 vsize=10819352 memory=8112282956445269571 CPUtime=0.28 cores=1,3,5,7
/proc/8501/task/8554/stat : 8554 (java) R 8498 8501 5182 0 -1 4202560 7402 12840 0 0 20 1 5 2 20 0 15 0 48730048 11079016448 12879 33554432000 4194304 4196468 140727736508832 139654184339920 139654212562326 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31199232 140727736515182 140727736517980 140727736517980 140727736520655 0
[pid=8501/tid=8555] ppid=8498 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8501/task/8555/stat : 8555 (java) S 8498 8501 5182 0 -1 1077944384 1 12840 0 0 0 0 5 2 20 0 15 0 48730048 11079016448 12879 33554432000 4194304 4196468 140727736508832 139654216792592 139654212560597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31199232 140727736515182 140727736517980 140727736517980 140727736520655 0
[pid=8501/tid=8556] ppid=8498 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8501/task/8556/stat : 8556 (java) S 8498 8501 5182 0 -1 1077944384 2 12840 0 0 0 0 5 2 20 0 15 0 48730048 11079016448 12879 33554432000 4194304 4196468 140727736508832 139653785422480 139654212560597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31199232 140727736515182 140727736517980 140727736517980 140727736520655 0
[pid=8501/tid=8557] ppid=8498 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8501/task/8557/stat : 8557 (java) S 8498 8501 5182 0 -1 1077944384 1 12840 0 0 0 0 5 2 20 0 15 0 48730048 11079016448 12879 33554432000 4194304 4196468 140727736508832 139653784369424 139654212560597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31199232 140727736515182 140727736517980 140727736517980 140727736520655 0
[pid=8501/tid=8558] ppid=8498 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8501/task/8558/stat : 8558 (java) S 8498 8501 5182 0 -1 1077944384 2 12840 0 0 0 0 5 2 20 0 15 0 48730048 11079016448 12879 33554432000 4194304 4196468 140727736508832 139653783316880 139654212560597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31199232 140727736515182 140727736517980 140727736517980 140727736520655 0
[pid=8501/tid=8559] ppid=8498 vsize=10819352 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/8501/task/8559/stat : 8559 (java) S 8498 8501 5182 0 -1 1077944384 2 12840 0 0 0 0 5 2 20 0 15 0 48730050 11079016448 12879 33554432000 4194304 4196468 140727736508832 139653671774960 139654212561538 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31199232 140727736515182 140727736517980 140727736517980 140727736520655 0
[pid=8501/tid=8560] ppid=8498 vsize=10819352 memory=140423491802751 CPUtime=0.07 cores=1,3,5,7
/proc/8501/task/8560/stat : 8560 (java) S 8498 8501 5182 0 -1 1077944384 33 12840 0 0 0 0 5 2 20 0 15 0 48730050 11079016448 12879 33554432000 4194304 4196468 140727736508832 139653670721184 139654212560597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31199232 140727736515182 140727736517980 140727736517980 140727736520655 0
[pid=8501/tid=8561] ppid=8498 vsize=10819352 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/8501/task/8561/stat : 8561 (java) S 8498 8501 5182 0 -1 1077944384 1 12840 0 0 0 0 5 2 20 0 15 0 48730051 11079016448 12879 33554432000 4194304 4196468 140727736508832 139653076215024 139654212560597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31199232 140727736515182 140727736517980 140727736517980 140727736520655 0
[pid=8501/tid=8562] ppid=8498 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8501/task/8562/stat : 8562 (java) S 8498 8501 5182 0 -1 1077944384 3 12840 0 0 0 0 5 2 20 0 15 0 48730053 11079016448 12879 33554432000 4194304 4196468 140727736508832 139652768815568 139654212568987 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31199232 140727736515182 140727736517980 140727736517980 140727736520655 0
[pid=8501/tid=8563] ppid=8498 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/8501/task/8563/stat : 8563 (java) S 8498 8501 5182 0 -1 1077944384 430 12840 0 0 1 0 5 2 20 0 15 0 48730053 11079016448 12879 33554432000 4194304 4196468 140727736508832 139653637163248 139654212561538 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31199232 140727736515182 140727736517980 140727736517980 140727736520655 0
[pid=8501/tid=8564] ppid=8498 vsize=10819352 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/8501/task/8564/stat : 8564 (java) S 8498 8501 5182 0 -1 1077944384 203 12840 0 0 1 0 5 2 20 0 15 0 48730053 11079016448 12879 33554432000 4194304 4196468 140727736508832 139653636110704 139654212561538 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31199232 140727736515182 140727736517980 140727736517980 140727736520655 0
[pid=8501/tid=8565] ppid=8498 vsize=10819352 memory=140423491802752 CPUtime=0.12 cores=1,3,5,7
/proc/8501/task/8565/stat : 8565 (java) R 8498 8501 5182 0 -1 4202560 700 12840 0 0 5 0 5 2 20 0 15 0 48730053 11079016448 12879 33554432000 4194304 4196468 140727736508832 139653635057648 139654212571738 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31199232 140727736515182 140727736517980 140727736517980 140727736520655 0
[pid=8501/tid=8566] ppid=8498 vsize=10819352 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/8501/task/8566/stat : 8566 (java) S 8498 8501 5182 0 -1 1077944384 3 12840 0 0 0 0 5 2 20 0 15 0 48730053 11079016448 12879 33554432000 4194304 4196468 140727736508832 139652735256928 139654212560597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31199232 140727736515182 140727736517980 140727736517980 140727736520655 0
[pid=8501/tid=8567] ppid=8498 vsize=10819352 memory=140423491802752 CPUtime=0.07 cores=1,3,5,7
/proc/8501/task/8567/stat : 8567 (java) S 8498 8501 5182 0 -1 1077944384 2 12840 0 0 0 0 5 2 20 0 15 0 48730054 11079016448 12879 33554432000 4194304 4196468 140727736508832 139653634006064 139654212561538 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31199232 140727736515182 140727736517980 140727736517980 140727736520655 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 51516 KiB
[startup+0.700763 s]
/proc/loadavg: 1.74 1.50 1.41 3/215 8567
/proc/meminfo: memFree=21884628/32770624 swapFree=67108860/67108860
[pid=8501] ppid=8498 vsize=10819352 memory=84540 CPUtime=0.99 cores=1,3,5,7
/proc/8501/stat : 8501 (java) S 8498 8501 5182 0 -1 1077944320 17224 12840 0 0 88 4 5 2 20 0 15 0 48730039 11079016448 21135 33554432000 4194304 4196468 140727736508832 140727736491376 139654212550391 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 31199232 140727736515182 140727736517980 140727736517980 140727736520655 0
/proc/8501/statm: 2704838 21135 3246 1 0 2667149 0
[pid=8501/tid=8554] ppid=8498 vsize=10819352 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/8501/task/8554/stat : 8554 (java) R 8498 8501 5182 0 -1 4202560 12436 12840 0 0 56 3 5 2 20 0 15 0 48730048 11079016448 21135 33554432000 4194304 4196468 140727736508832 139654184371216 139654195737172 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31199232 140727736515182 140727736517980 140727736517980 140727736520655 0
[pid=8501/tid=8555] ppid=8498 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8501/task/8555/stat : 8555 (java) S 8498 8501 5182 0 -1 1077944384 1 12840 0 0 0 0 5 2 20 0 15 0 48730048 11079016448 21135 33554432000 4194304 4196468 140727736508832 139654216792592 139654212560597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31199232 140727736515182 140727736517980 140727736517980 140727736520655 0
[pid=8501/tid=8556] ppid=8498 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8501/task/8556/stat : 8556 (java) S 8498 8501 5182 0 -1 1077944384 2 12840 0 0 0 0 5 2 20 0 15 0 48730048 11079016448 21135 33554432000 4194304 4196468 140727736508832 139653785422480 139654212560597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31199232 140727736515182 140727736517980 140727736517980 140727736520655 0
[pid=8501/tid=8557] ppid=8498 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8501/task/8557/stat : 8557 (java) S 8498 8501 5182 0 -1 1077944384 1 12840 0 0 0 0 5 2 20 0 15 0 48730048 11079016448 21135 33554432000 4194304 4196468 140727736508832 139653784369424 139654212560597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31199232 140727736515182 140727736517980 140727736517980 140727736520655 0
[pid=8501/tid=8558] ppid=8498 vsize=10819352 memory=15872 CPUtime=0.07 cores=1,3,5,7
/proc/8501/task/8558/stat : 8558 (java) S 8498 8501 5182 0 -1 1077944384 2 12840 0 0 0 0 5 2 20 0 15 0 48730048 11079016448 21135 33554432000 4194304 4196468 140727736508832 139653783316880 139654212560597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31199232 140727736515182 140727736517980 140727736517980 140727736520655 0
[pid=8501/tid=8559] ppid=8498 vsize=10819352 memory=4012 CPUtime=0.07 cores=1,3,5,7
/proc/8501/task/8559/stat : 8559 (java) S 8498 8501 5182 0 -1 1077944384 5 12840 0 0 0 0 5 2 20 0 15 0 48730050 11079016448 21135 33554432000 4194304 4196468 140727736508832 139653671774960 139654212561538 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31199232 140727736515182 140727736517980 140727736517980 140727736520655 0
[pid=8501/tid=8560] ppid=8498 vsize=10819352 memory=9772 CPUtime=0.07 cores=1,3,5,7
/proc/8501/task/8560/stat : 8560 (java) S 8498 8501 5182 0 -1 1077944384 33 12840 0 0 0 0 5 2 20 0 15 0 48730050 11079016448 21135 33554432000 4194304 4196468 140727736508832 139653670721184 139654212560597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31199232 140727736515182 140727736517980 140727736517980 140727736520655 0
[pid=8501/tid=8561] ppid=8498 vsize=10819352 memory=18484 CPUtime=0.07 cores=1,3,5,7
/proc/8501/task/8561/stat : 8561 (java) S 8498 8501 5182 0 -1 1077944384 1 12840 0 0 0 0 5 2 20 0 15 0 48730051 11079016448 21135 33554432000 4194304 4196468 140727736508832 139653076215024 139654212560597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31199232 140727736515182 140727736517980 140727736517980 140727736520655 0
[pid=8501/tid=8562] ppid=8498 vsize=10819352 memory=644 CPUtime=0.07 cores=1,3,5,7
/proc/8501/task/8562/stat : 8562 (java) S 8498 8501 5182 0 -1 1077944384 3 12840 0 0 0 0 5 2 20 0 15 0 48730053 11079016448 21135 33554432000 4194304 4196468 140727736508832 139652768815568 139654212568987 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31199232 140727736515182 140727736517980 140727736517980 140727736520655 0
[pid=8501/tid=8563] ppid=8498 vsize=10819352 memory=1788 CPUtime=0.17 cores=1,3,5,7
/proc/8501/task/8563/stat : 8563 (java) S 8498 8501 5182 0 -1 1077944384 1074 12840 0 0 10 0 5 2 20 0 15 0 48730053 11079016448 21135 33554432000 4194304 4196468 140727736508832 139653637163248 139654212561538 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31199232 140727736515182 140727736517980 140727736517980 140727736520655 0
[pid=8501/tid=8564] ppid=8498 vsize=10819352 memory=952 CPUtime=0.14 cores=1,3,5,7
/proc/8501/task/8564/stat : 8564 (java) S 8498 8501 5182 0 -1 1077944384 596 12840 0 0 7 0 5 2 20 0 15 0 48730053 11079016448 21135 33554432000 4194304 4196468 140727736508832 139653636110704 139654212561538 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31199232 140727736515182 140727736517980 140727736517980 140727736520655 0
[pid=8501/tid=8565] ppid=8498 vsize=10819352 memory=1240 CPUtime=0.2 cores=1,3,5,7
/proc/8501/task/8565/stat : 8565 (java) S 8498 8501 5182 0 -1 1077944384 873 12840 0 0 13 0 5 2 20 0 15 0 48730053 11079016448 21135 33554432000 4194304 4196468 140727736508832 139653635057648 139654212561538 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31199232 140727736515182 140727736517980 140727736517980 140727736520655 0
[pid=8501/tid=8566] ppid=8498 vsize=10819352 memory=2340 CPUtime=0.07 cores=1,3,5,7
/proc/8501/task/8566/stat : 8566 (java) S 8498 8501 5182 0 -1 1077944384 3 12840 0 0 0 0 5 2 20 0 15 0 48730053 11079016448 21135 33554432000 4194304 4196468 140727736508832 139652735256928 139654212560597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31199232 140727736515182 140727736517980 140727736517980 140727736520655 0
[pid=8501/tid=8567] ppid=8498 vsize=10819352 memory=1568 CPUtime=0.07 cores=1,3,5,7
/proc/8501/task/8567/stat : 8567 (java) S 8498 8501 5182 0 -1 1077944384 2 12840 0 0 0 0 5 2 20 0 15 0 48730054 11079016448 21135 33554432000 4194304 4196468 140727736508832 139653634006064 139654212561538 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31199232 140727736515182 140727736517980 140727736517980 140727736520655 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 84540 KiB
[startup+1.50145 s]
/proc/loadavg: 1.74 1.50 1.41 4/215 8567
/proc/meminfo: memFree=21849000/32770624 swapFree=67108860/67108860
[pid=8501] ppid=8498 vsize=10828108 memory=190384 CPUtime=3.01 cores=1,3,5,7
/proc/8501/stat : 8501 (java) S 8498 8501 5182 0 -1 1077944320 22886 12840 0 0 286 8 5 2 20 0 15 0 48730039 11087982592 47596 33554432000 4194304 4196468 140727736508832 140727736491376 139654212550391 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 31199232 140727736515182 140727736517980 140727736517980 140727736520655 0
/proc/8501/statm: 2707027 47596 3448 1 0 2668685 0
[pid=8501/tid=8554] ppid=8498 vsize=10828108 memory=33 CPUtime=1.46 cores=1,3,5,7
/proc/8501/task/8554/stat : 8554 (java) R 8498 8501 5182 0 -1 4202560 15036 12840 0 0 133 6 5 2 20 0 15 0 48730048 11087982592 47596 33554432000 4194304 4196468 140727736508832 139654184380656 139653820047559 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31199232 140727736515182 140727736517980 140727736517980 140727736520655 0
[pid=8501/tid=8555] ppid=8498 vsize=10828108 memory=6944656592387989600 CPUtime=0.07 cores=1,3,5,7
/proc/8501/task/8555/stat : 8555 (java) S 8498 8501 5182 0 -1 1077944384 1 12840 0 0 0 0 5 2 20 0 15 0 48730048 11087982592 47596 33554432000 4194304 4196468 140727736508832 139654216792592 139654212560597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31199232 140727736515182 140727736517980 140727736517980 140727736520655 0
[pid=8501/tid=8556] ppid=8498 vsize=10828108 memory=6655300316396806240 CPUtime=0.07 cores=1,3,5,7
/proc/8501/task/8556/stat : 8556 (java) S 8498 8501 5182 0 -1 1077944384 2 12840 0 0 0 0 5 2 20 0 15 0 48730048 11087982592 47596 33554432000 4194304 4196468 140727736508832 139653785422480 139654212560597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31199232 140727736515182 140727736517980 140727736517980 140727736520655 0
[pid=8501/tid=8557] ppid=8498 vsize=10828108 memory=6944656575208382560 CPUtime=0.07 cores=1,3,5,7
/proc/8501/task/8557/stat : 8557 (java) S 8498 8501 5182 0 -1 1077944384 1 12840 0 0 0 0 5 2 20 0 15 0 48730048 11087982592 47596 33554432000 4194304 4196468 140727736508832 139653784369424 139654212560597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31199232 140727736515182 140727736517980 140727736517980 140727736520655 0
[pid=8501/tid=8558] ppid=8498 vsize=10828108 memory=6944656592455360604 CPUtime=0.07 cores=1,3,5,7
/proc/8501/task/8558/stat : 8558 (java) S 8498 8501 5182 0 -1 1077944384 2 12840 0 0 0 0 5 2 20 0 15 0 48730048 11087982592 47596 33554432000 4194304 4196468 140727736508832 139653783316880 139654212560597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31199232 140727736515182 140727736517980 140727736517980 140727736520655 0
[pid=8501/tid=8559] ppid=8498 vsize=10828108 memory=6655300316396806240 CPUtime=0.07 cores=1,3,5,7
/proc/8501/task/8559/stat : 8559 (java) S 8498 8501 5182 0 -1 1077944384 12 12840 0 0 0 0 5 2 20 0 15 0 48730050 11087982592 47596 33554432000 4194304 4196468 140727736508832 139653671774960 139654212561538 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31199232 140727736515182 140727736517980 140727736517980 140727736520655 0
[pid=8501/tid=8560] ppid=8498 vsize=10828108 memory=6944656592455359580 CPUtime=0.07 cores=1,3,5,7
/proc/8501/task/8560/stat : 8560 (java) S 8498 8501 5182 0 -1 1077944384 33 12840 0 0 0 0 5 2 20 0 15 0 48730050 11087982592 47596 33554432000 4194304 4196468 140727736508832 139653670721184 139654212560597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31199232 140727736515182 140727736517980 140727736517980 140727736520655 0
[pid=8501/tid=8561] ppid=8498 vsize=10828108 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8501/task/8561/stat : 8561 (java) S 8498 8501 5182 0 -1 1077944384 1 12840 0 0 0 0 5 2 20 0 15 0 48730051 11087982592 47596 33554432000 4194304 4196468 140727736508832 139653076215024 139654212560597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31199232 140727736515182 140727736517980 140727736517980 140727736520655 0
[pid=8501/tid=8562] ppid=8498 vsize=10828108 memory=6943526294502006880 CPUtime=0.07 cores=1,3,5,7
/proc/8501/task/8562/stat : 8562 (java) S 8498 8501 5182 0 -1 1077944384 3 12840 0 0 0 0 5 2 20 0 15 0 48730053 11087982592 47596 33554432000 4194304 4196468 140727736508832 139652768815568 139654212568987 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31199232 140727736515182 140727736517980 140727736517980 140727736520655 0
[pid=8501/tid=8563] ppid=8498 vsize=10828108 memory=0 CPUtime=0.64 cores=1,3,5,7
/proc/8501/task/8563/stat : 8563 (java) R 8498 8501 5182 0 -1 4202560 2545 12840 0 0 57 0 5 2 20 0 15 0 48730053 11087982592 47596 33554432000 4194304 4196468 140727736508832 139653637149280 139654196047175 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31199232 140727736515182 140727736517980 140727736517980 140727736520655 0
[pid=8501/tid=8564] ppid=8498 vsize=10828108 memory=0 CPUtime=0.61 cores=1,3,5,7
/proc/8501/task/8564/stat : 8564 (java) R 8498 8501 5182 0 -1 4202560 1527 12840 0 0 54 0 5 2 20 0 15 0 48730053 11087982592 47596 33554432000 4194304 4196468 140727736508832 139653636096584 139654196460968 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 31199232 140727736515182 140727736517980 140727736517980 140727736520655 0
[pid=8501/tid=8565] ppid=8498 vsize=10828108 memory=0 CPUtime=0.47 cores=1,3,5,7
/proc/8501/task/8565/stat : 8565 (java) S 8498 8501 5182 0 -1 1077944384 1526 12840 0 0 40 0 5 2 20 0 15 0 48730053 11087982592 47596 33554432000 4194304 4196468 140727736508832 139653635057648 139654212561538 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31199232 140727736515182 140727736517980 140727736517980 140727736520655 0
[pid=8501/tid=8566] ppid=8498 vsize=10828108 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8501/task/8566/stat : 8566 (java) S 8498 8501 5182 0 -1 1077944384 3 12840 0 0 0 0 5 2 20 0 15 0 48730053 11087982592 47596 33554432000 4194304 4196468 140727736508832 139652735256928 139654212560597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31199232 140727736515182 140727736517980 140727736517980 140727736520655 0
[pid=8501/tid=8567] ppid=8498 vsize=10828108 memory=7014751519617143142 CPUtime=0.07 cores=1,3,5,7
/proc/8501/task/8567/stat : 8567 (java) S 8498 8501 5182 0 -1 1077944384 2 12840 0 0 0 0 5 2 20 0 15 0 48730054 11087982592 47596 33554432000 4194304 4196468 140727736508832 139653634006064 139654212561538 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31199232 140727736515182 140727736517980 140727736517980 140727736520655 0
################
# More data... #
################
[pid=8501/tid=8566] ppid=8498 vsize=10848608 memory=8112282956445269571 CPUtime=0.07 cores=1,3,5,7
/proc/8501/task/8566/stat : 8566 (java) S 8498 8501 5182 0 -1 1077944384 3 12840 0 0 0 0 5 2 20 0 15 0 48730053 11108974592 767444 33554432000 4194304 4196468 140727736508832 139652735256928 139654212560597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31199232 140727736515182 140727736517980 140727736517980 140727736520655 0
[pid=8501/tid=8567] ppid=8498 vsize=10848608 memory=-7003737579269690708 CPUtime=0.28 cores=1,3,5,7
/proc/8501/task/8567/stat : 8567 (java) S 8498 8501 5182 0 -1 1077944384 969 12840 0 0 10 11 5 2 20 0 15 0 48730054 11108974592 767444 33554432000 4194304 4196468 140727736508832 139653634006064 139654212561538 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31199232 140727736515182 140727736517980 140727736517980 140727736520655 0
Current children cumulated CPU time: 430.06 s
Current children cumulated vsize: 10848608 KiB
Current children cumulated memory: 3069776 KiB
[startup+400.001 s]*
/proc/loadavg: 1.66 1.57 1.48 3/216 8581
/proc/meminfo: memFree=18873440/32770624 swapFree=67108860/67108860
[pid=8501] ppid=8498 vsize=10848608 memory=3069776 CPUtime=431.68 cores=1,3,5,7
/proc/8501/stat : 8501 (java) S 8498 8501 5182 0 -1 1077944320 200017 12840 0 0 42999 162 5 2 20 0 15 0 48730039 11108974592 767444 33554432000 4194304 4196468 140727736508832 140727736491376 139654212550391 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 31199232 140727736515182 140727736517980 140727736517980 140727736520655 0
/proc/8501/statm: 2712152 767444 3542 1 0 2673805 0
[pid=8501/tid=8554] ppid=8498 vsize=10848608 memory=15872 CPUtime=396.05 cores=1,3,5,7
/proc/8501/task/8554/stat : 8554 (java) R 8498 8501 5182 0 -1 4202560 77845 12840 0 0 39552 46 5 2 20 0 15 0 48730048 11108974592 767444 33554432000 4194304 4196468 140727736508832 139654184382032 139653832055692 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31199232 140727736515182 140727736517980 140727736517980 140727736520655 0
[pid=8501/tid=8555] ppid=8498 vsize=10848608 memory=4012 CPUtime=3.58 cores=1,3,5,7
/proc/8501/task/8555/stat : 8555 (java) S 8498 8501 5182 0 -1 1077944384 6574 12840 0 0 329 22 5 2 20 0 15 0 48730048 11108974592 767444 33554432000 4194304 4196468 140727736508832 139654216792592 139654212560597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31199232 140727736515182 140727736517980 140727736517980 140727736520655 0
[pid=8501/tid=8556] ppid=8498 vsize=10848608 memory=-7003737579269690708 CPUtime=3.58 cores=1,3,5,7
/proc/8501/task/8556/stat : 8556 (java) S 8498 8501 5182 0 -1 1077944384 7432 12840 0 0 330 21 5 2 20 0 15 0 48730048 11108974592 767444 33554432000 4194304 4196468 140727736508832 139653785422480 139654212560597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31199232 140727736515182 140727736517980 140727736517980 140727736520655 0
[pid=8501/tid=8557] ppid=8498 vsize=10848608 memory=18484 CPUtime=3.54 cores=1,3,5,7
/proc/8501/task/8557/stat : 8557 (java) S 8498 8501 5182 0 -1 1077944384 4140 12840 0 0 325 22 5 2 20 0 15 0 48730048 11108974592 767444 33554432000 4194304 4196468 140727736508832 139653784369424 139654212560597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31199232 140727736515182 140727736517980 140727736517980 140727736520655 0
[pid=8501/tid=8558] ppid=8498 vsize=10848608 memory=644 CPUtime=3.59 cores=1,3,5,7
/proc/8501/task/8558/stat : 8558 (java) S 8498 8501 5182 0 -1 1077944384 3794 12840 0 0 330 22 5 2 20 0 15 0 48730048 11108974592 767444 33554432000 4194304 4196468 140727736508832 139653783316880 139654212560597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31199232 140727736515182 140727736517980 140727736517980 140727736520655 0
[pid=8501/tid=8559] ppid=8498 vsize=10848608 memory=1788 CPUtime=0.37 cores=1,3,5,7
/proc/8501/task/8559/stat : 8559 (java) S 8498 8501 5182 0 -1 1077944384 18840 12840 0 0 29 1 5 2 20 0 15 0 48730050 11108974592 767444 33554432000 4194304 4196468 140727736508832 139653671774960 139654212561538 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31199232 140727736515182 140727736517980 140727736517980 140727736520655 0
[pid=8501/tid=8560] ppid=8498 vsize=10848608 memory=952 CPUtime=0.07 cores=1,3,5,7
/proc/8501/task/8560/stat : 8560 (java) S 8498 8501 5182 0 -1 1077944384 66 12840 0 0 0 0 5 2 20 0 15 0 48730050 11108974592 767444 33554432000 4194304 4196468 140727736508832 139653670721248 139654212560597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31199232 140727736515182 140727736517980 140727736517980 140727736520655 0
[pid=8501/tid=8561] ppid=8498 vsize=10848608 memory=1240 CPUtime=0.07 cores=1,3,5,7
/proc/8501/task/8561/stat : 8561 (java) S 8498 8501 5182 0 -1 1077944384 18 12840 0 0 0 0 5 2 20 0 15 0 48730051 11108974592 767444 33554432000 4194304 4196468 140727736508832 139653076215040 139654212560597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31199232 140727736515182 140727736517980 140727736517980 140727736520655 0
[pid=8501/tid=8562] ppid=8498 vsize=10848608 memory=2340 CPUtime=0.07 cores=1,3,5,7
/proc/8501/task/8562/stat : 8562 (java) S 8498 8501 5182 0 -1 1077944384 3 12840 0 0 0 0 5 2 20 0 15 0 48730053 11108974592 767444 33554432000 4194304 4196468 140727736508832 139652768815568 139654212568987 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31199232 140727736515182 140727736517980 140727736517980 140727736520655 0
[pid=8501/tid=8563] ppid=8498 vsize=10848608 memory=16040 CPUtime=9.52 cores=1,3,5,7
/proc/8501/task/8563/stat : 8563 (java) S 8498 8501 5182 0 -1 1077944384 23936 12840 0 0 940 5 5 2 20 0 15 0 48730053 11108974592 767444 33554432000 4194304 4196468 140727736508832 139653637163248 139654212561538 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31199232 140727736515182 140727736517980 140727736517980 140727736520655 0
[pid=8501/tid=8564] ppid=8498 vsize=10848608 memory=1296 CPUtime=9 cores=1,3,5,7
/proc/8501/task/8564/stat : 8564 (java) S 8498 8501 5182 0 -1 1077944384 23083 12840 0 0 888 5 5 2 20 0 15 0 48730053 11108974592 767444 33554432000 4194304 4196468 140727736508832 139653636110704 139654212561538 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31199232 140727736515182 140727736517980 140727736517980 140727736520655 0
[pid=8501/tid=8565] ppid=8498 vsize=10848608 memory=4140 CPUtime=2.69 cores=1,3,5,7
/proc/8501/task/8565/stat : 8565 (java) S 8498 8501 5182 0 -1 1077944384 31122 12840 0 0 257 5 5 2 20 0 15 0 48730053 11108974592 767444 33554432000 4194304 4196468 140727736508832 139653635057648 139654212561538 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31199232 140727736515182 140727736517980 140727736517980 140727736520655 0
[pid=8501/tid=8566] ppid=8498 vsize=10848608 memory=2340 CPUtime=0.07 cores=1,3,5,7
/proc/8501/task/8566/stat : 8566 (java) S 8498 8501 5182 0 -1 1077944384 3 12840 0 0 0 0 5 2 20 0 15 0 48730053 11108974592 767444 33554432000 4194304 4196468 140727736508832 139652735256928 139654212560597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31199232 140727736515182 140727736517980 140727736517980 140727736520655 0
[pid=8501/tid=8567] ppid=8498 vsize=10848608 memory=1568 CPUtime=0.28 cores=1,3,5,7
/proc/8501/task/8567/stat : 8567 (java) S 8498 8501 5182 0 -1 1077944384 969 12840 0 0 10 11 5 2 20 0 15 0 48730054 11108974592 767444 33554432000 4194304 4196468 140727736508832 139653634006064 139654212561538 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31199232 140727736515182 140727736517980 140727736517980 140727736520655 0
Current children cumulated CPU time: 431.68 s
Current children cumulated vsize: 10848608 KiB
Current children cumulated memory: 3069776 KiB
[startup+400.801 s]
/proc/loadavg: 1.66 1.57 1.48 3/216 8581
/proc/meminfo: memFree=18873440/32770624 swapFree=67108860/67108860
[pid=8501] ppid=8498 vsize=10848608 memory=3070576 CPUtime=432.63 cores=1,3,5,7
/proc/8501/stat : 8501 (java) S 8498 8501 5182 0 -1 1077944320 200315 12840 0 0 43093 163 5 2 20 0 15 0 48730039 11108974592 767644 33554432000 4194304 4196468 140727736508832 140727736491376 139654212550391 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 31199232 140727736515182 140727736517980 140727736517980 140727736520655 0
/proc/8501/statm: 2712152 767644 3542 1 0 2673805 0
[pid=8501/tid=8554] ppid=8498 vsize=10848608 memory=8112282956445269571 CPUtime=396.84 cores=1,3,5,7
/proc/8501/task/8554/stat : 8554 (java) R 8498 8501 5182 0 -1 4202560 77911 12840 0 0 39631 46 5 2 20 0 15 0 48730048 11108974592 767644 33554432000 4194304 4196468 140727736508832 139654184381312 139653831878025 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31199232 140727736515182 140727736517980 140727736517980 140727736520655 0
[pid=8501/tid=8555] ppid=8498 vsize=10848608 memory=3068756 CPUtime=3.58 cores=1,3,5,7
/proc/8501/task/8555/stat : 8555 (java) S 8498 8501 5182 0 -1 1077944384 6574 12840 0 0 329 22 5 2 20 0 15 0 48730048 11108974592 767644 33554432000 4194304 4196468 140727736508832 139654216792592 139654212560597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31199232 140727736515182 140727736517980 140727736517980 140727736520655 0
[pid=8501/tid=8556] ppid=8498 vsize=10848608 memory=1788 CPUtime=3.58 cores=1,3,5,7
/proc/8501/task/8556/stat : 8556 (java) S 8498 8501 5182 0 -1 1077944384 7432 12840 0 0 330 21 5 2 20 0 15 0 48730048 11108974592 767644 33554432000 4194304 4196468 140727736508832 139653785422480 139654212560597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31199232 140727736515182 140727736517980 140727736517980 140727736520655 0
[pid=8501/tid=8557] ppid=8498 vsize=10848608 memory=3069776 CPUtime=3.54 cores=1,3,5,7
/proc/8501/task/8557/stat : 8557 (java) S 8498 8501 5182 0 -1 1077944384 4140 12840 0 0 325 22 5 2 20 0 15 0 48730048 11108974592 767644 33554432000 4194304 4196468 140727736508832 139653784369424 139654212560597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31199232 140727736515182 140727736517980 140727736517980 140727736520655 0
[pid=8501/tid=8558] ppid=8498 vsize=10848608 memory=2240 CPUtime=3.59 cores=1,3,5,7
/proc/8501/task/8558/stat : 8558 (java) S 8498 8501 5182 0 -1 1077944384 3794 12840 0 0 330 22 5 2 20 0 15 0 48730048 11108974592 767644 33554432000 4194304 4196468 140727736508832 139653783316880 139654212560597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31199232 140727736515182 140727736517980 140727736517980 140727736520655 0
[pid=8501/tid=8559] ppid=8498 vsize=10848608 memory=4128 CPUtime=0.37 cores=1,3,5,7
/proc/8501/task/8559/stat : 8559 (java) S 8498 8501 5182 0 -1 1077944384 18840 12840 0 0 29 1 5 2 20 0 15 0 48730050 11108974592 767644 33554432000 4194304 4196468 140727736508832 139653671774960 139654212561538 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31199232 140727736515182 140727736517980 140727736517980 140727736520655 0
[pid=8501/tid=8560] ppid=8498 vsize=10848608 memory=2200 CPUtime=0.07 cores=1,3,5,7
/proc/8501/task/8560/stat : 8560 (java) S 8498 8501 5182 0 -1 1077944384 66 12840 0 0 0 0 5 2 20 0 15 0 48730050 11108974592 767644 33554432000 4194304 4196468 140727736508832 139653670721248 139654212560597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31199232 140727736515182 140727736517980 140727736517980 140727736520655 0
[pid=8501/tid=8561] ppid=8498 vsize=10848608 memory=3069776 CPUtime=0.07 cores=1,3,5,7
/proc/8501/task/8561/stat : 8561 (java) S 8498 8501 5182 0 -1 1077944384 18 12840 0 0 0 0 5 2 20 0 15 0 48730051 11108974592 767644 33554432000 4194304 4196468 140727736508832 139653076215040 139654212560597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31199232 140727736515182 140727736517980 140727736517980 140727736520655 0
[pid=8501/tid=8562] ppid=8498 vsize=10848608 memory=1008 CPUtime=0.07 cores=1,3,5,7
/proc/8501/task/8562/stat : 8562 (java) S 8498 8501 5182 0 -1 1077944384 3 12840 0 0 0 0 5 2 20 0 15 0 48730053 11108974592 767644 33554432000 4194304 4196468 140727736508832 139652768815568 139654212568987 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31199232 140727736515182 140727736517980 140727736517980 140727736520655 0
[pid=8501/tid=8563] ppid=8498 vsize=10848608 memory=792 CPUtime=9.67 cores=1,3,5,7
/proc/8501/task/8563/stat : 8563 (java) S 8498 8501 5182 0 -1 1077944384 24168 12840 0 0 955 5 5 2 20 0 15 0 48730053 11108974592 767644 33554432000 4194304 4196468 140727736508832 139653637163248 139654212561538 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31199232 140727736515182 140727736517980 140727736517980 140727736520655 0
[pid=8501/tid=8564] ppid=8498 vsize=10848608 memory=1716 CPUtime=9.01 cores=1,3,5,7
/proc/8501/task/8564/stat : 8564 (java) S 8498 8501 5182 0 -1 1077944384 23083 12840 0 0 889 5 5 2 20 0 15 0 48730053 11108974592 767644 33554432000 4194304 4196468 140727736508832 139653636110704 139654212561538 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31199232 140727736515182 140727736517980 140727736517980 140727736520655 0
[pid=8501/tid=8565] ppid=8498 vsize=10848608 memory=1952 CPUtime=2.69 cores=1,3,5,7
/proc/8501/task/8565/stat : 8565 (java) S 8498 8501 5182 0 -1 1077944384 31122 12840 0 0 257 5 5 2 20 0 15 0 48730053 11108974592 767644 33554432000 4194304 4196468 140727736508832 139653635057648 139654212561538 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31199232 140727736515182 140727736517980 140727736517980 140727736520655 0
[pid=8501/tid=8566] ppid=8498 vsize=10848608 memory=8388 CPUtime=0.07 cores=1,3,5,7
/proc/8501/task/8566/stat : 8566 (java) S 8498 8501 5182 0 -1 1077944384 3 12840 0 0 0 0 5 2 20 0 15 0 48730053 11108974592 767644 33554432000 4194304 4196468 140727736508832 139652735256928 139654212560597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31199232 140727736515182 140727736517980 140727736517980 140727736520655 0
[pid=8501/tid=8567] ppid=8498 vsize=10848608 memory=15872 CPUtime=0.28 cores=1,3,5,7
/proc/8501/task/8567/stat : 8567 (java) S 8498 8501 5182 0 -1 1077944384 969 12840 0 0 10 11 5 2 20 0 15 0 48730054 11108974592 767644 33554432000 4194304 4196468 140727736508832 139653634006064 139654212561538 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31199232 140727736515182 140727736517980 140727736517980 140727736520655 0
Current children cumulated CPU time: 432.63 s
Current children cumulated vsize: 10848608 KiB
Current children cumulated memory: 3070576 KiB
[startup+401.201 s]
/proc/loadavg: 1.66 1.57 1.48 3/216 8581
/proc/meminfo: memFree=18872572/32770624 swapFree=67108860/67108860
[pid=8501] ppid=8498 vsize=10848608 memory=3070576 CPUtime=433.03 cores=1,3,5,7
/proc/8501/stat : 8501 (java) S 8498 8501 5182 0 -1 1077944320 200344 12840 0 0 43133 163 5 2 20 0 15 0 48730039 11108974592 767644 33554432000 4194304 4196468 140727736508832 140727736491376 139654212550391 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 31199232 140727736515182 140727736517980 140727736517980 140727736520655 0
/proc/8501/statm: 2712152 767644 3542 1 0 2673805 0
[pid=8501/tid=8554] ppid=8498 vsize=10848608 memory=1008 CPUtime=397.24 cores=1,3,5,7
/proc/8501/task/8554/stat : 8554 (java) R 8498 8501 5182 0 -1 4202560 77940 12840 0 0 39671 46 5 2 20 0 15 0 48730048 11108974592 767644 33554432000 4194304 4196468 140727736508832 139654184381312 139653829236770 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31199232 140727736515182 140727736517980 140727736517980 140727736520655 0
[pid=8501/tid=8555] ppid=8498 vsize=10848608 memory=792 CPUtime=3.58 cores=1,3,5,7
/proc/8501/task/8555/stat : 8555 (java) S 8498 8501 5182 0 -1 1077944384 6574 12840 0 0 329 22 5 2 20 0 15 0 48730048 11108974592 767644 33554432000 4194304 4196468 140727736508832 139654216792592 139654212560597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31199232 140727736515182 140727736517980 140727736517980 140727736520655 0
[pid=8501/tid=8556] ppid=8498 vsize=10848608 memory=3069776 CPUtime=3.58 cores=1,3,5,7
/proc/8501/task/8556/stat : 8556 (java) S 8498 8501 5182 0 -1 1077944384 7432 12840 0 0 330 21 5 2 20 0 15 0 48730048 11108974592 767644 33554432000 4194304 4196468 140727736508832 139653785422480 139654212560597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31199232 140727736515182 140727736517980 140727736517980 140727736520655 0
[pid=8501/tid=8557] ppid=8498 vsize=10848608 memory=288230574492221466 CPUtime=3.54 cores=1,3,5,7
/proc/8501/task/8557/stat : 8557 (java) S 8498 8501 5182 0 -1 1077944384 4140 12840 0 0 325 22 5 2 20 0 15 0 48730048 11108974592 767644 33554432000 4194304 4196468 140727736508832 139653784369424 139654212560597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31199232 140727736515182 140727736517980 140727736517980 140727736520655 0
[pid=8501/tid=8558] ppid=8498 vsize=10848608 memory=288230583166042426 CPUtime=3.59 cores=1,3,5,7
/proc/8501/task/8558/stat : 8558 (java) S 8498 8501 5182 0 -1 1077944384 3794 12840 0 0 330 22 5 2 20 0 15 0 48730048 11108974592 767644 33554432000 4194304 4196468 140727736508832 139653783316880 139654212560597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31199232 140727736515182 140727736517980 140727736517980 140727736520655 0
[pid=8501/tid=8559] ppid=8498 vsize=10848608 memory=16102567671237208 CPUtime=0.37 cores=1,3,5,7
/proc/8501/task/8559/stat : 8559 (java) S 8498 8501 5182 0 -1 1077944384 18840 12840 0 0 29 1 5 2 20 0 15 0 48730050 11108974592 767644 33554432000 4194304 4196468 140727736508832 139653671774960 139654212561538 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31199232 140727736515182 140727736517980 140727736517980 140727736520655 0
[pid=8501/tid=8560] ppid=8498 vsize=10848608 memory=16102567671237208 CPUtime=0.07 cores=1,3,5,7
/proc/8501/task/8560/stat : 8560 (java) S 8498 8501 5182 0 -1 1077944384 66 12840 0 0 0 0 5 2 20 0 15 0 48730050 11108974592 767644 33554432000 4194304 4196468 140727736508832 139653670721248 139654212560597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31199232 140727736515182 140727736517980 140727736517980 140727736520655 0
[pid=8501/tid=8561] ppid=8498 vsize=10848608 memory=928 CPUtime=0.07 cores=1,3,5,7
/proc/8501/task/8561/stat : 8561 (java) S 8498 8501 5182 0 -1 1077944384 18 12840 0 0 0 0 5 2 20 0 15 0 48730051 11108974592 767644 33554432000 4194304 4196468 140727736508832 139653076215040 139654212560597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31199232 140727736515182 140727736517980 140727736517980 140727736520655 0
[pid=8501/tid=8562] ppid=8498 vsize=10848608 memory=2240 CPUtime=0.07 cores=1,3,5,7
/proc/8501/task/8562/stat : 8562 (java) S 8498 8501 5182 0 -1 1077944384 3 12840 0 0 0 0 5 2 20 0 15 0 48730053 11108974592 767644 33554432000 4194304 4196468 140727736508832 139652768815568 139654212568987 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31199232 140727736515182 140727736517980 140727736517980 140727736520655 0
[pid=8501/tid=8563] ppid=8498 vsize=10848608 memory=1724 CPUtime=9.67 cores=1,3,5,7
/proc/8501/task/8563/stat : 8563 (java) S 8498 8501 5182 0 -1 1077944384 24168 12840 0 0 955 5 5 2 20 0 15 0 48730053 11108974592 767644 33554432000 4194304 4196468 140727736508832 139653637163248 139654212561538 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31199232 140727736515182 140727736517980 140727736517980 140727736520655 0
[pid=8501/tid=8564] ppid=8498 vsize=10848608 memory=1228 CPUtime=9.01 cores=1,3,5,7
/proc/8501/task/8564/stat : 8564 (java) S 8498 8501 5182 0 -1 1077944384 23083 12840 0 0 889 5 5 2 20 0 15 0 48730053 11108974592 767644 33554432000 4194304 4196468 140727736508832 139653636110704 139654212561538 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31199232 140727736515182 140727736517980 140727736517980 140727736520655 0
[pid=8501/tid=8565] ppid=8498 vsize=10848608 memory=1428 CPUtime=2.69 cores=1,3,5,7
/proc/8501/task/8565/stat : 8565 (java) S 8498 8501 5182 0 -1 1077944384 31122 12840 0 0 257 5 5 2 20 0 15 0 48730053 11108974592 767644 33554432000 4194304 4196468 140727736508832 139653635057648 139654212561538 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31199232 140727736515182 140727736517980 140727736517980 140727736520655 0
[pid=8501/tid=8566] ppid=8498 vsize=10848608 memory=1196 CPUtime=0.07 cores=1,3,5,7
/proc/8501/task/8566/stat : 8566 (java) S 8498 8501 5182 0 -1 1077944384 3 12840 0 0 0 0 5 2 20 0 15 0 48730053 11108974592 767644 33554432000 4194304 4196468 140727736508832 139652735256928 139654212560597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31199232 140727736515182 140727736517980 140727736517980 140727736520655 0
[pid=8501/tid=8567] ppid=8498 vsize=10848608 memory=5300 CPUtime=0.28 cores=1,3,5,7
/proc/8501/task/8567/stat : 8567 (java) S 8498 8501 5182 0 -1 1077944384 969 12840 0 0 10 11 5 2 20 0 15 0 48730054 11108974592 767644 33554432000 4194304 4196468 140727736508832 139653634006064 139654212561538 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31199232 140727736515182 140727736517980 140727736517980 140727736520655 0
Current children cumulated CPU time: 433.03 s
Current children cumulated vsize: 10848608 KiB
Current children cumulated memory: 3070576 KiB
[startup+401.301 s]
/proc/loadavg: 1.66 1.57 1.48 3/216 8581
/proc/meminfo: memFree=18872572/32770624 swapFree=67108860/67108860
[pid=8501] ppid=8498 vsize=10848608 memory=3070576 CPUtime=433.13 cores=1,3,5,7
/proc/8501/stat : 8501 (java) S 8498 8501 5182 0 -1 1077944320 200348 12840 0 0 43143 163 5 2 20 0 15 0 48730039 11108974592 767644 33554432000 4194304 4196468 140727736508832 140727736491376 139654212550391 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 31199232 140727736515182 140727736517980 140727736517980 140727736520655 0
/proc/8501/statm: 2712152 767644 3542 1 0 2673805 0
[pid=8501/tid=8554] ppid=8498 vsize=10848608 memory=3069776 CPUtime=397.34 cores=1,3,5,7
/proc/8501/task/8554/stat : 8554 (java) R 8498 8501 5182 0 -1 4202560 77944 12840 0 0 39681 46 5 2 20 0 15 0 48730048 11108974592 767644 33554432000 4194304 4196468 140727736508832 139654184381312 139653831716231 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31199232 140727736515182 140727736517980 140727736517980 140727736520655 0
[pid=8501/tid=8555] ppid=8498 vsize=10848608 memory=3069776 CPUtime=3.58 cores=1,3,5,7
/proc/8501/task/8555/stat : 8555 (java) S 8498 8501 5182 0 -1 1077944384 6574 12840 0 0 329 22 5 2 20 0 15 0 48730048 11108974592 767644 33554432000 4194304 4196468 140727736508832 139654216792592 139654212560597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31199232 140727736515182 140727736517980 140727736517980 140727736520655 0
[pid=8501/tid=8556] ppid=8498 vsize=10848608 memory=3069776 CPUtime=3.58 cores=1,3,5,7
/proc/8501/task/8556/stat : 8556 (java) S 8498 8501 5182 0 -1 1077944384 7432 12840 0 0 330 21 5 2 20 0 15 0 48730048 11108974592 767644 33554432000 4194304 4196468 140727736508832 139653785422480 139654212560597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31199232 140727736515182 140727736517980 140727736517980 140727736520655 0
[pid=8501/tid=8557] ppid=8498 vsize=10848608 memory=3069136 CPUtime=3.54 cores=1,3,5,7
/proc/8501/task/8557/stat : 8557 (java) S 8498 8501 5182 0 -1 1077944384 4140 12840 0 0 325 22 5 2 20 0 15 0 48730048 11108974592 767644 33554432000 4194304 4196468 140727736508832 139653784369424 139654212560597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31199232 140727736515182 140727736517980 140727736517980 140727736520655 0
[pid=8501/tid=8558] ppid=8498 vsize=10848608 memory=3069136 CPUtime=3.59 cores=1,3,5,7
/proc/8501/task/8558/stat : 8558 (java) S 8498 8501 5182 0 -1 1077944384 3794 12840 0 0 330 22 5 2 20 0 15 0 48730048 11108974592 767644 33554432000 4194304 4196468 140727736508832 139653783316880 139654212560597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31199232 140727736515182 140727736517980 140727736517980 140727736520655 0
[pid=8501/tid=8559] ppid=8498 vsize=10848608 memory=3068856 CPUtime=0.37 cores=1,3,5,7
/proc/8501/task/8559/stat : 8559 (java) S 8498 8501 5182 0 -1 1077944384 18840 12840 0 0 29 1 5 2 20 0 15 0 48730050 11108974592 767644 33554432000 4194304 4196468 140727736508832 139653671774960 139654212561538 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31199232 140727736515182 140727736517980 140727736517980 140727736520655 0
[pid=8501/tid=8560] ppid=8498 vsize=10848608 memory=3068808 CPUtime=0.07 cores=1,3,5,7
/proc/8501/task/8560/stat : 8560 (java) S 8498 8501 5182 0 -1 1077944384 66 12840 0 0 0 0 5 2 20 0 15 0 48730050 11108974592 767644 33554432000 4194304 4196468 140727736508832 139653670721248 139654212560597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31199232 140727736515182 140727736517980 140727736517980 140727736520655 0
[pid=8501/tid=8561] ppid=8498 vsize=10848608 memory=8388 CPUtime=0.07 cores=1,3,5,7
/proc/8501/task/8561/stat : 8561 (java) S 8498 8501 5182 0 -1 1077944384 18 12840 0 0 0 0 5 2 20 0 15 0 48730051 11108974592 767644 33554432000 4194304 4196468 140727736508832 139653076215040 139654212560597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31199232 140727736515182 140727736517980 140727736517980 140727736520655 0
[pid=8501/tid=8562] ppid=8498 vsize=10848608 memory=3070576 CPUtime=0.07 cores=1,3,5,7
/proc/8501/task/8562/stat : 8562 (java) S 8498 8501 5182 0 -1 1077944384 3 12840 0 0 0 0 5 2 20 0 15 0 48730053 11108974592 767644 33554432000 4194304 4196468 140727736508832 139652768815568 139654212568987 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31199232 140727736515182 140727736517980 140727736517980 140727736520655 0
[pid=8501/tid=8563] ppid=8498 vsize=10848608 memory=3070576 CPUtime=9.67 cores=1,3,5,7
/proc/8501/task/8563/stat : 8563 (java) S 8498 8501 5182 0 -1 1077944384 24168 12840 0 0 955 5 5 2 20 0 15 0 48730053 11108974592 767644 33554432000 4194304 4196468 140727736508832 139653637163248 139654212561538 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31199232 140727736515182 140727736517980 140727736517980 140727736520655 0
[pid=8501/tid=8564] ppid=8498 vsize=10848608 memory=3069776 CPUtime=9.01 cores=1,3,5,7
/proc/8501/task/8564/stat : 8564 (java) S 8498 8501 5182 0 -1 1077944384 23083 12840 0 0 889 5 5 2 20 0 15 0 48730053 11108974592 767644 33554432000 4194304 4196468 140727736508832 139653636110704 139654212561538 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31199232 140727736515182 140727736517980 140727736517980 140727736520655 0
[pid=8501/tid=8565] ppid=8498 vsize=10848608 memory=3070576 CPUtime=2.69 cores=1,3,5,7
/proc/8501/task/8565/stat : 8565 (java) S 8498 8501 5182 0 -1 1077944384 31122 12840 0 0 257 5 5 2 20 0 15 0 48730053 11108974592 767644 33554432000 4194304 4196468 140727736508832 139653635057648 139654212561538 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31199232 140727736515182 140727736517980 140727736517980 140727736520655 0
[pid=8501/tid=8566] ppid=8498 vsize=10848608 memory=3069776 CPUtime=0.07 cores=1,3,5,7
/proc/8501/task/8566/stat : 8566 (java) S 8498 8501 5182 0 -1 1077944384 3 12840 0 0 0 0 5 2 20 0 15 0 48730053 11108974592 767644 33554432000 4194304 4196468 140727736508832 139652735256928 139654212560597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31199232 140727736515182 140727736517980 140727736517980 140727736520655 0
[pid=8501/tid=8567] ppid=8498 vsize=10848608 memory=3068756 CPUtime=0.28 cores=1,3,5,7
/proc/8501/task/8567/stat : 8567 (java) S 8498 8501 5182 0 -1 1077944384 969 12840 0 0 10 11 5 2 20 0 15 0 48730054 11108974592 767644 33554432000 4194304 4196468 140727736508832 139653634006064 139654212561538 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31199232 140727736515182 140727736517980 140727736517980 140727736520655 0
Current children cumulated CPU time: 433.13 s
Current children cumulated vsize: 10848608 KiB
Current children cumulated memory: 3070576 KiB
Child status: 0
Real time (s): 401.378
CPU time (s): 433.23
CPU user time (s): 431.547
CPU system time (s): 1.68267
CPU usage (%): 107.935
Max. virtual memory (cumulated for all children) (KiB): 10848608
Max. memory (cumulated for all children) (KiB): 3070576
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 431.547
system time used= 1.68267
maximum resident set size= 3072692
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 213496
page faults= 0
swaps= 0
block input operations= 0
block output operations= 704
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 20313
involuntary context switches= 522
# summary of solver processes directly reported to runsolver:
# pid: 8501
# total CPU time (s): 433.23
# total CPU user time (s): 431.547
# total CPU system time (s): 1.68267
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.27831 second user time and 4.01082 second system time
The end
Begin job on node103 at 2018-07-23 04:07:48 IDJOB=4293225 IDBENCH=141136 IDSOLVER=2750 FILE ID=node103/4293225-1532311668 RUNJOBID= node103-1532293810-5214 PBS_JOBID= 21018979 Free space on /tmp= 56824 MiB SOLVER NAME= Concrete 3.8 2018-06-13 BENCH NAME= XCSP18/GraphColoring/GraphColoring-qg-order40_c18.xml COMMAND LINE= bin/xcsp-3-concrete -J-Xss32M -randomseed=RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4293225-1532311668/watcher-4293225-1532311668 -o /tmp/evaluation-result-4293225-1532311668/solver-4293225-1532311668 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node103-1532293810-5214 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=1134741934 HOME/instance-4293225-1532311668.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= d1aa36ddb66a988b2d6475ffc1d9c375 RANDOM SEED=1134741934 node103.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.48 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.48 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.48 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.48 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: 21943600 kB MemAvailable: 30502256 kB Buffers: 248096 kB Cached: 8511400 kB SwapCached: 0 kB Active: 2966076 kB Inactive: 7282384 kB Active(anon): 1491920 kB Inactive(anon): 16976 kB Active(file): 1474156 kB Inactive(file): 7265408 kB Unevictable: 7144 kB Mlocked: 7144 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 28752 kB Writeback: 0 kB AnonPages: 1510432 kB Mapped: 49692 kB Shmem: 17036 kB Slab: 275604 kB SReclaimable: 247552 kB SUnreclaim: 28052 kB KernelStack: 3792 kB PageTables: 8124 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 2449104 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 1257472 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 124288 kB DirectMap2M: 33421312 kB Free space on /tmp at the end= 56800 MiB End job on node103 at 2018-07-23 04:14:30