Trace number 4399673

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
choco-solver 2019-09-16 parallelSAT 44.6137 6.72529

General information on the benchmark

NameXCSP19/hcp/
graph254.xml
MD5SUM68b62eb0ee4f1f32ebe5ed32147b7b19
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark4.73735
Satisfiable
(Un)Satisfiability was proved
Number of variables1582
Number of constraints1
Number of domains1582
Minimum domain size3
Maximum domain size4
Distribution of domain sizes[{"size":3,"count":1580},{"size":4,"count":2}]
Minimum variable degree1
Maximum variable degree1
Distribution of variable degrees[{"degree":1,"count":1582}]
Minimum constraint arity1582
Maximum constraint arity1582
Distribution of constraint arities[{"arity":1582,"count":1}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"circuit","count":1}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4399673-1568718243.xml"  -tl '20160s' -p 8
0.12/0.18	c Choco e747e1e
0.12/0.18	c [HOME/instance-4399673-1568718243.xml, -tl, 20160s, -p, 8]
0.34/0.22	c 8 solvers in parallel
0.34/0.28	c parse instance...
2.52/0.92	c solve instance...
44.58/6.70	s SATISFIABLE
44.58/6.70	v <instantiation>
44.58/6.70	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 v1572 v1573 v1574 v1575 v1576 v1577 v1578 v1579 v1580 v1581 </list>
44.58/6.70	v 	<values>549 958 1091 126 556 41 1507 323 40 1126 1005 1116 1090 1512 349 403 623 964 793 602 1109 1084 1290 777 1 831 1328 744 541 1063 1408 392 99 295 638 531 1516 275 478 861 1271 1141 235 1092 1429 544 681 628 1485 1212 1578 852 1148 247 251 646 50 94 49 25 1278 238 0 912 1107 1064 846 875 663 1565 782 1266 1579 1501 1032 436 705 1479 96 37 1256 234 571 22 1312 1066 1413 39 1498 162 362 480 73 1500 1254 132 68 630 1403 717 313 1130 1503 737 1473 949 101 1417 133 211 1223 605 754 815 780 367 288 393 440 667 1249 517 460 944 511 1341 897 766 1054 301 532 714 1581 1559 466 877 86 1179 216 230 8 1470 1068 1007 562 722 1483 1342 340 278 805 42 1465 736 1131 1397 1270 258 1123 1319 177 1306 516 497 1415 615 382 427 1533 621 1088 314 309 1390 481 791 1114 474 998 825 1298 413 220 997 649 501 1152 179 1391 265 826 224 1086 364 905 342 966 405 1289 105 588 974 1299 1265 55 399 17 699 1378 660 72 398 946 1322 1379 507 1395 1294 158 1519 853 1438 371 868 1497 1181 1067 583 1321 449 568 1268 64 1352 1096 23 144 842 1538 394 828 1070 666 1405 668 36 150 518 992 539 808 980 1010 576 1138 1125 66 784 551 730 658 1567 957 794 92 942 1393 1056 913 1050 266 140 758 932 107 76 396 469 682 1439 1511 569 813 528 1035 34 765 696 534 1521 979 909 2 1272 1366 109 232 1358 1513 1401 880 796 835 1414 1075 79 407 1355 1213 1373 1284 1372 971 159 1502 1430 798 377 10 577 787 558 387 56 515 1561 1472 1550 555 1078 1427 1065 580 899 1451 298 921 862 678 180 256 1189 172 1043 524 1172 654 1446 1072 1112 977 1267 1167 59 627 519 255 929 559 637 656 690 98 1089 1569 1411 1336 130 1407 226 510 659 574 582 121 1260 824 1176 1388 887 1121 53 734 1128 1239 1208 282 1080 415 83 1194 1170 268 1158 1527 894 354 1433 142 154 176 1362 242 149 1215 219 614 731 575 58 542 1409 370 561 1291 590 145 1051 1205 112 708 404 1404 103 801 182 1014 1140 711 1034 329 280 381 254 1296 1571 1420 1061 217 937 85 775 530 1329 1040 1146 1353 1166 1246 1226 1240 1346 77 190 512 707 591 1156 594 494 1102 462 1396 122 222 700 57 762 748 291 645 1165 285 267 492 1387 879 1171 1572 331 215 918 617 740 1038 1227 160 28 9 1124 1251 1224 619 1314 767 91 164 1196 400 526 513 208 1310 1543 69 1024 264 174 375 1517 1344 504 999 1269 680 452 901 391 1487 1245 636 1522 455 1326 424 527 411 608 1263 1458 986 1262 1012 70 1311 1082 1244 522 1047 865 816 281 553 456 199 117 789 473 4 1568 1283 345 51 1309 941 1448 1464 1323 908 1042 947 1506 239 1009 990 563 1488 830 1187 1304 770 118 1055 493 305 795 884 1029 804 63 761 1045 464 1053 873 1292 922 1232 691 27 1469 44 962 1004 297 1566 496 1011 724 1293 1349 778 192 212 369 270 165 203 792 523 1545 860 1182 874 952 1093 423 800 102 1101 193 938 639 749 237 693 210 779 1466 726 1461 1301 1467 358 1276 586 1515 620 1242 292 279 1575 38 797 1151 662 864 304 95 687 397 713 1136 1339 1554 185 1217 447 1453 537 1252 1015 763 651 24 1180 546 245 75 675 721 1305 1508 781 317 642 1280 1186 759 807 356 1547 1444 352 147 100 854 1094 1377 475 1229 29 1376 1478 633 1580 755 1247 233 903 468 1544 601 917 125 272 1375 683 488 914 657 1360 274 106 315 115 1142 1219 996 1105 626 1081 972 482 293 390 1347 603 1210 443 157 269 970 82 259 344 640 674 250 1526 1302 372 1570 196 1354 536 1258 753 229 916 1201 1425 207 1338 973 1000 1033 120 543 202 395 1127 607 351 184 409 1218 503 1132 878 821 612 1447 1541 1006 129 1106 834 1553 451 919 624 814 1285 1026 1535 934 325 363 434 953 365 54 1203 525 1162 1295 1394 983 1264 1255 718 1169 1206 786 457 169 820 1095 967 684 1129 1073 595 1468 1117 604 521 1449 927 738 433 742 310 1307 311 189 1493 1357 87 1484 308 1058 1002 306 15 236 1303 1230 1316 850 324 900 155 725 1231 652 948 1419 486 695 545 712 21 1250 978 1022 290 1562 65 644 406 1248 751 146 1074 1198 799 35 881 891 984 622 728 1017 844 47 123 1368 1028 131 1153 273 502 810 1103 1454 719 1536 338 723 153 893 152 116 209 1281 459 727 479 378 1120 1573 1104 806 368 1431 1421 485 538 1041 81 410 1551 61 704 701 1282 89 1324 1288 286 670 148 114 330 448 833 939 600 438 672 181 1021 514 889 1279 788 812 843 1410 1320 890 1334 703 609 1069 951 838 1046 1018 599 1190 975 552 195 178 138 1556 498 1523 1209 1462 1528 1207 441 1558 697 920 353 489 1435 803 1577 1442 5 1432 928 327 1108 1455 1385 445 1402 135 1317 954 113 560 1060 223 1195 969 346 294 1333 1145 241 1426 183 840 1428 956 1300 1163 249 499 924 1318 32 1399 1555 467 167 960 567 487 1474 679 665 596 1406 141 988 1345 579 855 1412 1549 1332 128 989 470 414 743 1016 127 597 1257 1370 1159 60 191 31 243 206 1495 965 1384 1331 432 926 343 231 1191 319 1530 819 564 1287 1542 483 1157 1199 30 570 1133 463 302 827 1049 709 669 685 839 869 841 248 606 1185 585 3 1031 426 261 151 1546 629 653 380 1098 322 1220 1259 108 1222 1459 260 401 746 823 1273 1100 735 495 1225 1499 1494 1440 491 573 664 1422 565 1416 870 923 1576 863 1160 533 1274 872 1325 1437 592 1337 1119 930 334 430 506 867 1505 733 898 993 773 1445 1155 1348 936 348 886 1531 1369 213 1236 360 548 547 1335 300 476 1518 1183 589 1350 18 729 1534 650 420 1234 421 1059 882 320 1099 1013 14 1532 1434 1071 1525 271 446 1398 1486 1351 1436 1097 139 732 557 756 634 7 124 246 412 173 332 1327 20 1386 1537 1356 175 955 885 1315 587 78 1400 847 505 1509 1221 336 1490 757 383 811 385 945 374 829 706 1471 710 201 817 509 802 1476 1574 790 1548 613 1037 347 677 739 1214 225 1297 888 832 661 33 1087 1520 508 698 1330 419 442 171 221 985 52 13 67 1418 1510 62 104 1359 1118 540 689 1177 1489 618 318 277 384 1365 388 1340 529 1143 453 769 1238 578 981 982 1027 1389 425 671 647 437 429 768 357 1150 263 1178 995 1560 168 1452 188 12 1514 359 1243 422 88 1491 635 1144 1492 1019 214 616 906 93 1110 1036 895 337 688 741 702 472 252 1456 1052 1374 1308 1463 1481 1477 1192 299 1392 760 1001 785 283 366 845 1168 1202 809 686 1008 296 859 90 1424 632 1111 1083 1564 715 1475 848 866 26 156 46 1450 326 1563 454 849 373 676 1211 1381 197 857 987 328 692 1241 871 244 170 500 458 1343 925 386 959 1233 858 1496 228 333 935 312 1216 227 204 1193 471 961 355 1044 752 1057 187 490 851 716 1200 566 1030 321 1079 1020 465 1184 1062 186 931 550 1147 1363 910 1076 19 435 198 598 134 444 1048 1253 933 1174 1557 1023 1149 1482 450 818 1164 963 43 287 1085 484 1423 303 915 161 883 431 1237 205 1154 902 1122 97 16 1139 836 341 911 1383 876 262 856 1261 747 284 1540 783 611 200 1371 694 316 84 771 520 774 461 1228 610 764 1175 837 1539 6 335 750 776 439 720 477 584 535 143 119 307 194 1188 350 648 1443 1161 904 1441 1364 940 45 655 240 389 641 136 950 1025 376 572 166 994 110 1313 276 625 1204 1039 581 48 772 218 1235 1361 991 257 379 339 1380 1113 408 896 253 1286 137 968 1197 1524 643 631 1077 1460 417 1003 1382 943 111 1529 976 1275 673 907 1504 402 1277 1367 289 163 71 1173 1115 428 1134 74 1137 416 418 361 1480 745 80 822 593 1552 892 11 554 1135 1457 </values>
44.58/6.70	v </instantiation>

Verifier Data 

OK

Watcher Data 

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 (14960 MiB free)
  memory of node 1: 16384 MiB (15327 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4399673-1568718243/watcher-4399673-1568718243 -o /tmp/evaluation-result-4399673-1568718243/solver-4399673-1568718243 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node133-1568711398-2678 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 2024195108 HOME/instance-4399673-1568718243.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
solver pid=4464, runsolver pid=4461
Current StackSize limit: 8192 KiB


[startup+0.100137 s]*
/proc/loadavg: 7.43 8.18 8.25 2/216 4485
/proc/meminfo: memFree=30997404/32770624 swapFree=67004576/67108860
[pid=4464] ppid=4461 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/4464/stat : 4464 (xcsp3-exec) S 4461 4464 2651 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 448063871 115843072 364 33554432000 4194304 5098028 140729633675728 140729633673832 140481491006076 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 18448384 140729633682293 140729633682537 140729633682537 140729633685450 0
/proc/4464/statm: 28282 364 305 221 0 87 0
[pid=4466] ppid=4464 vsize=28227396 memory=30164 CPUtime=0.12 cores=0-7
/proc/4466/stat : 4466 (java) S 4464 4464 2651 0 -1 1077944320 5447 0 0 0 11 1 0 0 20 0 20 0 448063871 28904853504 7541 33554432000 4194304 4196468 140725375544656 140725375527200 139860820958967 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12124160 140725375550442 140725375550614 140725375550614 140725375553487 0
/proc/4466/statm: 7056849 7541 3157 1 0 7019032 0
[pid=4466/tid=4467] ppid=4464 vsize=28227396 memory=4134692831991783777 CPUtime=0.08 cores=0-7
/proc/4466/task/4467/stat : 4467 (java) R 4464 4464 2651 0 -1 4202560 3391 0 0 0 8 0 0 0 20 0 20 0 448063872 28904853504 7541 33554432000 4194304 4196468 140725375544656 139860825190880 139860805002597 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12124160 140725375550442 140725375550614 140725375550614 140725375553487 0
[pid=4466/tid=4468] ppid=4464 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/4466/task/4468/stat : 4468 (java) S 4464 4464 2651 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448063872 28904853504 7541 33554432000 4194304 4196468 140725375544656 139860779719568 139860820969173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12124160 140725375550442 140725375550614 140725375550614 140725375553487 0
[pid=4466/tid=4469] ppid=4464 vsize=28227396 memory=140011903657600 CPUtime=0 cores=0-7
/proc/4466/task/4469/stat : 4469 (java) S 4464 4464 2651 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 448063872 28904853504 7541 33554432000 4194304 4196468 140725375544656 139860371319568 139860820969173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12124160 140725375550442 140725375550614 140725375550614 140725375553487 0
[pid=4466/tid=4470] ppid=4464 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/4466/task/4470/stat : 4470 (java) S 4464 4464 2651 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 448063873 28904853504 7541 33554432000 4194304 4196468 140725375544656 139860370267280 139860820969173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12124160 140725375550442 140725375550614 140725375550614 140725375553487 0
[pid=4466/tid=4471] ppid=4464 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/4466/task/4471/stat : 4471 (java) S 4464 4464 2651 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448063873 28904853504 7541 33554432000 4194304 4196468 140725375544656 139860369214480 139860820969173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12124160 140725375550442 140725375550614 140725375550614 140725375553487 0
[pid=4466/tid=4472] ppid=4464 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/4466/task/4472/stat : 4472 (java) S 4464 4464 2651 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448063873 28904853504 7541 33554432000 4194304 4196468 140725375544656 139860368161168 139860820969173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12124160 140725375550442 140725375550614 140725375550614 140725375553487 0
[pid=4466/tid=4473] ppid=4464 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/4466/task/4473/stat : 4473 (java) S 4464 4464 2651 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 448063873 28904853504 7541 33554432000 4194304 4196468 140725375544656 139860367108368 139860820969173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12124160 140725375550442 140725375550614 140725375550614 140725375553487 0
[pid=4466/tid=4474] ppid=4464 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/4466/task/4474/stat : 4474 (java) S 4464 4464 2651 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448063873 28904853504 7541 33554432000 4194304 4196468 140725375544656 139860366056080 139860820969173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12124160 140725375550442 140725375550614 140725375550614 140725375553487 0
[pid=4466/tid=4475] ppid=4464 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/4466/task/4475/stat : 4475 (java) S 4464 4464 2651 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 448063873 28904853504 7541 33554432000 4194304 4196468 140725375544656 139860365003280 139860820969173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12124160 140725375550442 140725375550614 140725375550614 140725375553487 0
[pid=4466/tid=4476] ppid=4464 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/4466/task/4476/stat : 4476 (java) S 4464 4464 2651 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 448063874 28904853504 7541 33554432000 4194304 4196468 140725375544656 139859937327728 139860820970114 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12124160 140725375550442 140725375550614 140725375550614 140725375553487 0
[pid=4466/tid=4477] ppid=4464 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/4466/task/4477/stat : 4477 (java) S 4464 4464 2651 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 448063874 28904853504 7541 33554432000 4194304 4196468 140725375544656 139859936273696 139860820969173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12124160 140725375550442 140725375550614 140725375550614 140725375553487 0
[pid=4466/tid=4478] ppid=4464 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/4466/task/4478/stat : 4478 (java) S 4464 4464 2651 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 448063875 28904853504 7541 33554432000 4194304 4196468 140725375544656 139859935221360 139860820969173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12124160 140725375550442 140725375550614 140725375550614 140725375553487 0
[pid=4466/tid=4479] ppid=4464 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/4466/task/4479/stat : 4479 (java) S 4464 4464 2651 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448063877 28904853504 7541 33554432000 4194304 4196468 140725375544656 139859934169680 139860820977563 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12124160 140725375550442 140725375550614 140725375550614 140725375553487 0
[pid=4466/tid=4480] ppid=4464 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/4466/task/4480/stat : 4480 (java) S 4464 4464 2651 0 -1 1077944384 417 0 0 0 0 0 0 0 20 0 20 0 448063877 28904853504 7541 33554432000 4194304 4196468 140725375544656 139859933116528 139860820970114 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12124160 140725375550442 140725375550614 140725375550614 140725375553487 0
[pid=4466/tid=4481] ppid=4464 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/4466/task/4481/stat : 4481 (java) S 4464 4464 2651 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 448063877 28904853504 7541 33554432000 4194304 4196468 140725375544656 139859932063728 139860820970114 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12124160 140725375550442 140725375550614 140725375550614 140725375553487 0
[pid=4466/tid=4482] ppid=4464 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/4466/task/4482/stat : 4482 (java) R 4464 4464 2651 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 20 0 448063877 28904853504 7541 33554432000 4194304 4196468 140725375544656 139859931011440 139860798979769 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12124160 140725375550442 140725375550614 140725375550614 140725375553487 0
[pid=4466/tid=4483] ppid=4464 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/4466/task/4483/stat : 4483 (java) R 4464 4464 2651 0 -1 4202560 324 0 0 0 2 0 0 0 20 0 20 0 448063877 28904853504 7541 33554432000 4194304 4196468 140725375544656 139859929958640 139860805127462 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12124160 140725375550442 140725375550614 140725375550614 140725375553487 0
[pid=4466/tid=4484] ppid=4464 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/4466/task/4484/stat : 4484 (java) S 4464 4464 2651 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 448063877 28904853504 7541 33554432000 4194304 4196468 140725375544656 139859928906592 139860820969173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12124160 140725375550442 140725375550614 140725375550614 140725375553487 0
[pid=4466/tid=4485] ppid=4464 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/4466/task/4485/stat : 4485 (java) S 4464 4464 2651 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448063878 28904853504 7541 33554432000 4194304 4196468 140725375544656 139859927853872 139860820970114 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12124160 140725375550442 140725375550614 140725375550614 140725375553487 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 31620 KiB

[startup+0.210886 s]*
/proc/loadavg: 7.43 8.18 8.25 3/216 4485
/proc/meminfo: memFree=30985304/32770624 swapFree=67004576/67108860
[pid=4464] ppid=4461 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/4464/stat : 4464 (xcsp3-exec) S 4461 4464 2651 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 448063871 115843072 364 33554432000 4194304 5098028 140729633675728 140729633673832 140481491006076 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 18448384 140729633682293 140729633682537 140729633682537 140729633685450 0
/proc/4464/statm: 28282 364 305 221 0 87 0
[pid=4466] ppid=4464 vsize=28227396 memory=40752 CPUtime=0.34 cores=0-7
/proc/4466/stat : 4466 (java) S 4464 4464 2651 0 -1 1077944320 8949 0 0 0 31 3 0 0 20 0 20 0 448063871 28904853504 10188 33554432000 4194304 4196468 140725375544656 140725375527200 139860820958967 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12124160 140725375550442 140725375550614 140725375550614 140725375553487 0
/proc/4466/statm: 7056849 10188 3277 1 0 7019032 0
[pid=4466/tid=4467] ppid=4464 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/4466/task/4467/stat : 4467 (java) R 4464 4464 2651 0 -1 4202560 6192 0 0 0 18 2 0 0 20 0 20 0 448063872 28904853504 10188 33554432000 4194304 4196468 140725375544656 139860825188688 139860820970902 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12124160 140725375550442 140725375550614 140725375550614 140725375553487 0
[pid=4466/tid=4468] ppid=4464 vsize=28227396 memory=339 CPUtime=0 cores=0-7
/proc/4466/task/4468/stat : 4468 (java) S 4464 4464 2651 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448063872 28904853504 10188 33554432000 4194304 4196468 140725375544656 139860779719568 139860820969173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12124160 140725375550442 140725375550614 140725375550614 140725375553487 0
[pid=4466/tid=4469] ppid=4464 vsize=28227396 memory=140011903671180 CPUtime=0 cores=0-7
/proc/4466/task/4469/stat : 4469 (java) S 4464 4464 2651 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 448063872 28904853504 10188 33554432000 4194304 4196468 140725375544656 139860371319568 139860820969173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12124160 140725375550442 140725375550614 140725375550614 140725375553487 0
[pid=4466/tid=4470] ppid=4464 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/4466/task/4470/stat : 4470 (java) S 4464 4464 2651 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 448063873 28904853504 10188 33554432000 4194304 4196468 140725375544656 139860370267280 139860820969173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12124160 140725375550442 140725375550614 140725375550614 140725375553487 0
[pid=4466/tid=4471] ppid=4464 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/4466/task/4471/stat : 4471 (java) S 4464 4464 2651 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448063873 28904853504 10188 33554432000 4194304 4196468 140725375544656 139860369214480 139860820969173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12124160 140725375550442 140725375550614 140725375550614 140725375553487 0
[pid=4466/tid=4472] ppid=4464 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/4466/task/4472/stat : 4472 (java) S 4464 4464 2651 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448063873 28904853504 10188 33554432000 4194304 4196468 140725375544656 139860368161168 139860820969173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12124160 140725375550442 140725375550614 140725375550614 140725375553487 0
[pid=4466/tid=4473] ppid=4464 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/4466/task/4473/stat : 4473 (java) S 4464 4464 2651 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 448063873 28904853504 10188 33554432000 4194304 4196468 140725375544656 139860367108368 139860820969173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12124160 140725375550442 140725375550614 140725375550614 140725375553487 0
[pid=4466/tid=4474] ppid=4464 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/4466/task/4474/stat : 4474 (java) S 4464 4464 2651 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448063873 28904853504 10188 33554432000 4194304 4196468 140725375544656 139860366056080 139860820969173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12124160 140725375550442 140725375550614 140725375550614 140725375553487 0
[pid=4466/tid=4475] ppid=4464 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/4466/task/4475/stat : 4475 (java) S 4464 4464 2651 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 448063873 28904853504 10188 33554432000 4194304 4196468 140725375544656 139860365003280 139860820969173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12124160 140725375550442 140725375550614 140725375550614 140725375553487 0
[pid=4466/tid=4476] ppid=4464 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/4466/task/4476/stat : 4476 (java) S 4464 4464 2651 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 448063874 28904853504 10188 33554432000 4194304 4196468 140725375544656 139859937327728 139860820970114 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12124160 140725375550442 140725375550614 140725375550614 140725375553487 0
[pid=4466/tid=4477] ppid=4464 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/4466/task/4477/stat : 4477 (java) S 4464 4464 2651 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 448063874 28904853504 10188 33554432000 4194304 4196468 140725375544656 139859936273696 139860820969173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12124160 140725375550442 140725375550614 140725375550614 140725375553487 0
[pid=4466/tid=4478] ppid=4464 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/4466/task/4478/stat : 4478 (java) S 4464 4464 2651 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 448063875 28904853504 10188 33554432000 4194304 4196468 140725375544656 139859935221360 139860820969173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12124160 140725375550442 140725375550614 140725375550614 140725375553487 0
[pid=4466/tid=4479] ppid=4464 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/4466/task/4479/stat : 4479 (java) S 4464 4464 2651 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448063877 28904853504 10188 33554432000 4194304 4196468 140725375544656 139859934169680 139860820977563 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12124160 140725375550442 140725375550614 140725375550614 140725375553487 0
[pid=4466/tid=4480] ppid=4464 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/4466/task/4480/stat : 4480 (java) S 4464 4464 2651 0 -1 1077944384 437 0 0 0 1 0 0 0 20 0 20 0 448063877 28904853504 10188 33554432000 4194304 4196468 140725375544656 139859933116528 139860820970114 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12124160 140725375550442 140725375550614 140725375550614 140725375553487 0
[pid=4466/tid=4481] ppid=4464 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/4466/task/4481/stat : 4481 (java) S 4464 4464 2651 0 -1 1077944384 47 0 0 0 1 0 0 0 20 0 20 0 448063877 28904853504 10188 33554432000 4194304 4196468 140725375544656 139859932063728 139860820970114 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12124160 140725375550442 140725375550614 140725375550614 140725375553487 0
[pid=4466/tid=4482] ppid=4464 vsize=28227396 memory=-1 CPUtime=0.02 cores=0-7
/proc/4466/task/4482/stat : 4482 (java) S 4464 4464 2651 0 -1 1077944384 185 0 0 0 2 0 0 0 20 0 20 0 448063877 28904853504 10188 33554432000 4194304 4196468 140725375544656 139859931011440 139860820970114 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12124160 140725375550442 140725375550614 140725375550614 140725375553487 0
[pid=4466/tid=4483] ppid=4464 vsize=28227396 memory=-1 CPUtime=0.08 cores=0-7
/proc/4466/task/4483/stat : 4483 (java) R 4464 4464 2651 0 -1 4202560 774 0 0 0 8 0 0 0 20 0 20 0 448063877 28904853504 10188 33554432000 4194304 4196468 140725375544656 139859929958768 139860820970902 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12124160 140725375550442 140725375550614 140725375550614 140725375553487 0
[pid=4466/tid=4484] ppid=4464 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/4466/task/4484/stat : 4484 (java) S 4464 4464 2651 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 448063877 28904853504 10188 33554432000 4194304 4196468 140725375544656 139859928906592 139860820969173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12124160 140725375550442 140725375550614 140725375550614 140725375553487 0
[pid=4466/tid=4485] ppid=4464 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/4466/task/4485/stat : 4485 (java) S 4464 4464 2651 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448063878 28904853504 10188 33554432000 4194304 4196468 140725375544656 139859927853872 139860820970114 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12124160 140725375550442 140725375550614 140725375550614 140725375553487 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 42208 KiB

[startup+0.312183 s]*
/proc/loadavg: 7.43 8.18 8.25 4/215 4485
/proc/meminfo: memFree=30978284/32770624 swapFree=67004576/67108860
[pid=4464] ppid=4461 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/4464/stat : 4464 (xcsp3-exec) S 4461 4464 2651 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 448063871 115843072 364 33554432000 4194304 5098028 140729633675728 140729633673832 140481491006076 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 18448384 140729633682293 140729633682537 140729633682537 140729633685450 0
/proc/4464/statm: 28282 364 305 221 0 87 0
[pid=4466] ppid=4464 vsize=28231652 memory=50204 CPUtime=0.53 cores=0-7
/proc/4466/stat : 4466 (java) S 4464 4464 2651 0 -1 1077944320 10407 0 0 0 49 4 0 0 20 0 20 0 448063871 28909211648 12551 33554432000 4194304 4196468 140725375544656 140725375527200 139860820958967 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12124160 140725375550442 140725375550614 140725375550614 140725375553487 0
/proc/4466/statm: 7057913 12551 3370 1 0 7019032 0
[pid=4466/tid=4467] ppid=4464 vsize=28231652 memory=8112282956445269571 CPUtime=0.3 cores=0-7
/proc/4466/task/4467/stat : 4467 (java) R 4464 4464 2651 0 -1 4202560 7338 0 0 0 27 3 0 0 20 0 20 0 448063872 28909211648 12620 33554432000 4194304 4196468 140725375544656 139860825190080 139860805039454 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12124160 140725375550442 140725375550614 140725375550614 140725375553487 0
[pid=4466/tid=4468] ppid=4464 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/4466/task/4468/stat : 4468 (java) S 4464 4464 2651 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448063872 28909211648 12620 33554432000 4194304 4196468 140725375544656 139860779719568 139860820969173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12124160 140725375550442 140725375550614 140725375550614 140725375553487 0
[pid=4466/tid=4469] ppid=4464 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/4466/task/4469/stat : 4469 (java) S 4464 4464 2651 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 448063872 28909211648 12620 33554432000 4194304 4196468 140725375544656 139860371319568 139860820969173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12124160 140725375550442 140725375550614 140725375550614 140725375553487 0
[pid=4466/tid=4470] ppid=4464 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/4466/task/4470/stat : 4470 (java) S 4464 4464 2651 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 448063873 28909211648 12620 33554432000 4194304 4196468 140725375544656 139860370267280 139860820969173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12124160 140725375550442 140725375550614 140725375550614 140725375553487 0
[pid=4466/tid=4471] ppid=4464 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/4466/task/4471/stat : 4471 (java) S 4464 4464 2651 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448063873 28909211648 12620 33554432000 4194304 4196468 140725375544656 139860369214480 139860820969173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12124160 140725375550442 140725375550614 140725375550614 140725375553487 0
[pid=4466/tid=4472] ppid=4464 vsize=28231652 memory=2244 CPUtime=0 cores=0-7
/proc/4466/task/4472/stat : 4472 (java) S 4464 4464 2651 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448063873 28909211648 12620 33554432000 4194304 4196468 140725375544656 139860368161168 139860820969173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12124160 140725375550442 140725375550614 140725375550614 140725375553487 0
[pid=4466/tid=4473] ppid=4464 vsize=28231652 memory=140011773195183 CPUtime=0 cores=0-7
/proc/4466/task/4473/stat : 4473 (java) S 4464 4464 2651 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 448063873 28909211648 12620 33554432000 4194304 4196468 140725375544656 139860367108368 139860820969173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12124160 140725375550442 140725375550614 140725375550614 140725375553487 0
[pid=4466/tid=4474] ppid=4464 vsize=28231652 memory=140011773197488 CPUtime=0 cores=0-7
/proc/4466/task/4474/stat : 4474 (java) S 4464 4464 2651 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448063873 28909211648 12620 33554432000 4194304 4196468 140725375544656 139860366056080 139860820969173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12124160 140725375550442 140725375550614 140725375550614 140725375553487 0
[pid=4466/tid=4475] ppid=4464 vsize=28231652 memory=140011773199792 CPUtime=0 cores=0-7
/proc/4466/task/4475/stat : 4475 (java) S 4464 4464 2651 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 448063873 28909211648 12620 33554432000 4194304 4196468 140725375544656 139860365003280 139860820969173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12124160 140725375550442 140725375550614 140725375550614 140725375553487 0
[pid=4466/tid=4476] ppid=4464 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/4466/task/4476/stat : 4476 (java) S 4464 4464 2651 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 448063874 28909211648 12620 33554432000 4194304 4196468 140725375544656 139859937327728 139860820970114 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12124160 140725375550442 140725375550614 140725375550614 140725375553487 0
[pid=4466/tid=4477] ppid=4464 vsize=28231652 memory=280023546406544 CPUtime=0 cores=0-7
/proc/4466/task/4477/stat : 4477 (java) S 4464 4464 2651 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 448063874 28909211648 12620 33554432000 4194304 4196468 140725375544656 139859936273696 139860820969173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12124160 140725375550442 140725375550614 140725375550614 140725375553487 0
[pid=4466/tid=4478] ppid=4464 vsize=28231652 memory=280023546413456 CPUtime=0 cores=0-7
/proc/4466/task/4478/stat : 4478 (java) S 4464 4464 2651 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 448063875 28909211648 12620 33554432000 4194304 4196468 140725375544656 139859935221360 139860820969173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12124160 140725375550442 140725375550614 140725375550614 140725375553487 0
[pid=4466/tid=4479] ppid=4464 vsize=28231652 memory=280023546354736 CPUtime=0 cores=0-7
/proc/4466/task/4479/stat : 4479 (java) S 4464 4464 2651 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448063877 28909211648 12620 33554432000 4194304 4196468 140725375544656 139859934169680 139860820977563 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12124160 140725375550442 140725375550614 140725375550614 140725375553487 0
[pid=4466/tid=4480] ppid=4464 vsize=28231652 memory=280023546427280 CPUtime=0.02 cores=0-7
/proc/4466/task/4480/stat : 4480 (java) S 4464 4464 2651 0 -1 1077944384 462 0 0 0 2 0 0 0 20 0 20 0 448063877 28909211648 12620 33554432000 4194304 4196468 140725375544656 139859933116528 139860820970114 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12124160 140725375550442 140725375550614 140725375550614 140725375553487 0
[pid=4466/tid=4481] ppid=4464 vsize=28231652 memory=280023546434192 CPUtime=0.02 cores=0-7
/proc/4466/task/4481/stat : 4481 (java) S 4464 4464 2651 0 -1 1077944384 85 0 0 0 2 0 0 0 20 0 20 0 448063877 28909211648 12620 33554432000 4194304 4196468 140725375544656 139859932063728 139860820970114 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12124160 140725375550442 140725375550614 140725375550614 140725375553487 0
[pid=4466/tid=4482] ppid=4464 vsize=28231652 memory=280023546431888 CPUtime=0.04 cores=0-7
/proc/4466/task/4482/stat : 4482 (java) R 4464 4464 2651 0 -1 4202560 300 0 0 0 4 0 0 0 20 0 20 0 448063877 28909211648 12620 33554432000 4194304 4196468 140725375544656 139859930992456 139860806084336 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12124160 140725375550442 140725375550614 140725375550614 140725375553487 0
[pid=4466/tid=4483] ppid=4464 vsize=28231652 memory=280023546448048 CPUtime=0.12 cores=0-7
/proc/4466/task/4483/stat : 4483 (java) S 4464 4464 2651 0 -1 1077944384 926 0 0 0 12 0 0 0 20 0 20 0 448063877 28909211648 12620 33554432000 4194304 4196468 140725375544656 139859929958640 139860820970114 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12124160 140725375550442 140725375550614 140725375550614 140725375553487 0
[pid=4466/tid=4484] ppid=4464 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/4466/task/4484/stat : 4484 (java) S 4464 4464 2651 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 448063877 28909211648 12620 33554432000 4194304 4196468 140725375544656 139859928906592 139860820969173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12124160 140725375550442 140725375550614 140725375550614 140725375553487 0
[pid=4466/tid=4485] ppid=4464 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/4466/task/4485/stat : 4485 (java) S 4464 4464 2651 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448063878 28909211648 12620 33554432000 4194304 4196468 140725375544656 139859927853872 139860820970114 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12124160 140725375550442 140725375550614 140725375550614 140725375553487 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 51660 KiB

[startup+0.704361 s]
/proc/loadavg: 7.43 8.18 8.25 3/215 4485
/proc/meminfo: memFree=30964976/32770624 swapFree=67004576/67108860
[pid=4464] ppid=4461 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/4464/stat : 4464 (xcsp3-exec) S 4461 4464 2651 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 448063871 115843072 364 33554432000 4194304 5098028 140729633675728 140729633673832 140481491006076 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 18448384 140729633682293 140729633682537 140729633682537 140729633685450 0
/proc/4464/statm: 28282 364 305 221 0 87 0
[pid=4466] ppid=4464 vsize=28233776 memory=105168 CPUtime=1.73 cores=0-7
/proc/4466/stat : 4466 (java) S 4464 4464 2651 0 -1 1077944320 15956 0 0 0 166 7 0 0 20 0 20 0 448063871 28911386624 26292 33554432000 4194304 4196468 140725375544656 140725375527200 139860820958967 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12124160 140725375550442 140725375550614 140725375550614 140725375553487 0
/proc/4466/statm: 7058444 26292 3468 1 0 7019544 0
[pid=4466/tid=4467] ppid=4464 vsize=28233776 memory=280023546805936 CPUtime=0.68 cores=0-7
/proc/4466/task/4467/stat : 4467 (java) R 4464 4464 2651 0 -1 4202560 8572 0 0 0 64 4 0 0 20 0 20 0 448063872 28911386624 26292 33554432000 4194304 4196468 140725375544656 139860825194064 139860458651566 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12124160 140725375550442 140725375550614 140725375550614 140725375553487 0
[pid=4466/tid=4468] ppid=4464 vsize=28233776 memory=140011773404016 CPUtime=0 cores=0-7
/proc/4466/task/4468/stat : 4468 (java) S 4464 4464 2651 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448063872 28911386624 26292 33554432000 4194304 4196468 140725375544656 139860779719568 139860820969173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12124160 140725375550442 140725375550614 140725375550614 140725375553487 0
[pid=4466/tid=4469] ppid=4464 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/4466/task/4469/stat : 4469 (java) S 4464 4464 2651 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 448063872 28911386624 26292 33554432000 4194304 4196468 140725375544656 139860371319568 139860820969173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12124160 140725375550442 140725375550614 140725375550614 140725375553487 0
[pid=4466/tid=4470] ppid=4464 vsize=28233776 memory=2832 CPUtime=0 cores=0-7
/proc/4466/task/4470/stat : 4470 (java) S 4464 4464 2651 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 448063873 28911386624 26292 33554432000 4194304 4196468 140725375544656 139860370267280 139860820969173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12124160 140725375550442 140725375550614 140725375550614 140725375553487 0

################
# More data... #
################

[pid=4466/tid=4475] ppid=4464 vsize=28766288 memory=21354711616234 CPUtime=0.07 cores=0-7
/proc/4466/task/4475/stat : 4475 (java) S 4464 4464 2651 0 -1 1077944384 123 0 0 0 4 3 0 0 20 0 28 0 448063873 29456678912 103063 33554432000 4194304 4196468 140725375544656 139860365003280 139860820969173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12124160 140725375550442 140725375550614 140725375550614 140725375553487 0
[pid=4466/tid=4476] ppid=4464 vsize=28766288 memory=21354711616234 CPUtime=0 cores=0-7
/proc/4466/task/4476/stat : 4476 (java) S 4464 4464 2651 0 -1 1077944384 563 0 0 0 0 0 0 0 20 0 28 0 448063874 29456678912 103063 33554432000 4194304 4196468 140725375544656 139859937327728 139860820970114 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 14 0 0 6293624 6294260 12124160 140725375550442 140725375550614 140725375550614 140725375553487 0
[pid=4466/tid=4477] ppid=4464 vsize=28766288 memory=56 CPUtime=0 cores=0-7
/proc/4466/task/4477/stat : 4477 (java) S 4464 4464 2651 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 28 0 448063874 29456678912 103063 33554432000 4194304 4196468 140725375544656 139859936273760 139860820969173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12124160 140725375550442 140725375550614 140725375550614 140725375553487 0
[pid=4466/tid=4478] ppid=4464 vsize=28766288 memory=8514726395715218844 CPUtime=0 cores=0-7
/proc/4466/task/4478/stat : 4478 (java) S 4464 4464 2651 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 448063875 29456678912 103063 33554432000 4194304 4196468 140725375544656 139859935221360 139860820969173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12124160 140725375550442 140725375550614 140725375550614 140725375553487 0
[pid=4466/tid=4479] ppid=4464 vsize=28766288 memory=7517159033993717848 CPUtime=0 cores=0-7
/proc/4466/task/4479/stat : 4479 (java) S 4464 4464 2651 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 448063877 29456678912 103063 33554432000 4194304 4196468 140725375544656 139859934169680 139860820977563 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12124160 140725375550442 140725375550614 140725375550614 140725375553487 0
[pid=4466/tid=4480] ppid=4464 vsize=28766288 memory=5792262887553650770 CPUtime=1.34 cores=0-7
/proc/4466/task/4480/stat : 4480 (java) S 4464 4464 2651 0 -1 1077944384 2627 0 0 0 134 0 0 0 20 0 28 0 448063877 29456678912 103063 33554432000 4194304 4196468 140725375544656 139859933116528 139860820970114 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 12124160 140725375550442 140725375550614 140725375550614 140725375553487 0
[pid=4466/tid=4481] ppid=4464 vsize=28766288 memory=5792262887553650770 CPUtime=1.44 cores=0-7
/proc/4466/task/4481/stat : 4481 (java) S 4464 4464 2651 0 -1 1077944384 2427 0 0 0 143 1 0 0 20 0 28 0 448063877 29456678912 103063 33554432000 4194304 4196468 140725375544656 139859932063728 139860820970114 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 17 0 0 6293624 6294260 12124160 140725375550442 140725375550614 140725375550614 140725375553487 0
[pid=4466/tid=4482] ppid=4464 vsize=28766288 memory=5792262887553650770 CPUtime=1.79 cores=0-7
/proc/4466/task/4482/stat : 4482 (java) S 4464 4464 2651 0 -1 1077944384 5620 0 0 0 177 2 0 0 20 0 28 0 448063877 29456678912 103063 33554432000 4194304 4196468 140725375544656 139859931011440 139860820970114 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 7 0 0 6293624 6294260 12124160 140725375550442 140725375550614 140725375550614 140725375553487 0
[pid=4466/tid=4483] ppid=4464 vsize=28766288 memory=7019467087940105268 CPUtime=0.6 cores=0-7
/proc/4466/task/4483/stat : 4483 (java) S 4464 4464 2651 0 -1 1077944384 2524 0 0 0 59 1 0 0 20 0 28 0 448063877 29456678912 103063 33554432000 4194304 4196468 140725375544656 139859929958640 139860820970114 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 7 0 0 6293624 6294260 12124160 140725375550442 140725375550614 140725375550614 140725375553487 0
[pid=4466/tid=4484] ppid=4464 vsize=28766288 memory=0 CPUtime=0 cores=0-7
/proc/4466/task/4484/stat : 4484 (java) S 4464 4464 2651 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 448063877 29456678912 103063 33554432000 4194304 4196468 140725375544656 139859928906592 139860820969173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12124160 140725375550442 140725375550614 140725375550614 140725375553487 0
[pid=4466/tid=4485] ppid=4464 vsize=28766288 memory=0 CPUtime=0 cores=0-7
/proc/4466/task/4485/stat : 4485 (java) S 4464 4464 2651 0 -1 1077944384 257 0 0 0 0 0 0 0 20 0 28 0 448063878 29456678912 103063 33554432000 4194304 4196468 140725375544656 139859927853872 139860820970114 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 30 0 0 6293624 6294260 12124160 140725375550442 140725375550614 140725375550614 140725375553487 0
[pid=4466/tid=4486] ppid=4464 vsize=28766288 memory=0 CPUtime=4.53 cores=0-7
/proc/4466/task/4486/stat : 4486 (java) S 4464 4464 2651 0 -1 1077944384 297 0 0 0 451 2 0 0 20 0 28 0 448063965 29456678912 103063 33554432000 4194304 4196468 140725375544656 139859918639296 139860820969173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 12124160 140725375550442 140725375550614 140725375550614 140725375553487 0
[pid=4466/tid=4487] ppid=4464 vsize=28766288 memory=148 CPUtime=4.83 cores=0-7
/proc/4466/task/4487/stat : 4487 (java) S 4464 4464 2651 0 -1 1077944384 156 0 0 0 483 0 0 0 20 0 28 0 448063965 29456678912 103063 33554432000 4194304 4196468 140725375544656 139859917587920 139860820969173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12124160 140725375550442 140725375550614 140725375550614 140725375553487 0
[pid=4466/tid=4488] ppid=4464 vsize=28766288 memory=140011773699976 CPUtime=4.7 cores=0-7
/proc/4466/task/4488/stat : 4488 (java) S 4464 4464 2651 0 -1 1077944384 308 0 0 0 469 1 0 0 20 0 28 0 448063965 29456678912 103063 33554432000 4194304 4196468 140725375544656 139859916534608 139860820969173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12124160 140725375550442 140725375550614 140725375550614 140725375553487 0
[pid=4466/tid=4489] ppid=4464 vsize=28766288 memory=-6800859132029471843 CPUtime=4.61 cores=0-7
/proc/4466/task/4489/stat : 4489 (java) S 4464 4464 2651 0 -1 1077944384 712 0 0 0 461 0 0 0 20 0 28 0 448063965 29456678912 103063 33554432000 4194304 4196468 140725375544656 139859915481808 139860820969173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12124160 140725375550442 140725375550614 140725375550614 140725375553487 0
[pid=4466/tid=4490] ppid=4464 vsize=28766288 memory=0 CPUtime=4.54 cores=0-7
/proc/4466/task/4490/stat : 4490 (java) S 4464 4464 2651 0 -1 1077944384 135 0 0 0 454 0 0 0 20 0 28 0 448063965 29456678912 103063 33554432000 4194304 4196468 140725375544656 139859914429520 139860820969173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 12124160 140725375550442 140725375550614 140725375550614 140725375553487 0
[pid=4466/tid=4491] ppid=4464 vsize=28766288 memory=0 CPUtime=4.84 cores=0-7
/proc/4466/task/4491/stat : 4491 (java) S 4464 4464 2651 0 -1 1077944384 125 0 0 0 483 1 0 0 20 0 28 0 448063968 29456678912 103063 33554432000 4194304 4196468 140725375544656 139859913376720 139860820969173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12124160 140725375550442 140725375550614 140725375550614 140725375553487 0
[pid=4466/tid=4492] ppid=4464 vsize=28766288 memory=0 CPUtime=4.77 cores=0-7
/proc/4466/task/4492/stat : 4492 (java) R 4464 4464 2651 0 -1 4202560 243 0 0 0 476 1 0 0 20 0 28 0 448063968 29456678912 103063 33554432000 4194304 4196468 140725375544656 139859912319056 139860463402951 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12124160 140725375550442 140725375550614 140725375550614 140725375553487 0
[pid=4466/tid=4493] ppid=4464 vsize=28766288 memory=3472463909146460438 CPUtime=4.65 cores=0-7
/proc/4466/task/4493/stat : 4493 (java) S 4464 4464 2651 0 -1 1077944384 167 0 0 0 464 1 0 0 20 0 28 0 448063969 29456678912 103063 33554432000 4194304 4196468 140725375544656 139859911271632 139860820969173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12124160 140725375550442 140725375550614 140725375550614 140725375553487 0
Current children cumulated CPU time: 44.28 s
Current children cumulated vsize: 28879416 KiB
Current children cumulated memory: 413708 KiB

[startup+6.60107 s]
/proc/loadavg: 7.72 8.23 8.26 10/223 4493
/proc/meminfo: memFree=30615112/32770624 swapFree=67004576/67108860
[pid=4464] ppid=4461 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/4464/stat : 4464 (xcsp3-exec) S 4461 4464 2651 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 448063871 115843072 364 33554432000 4194304 5098028 140729633675728 140729633673832 140481491006076 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 18448384 140729633682293 140729633682537 140729633682537 140729633685450 0
/proc/4464/statm: 28282 364 305 221 0 87 0
[pid=4466] ppid=4464 vsize=28766288 memory=412252 CPUtime=44.47 cores=0-7
/proc/4466/stat : 4466 (java) S 4464 4464 2651 0 -1 1077944320 27587 0 0 0 4397 50 0 0 20 0 28 0 448063871 29456678912 103063 33554432000 4194304 4196468 140725375544656 140725375527200 139860820958967 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12124160 140725375550442 140725375550614 140725375550614 140725375553487 0
/proc/4466/statm: 7191572 103063 3533 1 0 7152672 0
[pid=4466/tid=4467] ppid=4464 vsize=28766288 memory=13564890539362749 CPUtime=0.91 cores=0-7
/proc/4466/task/4467/stat : 4467 (java) S 4464 4464 2651 0 -1 1077944384 8685 0 0 0 86 5 0 0 20 0 28 0 448063872 29456678912 103063 33554432000 4194304 4196468 140725375544656 139860825199744 139860820969173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12124160 140725375550442 140725375550614 140725375550614 140725375553487 0
[pid=4466/tid=4468] ppid=4464 vsize=28766288 memory=0 CPUtime=0.06 cores=0-7
/proc/4466/task/4468/stat : 4468 (java) S 4464 4464 2651 0 -1 1077944384 182 0 0 0 3 3 0 0 20 0 28 0 448063872 29456678912 103063 33554432000 4194304 4196468 140725375544656 139860779719568 139860820969173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12124160 140725375550442 140725375550614 140725375550614 140725375553487 0
[pid=4466/tid=4469] ppid=4464 vsize=28766288 memory=0 CPUtime=0.07 cores=0-7
/proc/4466/task/4469/stat : 4469 (java) S 4464 4464 2651 0 -1 1077944384 118 0 0 0 4 3 0 0 20 0 28 0 448063872 29456678912 103063 33554432000 4194304 4196468 140725375544656 139860371319568 139860820969173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12124160 140725375550442 140725375550614 140725375550614 140725375553487 0
[pid=4466/tid=4470] ppid=4464 vsize=28766288 memory=140011773744176 CPUtime=0.05 cores=0-7
/proc/4466/task/4470/stat : 4470 (java) S 4464 4464 2651 0 -1 1077944384 87 0 0 0 3 2 0 0 20 0 28 0 448063873 29456678912 103063 33554432000 4194304 4196468 140725375544656 139860370267280 139860820969173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12124160 140725375550442 140725375550614 140725375550614 140725375553487 0
[pid=4466/tid=4471] ppid=4464 vsize=28766288 memory=0 CPUtime=0.06 cores=0-7
/proc/4466/task/4471/stat : 4471 (java) S 4464 4464 2651 0 -1 1077944384 115 0 0 0 3 3 0 0 20 0 28 0 448063873 29456678912 103063 33554432000 4194304 4196468 140725375544656 139860369214480 139860820969173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12124160 140725375550442 140725375550614 140725375550614 140725375553487 0
[pid=4466/tid=4472] ppid=4464 vsize=28766288 memory=0 CPUtime=0.06 cores=0-7
/proc/4466/task/4472/stat : 4472 (java) S 4464 4464 2651 0 -1 1077944384 629 0 0 0 3 3 0 0 20 0 28 0 448063873 29456678912 103063 33554432000 4194304 4196468 140725375544656 139860368161168 139860820969173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12124160 140725375550442 140725375550614 140725375550614 140725375553487 0
[pid=4466/tid=4473] ppid=4464 vsize=28766288 memory=0 CPUtime=0.06 cores=0-7
/proc/4466/task/4473/stat : 4473 (java) S 4464 4464 2651 0 -1 1077944384 95 0 0 0 3 3 0 0 20 0 28 0 448063873 29456678912 103063 33554432000 4194304 4196468 140725375544656 139860367108368 139860820969173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12124160 140725375550442 140725375550614 140725375550614 140725375553487 0
[pid=4466/tid=4474] ppid=4464 vsize=28766288 memory=0 CPUtime=0.07 cores=0-7
/proc/4466/task/4474/stat : 4474 (java) S 4464 4464 2651 0 -1 1077944384 93 0 0 0 4 3 0 0 20 0 28 0 448063873 29456678912 103063 33554432000 4194304 4196468 140725375544656 139860366056080 139860820969173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12124160 140725375550442 140725375550614 140725375550614 140725375553487 0
[pid=4466/tid=4475] ppid=4464 vsize=28766288 memory=0 CPUtime=0.07 cores=0-7
/proc/4466/task/4475/stat : 4475 (java) S 4464 4464 2651 0 -1 1077944384 123 0 0 0 4 3 0 0 20 0 28 0 448063873 29456678912 103063 33554432000 4194304 4196468 140725375544656 139860365003280 139860820969173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12124160 140725375550442 140725375550614 140725375550614 140725375553487 0
[pid=4466/tid=4476] ppid=4464 vsize=28766288 memory=0 CPUtime=0 cores=0-7
/proc/4466/task/4476/stat : 4476 (java) S 4464 4464 2651 0 -1 1077944384 563 0 0 0 0 0 0 0 20 0 28 0 448063874 29456678912 103063 33554432000 4194304 4196468 140725375544656 139859937327728 139860820970114 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 14 0 0 6293624 6294260 12124160 140725375550442 140725375550614 140725375550614 140725375553487 0
[pid=4466/tid=4477] ppid=4464 vsize=28766288 memory=0 CPUtime=0 cores=0-7
/proc/4466/task/4477/stat : 4477 (java) S 4464 4464 2651 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 28 0 448063874 29456678912 103063 33554432000 4194304 4196468 140725375544656 139859936273760 139860820969173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12124160 140725375550442 140725375550614 140725375550614 140725375553487 0
[pid=4466/tid=4478] ppid=4464 vsize=28766288 memory=0 CPUtime=0 cores=0-7
/proc/4466/task/4478/stat : 4478 (java) S 4464 4464 2651 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 448063875 29456678912 103063 33554432000 4194304 4196468 140725375544656 139859935221360 139860820969173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12124160 140725375550442 140725375550614 140725375550614 140725375553487 0
[pid=4466/tid=4479] ppid=4464 vsize=28766288 memory=140011773376768 CPUtime=0 cores=0-7
/proc/4466/task/4479/stat : 4479 (java) S 4464 4464 2651 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 448063877 29456678912 103063 33554432000 4194304 4196468 140725375544656 139859934169680 139860820977563 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12124160 140725375550442 140725375550614 140725375550614 140725375553487 0
[pid=4466/tid=4480] ppid=4464 vsize=28766288 memory=2241 CPUtime=1.34 cores=0-7
/proc/4466/task/4480/stat : 4480 (java) S 4464 4464 2651 0 -1 1077944384 2627 0 0 0 134 0 0 0 20 0 28 0 448063877 29456678912 103063 33554432000 4194304 4196468 140725375544656 139859933116528 139860820970114 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 12124160 140725375550442 140725375550614 140725375550614 140725375553487 0
[pid=4466/tid=4481] ppid=4464 vsize=28766288 memory=2244 CPUtime=1.44 cores=0-7
/proc/4466/task/4481/stat : 4481 (java) S 4464 4464 2651 0 -1 1077944384 2427 0 0 0 143 1 0 0 20 0 28 0 448063877 29456678912 103063 33554432000 4194304 4196468 140725375544656 139859932063728 139860820970114 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 17 0 0 6293624 6294260 12124160 140725375550442 140725375550614 140725375550614 140725375553487 0
[pid=4466/tid=4482] ppid=4464 vsize=28766288 memory=6655300316396806240 CPUtime=1.79 cores=0-7
/proc/4466/task/4482/stat : 4482 (java) S 4464 4464 2651 0 -1 1077944384 5620 0 0 0 177 2 0 0 20 0 28 0 448063877 29456678912 103063 33554432000 4194304 4196468 140725375544656 139859931011440 139860820970114 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 7 0 0 6293624 6294260 12124160 140725375550442 140725375550614 140725375550614 140725375553487 0
[pid=4466/tid=4483] ppid=4464 vsize=28766288 memory=6656426216303648864 CPUtime=0.6 cores=0-7
/proc/4466/task/4483/stat : 4483 (java) S 4464 4464 2651 0 -1 1077944384 2524 0 0 0 59 1 0 0 20 0 28 0 448063877 29456678912 103063 33554432000 4194304 4196468 140725375544656 139859929958640 139860820970114 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 7 0 0 6293624 6294260 12124160 140725375550442 140725375550614 140725375550614 140725375553487 0
[pid=4466/tid=4484] ppid=4464 vsize=28766288 memory=6944656592455359580 CPUtime=0 cores=0-7
/proc/4466/task/4484/stat : 4484 (java) S 4464 4464 2651 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 448063877 29456678912 103063 33554432000 4194304 4196468 140725375544656 139859928906592 139860820969173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12124160 140725375550442 140725375550614 140725375550614 140725375553487 0
[pid=4466/tid=4485] ppid=4464 vsize=28766288 memory=6944656592387989600 CPUtime=0 cores=0-7
/proc/4466/task/4485/stat : 4485 (java) S 4464 4464 2651 0 -1 1077944384 257 0 0 0 0 0 0 0 20 0 28 0 448063878 29456678912 103063 33554432000 4194304 4196468 140725375544656 139859927853872 139860820970114 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 30 0 0 6293624 6294260 12124160 140725375550442 140725375550614 140725375550614 140725375553487 0
[pid=4466/tid=4486] ppid=4464 vsize=28766288 memory=0 CPUtime=4.53 cores=0-7
/proc/4466/task/4486/stat : 4486 (java) S 4464 4464 2651 0 -1 1077944384 297 0 0 0 451 2 0 0 20 0 28 0 448063965 29456678912 103063 33554432000 4194304 4196468 140725375544656 139859918639296 139860820969173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 12124160 140725375550442 140725375550614 140725375550614 140725375553487 0
[pid=4466/tid=4487] ppid=4464 vsize=28766288 memory=0 CPUtime=4.83 cores=0-7
/proc/4466/task/4487/stat : 4487 (java) S 4464 4464 2651 0 -1 1077944384 156 0 0 0 483 0 0 0 20 0 28 0 448063965 29456678912 103063 33554432000 4194304 4196468 140725375544656 139859917587920 139860820969173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12124160 140725375550442 140725375550614 140725375550614 140725375553487 0
[pid=4466/tid=4488] ppid=4464 vsize=28766288 memory=6944656575208382560 CPUtime=4.7 cores=0-7
/proc/4466/task/4488/stat : 4488 (java) S 4464 4464 2651 0 -1 1077944384 308 0 0 0 469 1 0 0 20 0 28 0 448063965 29456678912 103063 33554432000 4194304 4196468 140725375544656 139859916534608 139860820969173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12124160 140725375550442 140725375550614 140725375550614 140725375553487 0
[pid=4466/tid=4489] ppid=4464 vsize=28766288 memory=6944656592455359580 CPUtime=4.61 cores=0-7
/proc/4466/task/4489/stat : 4489 (java) S 4464 4464 2651 0 -1 1077944384 712 0 0 0 461 0 0 0 20 0 28 0 448063965 29456678912 103063 33554432000 4194304 4196468 140725375544656 139859915481808 139860820969173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12124160 140725375550442 140725375550614 140725375550614 140725375553487 0
[pid=4466/tid=4490] ppid=4464 vsize=28766288 memory=6944656592387989600 CPUtime=4.54 cores=0-7
/proc/4466/task/4490/stat : 4490 (java) S 4464 4464 2651 0 -1 1077944384 135 0 0 0 454 0 0 0 20 0 28 0 448063965 29456678912 103063 33554432000 4194304 4196468 140725375544656 139859914429520 139860820969173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 12124160 140725375550442 140725375550614 140725375550614 140725375553487 0
[pid=4466/tid=4491] ppid=4464 vsize=28766288 memory=6655300316396806240 CPUtime=4.84 cores=0-7
/proc/4466/task/4491/stat : 4491 (java) S 4464 4464 2651 0 -1 1077944384 125 0 0 0 483 1 0 0 20 0 28 0 448063968 29456678912 103063 33554432000 4194304 4196468 140725375544656 139859913376720 139860820969173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12124160 140725375550442 140725375550614 140725375550614 140725375553487 0
[pid=4466/tid=4492] ppid=4464 vsize=28766288 memory=6944656592455097440 CPUtime=4.97 cores=0-7
/proc/4466/task/4492/stat : 4492 (java) R 4464 4464 2651 0 -1 4202560 243 0 0 0 496 1 0 0 20 0 28 0 448063968 29456678912 103063 33554432000 4194304 4196468 140725375544656 139859912319056 139860463147242 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12124160 140725375550442 140725375550614 140725375550614 140725375553487 0
[pid=4466/tid=4493] ppid=4464 vsize=28766288 memory=6656426216303648864 CPUtime=4.65 cores=0-7
/proc/4466/task/4493/stat : 4493 (java) S 4464 4464 2651 0 -1 1077944384 167 0 0 0 464 1 0 0 20 0 28 0 448063969 29456678912 103063 33554432000 4194304 4196468 140725375544656 139859911271632 139860820969173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12124160 140725375550442 140725375550614 140725375550614 140725375553487 0
Current children cumulated CPU time: 44.47 s
Current children cumulated vsize: 28879416 KiB
Current children cumulated memory: 413708 KiB

[startup+6.70102 s]
/proc/loadavg: 7.72 8.23 8.26 10/223 4493
/proc/meminfo: memFree=30615112/32770624 swapFree=67004576/67108860
[pid=4464] ppid=4461 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/4464/stat : 4464 (xcsp3-exec) S 4461 4464 2651 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 448063871 115843072 364 33554432000 4194304 5098028 140729633675728 140729633673832 140481491006076 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 18448384 140729633682293 140729633682537 140729633682537 140729633685450 0
/proc/4464/statm: 28282 364 305 221 0 87 0
[pid=4466] ppid=4464 vsize=28766288 memory=411756 CPUtime=44.58 cores=0-7
/proc/4466/stat : 4466 (java) S 4464 4464 2651 0 -1 1077944320 27867 0 0 0 4408 50 0 0 20 0 20 0 448063871 29456678912 102939 33554432000 4194304 4196468 140725375544656 140725375527200 139860820958967 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12124160 140725375550442 140725375550614 140725375550614 140725375553487 0
/proc/4466/statm: 7191572 102939 3535 1 0 7152672 0
[pid=4466/tid=4467] ppid=4464 vsize=28766288 memory=21354711615722 CPUtime=0.91 cores=0-7
/proc/4466/task/4467/stat : 4467 (java) R 4464 4464 2651 0 -1 4202560 8803 0 0 0 86 5 0 0 20 0 20 0 448063872 29456678912 102939 33554432000 4194304 4196468 140725375544656 139860825195888 139860457313987 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12124160 140725375550442 140725375550614 140725375550614 140725375553487 0
[pid=4466/tid=4468] ppid=4464 vsize=28766288 memory=1456 CPUtime=0.06 cores=0-7
/proc/4466/task/4468/stat : 4468 (java) S 4464 4464 2651 0 -1 1077944384 182 0 0 0 3 3 0 0 20 0 20 0 448063872 29456678912 102939 33554432000 4194304 4196468 140725375544656 139860779719568 139860820969173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12124160 140725375550442 140725375550614 140725375550614 140725375553487 0
[pid=4466/tid=4469] ppid=4464 vsize=28766288 memory=412252 CPUtime=0.07 cores=0-7
/proc/4466/task/4469/stat : 4469 (java) S 4464 4464 2651 0 -1 1077944384 118 0 0 0 4 3 0 0 20 0 20 0 448063872 29456678912 102939 33554432000 4194304 4196468 140725375544656 139860371319568 139860820969173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12124160 140725375550442 140725375550614 140725375550614 140725375553487 0
[pid=4466/tid=4470] ppid=4464 vsize=28766288 memory=0 CPUtime=0.05 cores=0-7
/proc/4466/task/4470/stat : 4470 (java) S 4464 4464 2651 0 -1 1077944384 87 0 0 0 3 2 0 0 20 0 20 0 448063873 29456678912 102939 33554432000 4194304 4196468 140725375544656 139860370267280 139860820969173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12124160 140725375550442 140725375550614 140725375550614 140725375553487 0
[pid=4466/tid=4471] ppid=4464 vsize=28766288 memory=8112282956445269571 CPUtime=0.06 cores=0-7
/proc/4466/task/4471/stat : 4471 (java) S 4464 4464 2651 0 -1 1077944384 115 0 0 0 3 3 0 0 20 0 20 0 448063873 29456678912 102939 33554432000 4194304 4196468 140725375544656 139860369214480 139860820969173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12124160 140725375550442 140725375550614 140725375550614 140725375553487 0
[pid=4466/tid=4472] ppid=4464 vsize=28766288 memory=6655300316396806240 CPUtime=0.06 cores=0-7
/proc/4466/task/4472/stat : 4472 (java) S 4464 4464 2651 0 -1 1077944384 629 0 0 0 3 3 0 0 20 0 20 0 448063873 29456678912 102939 33554432000 4194304 4196468 140725375544656 139860368161168 139860820969173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12124160 140725375550442 140725375550614 140725375550614 140725375553487 0
[pid=4466/tid=4473] ppid=4464 vsize=28766288 memory=6944656592455097440 CPUtime=0.06 cores=0-7
/proc/4466/task/4473/stat : 4473 (java) S 4464 4464 2651 0 -1 1077944384 95 0 0 0 3 3 0 0 20 0 20 0 448063873 29456678912 102939 33554432000 4194304 4196468 140725375544656 139860367108368 139860820969173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12124160 140725375550442 140725375550614 140725375550614 140725375553487 0
[pid=4466/tid=4474] ppid=4464 vsize=28766288 memory=0 CPUtime=0.07 cores=0-7
/proc/4466/task/4474/stat : 4474 (java) S 4464 4464 2651 0 -1 1077944384 93 0 0 0 4 3 0 0 20 0 20 0 448063873 29456678912 102939 33554432000 4194304 4196468 140725375544656 139860366056080 139860820969173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12124160 140725375550442 140725375550614 140725375550614 140725375553487 0
[pid=4466/tid=4475] ppid=4464 vsize=28766288 memory=0 CPUtime=0.07 cores=0-7
/proc/4466/task/4475/stat : 4475 (java) S 4464 4464 2651 0 -1 1077944384 123 0 0 0 4 3 0 0 20 0 20 0 448063873 29456678912 102939 33554432000 4194304 4196468 140725375544656 139860365003280 139860820969173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12124160 140725375550442 140725375550614 140725375550614 140725375553487 0
[pid=4466/tid=4476] ppid=4464 vsize=28766288 memory=0 CPUtime=0 cores=0-7
/proc/4466/task/4476/stat : 4476 (java) S 4464 4464 2651 0 -1 1077944384 563 0 0 0 0 0 0 0 20 0 20 0 448063874 29456678912 102939 33554432000 4194304 4196468 140725375544656 139859937327728 139860820970114 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 14 0 0 6293624 6294260 12124160 140725375550442 140725375550614 140725375550614 140725375553487 0
[pid=4466/tid=4477] ppid=4464 vsize=28766288 memory=0 CPUtime=0 cores=0-7
/proc/4466/task/4477/stat : 4477 (java) S 4464 4464 2651 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 20 0 448063874 29456678912 102939 33554432000 4194304 4196468 140725375544656 139859936273760 139860820969173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12124160 140725375550442 140725375550614 140725375550614 140725375553487 0
[pid=4466/tid=4478] ppid=4464 vsize=28766288 memory=8112282956445269571 CPUtime=0 cores=0-7
/proc/4466/task/4478/stat : 4478 (java) S 4464 4464 2651 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 448063875 29456678912 102939 33554432000 4194304 4196468 140725375544656 139859935221360 139860820969173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12124160 140725375550442 140725375550614 140725375550614 140725375553487 0
[pid=4466/tid=4479] ppid=4464 vsize=28766288 memory=0 CPUtime=0 cores=0-7
/proc/4466/task/4479/stat : 4479 (java) S 4464 4464 2651 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 448063877 29456678912 102939 33554432000 4194304 4196468 140725375544656 139859934169680 139860820977563 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12124160 140725375550442 140725375550614 140725375550614 140725375553487 0
[pid=4466/tid=4480] ppid=4464 vsize=28766288 memory=0 CPUtime=1.34 cores=0-7
/proc/4466/task/4480/stat : 4480 (java) S 4464 4464 2651 0 -1 1077944384 2627 0 0 0 134 0 0 0 20 0 20 0 448063877 29456678912 102939 33554432000 4194304 4196468 140725375544656 139859933116528 139860820970114 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 2 0 0 6293624 6294260 12124160 140725375550442 140725375550614 140725375550614 140725375553487 0
[pid=4466/tid=4481] ppid=4464 vsize=28766288 memory=0 CPUtime=1.44 cores=0-7
/proc/4466/task/4481/stat : 4481 (java) R 4464 4464 2651 0 -1 4202560 2427 0 0 0 143 1 0 0 20 0 20 0 448063877 29456678912 102939 33554432000 4194304 4196468 140725375544656 139859932063728 139860800474876 0 4 0 16800975 0 0 0 -1 5 0 0 17 0 0 6293624 6294260 12124160 140725375550442 140725375550614 140725375550614 140725375553487 0
[pid=4466/tid=4482] ppid=4464 vsize=28766288 memory=56 CPUtime=1.79 cores=0-7
/proc/4466/task/4482/stat : 4482 (java) S 4464 4464 2651 0 -1 1077944384 5620 0 0 0 177 2 0 0 20 0 20 0 448063877 29456678912 102939 33554432000 4194304 4196468 140725375544656 139859931011440 139860820970114 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 7 0 0 6293624 6294260 12124160 140725375550442 140725375550614 140725375550614 140725375553487 0
[pid=4466/tid=4483] ppid=4464 vsize=28766288 memory=6655300316396806240 CPUtime=0.6 cores=0-7
/proc/4466/task/4483/stat : 4483 (java) R 4464 4464 2651 0 -1 12591168 2657 0 0 0 59 1 0 0 20 0 20 0 448063877 29456678912 102939 33554432000 4194304 4196468 140725375544656 139859929958448 139860802365353 0 4 0 16800975 0 0 0 -1 4 0 0 7 0 0 6293624 6294260 12124160 140725375550442 140725375550614 140725375550614 140725375553487 0
[pid=4466/tid=4484] ppid=4464 vsize=28766288 memory=6944652177228980320 CPUtime=0 cores=0-7
/proc/4466/task/4484/stat : 4484 (java) S 4464 4464 2651 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 448063877 29456678912 102939 33554432000 4194304 4196468 140725375544656 139859928906592 139860820969173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12124160 140725375550442 140725375550614 140725375550614 140725375553487 0
[pid=4466/tid=4485] ppid=4464 vsize=28766288 memory=0 CPUtime=0 cores=0-7
/proc/4466/task/4485/stat : 4485 (java) S 4464 4464 2651 0 -1 1077944384 257 0 0 0 0 0 0 0 20 0 20 0 448063878 29456678912 102939 33554432000 4194304 4196468 140725375544656 139859927853872 139860820970114 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 30 0 0 6293624 6294260 12124160 140725375550442 140725375550614 140725375550614 140725375553487 0
Current children cumulated CPU time: 44.58 s
Current children cumulated vsize: 28879416 KiB
Current children cumulated memory: 413212 KiB

Child status: 0
Real time (s): 6.72529
CPU time (s): 44.6137
CPU user time (s): 44.0954
CPU system time (s): 0.518338
CPU usage (%): 663.373
Max. virtual memory (cumulated for all children) (KiB): 28879416
Max. memory (cumulated for all children) (KiB): 413708

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 44.0954
system time used= 0.518338
maximum resident set size= 412516
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28818
page faults= 0
swaps= 0
block input operations= 0
block output operations= 144
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3591
involuntary context switches= 960


# summary of solver processes directly reported to runsolver:
#   pid: 4464
#   total CPU time (s): 44.6137
#   total CPU user time (s): 44.0954
#   total CPU system time (s): 0.518338

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.078312 second user time and 0.127388 second system time

The end

Launcher Data 

Begin job on node133 at 2019-09-17 13:03:23
IDJOB=4399673
IDBENCH=141690
IDSOLVER=2854
FILE ID=node133/4399673-1568718243
RUNJOBID= node133-1568711398-2678
PBS_JOBID= 21703931
Free space on /tmp= 59576 MiB

SOLVER NAME= choco-solver 2019-09-16 parallel
BENCH NAME= XCSP19/hcp/graph254.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 /tmp/evaluation-result-4399673-1568718243/watcher-4399673-1568718243 -o /tmp/evaluation-result-4399673-1568718243/solver-4399673-1568718243 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node133-1568711398-2678 --watchdog 2580  xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 2024195108 HOME/instance-4399673-1568718243.xml

TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8

MD5SUM BENCH= 68b62eb0ee4f1f32ebe5ed32147b7b19
RANDOM SEED=2024195108

node133.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.18
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.18
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.18
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.18
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:        31015044 kB
MemAvailable:   31888396 kB
Buffers:          249916 kB
Cached:           913620 kB
SwapCached:         3188 kB
Active:           574236 kB
Inactive:         593260 kB
Active(anon):      27820 kB
Inactive(anon):    24508 kB
Active(file):     546416 kB
Inactive(file):   568752 kB
Unevictable:      111204 kB
Mlocked:          111204 kB
SwapTotal:      67108860 kB
SwapFree:       67004576 kB
Dirty:             25820 kB
Writeback:             0 kB
AnonPages:         43556 kB
Mapped:            48952 kB
Shmem:             40128 kB
Slab:             177176 kB
SReclaimable:     148036 kB
SUnreclaim:        29140 kB
KernelStack:        3712 kB
PageTables:         5304 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     506136 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      122240 kB
DirectMap2M:    33423360 kB

Free space on /tmp at the end= 59552 MiB
End job on node133 at 2019-09-17 13:03:30