0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4406872-1569364347.xml" -tl '20160s' -p 8
0.12/0.18 c Choco e747e1e
0.12/0.18 c [HOME/instance-4406872-1569364347.xml, -tl, 20160s, -p, 8]
0.33/0.22 c 8 solvers in parallel
0.33/0.28 c parse instance...
2.53/0.94 c solve instance...
2394.07/301.18 s SATISFIABLE
2394.07/301.18 v <instantiation>
2394.07/301.18 v <list>v0 v1 v2 v3 v4 v5 v6 v7 v8 v9 v10 v11 v12 v13 v14 v15 v16 v17 v18 v19 v20 v21 v22 v23 v24 v25 v26 v27 v28 v29 v30 v31 v32 v33 v34 v35 v36 v37 v38 v39 v40 v41 v42 v43 v44 v45 v46 v47 v48 v49 v50 v51 v52 v53 v54 v55 v56 v57 v58 v59 v60 v61 v62 v63 v64 v65 v66 v67 v68 v69 v70 v71 v72 v73 v74 v75 v76 v77 v78 v79 v80 v81 v82 v83 v84 v85 v86 v87 v88 v89 v90 v91 v92 v93 v94 v95 v96 v97 v98 v99 v100 v101 v102 v103 v104 v105 v106 v107 v108 v109 v110 v111 v112 v113 v114 v115 v116 v117 v118 v119 v120 v121 v122 v123 v124 v125 v126 v127 v128 v129 v130 v131 v132 v133 v134 v135 v136 v137 v138 v139 v140 v141 v142 v143 v144 v145 v146 v147 v148 v149 v150 v151 v152 v153 v154 v155 v156 v157 v158 v159 v160 v161 v162 v163 v164 v165 v166 v167 v168 v169 v170 v171 v172 v173 v174 v175 v176 v177 v178 v179 v180 v181 v182 v183 v184 v185 v186 v187 v188 v189 v190 v191 v192 v193 v194 v195 v196 v197 v198 v199 v200 v201 v202 v203 v204 v205 v206 v207 v208 v209 v210 v211 v212 v213 v214 v215 v216 v217 v218 v219 v220 v221 v222 v223 v224 v225 v226 v227 v228 v229 v230 v231 v232 v233 v234 v235 v236 v237 v238 v239 v240 v241 v242 v243 v244 v245 v246 v247 v248 v249 v250 v251 v252 v253 v254 v255 v256 v257 v258 v259 v260 v261 v262 v263 v264 v265 v266 v267 v268 v269 v270 v271 v272 v273 v274 v275 v276 v277 v278 v279 v280 v281 v282 v283 v284 v285 v286 v287 v288 v289 v290 v291 v292 v293 v294 v295 v296 v297 v298 v299 v300 v301 v302 v303 v304 v305 v306 v307 v308 v309 v310 v311 v312 v313 v314 v315 v316 v317 v318 v319 v320 v321 v322 v323 v324 v325 v326 v327 v328 v329 v330 v331 v332 v333 v334 v335 v336 v337 v338 v339 v340 v341 v342 v343 v344 v345 v346 v347 v348 v349 v350 v351 v352 v353 v354 v355 v356 v357 v358 v359 v360 v361 v362 v363 v364 v365 v366 v367 v368 v369 v370 v371 v372 v373 v374 v375 v376 v377 v378 v379 v380 v381 v382 v383 v384 v385 v386 v387 v388 v389 v390 v391 v392 v393 v394 v395 v396 v397 v398 v399 v400 v401 v402 v403 v404 v405 v406 v407 v408 v409 v410 v411 v412 v413 v414 v415 v416 v417 v418 v419 v420 v421 v422 v423 v424 v425 v426 v427 v428 v429 v430 v431 v432 v433 v434 v435 v436 v437 v438 v439 v440 v441 v442 v443 v444 v445 v446 v447 v448 v449 v450 v451 v452 v453 v454 v455 v456 v457 v458 v459 v460 v461 v462 v463 v464 v465 v466 v467 v468 v469 v470 v471 v472 v473 v474 v475 v476 v477 v478 v479 v480 v481 v482 v483 v484 v485 v486 v487 v488 v489 v490 v491 v492 v493 v494 v495 v496 v497 v498 v499 v500 v501 v502 v503 v504 v505 v506 v507 v508 v509 v510 v511 v512 v513 v514 v515 v516 v517 v518 v519 v520 v521 v522 v523 v524 v525 v526 v527 v528 v529 v530 v531 v532 v533 v534 v535 v536 v537 v538 v539 v540 v541 v542 v543 v544 v545 v546 v547 v548 v549 v550 v551 v552 v553 v554 v555 v556 v557 v558 v559 v560 v561 v562 v563 v564 v565 v566 v567 v568 v569 v570 v571 v572 v573 v574 v575 v576 v577 v578 v579 v580 v581 v582 v583 v584 v585 v586 v587 v588 v589 v590 v591 v592 v593 v594 v595 v596 v597 v598 v599 v600 v601 v602 v603 v604 v605 v606 v607 v608 v609 v610 v611 v612 v613 v614 v615 v616 v617 v618 v619 v620 v621 v622 v623 v624 v625 v626 v627 v628 v629 v630 v631 v632 v633 v634 v635 v636 v637 v638 v639 v640 v641 v642 v643 v644 v645 v646 v647 v648 v649 v650 v651 v652 v653 v654 v655 v656 v657 v658 v659 v660 v661 v662 v663 v664 v665 v666 v667 v668 v669 v670 v671 v672 v673 v674 v675 v676 v677 v678 v679 v680 v681 v682 v683 v684 v685 v686 v687 v688 v689 v690 v691 v692 v693 v694 v695 v696 v697 v698 v699 v700 v701 v702 v703 v704 v705 v706 v707 v708 v709 v710 v711 v712 v713 v714 v715 v716 v717 v718 v719 v720 v721 v722 v723 v724 v725 v726 v727 v728 v729 v730 v731 v732 v733 v734 v735 v736 v737 v738 v739 v740 v741 v742 v743 v744 v745 v746 v747 v748 v749 v750 v751 v752 v753 v754 v755 v756 v757 v758 v759 v760 v761 v762 v763 v764 v765 v766 v767 v768 v769 v770 v771 v772 v773 v774 v775 v776 v777 v778 v779 v780 v781 v782 v783 v784 v785 v786 v787 v788 v789 v790 v791 v792 v793 v794 v795 v796 v797 v798 v799 v800 v801 v802 v803 v804 v805 v806 v807 v808 v809 v810 v811 v812 v813 v814 v815 v816 v817 v818 v819 v820 v821 v822 v823 v824 v825 v826 v827 v828 v829 v830 v831 v832 v833 v834 v835 v836 v837 v838 v839 v840 v841 v842 v843 v844 v845 v846 v847 v848 v849 v850 v851 v852 v853 v854 v855 v856 v857 v858 v859 v860 v861 v862 v863 v864 v865 v866 v867 v868 v869 v870 v871 v872 v873 v874 v875 v876 v877 v878 v879 v880 v881 v882 v883 v884 v885 v886 v887 v888 v889 v890 v891 v892 v893 v894 v895 v896 v897 v898 v899 v900 v901 v902 v903 v904 v905 v906 v907 v908 v909 v910 v911 v912 v913 v914 v915 v916 v917 v918 v919 v920 v921 v922 v923 v924 v925 v926 v927 v928 v929 v930 v931 v932 v933 v934 v935 v936 v937 v938 v939 v940 v941 v942 v943 v944 v945 v946 v947 v948 v949 v950 v951 v952 v953 v954 v955 v956 v957 v958 v959 v960 v961 v962 v963 v964 v965 v966 v967 v968 v969 v970 v971 v972 v973 v974 v975 v976 v977 v978 v979 v980 v981 v982 v983 v984 v985 v986 v987 v988 v989 v990 v991 v992 v993 v994 v995 v996 v997 v998 v999 v1000 v1001 v1002 v1003 v1004 v1005 v1006 v1007 v1008 v1009 v1010 v1011 v1012 v1013 v1014 v1015 v1016 v1017 v1018 v1019 v1020 v1021 v1022 v1023 v1024 v1025 v1026 v1027 v1028 v1029 v1030 v1031 v1032 v1033 v1034 v1035 v1036 v1037 v1038 v1039 v1040 v1041 v1042 v1043 v1044 v1045 v1046 v1047 v1048 v1049 v1050 v1051 v1052 v1053 v1054 v1055 v1056 v1057 v1058 v1059 v1060 v1061 v1062 v1063 v1064 v1065 v1066 v1067 v1068 v1069 v1070 v1071 v1072 v1073 v1074 v1075 v1076 v1077 v1078 v1079 v1080 v1081 v1082 v1083 v1084 v1085 v1086 v1087 v1088 v1089 v1090 v1091 v1092 v1093 v1094 v1095 v1096 v1097 v1098 v1099 v1100 v1101 v1102 v1103 v1104 v1105 v1106 v1107 v1108 v1109 v1110 v1111 v1112 v1113 v1114 v1115 v1116 v1117 v1118 v1119 v1120 v1121 v1122 v1123 v1124 v1125 v1126 v1127 v1128 v1129 v1130 v1131 v1132 v1133 v1134 v1135 v1136 v1137 v1138 v1139 v1140 v1141 v1142 v1143 v1144 v1145 v1146 v1147 v1148 v1149 v1150 v1151 v1152 v1153 v1154 v1155 v1156 v1157 v1158 v1159 v1160 v1161 v1162 v1163 v1164 v1165 v1166 v1167 v1168 v1169 v1170 v1171 v1172 v1173 v1174 v1175 v1176 v1177 v1178 v1179 v1180 v1181 v1182 v1183 v1184 v1185 v1186 v1187 v1188 v1189 v1190 v1191 v1192 v1193 v1194 v1195 v1196 v1197 v1198 v1199 v1200 v1201 v1202 v1203 v1204 v1205 v1206 v1207 v1208 v1209 v1210 v1211 v1212 v1213 v1214 v1215 v1216 v1217 v1218 v1219 v1220 v1221 v1222 v1223 v1224 v1225 v1226 v1227 v1228 v1229 v1230 v1231 v1232 v1233 v1234 v1235 v1236 v1237 v1238 v1239 v1240 v1241 v1242 v1243 v1244 v1245 v1246 v1247 v1248 v1249 v1250 v1251 v1252 v1253 v1254 v1255 v1256 v1257 v1258 v1259 v1260 v1261 v1262 v1263 v1264 v1265 v1266 v1267 v1268 v1269 v1270 v1271 v1272 v1273 v1274 v1275 v1276 v1277 v1278 v1279 v1280 v1281 v1282 v1283 v1284 v1285 v1286 v1287 v1288 v1289 v1290 v1291 v1292 v1293 v1294 v1295 v1296 v1297 v1298 v1299 v1300 v1301 v1302 v1303 v1304 v1305 v1306 v1307 v1308 v1309 v1310 v1311 v1312 v1313 v1314 v1315 v1316 v1317 v1318 v1319 v1320 v1321 v1322 v1323 v1324 v1325 v1326 v1327 v1328 v1329 v1330 v1331 v1332 v1333 v1334 v1335 v1336 v1337 v1338 v1339 v1340 v1341 v1342 v1343 v1344 v1345 v1346 v1347 v1348 v1349 v1350 v1351 v1352 v1353 v1354 v1355 v1356 v1357 v1358 v1359 v1360 v1361 v1362 v1363 v1364 v1365 v1366 v1367 v1368 v1369 v1370 v1371 v1372 v1373 v1374 v1375 v1376 v1377 v1378 v1379 v1380 v1381 v1382 v1383 v1384 v1385 v1386 v1387 v1388 v1389 v1390 v1391 v1392 v1393 v1394 v1395 v1396 v1397 v1398 v1399 v1400 v1401 v1402 v1403 v1404 v1405 v1406 v1407 v1408 v1409 v1410 v1411 v1412 v1413 v1414 v1415 v1416 v1417 v1418 v1419 v1420 v1421 v1422 v1423 v1424 v1425 v1426 v1427 v1428 v1429 v1430 v1431 v1432 v1433 v1434 v1435 v1436 v1437 v1438 v1439 v1440 v1441 v1442 v1443 v1444 v1445 v1446 v1447 v1448 v1449 v1450 v1451 v1452 v1453 v1454 v1455 v1456 v1457 v1458 v1459 v1460 v1461 v1462 v1463 v1464 v1465 v1466 v1467 v1468 v1469 v1470 v1471 v1472 v1473 v1474 v1475 v1476 v1477 v1478 v1479 v1480 v1481 v1482 v1483 v1484 v1485 v1486 v1487 v1488 v1489 v1490 v1491 v1492 v1493 v1494 v1495 v1496 v1497 v1498 v1499 v1500 v1501 v1502 v1503 v1504 v1505 v1506 v1507 v1508 v1509 v1510 v1511 v1512 v1513 v1514 v1515 v1516 v1517 v1518 v1519 v1520 v1521 v1522 v1523 v1524 v1525 v1526 v1527 v1528 v1529 v1530 v1531 v1532 v1533 v1534 v1535 v1536 v1537 v1538 v1539 v1540 v1541 v1542 v1543 v1544 v1545 v1546 v1547 v1548 v1549 v1550 v1551 v1552 v1553 v1554 v1555 v1556 v1557 v1558 v1559 v1560 v1561 v1562 v1563 v1564 v1565 v1566 v1567 v1568 v1569 v1570 v1571 </list>
2394.07/301.18 v <values>1005 317 986 1316 756 1143 528 1529 551 770 447 983 536 624 498 1410 1423 379 6 1352 1246 399 680 486 800 1124 77 601 1134 13 527 550 727 829 1371 710 205 935 1515 1220 1195 62 319 1449 1281 38 133 450 1307 1072 794 1265 37 136 122 847 879 322 177 573 1136 255 994 332 440 915 364 742 913 1552 518 1100 1565 262 1518 953 1203 1098 842 281 199 1062 765 643 1455 1428 244 930 914 921 1398 1557 1052 910 370 436 592 821 1233 238 265 689 235 137 1334 411 1293 1395 1130 139 1430 476 778 1171 1348 1391 1444 1546 817 269 32 474 966 488 870 924 945 810 1325 512 408 174 996 777 1142 1222 894 446 826 119 670 911 60 768 1095 678 1221 509 161 1090 931 217 1093 1118 655 227 1234 101 708 49 1359 1030 1421 1463 860 384 958 129 885 927 619 802 1431 823 1139 936 236 360 1191 925 328 1514 1559 422 849 845 1074 1180 181 1099 904 375 20 189 657 843 1524 111 724 1558 1172 566 380 1047 1129 542 35 260 618 926 1271 1174 850 971 1228 208 118 209 1053 76 326 459 672 1538 195 434 29 493 1416 952 197 848 764 70 974 396 1038 1279 1342 1384 701 1206 165 1140 1154 1454 956 159 1477 709 131 173 466 649 1169 664 1280 946 1290 785 707 1341 1319 1388 1181 55 991 1500 1218 1312 1350 88 976 1235 1054 861 874 806 1103 747 405 163 1426 1298 898 438 366 803 750 752 75 1079 467 277 1044 1525 144 344 760 250 442 376 1297 1275 917 1562 1088 1315 891 758 1468 788 81 207 1108 984 340 1116 623 939 1119 104 1045 1346 461 1482 1237 1551 716 761 1489 385 1296 833 654 687 155 1027 142 1561 1259 1025 644 109 463 547 270 721 653 497 1401 888 580 801 475 1197 82 312 34 1109 665 766 14 1232 1383 1006 1083 1511 872 661 1476 506 52 919 574 922 215 514 1337 105 10 1523 102 827 166 1086 1051 611 1409 28 157 968 414 589 1479 1566 1485 1031 63 1012 67 631 1328 1368 906 1292 1483 604 798 89 1326 420 246 897 532 1367 1224 1081 458 646 1473 1001 256 69 323 473 1015 194 1263 1167 1061 754 615 1553 1311 828 1484 395 698 348 331 311 545 955 1306 890 91 460 295 964 1411 1021 334 520 728 1364 1131 895 78 1495 167 258 876 1245 368 572 1101 975 851 25 187 192 320 132 575 659 1127 1424 743 1381 1427 96 1440 406 595 1324 1168 489 1175 284 554 507 1532 1278 524 1156 1164 90 562 1570 990 837 8 579 593 1250 1125 1389 1056 201 841 218 1425 900 732 808 1533 1544 149 1516 535 369 782 1183 1110 1418 48 416 846 257 127 1317 1301 1443 712 1343 668 468 1078 1560 943 942 1513 1227 1336 1498 98 1526 1357 66 154 145 1545 171 1145 901 1415 387 1188 1540 1505 674 677 243 636 97 1039 1499 1475 957 2 622 755 445 1089 1567 204 249 316 780 751 1382 472 276 531 954 1268 1011 1333 1522 1472 191 908 425 223 628 1486 1354 418 404 1370 1239 685 1353 576 1303 1201 1269 999 363 875 1055 688 211 795 686 33 1115 1028 429 753 1379 1004 51 541 744 903 1547 299 1106 932 115 391 1009 330 1288 1441 1460 586 261 1286 1037 1465 1264 722 152 987 862 72 21 1048 1126 1216 1459 1510 1 989 718 1412 1396 386 17 1402 36 196 410 608 412 212 511 455 1146 835 1390 1007 351 426 1165 83 762 1530 539 603 1046 273 733 1192 700 1242 179 1314 995 1162 310 1310 1400 27 1464 272 998 840 886 617 146 430 992 1024 341 1240 178 143 373 307 523 515 1448 73 367 315 162 1413 336 1300 793 338 1241 1231 343 1179 7 110 704 1255 814 397 882 1034 424 982 287 1020 902 1435 634 1480 912 961 335 456 403 1225 350 606 549 169 610 873 1447 43 651 940 863 892 1166 15 1107 64 1243 1541 289 448 1040 1569 973 642 1267 1144 540 54 409 584 1556 1344 86 202 734 1132 1432 471 116 1548 407 1251 22 864 1121 1202 1163 893 57 878 703 1519 237 176 234 1205 1434 737 180 792 1504 620 1199 1026 1373 548 308 42 1494 428 225 268 216 1091 963 1068 502 302 522 719 717 1450 1385 559 505 454 164 290 325 1339 226 591 365 481 18 443 415 1029 247 967 1356 354 1493 1190 781 1362 909 1261 1355 504 693 970 929 1187 1141 483 298 681 490 736 452 1302 558 280 150 1071 1213 1244 1436 151 356 960 1469 1170 859 371 347 749 1414 1063 1419 852 1291 650 480 865 421 74 1458 1394 1349 1209 313 185 1304 1403 337 825 1399 114 44 569 599 1066 1521 791 1452 402 1073 679 9 1331 1392 581 1366 188 1470 53 853 671 39 1112 30 625 228 1372 433 500 1549 282 815 556 530 449 1539 107 811 168 669 585 1358 278 359 1478 567 1002 1230 324 1299 95 1363 1420 656 587 293 1128 1193 796 1173 84 230 1185 487 1123 663 614 1057 1008 683 923 748 1508 1014 834 662 979 675 120 1059 1273 65 1295 296 1550 1266 224 907 1157 283 1481 1320 93 1535 854 19 715 275 141 645 905 241 286 1133 300 630 1361 1408 134 1149 329 776 1374 962 123 1442 203 640 1456 588 85 738 1102 99 1184 871 1092 47 1437 40 1158 1253 570 254 140 1013 607 1501 321 1150 156 877 1151 1340 106 358 1338 552 1214 1262 233 812 103 690 437 485 267 609 560 1375 635 1397 1520 305 772 538 730 633 306 1219 153 0 1182 1417 1036 388 1229 1016 696 740 494 1111 1345 213 285 938 1077 229 822 1022 465 491 741 271 61 117 222 1065 1497 1563 392 1041 831 113 1404 1208 594 1075 563 444 578 138 496 951 303 172 948 1023 1080 1318 959 1439 1405 170 198 517 1260 1058 1474 868 1360 304 482 1393 844 1537 390 529 423 478 393 1329 1017 1155 125 949 68 637 1084 941 577 641 1043 789 600 464 1422 697 965 639 813 1122 972 745 519 774 525 596 361 513 597 583 221 797 492 160 676 516 1386 508 1104 899 706 648 186 1256 1159 1176 1070 1571 1322 1335 1258 183 1207 666 292 309 314 807 647 804 232 616 969 1117 731 190 612 1305 1321 773 381 673 495 1445 836 58 1019 857 978 12 288 713 534 1543 769 263 484 1217 1492 339 1198 1285 553 413 684 1114 884 699 632 1488 1161 327 377 231 1507 240 1282 1238 759 692 944 799 1308 993 1461 1380 1313 1555 1177 787 1289 985 135 126 431 1467 362 124 382 470 1135 947 355 1534 1050 1369 372 627 1247 1018 184 1257 400 1137 705 1194 582 1060 252 621 87 880 783 988 1272 1085 838 41 510 1270 667 1330 1069 79 784 1147 457 602 346 695 1433 824 820 856 934 564 858 419 3 4 92 1294 1186 763 1332 779 1254 571 1429 805 462 59 896 353 469 757 1512 1528 242 1365 1527 417 1120 1178 71 711 318 1248 1406 345 526 435 537 1407 568 1223 1082 193 175 928 46 1453 1212 1042 1471 997 253 832 1506 248 220 1096 1378 920 818 279 723 1490 981 786 389 1517 1210 729 1277 1438 1152 200 100 1536 1376 629 94 1033 501 720 1249 1568 398 477 266 383 521 739 1204 561 499 605 726 916 1276 1347 1451 239 816 1196 887 503 259 1032 352 45 50 543 1323 830 1466 112 1076 1000 1502 735 24 291 453 1010 11 1387 809 206 274 883 1509 725 1105 401 937 1531 1067 5 1211 867 1215 1160 546 245 544 702 439 977 855 130 1200 427 108 771 1087 652 658 819 214 80 158 660 626 56 182 1491 1236 297 1094 866 1189 294 374 767 1274 1457 714 1148 357 613 128 682 598 839 694 918 1153 533 1377 1113 1226 1284 451 1462 1138 1327 889 590 557 881 950 1049 1287 394 264 555 23 746 933 441 1503 980 790 1252 1446 1035 1487 479 869 1064 16 1283 378 349 26 1564 148 301 31 210 1496 1097 432 1309 342 121 565 691 333 147 219 251 1554 1542 1003 1351 775 638 </values>
2394.07/301.18 v </instantiation>
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 (13661 MiB free)
memory of node 1: 16384 MiB (11436 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4406872-1569364347/watcher-4406872-1569364347 -o /var/tmp/evaluation-result-4406872-1569364347/solver-4406872-1569364347 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node146-1569360588-4134 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 482366067 HOME/instance-4406872-1569364347.xml
running on 8 cores: 0,2,4,6,1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=5312, runsolver pid=5309
[startup+0.100115 s]*
/proc/loadavg: 7.55 7.84 7.85 2/214 5333
/proc/meminfo: memFree=25683248/32770624 swapFree=67002384/67108860
[pid=5312] ppid=5309 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/5312/stat : 5312 (xcsp3-exec) S 5309 5312 4107 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 512348607 115843072 363 33554432000 4194304 5098028 140723597555168 140723597553272 140489959449212 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30175232 140723597562706 140723597562965 140723597562965 140723597565894 0
/proc/5312/statm: 28282 363 304 221 0 87 0
[pid=5314] ppid=5312 vsize=28227396 memory=29208 CPUtime=0.12 cores=0-7
/proc/5314/stat : 5314 (java) S 5312 5312 4107 0 -1 1077944320 5782 0 0 0 10 2 0 0 20 0 20 0 512348607 28904853504 7302 33554432000 4194304 4196468 140727018542048 140727018524592 140704790630135 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25747456 140727018550230 140727018550406 140727018550406 140727018553295 0
/proc/5314/statm: 7056849 7302 3120 1 0 7019032 0
[pid=5314/tid=5315] ppid=5312 vsize=28227396 memory=1398722017469774279 CPUtime=0.09 cores=0-7
/proc/5314/task/5315/stat : 5315 (java) R 5312 5312 4107 0 -1 4202560 3690 0 0 0 8 1 0 0 20 0 20 0 512348607 28904853504 7302 33554432000 4194304 4196468 140727018542048 140704794862400 140704790642070 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25747456 140727018550230 140727018550406 140727018550406 140727018553295 0
[pid=5314/tid=5316] ppid=5312 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/5314/task/5316/stat : 5316 (java) S 5312 5312 4107 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512348608 28904853504 7302 33554432000 4194304 4196468 140727018542048 140704743250832 140704790640341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25747456 140727018550230 140727018550406 140727018550406 140727018553295 0
[pid=5314/tid=5317] ppid=5312 vsize=28227396 memory=139678622496384 CPUtime=0 cores=0-7
/proc/5314/task/5317/stat : 5317 (java) S 5312 5312 4107 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512348608 28904853504 7302 33554432000 4194304 4196468 140727018542048 140704742198032 140704790640341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25747456 140727018550230 140727018550406 140727018550406 140727018553295 0
[pid=5314/tid=5318] ppid=5312 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5314/task/5318/stat : 5318 (java) S 5312 5312 4107 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512348608 28904853504 7302 33554432000 4194304 4196468 140727018542048 140704741145744 140704790640341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25747456 140727018550230 140727018550406 140727018550406 140727018553295 0
[pid=5314/tid=5319] ppid=5312 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5314/task/5319/stat : 5319 (java) S 5312 5312 4107 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512348608 28904853504 7302 33554432000 4194304 4196468 140727018542048 140704338533392 140704790640341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25747456 140727018550230 140727018550406 140727018550406 140727018553295 0
[pid=5314/tid=5320] ppid=5312 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5314/task/5320/stat : 5320 (java) S 5312 5312 4107 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512348608 28904853504 7302 33554432000 4194304 4196468 140727018542048 140704337480080 140704790640341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25747456 140727018550230 140727018550406 140727018550406 140727018553295 0
[pid=5314/tid=5321] ppid=5312 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/5314/task/5321/stat : 5321 (java) S 5312 5312 4107 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512348608 28904853504 7302 33554432000 4194304 4196468 140727018542048 140704336427280 140704790640341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25747456 140727018550230 140727018550406 140727018550406 140727018553295 0
[pid=5314/tid=5322] ppid=5312 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5314/task/5322/stat : 5322 (java) S 5312 5312 4107 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512348608 28904853504 7302 33554432000 4194304 4196468 140727018542048 140704335374992 140704790640341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25747456 140727018550230 140727018550406 140727018550406 140727018553295 0
[pid=5314/tid=5323] ppid=5312 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5314/task/5323/stat : 5323 (java) S 5312 5312 4107 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512348608 28904853504 7302 33554432000 4194304 4196468 140727018542048 140704334322192 140704790640341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25747456 140727018550230 140727018550406 140727018550406 140727018553295 0
[pid=5314/tid=5324] ppid=5312 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5314/task/5324/stat : 5324 (java) S 5312 5312 4107 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512348610 28904853504 7302 33554432000 4194304 4196468 140727018542048 140703439944304 140704790641282 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25747456 140727018550230 140727018550406 140727018550406 140727018553295 0
[pid=5314/tid=5325] ppid=5312 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5314/task/5325/stat : 5325 (java) S 5312 5312 4107 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 512348610 28904853504 7302 33554432000 4194304 4196468 140727018542048 140703438890272 140704790640341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25747456 140727018550230 140727018550406 140727018550406 140727018553295 0
[pid=5314/tid=5326] ppid=5312 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5314/task/5326/stat : 5326 (java) S 5312 5312 4107 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 512348610 28904853504 7302 33554432000 4194304 4196468 140727018542048 140703437837936 140704790640341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25747456 140727018550230 140727018550406 140727018550406 140727018553295 0
[pid=5314/tid=5327] ppid=5312 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5314/task/5327/stat : 5327 (java) S 5312 5312 4107 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512348613 28904853504 7302 33554432000 4194304 4196468 140727018542048 140703436786256 140704790648731 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25747456 140727018550230 140727018550406 140727018550406 140727018553295 0
[pid=5314/tid=5328] ppid=5312 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5314/task/5328/stat : 5328 (java) S 5312 5312 4107 0 -1 1077944384 296 0 0 0 0 0 0 0 20 0 20 0 512348613 28904853504 7302 33554432000 4194304 4196468 140727018542048 140703435733104 140704790641282 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25747456 140727018550230 140727018550406 140727018550406 140727018553295 0
[pid=5314/tid=5329] ppid=5312 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5314/task/5329/stat : 5329 (java) S 5312 5312 4107 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512348613 28904853504 7302 33554432000 4194304 4196468 140727018542048 140703434680304 140704790641282 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25747456 140727018550230 140727018550406 140727018550406 140727018553295 0
[pid=5314/tid=5330] ppid=5312 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5314/task/5330/stat : 5330 (java) S 5312 5312 4107 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 20 0 512348613 28904853504 7302 33554432000 4194304 4196468 140727018542048 140703433628016 140704790641282 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25747456 140727018550230 140727018550406 140727018550406 140727018553295 0
[pid=5314/tid=5331] ppid=5312 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/5314/task/5331/stat : 5331 (java) R 5312 5312 4107 0 -1 4202560 360 0 0 0 1 0 0 0 20 0 20 0 512348613 28904853504 7302 33554432000 4194304 4196468 140727018542048 140703432575216 140704790642070 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25747456 140727018550230 140727018550406 140727018550406 140727018553295 0
[pid=5314/tid=5332] ppid=5312 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5314/task/5332/stat : 5332 (java) S 5312 5312 4107 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512348613 28904853504 7302 33554432000 4194304 4196468 140727018542048 140703431523168 140704790640341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25747456 140727018550230 140727018550406 140727018550406 140727018553295 0
[pid=5314/tid=5333] ppid=5312 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/5314/task/5333/stat : 5333 (java) S 5312 5312 4107 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512348613 28904853504 7302 33554432000 4194304 4196468 140727018542048 140703430470448 140704790641282 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25747456 140727018550230 140727018550406 140727018550406 140727018553295 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 30660 KiB
[startup+0.210179 s]*
/proc/loadavg: 7.55 7.84 7.85 2/214 5333
/proc/meminfo: memFree=25671188/32770624 swapFree=67002384/67108860
[pid=5312] ppid=5309 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/5312/stat : 5312 (xcsp3-exec) S 5309 5312 4107 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 512348607 115843072 363 33554432000 4194304 5098028 140723597555168 140723597553272 140489959449212 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30175232 140723597562706 140723597562965 140723597562965 140723597565894 0
/proc/5312/statm: 28282 363 304 221 0 87 0
[pid=5314] ppid=5312 vsize=28227396 memory=41064 CPUtime=0.33 cores=0-7
/proc/5314/stat : 5314 (java) S 5312 5312 4107 0 -1 1077944320 9535 0 0 0 29 4 0 0 20 0 20 0 512348607 28904853504 10266 33554432000 4194304 4196468 140727018542048 140727018524592 140704790630135 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25747456 140727018550230 140727018550406 140727018550406 140727018553295 0
/proc/5314/statm: 7056849 10266 3301 1 0 7019032 0
[pid=5314/tid=5315] ppid=5312 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/5314/task/5315/stat : 5315 (java) R 5312 5312 4107 0 -1 4202560 6657 0 0 0 17 3 0 0 20 0 20 0 512348607 28904853504 10266 33554432000 4194304 4196468 140727018542048 140704794862864 140704790642070 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25747456 140727018550230 140727018550406 140727018550406 140727018553295 0
[pid=5314/tid=5316] ppid=5312 vsize=28227396 memory=339 CPUtime=0 cores=0-7
/proc/5314/task/5316/stat : 5316 (java) S 5312 5312 4107 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512348608 28904853504 10266 33554432000 4194304 4196468 140727018542048 140704743250832 140704790640341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25747456 140727018550230 140727018550406 140727018550406 140727018553295 0
[pid=5314/tid=5317] ppid=5312 vsize=28227396 memory=139678622503054 CPUtime=0 cores=0-7
/proc/5314/task/5317/stat : 5317 (java) S 5312 5312 4107 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512348608 28904853504 10266 33554432000 4194304 4196468 140727018542048 140704742198032 140704790640341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25747456 140727018550230 140727018550406 140727018550406 140727018553295 0
[pid=5314/tid=5318] ppid=5312 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/5314/task/5318/stat : 5318 (java) S 5312 5312 4107 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512348608 28904853504 10266 33554432000 4194304 4196468 140727018542048 140704741145744 140704790640341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25747456 140727018550230 140727018550406 140727018550406 140727018553295 0
[pid=5314/tid=5319] ppid=5312 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5314/task/5319/stat : 5319 (java) S 5312 5312 4107 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512348608 28904853504 10266 33554432000 4194304 4196468 140727018542048 140704338533392 140704790640341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25747456 140727018550230 140727018550406 140727018550406 140727018553295 0
[pid=5314/tid=5320] ppid=5312 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5314/task/5320/stat : 5320 (java) S 5312 5312 4107 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512348608 28904853504 10266 33554432000 4194304 4196468 140727018542048 140704337480080 140704790640341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25747456 140727018550230 140727018550406 140727018550406 140727018553295 0
[pid=5314/tid=5321] ppid=5312 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/5314/task/5321/stat : 5321 (java) S 5312 5312 4107 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512348608 28904853504 10266 33554432000 4194304 4196468 140727018542048 140704336427280 140704790640341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25747456 140727018550230 140727018550406 140727018550406 140727018553295 0
[pid=5314/tid=5322] ppid=5312 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5314/task/5322/stat : 5322 (java) S 5312 5312 4107 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512348608 28904853504 10266 33554432000 4194304 4196468 140727018542048 140704335374992 140704790640341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25747456 140727018550230 140727018550406 140727018550406 140727018553295 0
[pid=5314/tid=5323] ppid=5312 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5314/task/5323/stat : 5323 (java) S 5312 5312 4107 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512348608 28904853504 10266 33554432000 4194304 4196468 140727018542048 140704334322192 140704790640341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25747456 140727018550230 140727018550406 140727018550406 140727018553295 0
[pid=5314/tid=5324] ppid=5312 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5314/task/5324/stat : 5324 (java) S 5312 5312 4107 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 512348610 28904853504 10266 33554432000 4194304 4196468 140727018542048 140703439944304 140704790641282 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25747456 140727018550230 140727018550406 140727018550406 140727018553295 0
[pid=5314/tid=5325] ppid=5312 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5314/task/5325/stat : 5325 (java) S 5312 5312 4107 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 512348610 28904853504 10266 33554432000 4194304 4196468 140727018542048 140703438890272 140704790640341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25747456 140727018550230 140727018550406 140727018550406 140727018553295 0
[pid=5314/tid=5326] ppid=5312 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5314/task/5326/stat : 5326 (java) S 5312 5312 4107 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 512348610 28904853504 10266 33554432000 4194304 4196468 140727018542048 140703437837936 140704790640341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25747456 140727018550230 140727018550406 140727018550406 140727018553295 0
[pid=5314/tid=5327] ppid=5312 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5314/task/5327/stat : 5327 (java) S 5312 5312 4107 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512348613 28904853504 10266 33554432000 4194304 4196468 140727018542048 140703436786256 140704790648731 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25747456 140727018550230 140727018550406 140727018550406 140727018553295 0
[pid=5314/tid=5328] ppid=5312 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/5314/task/5328/stat : 5328 (java) S 5312 5312 4107 0 -1 1077944384 397 0 0 0 1 0 0 0 20 0 20 0 512348613 28904853504 10266 33554432000 4194304 4196468 140727018542048 140703435733104 140704790641282 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25747456 140727018550230 140727018550406 140727018550406 140727018553295 0
[pid=5314/tid=5329] ppid=5312 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/5314/task/5329/stat : 5329 (java) S 5312 5312 4107 0 -1 1077944384 261 0 0 0 1 0 0 0 20 0 20 0 512348613 28904853504 10266 33554432000 4194304 4196468 140727018542048 140703434680304 140704790641282 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25747456 140727018550230 140727018550406 140727018550406 140727018553295 0
[pid=5314/tid=5330] ppid=5312 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7
/proc/5314/task/5330/stat : 5330 (java) R 5312 5312 4107 0 -1 1077944384 158 0 0 0 1 0 0 0 20 0 20 0 512348613 28904853504 10266 33554432000 4194304 4196468 140727018542048 140703433628016 140704790641282 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25747456 140727018550230 140727018550406 140727018550406 140727018553295 0
[pid=5314/tid=5331] ppid=5312 vsize=28227396 memory=-1 CPUtime=0.07 cores=0-7
/proc/5314/task/5331/stat : 5331 (java) R 5312 5312 4107 0 -1 4202560 752 0 0 0 7 0 0 0 20 0 20 0 512348613 28904853504 10266 33554432000 4194304 4196468 140727018542048 140703432575216 140704790642070 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25747456 140727018550230 140727018550406 140727018550406 140727018553295 0
[pid=5314/tid=5332] ppid=5312 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5314/task/5332/stat : 5332 (java) S 5312 5312 4107 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512348613 28904853504 10266 33554432000 4194304 4196468 140727018542048 140703431523168 140704790640341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25747456 140727018550230 140727018550406 140727018550406 140727018553295 0
[pid=5314/tid=5333] ppid=5312 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/5314/task/5333/stat : 5333 (java) S 5312 5312 4107 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512348613 28904853504 10266 33554432000 4194304 4196468 140727018542048 140703430470448 140704790641282 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25747456 140727018550230 140727018550406 140727018550406 140727018553295 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 42516 KiB
[startup+0.309596 s]*
/proc/loadavg: 7.55 7.84 7.85 5/214 5333
/proc/meminfo: memFree=25663336/32770624 swapFree=67002384/67108860
[pid=5312] ppid=5309 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/5312/stat : 5312 (xcsp3-exec) S 5309 5312 4107 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 512348607 115843072 363 33554432000 4194304 5098028 140723597555168 140723597553272 140489959449212 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30175232 140723597562706 140723597562965 140723597562965 140723597565894 0
/proc/5312/statm: 28282 363 304 221 0 87 0
[pid=5314] ppid=5312 vsize=28231652 memory=49880 CPUtime=0.52 cores=0-7
/proc/5314/stat : 5314 (java) S 5312 5312 4107 0 -1 1077944320 10827 0 0 0 47 5 0 0 20 0 20 0 512348607 28909211648 12470 33554432000 4194304 4196468 140727018542048 140727018524592 140704790630135 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25747456 140727018550230 140727018550406 140727018550406 140727018553295 0
/proc/5314/statm: 7057913 12470 3349 1 0 7019032 0
[pid=5314/tid=5315] ppid=5312 vsize=28231652 memory=1398722017469774279 CPUtime=0.29 cores=0-7
/proc/5314/task/5315/stat : 5315 (java) R 5312 5312 4107 0 -1 4202560 7767 0 0 0 26 3 0 0 20 0 20 0 512348607 28909211648 12470 33554432000 4194304 4196468 140727018542048 140704794861248 140704774710622 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25747456 140727018550230 140727018550406 140727018550406 140727018553295 0
[pid=5314/tid=5316] ppid=5312 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/5314/task/5316/stat : 5316 (java) S 5312 5312 4107 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512348608 28909211648 12470 33554432000 4194304 4196468 140727018542048 140704743250832 140704790640341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25747456 140727018550230 140727018550406 140727018550406 140727018553295 0
[pid=5314/tid=5317] ppid=5312 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/5314/task/5317/stat : 5317 (java) S 5312 5312 4107 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512348608 28909211648 12470 33554432000 4194304 4196468 140727018542048 140704742198032 140704790640341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25747456 140727018550230 140727018550406 140727018550406 140727018553295 0
[pid=5314/tid=5318] ppid=5312 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/5314/task/5318/stat : 5318 (java) S 5312 5312 4107 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512348608 28909211648 12470 33554432000 4194304 4196468 140727018542048 140704741145744 140704790640341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25747456 140727018550230 140727018550406 140727018550406 140727018553295 0
[pid=5314/tid=5319] ppid=5312 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/5314/task/5319/stat : 5319 (java) S 5312 5312 4107 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512348608 28909211648 12470 33554432000 4194304 4196468 140727018542048 140704338533392 140704790640341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25747456 140727018550230 140727018550406 140727018550406 140727018553295 0
[pid=5314/tid=5320] ppid=5312 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/5314/task/5320/stat : 5320 (java) S 5312 5312 4107 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512348608 28909211648 12470 33554432000 4194304 4196468 140727018542048 140704337480080 140704790640341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25747456 140727018550230 140727018550406 140727018550406 140727018553295 0
[pid=5314/tid=5321] ppid=5312 vsize=28231652 memory=139678510574255 CPUtime=0 cores=0-7
/proc/5314/task/5321/stat : 5321 (java) S 5312 5312 4107 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512348608 28909211648 12470 33554432000 4194304 4196468 140727018542048 140704336427280 140704790640341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25747456 140727018550230 140727018550406 140727018550406 140727018553295 0
[pid=5314/tid=5322] ppid=5312 vsize=28231652 memory=139678510576560 CPUtime=0 cores=0-7
/proc/5314/task/5322/stat : 5322 (java) S 5312 5312 4107 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512348608 28909211648 12470 33554432000 4194304 4196468 140727018542048 140704335374992 140704790640341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25747456 140727018550230 140727018550406 140727018550406 140727018553295 0
[pid=5314/tid=5323] ppid=5312 vsize=28231652 memory=139678510578864 CPUtime=0 cores=0-7
/proc/5314/task/5323/stat : 5323 (java) S 5312 5312 4107 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512348608 28909211648 12470 33554432000 4194304 4196468 140727018542048 140704334322192 140704790640341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25747456 140727018550230 140727018550406 140727018550406 140727018553295 0
[pid=5314/tid=5324] ppid=5312 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/5314/task/5324/stat : 5324 (java) S 5312 5312 4107 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 512348610 28909211648 12470 33554432000 4194304 4196468 140727018542048 140703439944304 140704790641282 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25747456 140727018550230 140727018550406 140727018550406 140727018553295 0
[pid=5314/tid=5325] ppid=5312 vsize=28231652 memory=279357021171600 CPUtime=0 cores=0-7
/proc/5314/task/5325/stat : 5325 (java) S 5312 5312 4107 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 512348610 28909211648 12470 33554432000 4194304 4196468 140727018542048 140703438890272 140704790640341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25747456 140727018550230 140727018550406 140727018550406 140727018553295 0
[pid=5314/tid=5326] ppid=5312 vsize=28231652 memory=279357021169296 CPUtime=0 cores=0-7
/proc/5314/task/5326/stat : 5326 (java) S 5312 5312 4107 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 512348610 28909211648 12470 33554432000 4194304 4196468 140727018542048 140703437837936 140704790640341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25747456 140727018550230 140727018550406 140727018550406 140727018553295 0
[pid=5314/tid=5327] ppid=5312 vsize=28231652 memory=279357021176208 CPUtime=0 cores=0-7
/proc/5314/task/5327/stat : 5327 (java) S 5312 5312 4107 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512348613 28909211648 12470 33554432000 4194304 4196468 140727018542048 140703436786256 140704790648731 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25747456 140727018550230 140727018550406 140727018550406 140727018553295 0
[pid=5314/tid=5328] ppid=5312 vsize=28231652 memory=279357021117488 CPUtime=0.02 cores=0-7
/proc/5314/task/5328/stat : 5328 (java) S 5312 5312 4107 0 -1 1077944384 409 0 0 0 2 0 0 0 20 0 20 0 512348613 28909211648 12470 33554432000 4194304 4196468 140727018542048 140703435733104 140704790641282 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25747456 140727018550230 140727018550406 140727018550406 140727018553295 0
[pid=5314/tid=5329] ppid=5312 vsize=28231652 memory=279357021190032 CPUtime=0.02 cores=0-7
/proc/5314/task/5329/stat : 5329 (java) R 5312 5312 4107 0 -1 4202560 350 0 0 0 2 0 0 0 20 0 20 0 512348613 28909211648 12470 33554432000 4194304 4196468 140727018542048 140703434670688 140704768518608 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25747456 140727018550230 140727018550406 140727018550406 140727018553295 0
[pid=5314/tid=5330] ppid=5312 vsize=28231652 memory=279357021196944 CPUtime=0.03 cores=0-7
/proc/5314/task/5330/stat : 5330 (java) S 5312 5312 4107 0 -1 1077944384 172 0 0 0 3 0 0 0 20 0 20 0 512348613 28909211648 12470 33554432000 4194304 4196468 140727018542048 140703433628016 140704790641282 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25747456 140727018550230 140727018550406 140727018550406 140727018553295 0
[pid=5314/tid=5331] ppid=5312 vsize=28231652 memory=279357021194640 CPUtime=0.12 cores=0-7
/proc/5314/task/5331/stat : 5331 (java) S 5312 5312 4107 0 -1 1077944384 832 0 0 0 12 0 0 0 20 0 20 0 512348613 28909211648 12470 33554432000 4194304 4196468 140727018542048 140703432575216 140704790641282 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25747456 140727018550230 140727018550406 140727018550406 140727018553295 0
[pid=5314/tid=5332] ppid=5312 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/5314/task/5332/stat : 5332 (java) S 5312 5312 4107 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512348613 28909211648 12470 33554432000 4194304 4196468 140727018542048 140703431523168 140704790640341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25747456 140727018550230 140727018550406 140727018550406 140727018553295 0
[pid=5314/tid=5333] ppid=5312 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/5314/task/5333/stat : 5333 (java) S 5312 5312 4107 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512348613 28909211648 12470 33554432000 4194304 4196468 140727018542048 140703430470448 140704790641282 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25747456 140727018550230 140727018550406 140727018550406 140727018553295 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 51332 KiB
[startup+0.700912 s]
/proc/loadavg: 7.55 7.84 7.85 4/214 5333
/proc/meminfo: memFree=25649780/32770624 swapFree=67002384/67108860
[pid=5312] ppid=5309 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/5312/stat : 5312 (xcsp3-exec) S 5309 5312 4107 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 512348607 115843072 363 33554432000 4194304 5098028 140723597555168 140723597553272 140489959449212 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30175232 140723597562706 140723597562965 140723597562965 140723597565894 0
/proc/5312/statm: 28282 363 304 221 0 87 0
[pid=5314] ppid=5312 vsize=28233776 memory=103116 CPUtime=1.72 cores=0-7
/proc/5314/stat : 5314 (java) S 5312 5312 4107 0 -1 1077944320 15985 0 0 0 164 8 0 0 20 0 20 0 512348607 28911386624 25779 33554432000 4194304 4196468 140727018542048 140727018524592 140704790630135 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25747456 140727018550230 140727018550406 140727018550406 140727018553295 0
/proc/5314/statm: 7058444 25779 3468 1 0 7019544 0
[pid=5314/tid=5315] ppid=5312 vsize=28233776 memory=0 CPUtime=0.68 cores=0-7
/proc/5314/task/5315/stat : 5315 (java) R 5312 5312 4107 0 -1 4202560 9088 0 0 0 63 5 0 0 20 0 20 0 512348607 28911386624 25779 33554432000 4194304 4196468 140727018542048 140704794860720 140704423167166 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25747456 140727018550230 140727018550406 140727018550406 140727018553295 0
[pid=5314/tid=5316] ppid=5312 vsize=28233776 memory=139678510785392 CPUtime=0 cores=0-7
/proc/5314/task/5316/stat : 5316 (java) S 5312 5312 4107 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512348608 28911386624 25779 33554432000 4194304 4196468 140727018542048 140704743250832 140704790640341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25747456 140727018550230 140727018550406 140727018550406 140727018553295 0
[pid=5314/tid=5317] ppid=5312 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/5314/task/5317/stat : 5317 (java) S 5312 5312 4107 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512348608 28911386624 25779 33554432000 4194304 4196468 140727018542048 140704742198032 140704790640341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25747456 140727018550230 140727018550406 140727018550406 140727018553295 0
[pid=5314/tid=5318] ppid=5312 vsize=28233776 memory=1056 CPUtime=0 cores=0-7
/proc/5314/task/5318/stat : 5318 (java) S 5312 5312 4107 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512348608 28911386624 25779 33554432000 4194304 4196468 140727018542048 140704741145744 140704790640341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25747456 140727018550230 140727018550406 140727018550406 140727018553295 0
################
# More data... #
################
[pid=5314/tid=5336] ppid=5312 vsize=28766288 memory=7548 CPUtime=295.21 cores=0-7
/proc/5314/task/5336/stat : 5336 (java) R 5312 5312 4107 0 -1 4202560 6389 0 0 0 29510 11 0 0 20 0 28 0 512348702 29456678912 160615 33554432000 4194304 4196468 140727018542048 140703419145840 140704425681941 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 25747456 140727018550230 140727018550406 140727018550406 140727018553295 0
[pid=5314/tid=5337] ppid=5312 vsize=28766288 memory=2832 CPUtime=294.38 cores=0-7
/proc/5314/task/5337/stat : 5337 (java) R 5312 5312 4107 0 -1 4202560 7987 0 0 0 29426 12 0 0 20 0 28 0 512348703 29456678912 160615 33554432000 4194304 4196468 140727018542048 140703418093176 140704427460228 0 4 0 16800975 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 25747456 140727018550230 140727018550406 140727018550406 140727018553295 0
[pid=5314/tid=5338] ppid=5312 vsize=28766288 memory=1224 CPUtime=294.58 cores=0-7
/proc/5314/task/5338/stat : 5338 (java) R 5312 5312 4107 0 -1 4202560 7193 0 0 0 29448 10 0 0 20 0 28 0 512348703 29456678912 160615 33554432000 4194304 4196468 140727018542048 140703417043744 140704426494449 0 4 0 16800975 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 25747456 140727018550230 140727018550406 140727018550406 140727018553295 0
[pid=5314/tid=5339] ppid=5312 vsize=28766288 memory=4936 CPUtime=296.7 cores=0-7
/proc/5314/task/5339/stat : 5339 (java) R 5312 5312 4107 0 -1 4202560 4070 0 0 0 29661 9 0 0 20 0 28 0 512348706 29456678912 160615 33554432000 4194304 4196468 140727018542048 140703415987952 140704427632619 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 25747456 140727018550230 140727018550406 140727018550406 140727018553295 0
[pid=5314/tid=5340] ppid=5312 vsize=28766288 memory=4104 CPUtime=296.75 cores=0-7
/proc/5314/task/5340/stat : 5340 (java) R 5312 5312 4107 0 -1 4202560 5779 0 0 0 29665 10 0 0 20 0 28 0 512348706 29456678912 160615 33554432000 4194304 4196468 140727018542048 140703414935672 140704427458833 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 25747456 140727018550230 140727018550406 140727018550406 140727018553295 0
[pid=5314/tid=5341] ppid=5312 vsize=28766288 memory=1412 CPUtime=296.67 cores=0-7
/proc/5314/task/5341/stat : 5341 (java) R 5312 5312 4107 0 -1 4202560 3830 0 0 0 29659 8 0 0 20 0 28 0 512348706 29456678912 160615 33554432000 4194304 4196468 140727018542048 140703413882880 140704426264564 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 25747456 140727018550230 140727018550406 140727018550406 140727018553295 0
Current children cumulated CPU time: 2378.89 s
Current children cumulated vsize: 28879416 KiB
Current children cumulated memory: 643912 KiB
[startup+300.001 s]*
/proc/loadavg: 7.99 7.98 7.91 9/219 5360
/proc/meminfo: memFree=25069832/32770624 swapFree=67002384/67108860
[pid=5312] ppid=5309 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/5312/stat : 5312 (xcsp3-exec) S 5309 5312 4107 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 512348607 115843072 363 33554432000 4194304 5098028 140723597555168 140723597553272 140489959449212 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30175232 140723597562706 140723597562965 140723597562965 140723597565894 0
/proc/5312/statm: 28282 363 304 221 0 87 0
[pid=5314] ppid=5312 vsize=28766288 memory=642460 CPUtime=2385.31 cores=0-7
/proc/5314/stat : 5314 (java) S 5312 5312 4107 0 -1 1077944320 146819 0 0 0 238372 159 0 0 20 0 28 0 512348607 29456678912 160615 33554432000 4194304 4196468 140727018542048 140727018524592 140704790630135 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25747456 140727018550230 140727018550406 140727018550406 140727018553295 0
/proc/5314/statm: 7191572 160615 3538 1 0 7152672 0
[pid=5314/tid=5315] ppid=5312 vsize=28766288 memory=1398722017469774279 CPUtime=0.93 cores=0-7
/proc/5314/task/5315/stat : 5315 (java) S 5312 5312 4107 0 -1 1077944384 9200 0 0 0 86 7 0 0 20 0 28 0 512348607 29456678912 160615 33554432000 4194304 4196468 140727018542048 140704794870912 140704790640341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25747456 140727018550230 140727018550406 140727018550406 140727018553295 0
[pid=5314/tid=5316] ppid=5312 vsize=28766288 memory=4872558044660077418 CPUtime=0.26 cores=0-7
/proc/5314/task/5316/stat : 5316 (java) S 5312 5312 4107 0 -1 1077944384 1376 0 0 0 19 7 0 0 20 0 28 0 512348608 29456678912 160615 33554432000 4194304 4196468 140727018542048 140704743250832 140704790640341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25747456 140727018550230 140727018550406 140727018550406 140727018553295 0
[pid=5314/tid=5317] ppid=5312 vsize=28766288 memory=63684 CPUtime=0.25 cores=0-7
/proc/5314/task/5317/stat : 5317 (java) S 5312 5312 4107 0 -1 1077944384 4062 0 0 0 19 6 0 0 20 0 28 0 512348608 29456678912 160615 33554432000 4194304 4196468 140727018542048 140704742198032 140704790640341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25747456 140727018550230 140727018550406 140727018550406 140727018553295 0
[pid=5314/tid=5318] ppid=5312 vsize=28766288 memory=988 CPUtime=0.24 cores=0-7
/proc/5314/task/5318/stat : 5318 (java) S 5312 5312 4107 0 -1 1077944384 1989 0 0 0 19 5 0 0 20 0 28 0 512348608 29456678912 160615 33554432000 4194304 4196468 140727018542048 140704741145744 140704790640341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25747456 140727018550230 140727018550406 140727018550406 140727018553295 0
[pid=5314/tid=5319] ppid=5312 vsize=28766288 memory=2012 CPUtime=0.24 cores=0-7
/proc/5314/task/5319/stat : 5319 (java) S 5312 5312 4107 0 -1 1077944384 2251 0 0 0 18 6 0 0 20 0 28 0 512348608 29456678912 160615 33554432000 4194304 4196468 140727018542048 140704338533392 140704790640341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25747456 140727018550230 140727018550406 140727018550406 140727018553295 0
[pid=5314/tid=5320] ppid=5312 vsize=28766288 memory=3616 CPUtime=0.25 cores=0-7
/proc/5314/task/5320/stat : 5320 (java) S 5312 5312 4107 0 -1 1077944384 2489 0 0 0 19 6 0 0 20 0 28 0 512348608 29456678912 160615 33554432000 4194304 4196468 140727018542048 140704337480080 140704790640341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25747456 140727018550230 140727018550406 140727018550406 140727018553295 0
[pid=5314/tid=5321] ppid=5312 vsize=28766288 memory=0 CPUtime=0.25 cores=0-7
/proc/5314/task/5321/stat : 5321 (java) S 5312 5312 4107 0 -1 1077944384 2882 0 0 0 19 6 0 0 20 0 28 0 512348608 29456678912 160615 33554432000 4194304 4196468 140727018542048 140704336427280 140704790640341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25747456 140727018550230 140727018550406 140727018550406 140727018553295 0
[pid=5314/tid=5322] ppid=5312 vsize=28766288 memory=6944652177228980320 CPUtime=0.26 cores=0-7
/proc/5314/task/5322/stat : 5322 (java) S 5312 5312 4107 0 -1 1077944384 1875 0 0 0 20 6 0 0 20 0 28 0 512348608 29456678912 160615 33554432000 4194304 4196468 140727018542048 140704335374992 140704790640341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25747456 140727018550230 140727018550406 140727018550406 140727018553295 0
[pid=5314/tid=5323] ppid=5312 vsize=28766288 memory=8112282956445269571 CPUtime=0.26 cores=0-7
/proc/5314/task/5323/stat : 5323 (java) S 5312 5312 4107 0 -1 1077944384 2995 0 0 0 19 7 0 0 20 0 28 0 512348608 29456678912 160615 33554432000 4194304 4196468 140727018542048 140704334322192 140704790640341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25747456 140727018550230 140727018550406 140727018550406 140727018553295 0
[pid=5314/tid=5324] ppid=5312 vsize=28766288 memory=63684 CPUtime=0.13 cores=0-7
/proc/5314/task/5324/stat : 5324 (java) S 5312 5312 4107 0 -1 1077944384 7054 0 0 0 9 4 0 0 20 0 28 0 512348610 29456678912 160615 33554432000 4194304 4196468 140727018542048 140703439944304 140704790641282 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25747456 140727018550230 140727018550406 140727018550406 140727018553295 0
[pid=5314/tid=5325] ppid=5312 vsize=28766288 memory=988 CPUtime=0 cores=0-7
/proc/5314/task/5325/stat : 5325 (java) S 5312 5312 4107 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 512348610 29456678912 160615 33554432000 4194304 4196468 140727018542048 140703438890336 140704790640341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25747456 140727018550230 140727018550406 140727018550406 140727018553295 0
[pid=5314/tid=5326] ppid=5312 vsize=28766288 memory=2012 CPUtime=0 cores=0-7
/proc/5314/task/5326/stat : 5326 (java) S 5312 5312 4107 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 28 0 512348610 29456678912 160615 33554432000 4194304 4196468 140727018542048 140703437837952 140704790640341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25747456 140727018550230 140727018550406 140727018550406 140727018553295 0
[pid=5314/tid=5327] ppid=5312 vsize=28766288 memory=8112282956445269571 CPUtime=0 cores=0-7
/proc/5314/task/5327/stat : 5327 (java) S 5312 5312 4107 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 512348613 29456678912 160615 33554432000 4194304 4196468 140727018542048 140703436786256 140704790648731 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25747456 140727018550230 140727018550406 140727018550406 140727018553295 0
[pid=5314/tid=5328] ppid=5312 vsize=28766288 memory=3047711553320166262 CPUtime=2.72 cores=0-7
/proc/5314/task/5328/stat : 5328 (java) S 5312 5312 4107 0 -1 1077944384 17416 0 0 0 267 5 0 0 20 0 28 0 512348613 29456678912 160615 33554432000 4194304 4196468 140727018542048 140703435733104 140704790641282 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25747456 140727018550230 140727018550406 140727018550406 140727018553295 0
[pid=5314/tid=5329] ppid=5312 vsize=28766288 memory=7824336315716348491 CPUtime=3.33 cores=0-7
/proc/5314/task/5329/stat : 5329 (java) S 5312 5312 4107 0 -1 1077944384 21339 0 0 0 329 4 0 0 20 0 28 0 512348613 29456678912 160615 33554432000 4194304 4196468 140727018542048 140703434680304 140704790641282 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25747456 140727018550230 140727018550406 140727018550406 140727018553295 0
[pid=5314/tid=5330] ppid=5312 vsize=28766288 memory=7452450704795134289 CPUtime=2.09 cores=0-7
/proc/5314/task/5330/stat : 5330 (java) S 5312 5312 4107 0 -1 1077944384 13824 0 0 0 206 3 0 0 20 0 28 0 512348613 29456678912 160615 33554432000 4194304 4196468 140727018542048 140703433628016 140704790641282 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25747456 140727018550230 140727018550406 140727018550406 140727018553295 0
[pid=5314/tid=5331] ppid=5312 vsize=28766288 memory=7451313689546484846 CPUtime=0.76 cores=0-7
/proc/5314/task/5331/stat : 5331 (java) S 5312 5312 4107 0 -1 1077944384 10528 0 0 0 74 2 0 0 20 0 28 0 512348613 29456678912 160615 33554432000 4194304 4196468 140727018542048 140703432575216 140704790641282 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25747456 140727018550230 140727018550406 140727018550406 140727018553295 0
[pid=5314/tid=5332] ppid=5312 vsize=28766288 memory=7944460150862801006 CPUtime=0 cores=0-7
/proc/5314/task/5332/stat : 5332 (java) S 5312 5312 4107 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 512348613 29456678912 160615 33554432000 4194304 4196468 140727018542048 140703431523168 140704790640341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25747456 140727018550230 140727018550406 140727018550406 140727018553295 0
[pid=5314/tid=5333] ppid=5312 vsize=28766288 memory=5450909908396308010 CPUtime=0.16 cores=0-7
/proc/5314/task/5333/stat : 5333 (java) S 5312 5312 4107 0 -1 1077944384 1210 0 0 0 16 0 0 0 20 0 28 0 512348613 29456678912 160615 33554432000 4194304 4196468 140727018542048 140703430470448 140704790641282 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25747456 140727018550230 140727018550406 140727018550406 140727018553295 0
[pid=5314/tid=5334] ppid=5312 vsize=28766288 memory=7235148707142069867 CPUtime=296.59 cores=0-7
/proc/5314/task/5334/stat : 5334 (java) R 5312 5312 4107 0 -1 4202560 4701 0 0 0 29652 7 0 0 20 0 28 0 512348702 29456678912 160615 33554432000 4194304 4196468 140727018542048 140703421254424 140704425681941 0 4 0 16800975 0 0 0 -1 7 0 0 4 0 0 6293624 6294260 25747456 140727018550230 140727018550406 140727018550406 140727018553295 0
[pid=5314/tid=5335] ppid=5312 vsize=28766288 memory=7307488767993473125 CPUtime=297.23 cores=0-7
/proc/5314/task/5335/stat : 5335 (java) R 5312 5312 4107 0 -1 4202560 5003 0 0 0 29715 8 0 0 20 0 28 0 512348702 29456678912 160615 33554432000 4194304 4196468 140727018542048 140703420203032 140704426547135 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 25747456 140727018550230 140727018550406 140727018550406 140727018553295 0
[pid=5314/tid=5336] ppid=5312 vsize=28766288 memory=7236272386399752807 CPUtime=296.02 cores=0-7
/proc/5314/task/5336/stat : 5336 (java) R 5312 5312 4107 0 -1 4202560 6390 0 0 0 29591 11 0 0 20 0 28 0 512348702 29456678912 160615 33554432000 4194304 4196468 140727018542048 140703419149704 140704427458755 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 25747456 140727018550230 140727018550406 140727018550406 140727018553295 0
[pid=5314/tid=5337] ppid=5312 vsize=28766288 memory=7595444360993334376 CPUtime=295.19 cores=0-7
/proc/5314/task/5337/stat : 5337 (java) R 5312 5312 4107 0 -1 4202560 8002 0 0 0 29507 12 0 0 20 0 28 0 512348703 29456678912 160615 33554432000 4194304 4196468 140727018542048 140703418092928 140704427730503 0 4 0 16800975 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 25747456 140727018550230 140727018550406 140727018550406 140727018553295 0
[pid=5314/tid=5338] ppid=5312 vsize=28766288 memory=8514701219781834910 CPUtime=295.39 cores=0-7
/proc/5314/task/5338/stat : 5338 (java) R 5312 5312 4107 0 -1 4202560 7195 0 0 0 29529 10 0 0 20 0 28 0 512348703 29456678912 160615 33554432000 4194304 4196468 140727018542048 140703417044464 140704427458779 0 4 0 16800975 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 25747456 140727018550230 140727018550406 140727018550406 140727018553295 0
[pid=5314/tid=5339] ppid=5312 vsize=28766288 memory=7954600929055368554 CPUtime=297.51 cores=0-7
/proc/5314/task/5339/stat : 5339 (java) R 5312 5312 4107 0 -1 4202560 4070 0 0 0 29742 9 0 0 20 0 28 0 512348706 29456678912 160615 33554432000 4194304 4196468 140727018542048 140703415991544 140704427892463 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 25747456 140727018550230 140727018550406 140727018550406 140727018553295 0
[pid=5314/tid=5340] ppid=5312 vsize=28766288 memory=7954600929055368554 CPUtime=297.55 cores=0-7
/proc/5314/task/5340/stat : 5340 (java) R 5312 5312 4107 0 -1 4202560 5781 0 0 0 29745 10 0 0 20 0 28 0 512348706 29456678912 160615 33554432000 4194304 4196468 140727018542048 140703414938552 140704428240623 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 25747456 140727018550230 140727018550406 140727018550406 140727018553295 0
[pid=5314/tid=5341] ppid=5312 vsize=28766288 memory=7954600929055368554 CPUtime=297.47 cores=0-7
/proc/5314/task/5341/stat : 5341 (java) R 5312 5312 4107 0 -1 4202560 3830 0 0 0 29739 8 0 0 20 0 28 0 512348706 29456678912 160615 33554432000 4194304 4196468 140727018542048 140703413886576 140704427460246 0 4 0 16800975 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 25747456 140727018550230 140727018550406 140727018550406 140727018553295 0
Current children cumulated CPU time: 2385.31 s
Current children cumulated vsize: 28879416 KiB
Current children cumulated memory: 643912 KiB
[startup+300.802 s]
/proc/loadavg: 7.99 7.98 7.91 9/219 5360
/proc/meminfo: memFree=25069832/32770624 swapFree=67002384/67108860
[pid=5312] ppid=5309 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/5312/stat : 5312 (xcsp3-exec) S 5309 5312 4107 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 512348607 115843072 363 33554432000 4194304 5098028 140723597555168 140723597553272 140489959449212 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30175232 140723597562706 140723597562965 140723597562965 140723597565894 0
/proc/5312/statm: 28282 363 304 221 0 87 0
[pid=5314] ppid=5312 vsize=28766288 memory=642460 CPUtime=2391.62 cores=0-7
/proc/5314/stat : 5314 (java) S 5312 5312 4107 0 -1 1077944320 146837 0 0 0 239003 159 0 0 20 0 28 0 512348607 29456678912 160615 33554432000 4194304 4196468 140727018542048 140727018524592 140704790630135 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25747456 140727018550230 140727018550406 140727018550406 140727018553295 0
/proc/5314/statm: 7191572 160615 3538 1 0 7152672 0
[pid=5314/tid=5315] ppid=5312 vsize=28766288 memory=7548 CPUtime=0.93 cores=0-7
/proc/5314/task/5315/stat : 5315 (java) S 5312 5312 4107 0 -1 1077944384 9200 0 0 0 86 7 0 0 20 0 28 0 512348607 29456678912 160615 33554432000 4194304 4196468 140727018542048 140704794870912 140704790640341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25747456 140727018550230 140727018550406 140727018550406 140727018553295 0
[pid=5314/tid=5316] ppid=5312 vsize=28766288 memory=2832 CPUtime=0.26 cores=0-7
/proc/5314/task/5316/stat : 5316 (java) S 5312 5312 4107 0 -1 1077944384 1376 0 0 0 19 7 0 0 20 0 28 0 512348608 29456678912 160615 33554432000 4194304 4196468 140727018542048 140704743250832 140704790640341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25747456 140727018550230 140727018550406 140727018550406 140727018553295 0
[pid=5314/tid=5317] ppid=5312 vsize=28766288 memory=1224 CPUtime=0.25 cores=0-7
/proc/5314/task/5317/stat : 5317 (java) S 5312 5312 4107 0 -1 1077944384 4062 0 0 0 19 6 0 0 20 0 28 0 512348608 29456678912 160615 33554432000 4194304 4196468 140727018542048 140704742198032 140704790640341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25747456 140727018550230 140727018550406 140727018550406 140727018553295 0
[pid=5314/tid=5318] ppid=5312 vsize=28766288 memory=640404 CPUtime=0.24 cores=0-7
/proc/5314/task/5318/stat : 5318 (java) S 5312 5312 4107 0 -1 1077944384 1989 0 0 0 19 5 0 0 20 0 28 0 512348608 29456678912 160615 33554432000 4194304 4196468 140727018542048 140704741145744 140704790640341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25747456 140727018550230 140727018550406 140727018550406 140727018553295 0
[pid=5314/tid=5319] ppid=5312 vsize=28766288 memory=640404 CPUtime=0.24 cores=0-7
/proc/5314/task/5319/stat : 5319 (java) S 5312 5312 4107 0 -1 1077944384 2251 0 0 0 18 6 0 0 20 0 28 0 512348608 29456678912 160615 33554432000 4194304 4196468 140727018542048 140704338533392 140704790640341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25747456 140727018550230 140727018550406 140727018550406 140727018553295 0
[pid=5314/tid=5320] ppid=5312 vsize=28766288 memory=1692 CPUtime=0.25 cores=0-7
/proc/5314/task/5320/stat : 5320 (java) S 5312 5312 4107 0 -1 1077944384 2489 0 0 0 19 6 0 0 20 0 28 0 512348608 29456678912 160615 33554432000 4194304 4196468 140727018542048 140704337480080 140704790640341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25747456 140727018550230 140727018550406 140727018550406 140727018553295 0
[pid=5314/tid=5321] ppid=5312 vsize=28766288 memory=3616 CPUtime=0.25 cores=0-7
/proc/5314/task/5321/stat : 5321 (java) S 5312 5312 4107 0 -1 1077944384 2883 0 0 0 19 6 0 0 20 0 28 0 512348608 29456678912 160615 33554432000 4194304 4196468 140727018542048 140704336427280 140704790640341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25747456 140727018550230 140727018550406 140727018550406 140727018553295 0
[pid=5314/tid=5322] ppid=5312 vsize=28766288 memory=7548 CPUtime=0.27 cores=0-7
/proc/5314/task/5322/stat : 5322 (java) S 5312 5312 4107 0 -1 1077944384 1875 0 0 0 21 6 0 0 20 0 28 0 512348608 29456678912 160615 33554432000 4194304 4196468 140727018542048 140704335374992 140704790640341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25747456 140727018550230 140727018550406 140727018550406 140727018553295 0
[pid=5314/tid=5323] ppid=5312 vsize=28766288 memory=1452 CPUtime=0.26 cores=0-7
/proc/5314/task/5323/stat : 5323 (java) S 5312 5312 4107 0 -1 1077944384 2995 0 0 0 19 7 0 0 20 0 28 0 512348608 29456678912 160615 33554432000 4194304 4196468 140727018542048 140704334322192 140704790640341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25747456 140727018550230 140727018550406 140727018550406 140727018553295 0
[pid=5314/tid=5324] ppid=5312 vsize=28766288 memory=644464 CPUtime=0.13 cores=0-7
/proc/5314/task/5324/stat : 5324 (java) S 5312 5312 4107 0 -1 1077944384 7055 0 0 0 9 4 0 0 20 0 28 0 512348610 29456678912 160615 33554432000 4194304 4196468 140727018542048 140703439944304 140704790641282 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25747456 140727018550230 140727018550406 140727018550406 140727018553295 0
[pid=5314/tid=5325] ppid=5312 vsize=28766288 memory=772 CPUtime=0 cores=0-7
/proc/5314/task/5325/stat : 5325 (java) S 5312 5312 4107 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 512348610 29456678912 160615 33554432000 4194304 4196468 140727018542048 140703438890336 140704790640341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25747456 140727018550230 140727018550406 140727018550406 140727018553295 0
[pid=5314/tid=5326] ppid=5312 vsize=28766288 memory=1556 CPUtime=0 cores=0-7
/proc/5314/task/5326/stat : 5326 (java) S 5312 5312 4107 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 28 0 512348610 29456678912 160615 33554432000 4194304 4196468 140727018542048 140703437837952 140704790640341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25747456 140727018550230 140727018550406 140727018550406 140727018553295 0
[pid=5314/tid=5327] ppid=5312 vsize=28766288 memory=1056 CPUtime=0 cores=0-7
/proc/5314/task/5327/stat : 5327 (java) S 5312 5312 4107 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 512348613 29456678912 160615 33554432000 4194304 4196468 140727018542048 140703436786256 140704790648731 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25747456 140727018550230 140727018550406 140727018550406 140727018553295 0
[pid=5314/tid=5328] ppid=5312 vsize=28766288 memory=1096 CPUtime=2.72 cores=0-7
/proc/5314/task/5328/stat : 5328 (java) S 5312 5312 4107 0 -1 1077944384 17416 0 0 0 267 5 0 0 20 0 28 0 512348613 29456678912 160615 33554432000 4194304 4196468 140727018542048 140703435733104 140704790641282 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25747456 140727018550230 140727018550406 140727018550406 140727018553295 0
[pid=5314/tid=5329] ppid=5312 vsize=28766288 memory=14008 CPUtime=3.33 cores=0-7
/proc/5314/task/5329/stat : 5329 (java) S 5312 5312 4107 0 -1 1077944384 21339 0 0 0 329 4 0 0 20 0 28 0 512348613 29456678912 160615 33554432000 4194304 4196468 140727018542048 140703434680304 140704790641282 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25747456 140727018550230 140727018550406 140727018550406 140727018553295 0
[pid=5314/tid=5330] ppid=5312 vsize=28766288 memory=2116 CPUtime=2.09 cores=0-7
/proc/5314/task/5330/stat : 5330 (java) S 5312 5312 4107 0 -1 1077944384 13824 0 0 0 206 3 0 0 20 0 28 0 512348613 29456678912 160615 33554432000 4194304 4196468 140727018542048 140703433628016 140704790641282 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25747456 140727018550230 140727018550406 140727018550406 140727018553295 0
[pid=5314/tid=5331] ppid=5312 vsize=28766288 memory=34864 CPUtime=0.76 cores=0-7
/proc/5314/task/5331/stat : 5331 (java) S 5312 5312 4107 0 -1 1077944384 10528 0 0 0 74 2 0 0 20 0 28 0 512348613 29456678912 160615 33554432000 4194304 4196468 140727018542048 140703432575216 140704790641282 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25747456 140727018550230 140727018550406 140727018550406 140727018553295 0
[pid=5314/tid=5332] ppid=5312 vsize=28766288 memory=12028 CPUtime=0 cores=0-7
/proc/5314/task/5332/stat : 5332 (java) S 5312 5312 4107 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 512348613 29456678912 160615 33554432000 4194304 4196468 140727018542048 140703431523168 140704790640341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25747456 140727018550230 140727018550406 140727018550406 140727018553295 0
[pid=5314/tid=5333] ppid=5312 vsize=28766288 memory=8112282956445269571 CPUtime=0.16 cores=0-7
/proc/5314/task/5333/stat : 5333 (java) S 5312 5312 4107 0 -1 1077944384 1210 0 0 0 16 0 0 0 20 0 28 0 512348613 29456678912 160615 33554432000 4194304 4196468 140727018542048 140703430470448 140704790641282 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25747456 140727018550230 140727018550406 140727018550406 140727018553295 0
[pid=5314/tid=5334] ppid=5312 vsize=28766288 memory=580 CPUtime=297.36 cores=0-7
/proc/5314/task/5334/stat : 5334 (java) R 5312 5312 4107 0 -1 4202560 4701 0 0 0 29729 7 0 0 20 0 28 0 512348702 29456678912 160615 33554432000 4194304 4196468 140727018542048 140703421250968 140704427458880 0 4 0 16800975 0 0 0 -1 7 0 0 4 0 0 6293624 6294260 25747456 140727018550230 140727018550406 140727018550406 140727018553295 0
[pid=5314/tid=5335] ppid=5312 vsize=28766288 memory=1692 CPUtime=298.02 cores=0-7
/proc/5314/task/5335/stat : 5335 (java) R 5312 5312 4107 0 -1 4202560 5004 0 0 0 29794 8 0 0 20 0 28 0 512348702 29456678912 160615 33554432000 4194304 4196468 140727018542048 140703420202032 140704427458620 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 25747456 140727018550230 140727018550406 140727018550406 140727018553295 0
[pid=5314/tid=5336] ppid=5312 vsize=28766288 memory=3616 CPUtime=296.81 cores=0-7
/proc/5314/task/5336/stat : 5336 (java) R 5312 5312 4107 0 -1 4202560 6391 0 0 0 29670 11 0 0 20 0 28 0 512348702 29456678912 160615 33554432000 4194304 4196468 140727018542048 140703419145920 140704426265885 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 25747456 140727018550230 140727018550406 140727018550406 140727018553295 0
[pid=5314/tid=5337] ppid=5312 vsize=28766288 memory=7548 CPUtime=295.98 cores=0-7
/proc/5314/task/5337/stat : 5337 (java) R 5312 5312 4107 0 -1 4202560 8015 0 0 0 29586 12 0 0 20 0 28 0 512348703 29456678912 160615 33554432000 4194304 4196468 140727018542048 140703418093176 140704427458591 0 4 0 16800975 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 25747456 140727018550230 140727018550406 140727018550406 140727018553295 0
[pid=5314/tid=5338] ppid=5312 vsize=28766288 memory=2832 CPUtime=296.18 cores=0-7
/proc/5314/task/5338/stat : 5338 (java) R 5312 5312 4107 0 -1 4202560 7196 0 0 0 29608 10 0 0 20 0 28 0 512348703 29456678912 160615 33554432000 4194304 4196468 140727018542048 140703417040768 140704427460219 0 4 0 16800975 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 25747456 140727018550230 140727018550406 140727018550406 140727018553295 0
[pid=5314/tid=5339] ppid=5312 vsize=28766288 memory=1224 CPUtime=298.3 cores=0-7
/proc/5314/task/5339/stat : 5339 (java) R 5312 5312 4107 0 -1 4202560 4070 0 0 0 29821 9 0 0 20 0 28 0 512348706 29456678912 160615 33554432000 4194304 4196468 140727018542048 140703415988088 140704426825965 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 25747456 140727018550230 140727018550406 140727018550406 140727018553295 0
[pid=5314/tid=5340] ppid=5312 vsize=28766288 memory=6168 CPUtime=298.34 cores=0-7
/proc/5314/task/5340/stat : 5340 (java) R 5312 5312 4107 0 -1 4202560 5781 0 0 0 29824 10 0 0 20 0 28 0 512348706 29456678912 160615 33554432000 4194304 4196468 140727018542048 140703414935816 140704427460601 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 25747456 140727018550230 140727018550406 140727018550406 140727018553295 0
[pid=5314/tid=5341] ppid=5312 vsize=28766288 memory=3616 CPUtime=298.26 cores=0-7
/proc/5314/task/5341/stat : 5341 (java) R 5312 5312 4107 0 -1 4202560 3830 0 0 0 29818 8 0 0 20 0 28 0 512348706 29456678912 160615 33554432000 4194304 4196468 140727018542048 140703413883016 140704427632610 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 25747456 140727018550230 140727018550406 140727018550406 140727018553295 0
Current children cumulated CPU time: 2391.62 s
Current children cumulated vsize: 28879416 KiB
Current children cumulated memory: 643912 KiB
[startup+301.201 s]
/proc/loadavg: 7.99 7.98 7.91 9/219 5360
/proc/meminfo: memFree=25069956/32770624 swapFree=67002384/67108860
[pid=5312] ppid=5309 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/5312/stat : 5312 (xcsp3-exec) S 5309 5312 4107 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 512348607 115843072 363 33554432000 4194304 5098028 140723597555168 140723597553272 140489959449212 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30175232 140723597562706 140723597562965 140723597562965 140723597565894 0
/proc/5312/statm: 28282 363 304 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1452 KiB
Child status: 0
Real time (s): 301.21
CPU time (s): 2394.62
CPU user time (s): 2393
CPU system time (s): 1.61164
CPU usage (%): 795
Max. virtual memory (cumulated for all children) (KiB): 28881336
Max. memory (cumulated for all children) (KiB): 1188336
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2393
system time used= 1.61164
maximum resident set size= 1203780
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 151012
page faults= 0
swaps= 0
block input operations= 0
block output operations= 528
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 17068
involuntary context switches= 27517
# summary of solver processes directly reported to runsolver:
# pid: 5312
# total CPU time (s): 2394.62
# total CPU user time (s): 2393
# total CPU system time (s): 1.61164
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.64612 second user time and 4.02857 second system time
The end
Begin job on node146 at 2019-09-25 00:31:45
IDJOB=4406872
IDBENCH=141698
IDSOLVER=2871
FILE ID=node146/4406872-1569364347
RUNJOBID= node146-1569360588-4134
PBS_JOBID= 21705124
Free space on /var/tmp= 13508 MiB
SOLVER NAME= choco-solver 2019-09-24 parallel
BENCH NAME= XCSP19/hcp/graph252.xml
COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 24000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4406872-1569364347/watcher-4406872-1569364347 -o /var/tmp/evaluation-result-4406872-1569364347/solver-4406872-1569364347 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node146-1569360588-4134 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 482366067 HOME/instance-4406872-1569364347.xml
TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= 38d76d568b0da13c7191c020c1ef1fbc
RANDOM SEED=482366067
node146.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 : 5332.90
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 : 5332.90
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 : 5332.90
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 : 5332.90
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: 25700404 kB
MemAvailable: 31842212 kB
Buffers: 120308 kB
Cached: 6127832 kB
SwapCached: 3552 kB
Active: 3097452 kB
Inactive: 3156856 kB
Active(anon): 5088 kB
Inactive(anon): 56852 kB
Active(file): 3092364 kB
Inactive(file): 3100004 kB
Unevictable: 110884 kB
Mlocked: 110884 kB
SwapTotal: 67108860 kB
SwapFree: 67002384 kB
Dirty: 26232 kB
Writeback: 0 kB
AnonPages: 116972 kB
Mapped: 56884 kB
Shmem: 47640 kB
Slab: 406648 kB
SReclaimable: 377900 kB
SUnreclaim: 28748 kB
KernelStack: 3648 kB
PageTables: 5736 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 516384 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350232 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 69632 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 109952 kB
DirectMap2M: 33435648 kB
Free space on /var/tmp at the end= 13484 MiB
End job on node146 at 2019-09-25 00:36:47