Trace number 4393712

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-06-14 parallelSAT 1392.95 175.7

General information on the benchmark

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393712-1568449195/watcher-4393712-1568449195 -o /tmp/evaluation-result-4393712-1568449195/solver-4393712-1568449195 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node150-1568441012-2984 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1416187241 HOME/instance-4393712-1568449195.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=5580, runsolver pid=5577
Current StackSize limit: 8192 KiB


[startup+0.10016 s]*
/proc/loadavg: 8.44 7.97 7.54 2/211 5601
/proc/meminfo: memFree=30553212/32770624 swapFree=67022328/67108860
[pid=5580] ppid=5577 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/5580/stat : 5580 (xcsp3-exec) S 5577 5580 2957 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 421192126 115843072 363 33554432000 4194304 5098028 140730563099600 140730563097704 140649159819900 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 30437376 140730563101557 140730563101801 140730563101801 140730563104714 0
/proc/5580/statm: 28282 363 305 221 0 87 0
[pid=5582] ppid=5580 vsize=28227388 memory=30064 CPUtime=0.12 cores=0-7
/proc/5582/stat : 5582 (java) S 5580 5580 2957 0 -1 1077944320 5986 0 0 0 11 1 0 0 20 0 20 0 421192126 28904845312 7516 33554432000 4194304 4196468 140734584098896 140734584081440 140087121063671 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 31612928 140734584103914 140734584104086 140734584104086 140734584106959 0
/proc/5582/statm: 7056847 7516 3117 1 0 7019032 0
[pid=5582/tid=5583] ppid=5580 vsize=28227388 memory=4134692831991783777 CPUtime=0.08 cores=0-7
/proc/5582/task/5583/stat : 5583 (java) R 5580 5580 2957 0 -1 4202560 3905 0 0 0 8 0 0 0 20 0 20 0 421192126 28904845312 7516 33554432000 4194304 4196468 140734584098896 140087125296464 140087102932205 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31612928 140734584103914 140734584104086 140734584104086 140734584106959 0
[pid=5582/tid=5584] ppid=5580 vsize=28227388 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/5582/task/5584/stat : 5584 (java) S 5580 5580 2957 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421192127 28904845312 7516 33554432000 4194304 4196468 140734584098896 140087073683856 140087121073877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31612928 140734584103914 140734584104086 140734584104086 140734584106959 0
[pid=5582/tid=5585] ppid=5580 vsize=28227388 memory=139891664406144 CPUtime=0 cores=0-7
/proc/5582/task/5585/stat : 5585 (java) S 5580 5580 2957 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421192127 28904845312 7516 33554432000 4194304 4196468 140734584098896 140087072631056 140087121073877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31612928 140734584103914 140734584104086 140734584104086 140734584106959 0
[pid=5582/tid=5586] ppid=5580 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/5582/task/5586/stat : 5586 (java) S 5580 5580 2957 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421192127 28904845312 7516 33554432000 4194304 4196468 140734584098896 140087071578768 140087121073877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31612928 140734584103914 140734584104086 140734584104086 140734584106959 0
[pid=5582/tid=5587] ppid=5580 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/5582/task/5587/stat : 5587 (java) S 5580 5580 2957 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421192127 28904845312 7516 33554432000 4194304 4196468 140734584098896 140087070525968 140087121073877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31612928 140734584103914 140734584104086 140734584104086 140734584106959 0
[pid=5582/tid=5588] ppid=5580 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/5582/task/5588/stat : 5588 (java) S 5580 5580 2957 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421192127 28904845312 7516 33554432000 4194304 4196468 140734584098896 140086668549008 140087121073877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31612928 140734584103914 140734584104086 140734584104086 140734584106959 0
[pid=5582/tid=5589] ppid=5580 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/5582/task/5589/stat : 5589 (java) S 5580 5580 2957 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421192127 28904845312 7516 33554432000 4194304 4196468 140734584098896 140086667496208 140087121073877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31612928 140734584103914 140734584104086 140734584104086 140734584106959 0
[pid=5582/tid=5590] ppid=5580 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/5582/task/5590/stat : 5590 (java) S 5580 5580 2957 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421192127 28904845312 7516 33554432000 4194304 4196468 140734584098896 140086666443920 140087121073877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31612928 140734584103914 140734584104086 140734584104086 140734584106959 0
[pid=5582/tid=5591] ppid=5580 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/5582/task/5591/stat : 5591 (java) S 5580 5580 2957 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421192127 28904845312 7516 33554432000 4194304 4196468 140734584098896 140086665391120 140087121073877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31612928 140734584103914 140734584104086 140734584104086 140734584106959 0
[pid=5582/tid=5592] ppid=5580 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/5582/task/5592/stat : 5592 (java) S 5580 5580 2957 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421192128 28904845312 7516 33554432000 4194304 4196468 140734584098896 140085248878704 140087121074818 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31612928 140734584103914 140734584104086 140734584104086 140734584106959 0
[pid=5582/tid=5593] ppid=5580 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/5582/task/5593/stat : 5593 (java) S 5580 5580 2957 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 421192129 28904845312 7516 33554432000 4194304 4196468 140734584098896 140085247824672 140087121073877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31612928 140734584103914 140734584104086 140734584104086 140734584106959 0
[pid=5582/tid=5594] ppid=5580 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/5582/task/5594/stat : 5594 (java) S 5580 5580 2957 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 421192129 28904845312 7516 33554432000 4194304 4196468 140734584098896 140085246772336 140087121073877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31612928 140734584103914 140734584104086 140734584104086 140734584106959 0
[pid=5582/tid=5595] ppid=5580 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/5582/task/5595/stat : 5595 (java) S 5580 5580 2957 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421192132 28904845312 7516 33554432000 4194304 4196468 140734584098896 140085245720656 140087121082267 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31612928 140734584103914 140734584104086 140734584104086 140734584106959 0
[pid=5582/tid=5596] ppid=5580 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/5582/task/5596/stat : 5596 (java) S 5580 5580 2957 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 20 0 421192132 28904845312 7516 33554432000 4194304 4196468 140734584098896 140085244668528 140087121074818 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31612928 140734584103914 140734584104086 140734584104086 140734584106959 0
[pid=5582/tid=5597] ppid=5580 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/5582/task/5597/stat : 5597 (java) S 5580 5580 2957 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421192132 28904845312 7516 33554432000 4194304 4196468 140734584098896 140085243615728 140087121074818 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31612928 140734584103914 140734584104086 140734584104086 140734584106959 0
[pid=5582/tid=5598] ppid=5580 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/5582/task/5598/stat : 5598 (java) S 5580 5580 2957 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 421192132 28904845312 7516 33554432000 4194304 4196468 140734584098896 140085242563440 140087121074818 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31612928 140734584103914 140734584104086 140734584104086 140734584106959 0
[pid=5582/tid=5599] ppid=5580 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7
/proc/5582/task/5599/stat : 5599 (java) R 5580 5580 2957 0 -1 4202560 342 0 0 0 1 0 0 0 20 0 20 0 421192132 28904845312 7516 33554432000 4194304 4196468 140734584098896 140085241510640 140087121075606 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31612928 140734584103914 140734584104086 140734584104086 140734584106959 0
[pid=5582/tid=5600] ppid=5580 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/5582/task/5600/stat : 5600 (java) S 5580 5580 2957 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421192132 28904845312 7516 33554432000 4194304 4196468 140734584098896 140085240457568 140087121073877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31612928 140734584103914 140734584104086 140734584104086 140734584106959 0
[pid=5582/tid=5601] ppid=5580 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/5582/task/5601/stat : 5601 (java) S 5580 5580 2957 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421192132 28904845312 7516 33554432000 4194304 4196468 140734584098896 140085239404848 140087121074818 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31612928 140734584103914 140734584104086 140734584104086 140734584106959 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340516 KiB
Current children cumulated memory: 31516 KiB

[startup+0.209799 s]*
/proc/loadavg: 8.44 7.97 7.54 1/211 5601
/proc/meminfo: memFree=30538976/32770624 swapFree=67022328/67108860
[pid=5580] ppid=5577 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/5580/stat : 5580 (xcsp3-exec) S 5577 5580 2957 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 421192126 115843072 363 33554432000 4194304 5098028 140730563099600 140730563097704 140649159819900 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 30437376 140730563101557 140730563101801 140730563101801 140730563104714 0
/proc/5580/statm: 28282 363 305 221 0 87 0
[pid=5582] ppid=5580 vsize=28227388 memory=41400 CPUtime=0.33 cores=0-7
/proc/5582/stat : 5582 (java) S 5580 5580 2957 0 -1 1077944320 9532 0 0 0 31 2 0 0 20 0 20 0 421192126 28904845312 10350 33554432000 4194304 4196468 140734584098896 140734584081440 140087121063671 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 31612928 140734584103914 140734584104086 140734584104086 140734584106959 0
/proc/5582/statm: 7056847 10350 3303 1 0 7019032 0
[pid=5582/tid=5583] ppid=5580 vsize=28227388 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/5582/task/5583/stat : 5583 (java) R 5580 5580 2957 0 -1 4202560 6720 0 0 0 18 1 0 0 20 0 20 0 421192126 28904845312 10350 33554432000 4194304 4196468 140734584098896 140087125295200 140087105144158 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31612928 140734584103914 140734584104086 140734584104086 140734584106959 0
[pid=5582/tid=5584] ppid=5580 vsize=28227388 memory=331 CPUtime=0 cores=0-7
/proc/5582/task/5584/stat : 5584 (java) S 5580 5580 2957 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421192127 28904845312 10350 33554432000 4194304 4196468 140734584098896 140087073683856 140087121073877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31612928 140734584103914 140734584104086 140734584104086 140734584106959 0
[pid=5582/tid=5585] ppid=5580 vsize=28227388 memory=139891664411981 CPUtime=0 cores=0-7
/proc/5582/task/5585/stat : 5585 (java) S 5580 5580 2957 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421192127 28904845312 10350 33554432000 4194304 4196468 140734584098896 140087072631056 140087121073877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31612928 140734584103914 140734584104086 140734584104086 140734584106959 0
[pid=5582/tid=5586] ppid=5580 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/5582/task/5586/stat : 5586 (java) S 5580 5580 2957 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421192127 28904845312 10350 33554432000 4194304 4196468 140734584098896 140087071578768 140087121073877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31612928 140734584103914 140734584104086 140734584104086 140734584106959 0
[pid=5582/tid=5587] ppid=5580 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/5582/task/5587/stat : 5587 (java) S 5580 5580 2957 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421192127 28904845312 10350 33554432000 4194304 4196468 140734584098896 140087070525968 140087121073877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31612928 140734584103914 140734584104086 140734584104086 140734584106959 0
[pid=5582/tid=5588] ppid=5580 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/5582/task/5588/stat : 5588 (java) S 5580 5580 2957 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421192127 28904845312 10350 33554432000 4194304 4196468 140734584098896 140086668549008 140087121073877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31612928 140734584103914 140734584104086 140734584104086 140734584106959 0
[pid=5582/tid=5589] ppid=5580 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/5582/task/5589/stat : 5589 (java) S 5580 5580 2957 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421192127 28904845312 10350 33554432000 4194304 4196468 140734584098896 140086667496208 140087121073877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31612928 140734584103914 140734584104086 140734584104086 140734584106959 0
[pid=5582/tid=5590] ppid=5580 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/5582/task/5590/stat : 5590 (java) S 5580 5580 2957 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421192127 28904845312 10350 33554432000 4194304 4196468 140734584098896 140086666443920 140087121073877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31612928 140734584103914 140734584104086 140734584104086 140734584106959 0
[pid=5582/tid=5591] ppid=5580 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/5582/task/5591/stat : 5591 (java) S 5580 5580 2957 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421192127 28904845312 10350 33554432000 4194304 4196468 140734584098896 140086665391120 140087121073877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31612928 140734584103914 140734584104086 140734584104086 140734584106959 0
[pid=5582/tid=5592] ppid=5580 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/5582/task/5592/stat : 5592 (java) S 5580 5580 2957 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 421192128 28904845312 10350 33554432000 4194304 4196468 140734584098896 140085248878704 140087121074818 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31612928 140734584103914 140734584104086 140734584104086 140734584106959 0
[pid=5582/tid=5593] ppid=5580 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/5582/task/5593/stat : 5593 (java) S 5580 5580 2957 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 421192129 28904845312 10350 33554432000 4194304 4196468 140734584098896 140085247824672 140087121073877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31612928 140734584103914 140734584104086 140734584104086 140734584106959 0
[pid=5582/tid=5594] ppid=5580 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/5582/task/5594/stat : 5594 (java) S 5580 5580 2957 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 421192129 28904845312 10350 33554432000 4194304 4196468 140734584098896 140085246772336 140087121073877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31612928 140734584103914 140734584104086 140734584104086 140734584106959 0
[pid=5582/tid=5595] ppid=5580 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/5582/task/5595/stat : 5595 (java) S 5580 5580 2957 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421192132 28904845312 10350 33554432000 4194304 4196468 140734584098896 140085245720656 140087121082267 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31612928 140734584103914 140734584104086 140734584104086 140734584106959 0
[pid=5582/tid=5596] ppid=5580 vsize=28227388 memory=0 CPUtime=0.03 cores=0-7
/proc/5582/task/5596/stat : 5596 (java) S 5580 5580 2957 0 -1 1077944384 601 0 0 0 3 0 0 0 20 0 20 0 421192132 28904845312 10350 33554432000 4194304 4196468 140734584098896 140085244668528 140087121074818 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31612928 140734584103914 140734584104086 140734584104086 140734584106959 0
[pid=5582/tid=5597] ppid=5580 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/5582/task/5597/stat : 5597 (java) S 5580 5580 2957 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 20 0 421192132 28904845312 10350 33554432000 4194304 4196468 140734584098896 140085243615728 140087121074818 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31612928 140734584103914 140734584104086 140734584104086 140734584106959 0
[pid=5582/tid=5598] ppid=5580 vsize=28227388 memory=-1 CPUtime=0.01 cores=0-7
/proc/5582/task/5598/stat : 5598 (java) S 5580 5580 2957 0 -1 1077944384 147 0 0 0 1 0 0 0 20 0 20 0 421192132 28904845312 10350 33554432000 4194304 4196468 140734584098896 140085242563440 140087121074818 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31612928 140734584103914 140734584104086 140734584104086 140734584106959 0
[pid=5582/tid=5599] ppid=5580 vsize=28227388 memory=-1 CPUtime=0.07 cores=0-7
/proc/5582/task/5599/stat : 5599 (java) R 5580 5580 2957 0 -1 4202560 729 0 0 0 7 0 0 0 20 0 20 0 421192132 28904845312 10350 33554432000 4194304 4196468 140734584098896 140085241510640 140086750478457 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31612928 140734584103914 140734584104086 140734584104086 140734584106959 0
[pid=5582/tid=5600] ppid=5580 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/5582/task/5600/stat : 5600 (java) S 5580 5580 2957 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421192132 28904845312 10350 33554432000 4194304 4196468 140734584098896 140085240457568 140087121073877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31612928 140734584103914 140734584104086 140734584104086 140734584106959 0
[pid=5582/tid=5601] ppid=5580 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/5582/task/5601/stat : 5601 (java) S 5580 5580 2957 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421192132 28904845312 10350 33554432000 4194304 4196468 140734584098896 140085239404848 140087121074818 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31612928 140734584103914 140734584104086 140734584104086 140734584106959 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 28340516 KiB
Current children cumulated memory: 42852 KiB

[startup+0.309572 s]*
/proc/loadavg: 8.44 7.97 7.54 4/211 5601
/proc/meminfo: memFree=30531580/32770624 swapFree=67022328/67108860
[pid=5580] ppid=5577 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/5580/stat : 5580 (xcsp3-exec) S 5577 5580 2957 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 421192126 115843072 363 33554432000 4194304 5098028 140730563099600 140730563097704 140649159819900 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 30437376 140730563101557 140730563101801 140730563101801 140730563104714 0
/proc/5580/statm: 28282 363 305 221 0 87 0
[pid=5582] ppid=5580 vsize=28231644 memory=50164 CPUtime=0.52 cores=0-7
/proc/5582/stat : 5582 (java) S 5580 5580 2957 0 -1 1077944320 10906 0 0 0 49 3 0 0 20 0 20 0 421192126 28909203456 12541 33554432000 4194304 4196468 140734584098896 140734584081440 140087121063671 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 31612928 140734584103914 140734584104086 140734584104086 140734584106959 0
/proc/5582/statm: 7057911 12541 3352 1 0 7019032 0
[pid=5582/tid=5583] ppid=5580 vsize=28231644 memory=8112282956445269571 CPUtime=0.29 cores=0-7
/proc/5582/task/5583/stat : 5583 (java) R 5580 5580 2957 0 -1 4202560 7816 0 0 0 27 2 0 0 20 0 20 0 421192126 28909203456 12541 33554432000 4194304 4196468 140734584098896 140087125294784 140087100788800 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 31612928 140734584103914 140734584104086 140734584104086 140734584106959 0
[pid=5582/tid=5584] ppid=5580 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/5582/task/5584/stat : 5584 (java) S 5580 5580 2957 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421192127 28909203456 12541 33554432000 4194304 4196468 140734584098896 140087073683856 140087121073877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31612928 140734584103914 140734584104086 140734584104086 140734584106959 0
[pid=5582/tid=5585] ppid=5580 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/5582/task/5585/stat : 5585 (java) S 5580 5580 2957 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421192127 28909203456 12541 33554432000 4194304 4196468 140734584098896 140087072631056 140087121073877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31612928 140734584103914 140734584104086 140734584104086 140734584106959 0
[pid=5582/tid=5586] ppid=5580 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/5582/task/5586/stat : 5586 (java) S 5580 5580 2957 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421192127 28909203456 12541 33554432000 4194304 4196468 140734584098896 140087071578768 140087121073877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31612928 140734584103914 140734584104086 140734584104086 140734584106959 0
[pid=5582/tid=5587] ppid=5580 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/5582/task/5587/stat : 5587 (java) S 5580 5580 2957 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421192127 28909203456 12541 33554432000 4194304 4196468 140734584098896 140087070525968 140087121073877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31612928 140734584103914 140734584104086 140734584104086 140734584106959 0
[pid=5582/tid=5588] ppid=5580 vsize=28231644 memory=2244 CPUtime=0 cores=0-7
/proc/5582/task/5588/stat : 5588 (java) S 5580 5580 2957 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421192127 28909203456 12541 33554432000 4194304 4196468 140734584098896 140086668549008 140087121073877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31612928 140734584103914 140734584104086 140734584104086 140734584106959 0
[pid=5582/tid=5589] ppid=5580 vsize=28231644 memory=139891514110895 CPUtime=0 cores=0-7
/proc/5582/task/5589/stat : 5589 (java) S 5580 5580 2957 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421192127 28909203456 12541 33554432000 4194304 4196468 140734584098896 140086667496208 140087121073877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31612928 140734584103914 140734584104086 140734584104086 140734584106959 0
[pid=5582/tid=5590] ppid=5580 vsize=28231644 memory=139891514113200 CPUtime=0 cores=0-7
/proc/5582/task/5590/stat : 5590 (java) S 5580 5580 2957 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421192127 28909203456 12541 33554432000 4194304 4196468 140734584098896 140086666443920 140087121073877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31612928 140734584103914 140734584104086 140734584104086 140734584106959 0
[pid=5582/tid=5591] ppid=5580 vsize=28231644 memory=139891514115504 CPUtime=0 cores=0-7
/proc/5582/task/5591/stat : 5591 (java) S 5580 5580 2957 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421192127 28909203456 12541 33554432000 4194304 4196468 140734584098896 140086665391120 140087121073877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31612928 140734584103914 140734584104086 140734584104086 140734584106959 0
[pid=5582/tid=5592] ppid=5580 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/5582/task/5592/stat : 5592 (java) S 5580 5580 2957 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 421192128 28909203456 12541 33554432000 4194304 4196468 140734584098896 140085248878704 140087121074818 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31612928 140734584103914 140734584104086 140734584104086 140734584106959 0
[pid=5582/tid=5593] ppid=5580 vsize=28231644 memory=279783028237968 CPUtime=0 cores=0-7
/proc/5582/task/5593/stat : 5593 (java) S 5580 5580 2957 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 421192129 28909203456 12541 33554432000 4194304 4196468 140734584098896 140085247824672 140087121073877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31612928 140734584103914 140734584104086 140734584104086 140734584106959 0
[pid=5582/tid=5594] ppid=5580 vsize=28231644 memory=279783028244880 CPUtime=0 cores=0-7
/proc/5582/task/5594/stat : 5594 (java) S 5580 5580 2957 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 421192129 28909203456 12541 33554432000 4194304 4196468 140734584098896 140085246772336 140087121073877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31612928 140734584103914 140734584104086 140734584104086 140734584106959 0
[pid=5582/tid=5595] ppid=5580 vsize=28231644 memory=279783028186160 CPUtime=0 cores=0-7
/proc/5582/task/5595/stat : 5595 (java) S 5580 5580 2957 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421192132 28909203456 12541 33554432000 4194304 4196468 140734584098896 140085245720656 140087121082267 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31612928 140734584103914 140734584104086 140734584104086 140734584106959 0
[pid=5582/tid=5596] ppid=5580 vsize=28231644 memory=279783028258704 CPUtime=0.03 cores=0-7
/proc/5582/task/5596/stat : 5596 (java) S 5580 5580 2957 0 -1 1077944384 617 0 0 0 3 0 0 0 20 0 20 0 421192132 28909203456 12541 33554432000 4194304 4196468 140734584098896 140085244668528 140087121074818 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31612928 140734584103914 140734584104086 140734584104086 140734584106959 0
[pid=5582/tid=5597] ppid=5580 vsize=28231644 memory=279783028265616 CPUtime=0.03 cores=0-7
/proc/5582/task/5597/stat : 5597 (java) R 5580 5580 2957 0 -1 4202560 149 0 0 0 3 0 0 0 20 0 20 0 421192132 28909203456 12541 33554432000 4194304 4196468 140734584098896 140085243606112 140087121085018 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31612928 140734584103914 140734584104086 140734584104086 140734584106959 0
[pid=5582/tid=5598] ppid=5580 vsize=28231644 memory=279783028263312 CPUtime=0.01 cores=0-7
/proc/5582/task/5598/stat : 5598 (java) S 5580 5580 2957 0 -1 1077944384 175 0 0 0 1 0 0 0 20 0 20 0 421192132 28909203456 12541 33554432000 4194304 4196468 140734584098896 140085242563440 140087121074818 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31612928 140734584103914 140734584104086 140734584104086 140734584106959 0
[pid=5582/tid=5599] ppid=5580 vsize=28231644 memory=279783028279472 CPUtime=0.12 cores=0-7
/proc/5582/task/5599/stat : 5599 (java) S 5580 5580 2957 0 -1 1077944384 843 0 0 0 12 0 0 0 20 0 20 0 421192132 28909203456 12541 33554432000 4194304 4196468 140734584098896 140085241510640 140087121074818 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31612928 140734584103914 140734584104086 140734584104086 140734584106959 0
[pid=5582/tid=5600] ppid=5580 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/5582/task/5600/stat : 5600 (java) S 5580 5580 2957 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421192132 28909203456 12541 33554432000 4194304 4196468 140734584098896 140085240457568 140087121073877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31612928 140734584103914 140734584104086 140734584104086 140734584106959 0
[pid=5582/tid=5601] ppid=5580 vsize=28231644 memory=-1 CPUtime=0 cores=0-7
/proc/5582/task/5601/stat : 5601 (java) S 5580 5580 2957 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421192132 28909203456 12541 33554432000 4194304 4196468 140734584098896 140085239404848 140087121074818 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31612928 140734584103914 140734584104086 140734584104086 140734584106959 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 28344772 KiB
Current children cumulated memory: 51616 KiB

[startup+0.700917 s]
/proc/loadavg: 8.44 7.97 7.54 3/211 5601
/proc/meminfo: memFree=30518656/32770624 swapFree=67022328/67108860
[pid=5580] ppid=5577 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/5580/stat : 5580 (xcsp3-exec) S 5577 5580 2957 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 421192126 115843072 363 33554432000 4194304 5098028 140730563099600 140730563097704 140649159819900 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 30437376 140730563101557 140730563101801 140730563101801 140730563104714 0
/proc/5580/statm: 28282 363 305 221 0 87 0
[pid=5582] ppid=5580 vsize=28233768 memory=103684 CPUtime=1.73 cores=0-7
/proc/5582/stat : 5582 (java) S 5580 5580 2957 0 -1 1077944320 16087 0 0 0 167 6 0 0 20 0 20 0 421192126 28911378432 25921 33554432000 4194304 4196468 140734584098896 140734584081440 140087121063671 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 31612928 140734584103914 140734584104086 140734584104086 140734584106959 0
/proc/5582/statm: 7058442 25921 3464 1 0 7019544 0
[pid=5582/tid=5583] ppid=5580 vsize=28233768 memory=279783028637360 CPUtime=0.68 cores=0-7
/proc/5582/task/5583/stat : 5583 (java) R 5580 5580 2957 0 -1 4202560 9112 0 0 0 64 4 0 0 20 0 20 0 421192126 28911378432 25921 33554432000 4194304 4196468 140734584098896 140087125302096 140086754046759 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31612928 140734584103914 140734584104086 140734584104086 140734584106959 0
[pid=5582/tid=5584] ppid=5580 vsize=28233768 memory=139891514319728 CPUtime=0 cores=0-7
/proc/5582/task/5584/stat : 5584 (java) S 5580 5580 2957 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421192127 28911378432 25921 33554432000 4194304 4196468 140734584098896 140087073683856 140087121073877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31612928 140734584103914 140734584104086 140734584104086 140734584106959 0
[pid=5582/tid=5585] ppid=5580 vsize=28233768 memory=0 CPUtime=0 cores=0-7
/proc/5582/task/5585/stat : 5585 (java) S 5580 5580 2957 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421192127 28911378432 25921 33554432000 4194304 4196468 140734584098896 140087072631056 140087121073877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31612928 140734584103914 140734584104086 140734584104086 140734584106959 0
[pid=5582/tid=5586] ppid=5580 vsize=28233768 memory=1224 CPUtime=0 cores=0-7
/proc/5582/task/5586/stat : 5586 (java) S 5580 5580 2957 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421192127 28911378432 25921 33554432000 4194304 4196468 140734584098896 140087071578768 140087121073877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31612928 140734584103914 140734584104086 140734584104086 140734584106959 0

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

[pid=5582/tid=5599] ppid=5580 vsize=28768328 memory=1452 CPUtime=1.11 cores=0-7
/proc/5582/task/5599/stat : 5599 (java) S 5580 5580 2957 0 -1 1077944384 12294 0 0 0 107 4 0 0 20 0 28 0 421192132 29458767872 361229 33554432000 4194304 4196468 140734584098896 140085241510640 140087121074818 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 35 0 0 6293624 6294260 31612928 140734584103914 140734584104086 140734584104086 140734584106959 0
[pid=5582/tid=5600] ppid=5580 vsize=28768328 memory=8112282956445269571 CPUtime=0 cores=0-7
/proc/5582/task/5600/stat : 5600 (java) S 5580 5580 2957 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 421192132 29458767872 361229 33554432000 4194304 4196468 140734584098896 140085240457568 140087121073877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31612928 140734584103914 140734584104086 140734584104086 140734584106959 0
[pid=5582/tid=5601] ppid=5580 vsize=28768328 memory=1612 CPUtime=0.07 cores=0-7
/proc/5582/task/5601/stat : 5601 (java) S 5580 5580 2957 0 -1 1077944384 1264 0 0 0 7 0 0 0 20 0 28 0 421192132 29458767872 361229 33554432000 4194304 4196468 140734584098896 140085239404848 140087121074818 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 34 0 0 6293624 6294260 31612928 140734584103914 140734584104086 140734584104086 140734584106959 0
[pid=5582/tid=5602] ppid=5580 vsize=28768328 memory=111632 CPUtime=169.81 cores=0-7
/proc/5582/task/5602/stat : 5602 (java) R 5580 5580 2957 0 -1 4202560 4278 0 0 0 16973 8 0 0 20 0 28 0 421192222 29458767872 361229 33554432000 4194304 4196468 140734584098896 140085230434088 140086757010628 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 31612928 140734584103914 140734584104086 140734584104086 140734584106959 0
[pid=5582/tid=5603] ppid=5580 vsize=28768328 memory=804 CPUtime=171.62 cores=0-7
/proc/5582/task/5603/stat : 5603 (java) R 5580 5580 2957 0 -1 4202560 3618 0 0 0 17155 7 0 0 20 0 28 0 421192222 29458767872 361229 33554432000 4194304 4196468 140734584098896 140085229379544 140086757012114 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 31612928 140734584103914 140734584104086 140734584104086 140734584106959 0
[pid=5582/tid=5604] ppid=5580 vsize=28768328 memory=1804 CPUtime=169.66 cores=0-7
/proc/5582/task/5604/stat : 5604 (java) R 5580 5580 2957 0 -1 4202560 12804 0 0 0 16946 20 0 0 20 0 28 0 421192222 29458767872 361229 33554432000 4194304 4196468 140734584098896 140085228327168 140086758099915 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31612928 140734584103914 140734584104086 140734584104086 140734584106959 0
[pid=5582/tid=5605] ppid=5580 vsize=28768328 memory=916 CPUtime=170.09 cores=0-7
/proc/5582/task/5605/stat : 5605 (java) R 5580 5580 2957 0 -1 4202560 6259 0 0 0 17001 8 0 0 20 0 28 0 421192222 29458767872 361229 33554432000 4194304 4196468 140734584098896 140085227274032 140086759251180 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31612928 140734584103914 140734584104086 140734584104086 140734584106959 0
[pid=5582/tid=5606] ppid=5580 vsize=28768328 memory=4504 CPUtime=170.91 cores=0-7
/proc/5582/task/5606/stat : 5606 (java) R 5580 5580 2957 0 -1 4202560 4180 0 0 0 17082 9 0 0 20 0 28 0 421192222 29458767872 361229 33554432000 4194304 4196468 140734584098896 140085226221920 140086757010773 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 31612928 140734584103914 140734584104086 140734584104086 140734584106959 0
[pid=5582/tid=5607] ppid=5580 vsize=28768328 memory=4108 CPUtime=170.03 cores=0-7
/proc/5582/task/5607/stat : 5607 (java) R 5580 5580 2957 0 -1 4202560 2805 0 0 0 16996 7 0 0 20 0 28 0 421192222 29458767872 361229 33554432000 4194304 4196468 140734584098896 140085225169064 140086756986022 0 4 0 16800975 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 31612928 140734584103914 140734584104086 140734584104086 140734584106959 0
[pid=5582/tid=5608] ppid=5580 vsize=28768328 memory=1412 CPUtime=171.67 cores=0-7
/proc/5582/task/5608/stat : 5608 (java) R 5580 5580 2957 0 -1 4202560 4360 0 0 0 17160 7 0 0 20 0 28 0 421192222 29458767872 361229 33554432000 4194304 4196468 140734584098896 140085224116088 140086757010633 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 31612928 140734584103914 140734584104086 140734584104086 140734584106959 0
[pid=5582/tid=5609] ppid=5580 vsize=28768328 memory=3560 CPUtime=172.04 cores=0-7
/proc/5582/task/5609/stat : 5609 (java) R 5580 5580 2957 0 -1 4202560 3836 0 0 0 17195 9 0 0 20 0 28 0 421192226 29458767872 361229 33554432000 4194304 4196468 140734584098896 140085223064008 140086756986469 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 31612928 140734584103914 140734584104086 140734584104086 140734584106959 0
Current children cumulated CPU time: 1382.86 s
Current children cumulated vsize: 28881456 KiB
Current children cumulated memory: 1446368 KiB

[startup+175.202 s]
/proc/loadavg: 8.02 7.95 7.61 9/220 5628
/proc/meminfo: memFree=29136436/32770624 swapFree=67022344/67108860
[pid=5580] ppid=5577 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/5580/stat : 5580 (xcsp3-exec) S 5577 5580 2957 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 421192126 115843072 363 33554432000 4194304 5098028 140730563099600 140730563097704 140649159819900 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 30437376 140730563101557 140730563101801 140730563101801 140730563104714 0
/proc/5580/statm: 28282 363 305 221 0 87 0
[pid=5582] ppid=5580 vsize=28768328 memory=1444920 CPUtime=1389.23 cores=0-7
/proc/5582/stat : 5582 (java) S 5580 5580 2957 0 -1 1077944320 144839 0 0 0 138665 258 0 0 20 0 28 0 421192126 29458767872 361230 33554432000 4194304 4196468 140734584098896 140734584081440 140087121063671 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 31612928 140734584103914 140734584104086 140734584104086 140734584106959 0
/proc/5582/statm: 7192082 361230 3536 1 0 7153184 0
[pid=5582/tid=5583] ppid=5580 vsize=28768328 memory=734122130331934768 CPUtime=0.94 cores=0-7
/proc/5582/task/5583/stat : 5583 (java) S 5580 5580 2957 0 -1 1077944384 9335 0 0 0 89 5 0 0 20 0 28 0 421192126 29458767872 361230 33554432000 4194304 4196468 140734584098896 140087125304448 140087121073877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31612928 140734584103914 140734584104086 140734584104086 140734584106959 0
[pid=5582/tid=5584] ppid=5580 vsize=28768328 memory=8112282956445269571 CPUtime=0.35 cores=0-7
/proc/5582/task/5584/stat : 5584 (java) S 5580 5580 2957 0 -1 1077944384 2009 0 0 0 16 19 0 0 20 0 28 0 421192127 29458767872 361230 33554432000 4194304 4196468 140734584098896 140087073683856 140087121073877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31612928 140734584103914 140734584104086 140734584104086 140734584106959 0
[pid=5582/tid=5585] ppid=5580 vsize=28768328 memory=1444916 CPUtime=0.39 cores=0-7
/proc/5582/task/5585/stat : 5585 (java) S 5580 5580 2957 0 -1 1077944384 1741 0 0 0 19 20 0 0 20 0 28 0 421192127 29458767872 361230 33554432000 4194304 4196468 140734584098896 140087072631056 140087121073877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31612928 140734584103914 140734584104086 140734584104086 140734584106959 0
[pid=5582/tid=5586] ppid=5580 vsize=28768328 memory=8112282956445269571 CPUtime=0.36 cores=0-7
/proc/5582/task/5586/stat : 5586 (java) S 5580 5580 2957 0 -1 1077944384 1495 0 0 0 18 18 0 0 20 0 28 0 421192127 29458767872 361230 33554432000 4194304 4196468 140734584098896 140087071578768 140087121073877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31612928 140734584103914 140734584104086 140734584104086 140734584106959 0
[pid=5582/tid=5587] ppid=5580 vsize=28768328 memory=4126316290023845779 CPUtime=0.33 cores=0-7
/proc/5582/task/5587/stat : 5587 (java) S 5580 5580 2957 0 -1 1077944384 1854 0 0 0 15 18 0 0 20 0 28 0 421192127 29458767872 361230 33554432000 4194304 4196468 140734584098896 140087070525968 140087121073877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31612928 140734584103914 140734584104086 140734584104086 140734584106959 0
[pid=5582/tid=5588] ppid=5580 vsize=28768328 memory=924 CPUtime=0.38 cores=0-7
/proc/5582/task/5588/stat : 5588 (java) S 5580 5580 2957 0 -1 1077944384 2748 0 0 0 18 20 0 0 20 0 28 0 421192127 29458767872 361230 33554432000 4194304 4196468 140734584098896 140086668549008 140087121073877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31612928 140734584103914 140734584104086 140734584104086 140734584106959 0
[pid=5582/tid=5589] ppid=5580 vsize=28768328 memory=2344 CPUtime=0.35 cores=0-7
/proc/5582/task/5589/stat : 5589 (java) S 5580 5580 2957 0 -1 1077944384 1779 0 0 0 17 18 0 0 20 0 28 0 421192127 29458767872 361230 33554432000 4194304 4196468 140734584098896 140086667496208 140087121073877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 31612928 140734584103914 140734584104086 140734584104086 140734584106959 0
[pid=5582/tid=5590] ppid=5580 vsize=28768328 memory=2064 CPUtime=0.39 cores=0-7
/proc/5582/task/5590/stat : 5590 (java) S 5580 5580 2957 0 -1 1077944384 2089 0 0 0 19 20 0 0 20 0 28 0 421192127 29458767872 361230 33554432000 4194304 4196468 140734584098896 140086666443920 140087121073877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 31612928 140734584103914 140734584104086 140734584104086 140734584106959 0
[pid=5582/tid=5591] ppid=5580 vsize=28768328 memory=2876 CPUtime=0.39 cores=0-7
/proc/5582/task/5591/stat : 5591 (java) S 5580 5580 2957 0 -1 1077944384 2380 0 0 0 19 20 0 0 20 0 28 0 421192127 29458767872 361230 33554432000 4194304 4196468 140734584098896 140086665391120 140087121073877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 31612928 140734584103914 140734584104086 140734584104086 140734584106959 0
[pid=5582/tid=5592] ppid=5580 vsize=28768328 memory=288230574492221466 CPUtime=0.07 cores=0-7
/proc/5582/task/5592/stat : 5592 (java) S 5580 5580 2957 0 -1 1077944384 5077 0 0 0 5 2 0 0 20 0 28 0 421192128 29458767872 361230 33554432000 4194304 4196468 140734584098896 140085248878704 140087121074818 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31612928 140734584103914 140734584104086 140734584104086 140734584106959 0
[pid=5582/tid=5593] ppid=5580 vsize=28768328 memory=288230583166042426 CPUtime=0 cores=0-7
/proc/5582/task/5593/stat : 5593 (java) S 5580 5580 2957 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 28 0 421192129 29458767872 361230 33554432000 4194304 4196468 140734584098896 140085247824736 140087121073877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31612928 140734584103914 140734584104086 140734584104086 140734584106959 0
[pid=5582/tid=5594] ppid=5580 vsize=28768328 memory=16104775267649406 CPUtime=0 cores=0-7
/proc/5582/task/5594/stat : 5594 (java) S 5580 5580 2957 0 -1 1077944384 105 0 0 0 0 0 0 0 20 0 28 0 421192129 29458767872 361230 33554432000 4194304 4196468 140734584098896 140085246772352 140087121073877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31612928 140734584103914 140734584104086 140734584104086 140734584106959 0
[pid=5582/tid=5595] ppid=5580 vsize=28768328 memory=1804 CPUtime=0 cores=0-7
/proc/5582/task/5595/stat : 5595 (java) S 5580 5580 2957 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 421192132 29458767872 361230 33554432000 4194304 4196468 140734584098896 140085245720656 140087121082267 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31612928 140734584103914 140734584104086 140734584104086 140734584106959 0
[pid=5582/tid=5596] ppid=5580 vsize=28768328 memory=916 CPUtime=3.59 cores=0-7
/proc/5582/task/5596/stat : 5596 (java) S 5580 5580 2957 0 -1 1077944384 19522 0 0 0 355 4 0 0 20 0 28 0 421192132 29458767872 361230 33554432000 4194304 4196468 140734584098896 140085244668528 140087121074818 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 31 0 0 6293624 6294260 31612928 140734584103914 140734584104086 140734584104086 140734584106959 0
[pid=5582/tid=5597] ppid=5580 vsize=28768328 memory=4504 CPUtime=3.97 cores=0-7
/proc/5582/task/5597/stat : 5597 (java) S 5580 5580 2957 0 -1 1077944384 20135 0 0 0 392 5 0 0 20 0 28 0 421192132 29458767872 361230 33554432000 4194304 4196468 140734584098896 140085243615728 140087121074818 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31612928 140734584103914 140734584104086 140734584104086 140734584106959 0
[pid=5582/tid=5598] ppid=5580 vsize=28768328 memory=1908 CPUtime=4.13 cores=0-7
/proc/5582/task/5598/stat : 5598 (java) S 5580 5580 2957 0 -1 1077944384 17284 0 0 0 410 3 0 0 20 0 28 0 421192132 29458767872 361230 33554432000 4194304 4196468 140734584098896 140085242563440 140087121074818 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 34 0 0 6293624 6294260 31612928 140734584103914 140734584104086 140734584104086 140734584106959 0
[pid=5582/tid=5599] ppid=5580 vsize=28768328 memory=1360 CPUtime=1.11 cores=0-7
/proc/5582/task/5599/stat : 5599 (java) S 5580 5580 2957 0 -1 1077944384 12321 0 0 0 107 4 0 0 20 0 28 0 421192132 29458767872 361230 33554432000 4194304 4196468 140734584098896 140085241510640 140087121074818 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 35 0 0 6293624 6294260 31612928 140734584103914 140734584104086 140734584104086 140734584106959 0
[pid=5582/tid=5600] ppid=5580 vsize=28768328 memory=7428 CPUtime=0 cores=0-7
/proc/5582/task/5600/stat : 5600 (java) S 5580 5580 2957 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 421192132 29458767872 361230 33554432000 4194304 4196468 140734584098896 140085240457568 140087121073877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31612928 140734584103914 140734584104086 140734584104086 140734584106959 0
[pid=5582/tid=5601] ppid=5580 vsize=28768328 memory=860 CPUtime=0.07 cores=0-7
/proc/5582/task/5601/stat : 5601 (java) S 5580 5580 2957 0 -1 1077944384 1264 0 0 0 7 0 0 0 20 0 28 0 421192132 29458767872 361230 33554432000 4194304 4196468 140734584098896 140085239404848 140087121074818 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 34 0 0 6293624 6294260 31612928 140734584103914 140734584104086 140734584104086 140734584106959 0
[pid=5582/tid=5602] ppid=5580 vsize=28768328 memory=8112282956445269571 CPUtime=170.6 cores=0-7
/proc/5582/task/5602/stat : 5602 (java) R 5580 5580 2957 0 -1 4202560 4291 0 0 0 17051 9 0 0 20 0 28 0 421192222 29458767872 361230 33554432000 4194304 4196468 140734584098896 140085230431240 140086758401462 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 31612928 140734584103914 140734584104086 140734584104086 140734584106959 0
[pid=5582/tid=5603] ppid=5580 vsize=28768328 memory=1296 CPUtime=172.42 cores=0-7
/proc/5582/task/5603/stat : 5603 (java) R 5580 5580 2957 0 -1 4202560 3629 0 0 0 17235 7 0 0 20 0 28 0 421192222 29458767872 361230 33554432000 4194304 4196468 140734584098896 140085229379560 140086757010641 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 31612928 140734584103914 140734584104086 140734584104086 140734584106959 0
[pid=5582/tid=5604] ppid=5580 vsize=28768328 memory=2184 CPUtime=170.46 cores=0-7
/proc/5582/task/5604/stat : 5604 (java) R 5580 5580 2957 0 -1 4202560 12910 0 0 0 17026 20 0 0 20 0 28 0 421192222 29458767872 361230 33554432000 4194304 4196468 140734584098896 140085228326960 140086757010705 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31612928 140734584103914 140734584104086 140734584104086 140734584106959 0
[pid=5582/tid=5605] ppid=5580 vsize=28768328 memory=1844 CPUtime=170.89 cores=0-7
/proc/5582/task/5605/stat : 5605 (java) R 5580 5580 2957 0 -1 4202560 6279 0 0 0 17081 8 0 0 20 0 28 0 421192222 29458767872 361230 33554432000 4194304 4196468 140734584098896 140085227274032 140086758764497 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31612928 140734584103914 140734584104086 140734584104086 140734584106959 0
[pid=5582/tid=5606] ppid=5580 vsize=28768328 memory=4956 CPUtime=171.71 cores=0-7
/proc/5582/task/5606/stat : 5606 (java) R 5580 5580 2957 0 -1 4202560 4202 0 0 0 17162 9 0 0 20 0 28 0 421192222 29458767872 361230 33554432000 4194304 4196468 140734584098896 140085226222448 140086756110400 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 31612928 140734584103914 140734584104086 140734584104086 140734584106959 0
[pid=5582/tid=5607] ppid=5580 vsize=28768328 memory=10092 CPUtime=170.82 cores=0-7
/proc/5582/task/5607/stat : 5607 (java) R 5580 5580 2957 0 -1 4202560 2845 0 0 0 17075 7 0 0 20 0 28 0 421192222 29458767872 361230 33554432000 4194304 4196468 140734584098896 140085225169248 140086757010917 0 4 0 16800975 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 31612928 140734584103914 140734584104086 140734584104086 140734584106959 0
[pid=5582/tid=5608] ppid=5580 vsize=28768328 memory=1908 CPUtime=172.47 cores=0-7
/proc/5582/task/5608/stat : 5608 (java) R 5580 5580 2957 0 -1 4202560 4389 0 0 0 17240 7 0 0 20 0 28 0 421192222 29458767872 361230 33554432000 4194304 4196468 140734584098896 140085224116088 140086756110243 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 31612928 140734584103914 140734584104086 140734584104086 140734584106959 0
[pid=5582/tid=5609] ppid=5580 vsize=28768328 memory=1360 CPUtime=172.84 cores=0-7
/proc/5582/task/5609/stat : 5609 (java) R 5580 5580 2957 0 -1 4202560 3863 0 0 0 17275 9 0 0 20 0 28 0 421192226 29458767872 361230 33554432000 4194304 4196468 140734584098896 140085223063040 140086759250598 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 31612928 140734584103914 140734584104086 140734584104086 140734584106959 0
Current children cumulated CPU time: 1389.23 s
Current children cumulated vsize: 28881456 KiB
Current children cumulated memory: 1446372 KiB

[startup+175.602 s]
/proc/loadavg: 8.02 7.95 7.61 9/220 5628
/proc/meminfo: memFree=29136436/32770624 swapFree=67022344/67108860
[pid=5580] ppid=5577 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/5580/stat : 5580 (xcsp3-exec) S 5577 5580 2957 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 421192126 115843072 363 33554432000 4194304 5098028 140730563099600 140730563097704 140649159819900 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 30437376 140730563101557 140730563101801 140730563101801 140730563104714 0
/proc/5580/statm: 28282 363 305 221 0 87 0
[pid=5582] ppid=5580 vsize=28768328 memory=1445424 CPUtime=1392.4 cores=0-7
/proc/5582/stat : 5582 (java) S 5580 5580 2957 0 -1 1077944320 145550 0 0 0 138982 258 0 0 20 0 28 0 421192126 29458767872 361356 33554432000 4194304 4196468 140734584098896 140734584081440 140087121063671 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 31612928 140734584103914 140734584104086 140734584104086 140734584106959 0
/proc/5582/statm: 7192082 361356 3536 1 0 7153184 0
[pid=5582/tid=5583] ppid=5580 vsize=28768328 memory=0 CPUtime=0.94 cores=0-7
/proc/5582/task/5583/stat : 5583 (java) S 5580 5580 2957 0 -1 1077944384 9335 0 0 0 89 5 0 0 20 0 28 0 421192126 29458767872 361356 33554432000 4194304 4196468 140734584098896 140087125304448 140087121073877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31612928 140734584103914 140734584104086 140734584104086 140734584106959 0
[pid=5582/tid=5584] ppid=5580 vsize=28768328 memory=4639948313719891052 CPUtime=0.35 cores=0-7
/proc/5582/task/5584/stat : 5584 (java) S 5580 5580 2957 0 -1 1077944384 2074 0 0 0 16 19 0 0 20 0 28 0 421192127 29458767872 361356 33554432000 4194304 4196468 140734584098896 140087073683856 140087121073877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31612928 140734584103914 140734584104086 140734584104086 140734584106959 0
[pid=5582/tid=5585] ppid=5580 vsize=28768328 memory=8112282956445269571 CPUtime=0.39 cores=0-7
/proc/5582/task/5585/stat : 5585 (java) S 5580 5580 2957 0 -1 1077944384 1842 0 0 0 19 20 0 0 20 0 28 0 421192127 29458767872 361356 33554432000 4194304 4196468 140734584098896 140087072631056 140087121073877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31612928 140734584103914 140734584104086 140734584104086 140734584106959 0
[pid=5582/tid=5586] ppid=5580 vsize=28768328 memory=1224 CPUtime=0.36 cores=0-7
/proc/5582/task/5586/stat : 5586 (java) S 5580 5580 2957 0 -1 1077944384 1529 0 0 0 18 18 0 0 20 0 28 0 421192127 29458767872 361356 33554432000 4194304 4196468 140734584098896 140087071578768 140087121073877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31612928 140734584103914 140734584104086 140734584104086 140734584106959 0
[pid=5582/tid=5587] ppid=5580 vsize=28768328 memory=3824 CPUtime=0.34 cores=0-7
/proc/5582/task/5587/stat : 5587 (java) S 5580 5580 2957 0 -1 1077944384 1898 0 0 0 16 18 0 0 20 0 28 0 421192127 29458767872 361356 33554432000 4194304 4196468 140734584098896 140087070525968 140087121073877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31612928 140734584103914 140734584104086 140734584104086 140734584106959 0
[pid=5582/tid=5588] ppid=5580 vsize=28768328 memory=1384 CPUtime=0.39 cores=0-7
/proc/5582/task/5588/stat : 5588 (java) S 5580 5580 2957 0 -1 1077944384 2798 0 0 0 19 20 0 0 20 0 28 0 421192127 29458767872 361356 33554432000 4194304 4196468 140734584098896 140086668549008 140087121073877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31612928 140734584103914 140734584104086 140734584104086 140734584106959 0
[pid=5582/tid=5589] ppid=5580 vsize=28768328 memory=15080 CPUtime=0.35 cores=0-7
/proc/5582/task/5589/stat : 5589 (java) S 5580 5580 2957 0 -1 1077944384 1789 0 0 0 17 18 0 0 20 0 28 0 421192127 29458767872 361356 33554432000 4194304 4196468 140734584098896 140086667496208 140087121073877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 31612928 140734584103914 140734584104086 140734584104086 140734584106959 0
[pid=5582/tid=5590] ppid=5580 vsize=28768328 memory=10112 CPUtime=0.4 cores=0-7
/proc/5582/task/5590/stat : 5590 (java) S 5580 5580 2957 0 -1 1077944384 2257 0 0 0 20 20 0 0 20 0 28 0 421192127 29458767872 361356 33554432000 4194304 4196468 140734584098896 140086666443920 140087121073877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 31612928 140734584103914 140734584104086 140734584104086 140734584106959 0
[pid=5582/tid=5591] ppid=5580 vsize=28768328 memory=2676 CPUtime=0.39 cores=0-7
/proc/5582/task/5591/stat : 5591 (java) S 5580 5580 2957 0 -1 1077944384 2511 0 0 0 19 20 0 0 20 0 28 0 421192127 29458767872 361356 33554432000 4194304 4196468 140734584098896 140086665391120 140087121073877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 31612928 140734584103914 140734584104086 140734584104086 140734584106959 0
[pid=5582/tid=5592] ppid=5580 vsize=28768328 memory=13240 CPUtime=0.07 cores=0-7
/proc/5582/task/5592/stat : 5592 (java) S 5580 5580 2957 0 -1 1077944384 5122 0 0 0 5 2 0 0 20 0 28 0 421192128 29458767872 361356 33554432000 4194304 4196468 140734584098896 140085248878704 140087121074818 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31612928 140734584103914 140734584104086 140734584104086 140734584106959 0
[pid=5582/tid=5593] ppid=5580 vsize=28768328 memory=500 CPUtime=0 cores=0-7
/proc/5582/task/5593/stat : 5593 (java) S 5580 5580 2957 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 28 0 421192129 29458767872 361356 33554432000 4194304 4196468 140734584098896 140085247824736 140087121073877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31612928 140734584103914 140734584104086 140734584104086 140734584106959 0
[pid=5582/tid=5594] ppid=5580 vsize=28768328 memory=1736 CPUtime=0 cores=0-7
/proc/5582/task/5594/stat : 5594 (java) S 5580 5580 2957 0 -1 1077944384 105 0 0 0 0 0 0 0 20 0 28 0 421192129 29458767872 361356 33554432000 4194304 4196468 140734584098896 140085246772352 140087121073877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31612928 140734584103914 140734584104086 140734584104086 140734584106959 0
[pid=5582/tid=5595] ppid=5580 vsize=28768328 memory=1772 CPUtime=0 cores=0-7
/proc/5582/task/5595/stat : 5595 (java) S 5580 5580 2957 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 421192132 29458767872 361356 33554432000 4194304 4196468 140734584098896 140085245720656 140087121082267 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31612928 140734584103914 140734584104086 140734584104086 140734584106959 0
[pid=5582/tid=5596] ppid=5580 vsize=28768328 memory=924 CPUtime=3.59 cores=0-7
/proc/5582/task/5596/stat : 5596 (java) S 5580 5580 2957 0 -1 1077944384 19522 0 0 0 355 4 0 0 20 0 28 0 421192132 29458767872 361356 33554432000 4194304 4196468 140734584098896 140085244668528 140087121074818 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 31 0 0 6293624 6294260 31612928 140734584103914 140734584104086 140734584104086 140734584106959 0
[pid=5582/tid=5597] ppid=5580 vsize=28768328 memory=776 CPUtime=3.97 cores=0-7
/proc/5582/task/5597/stat : 5597 (java) S 5580 5580 2957 0 -1 1077944384 20135 0 0 0 392 5 0 0 20 0 28 0 421192132 29458767872 361356 33554432000 4194304 4196468 140734584098896 140085243615728 140087121074818 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31612928 140734584103914 140734584104086 140734584104086 140734584106959 0
[pid=5582/tid=5598] ppid=5580 vsize=28768328 memory=1612 CPUtime=4.13 cores=0-7
/proc/5582/task/5598/stat : 5598 (java) S 5580 5580 2957 0 -1 1077944384 17284 0 0 0 410 3 0 0 20 0 28 0 421192132 29458767872 361356 33554432000 4194304 4196468 140734584098896 140085242563440 140087121074818 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 34 0 0 6293624 6294260 31612928 140734584103914 140734584104086 140734584104086 140734584106959 0
[pid=5582/tid=5599] ppid=5580 vsize=28768328 memory=1224 CPUtime=1.12 cores=0-7
/proc/5582/task/5599/stat : 5599 (java) S 5580 5580 2957 0 -1 1077944384 12329 0 0 0 108 4 0 0 20 0 28 0 421192132 29458767872 361356 33554432000 4194304 4196468 140734584098896 140085241510640 140087121074818 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 35 0 0 6293624 6294260 31612928 140734584103914 140734584104086 140734584104086 140734584106959 0
[pid=5582/tid=5600] ppid=5580 vsize=28768328 memory=3824 CPUtime=0 cores=0-7
/proc/5582/task/5600/stat : 5600 (java) S 5580 5580 2957 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 421192132 29458767872 361356 33554432000 4194304 4196468 140734584098896 140085240457568 140087121073877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31612928 140734584103914 140734584104086 140734584104086 140734584106959 0
[pid=5582/tid=5601] ppid=5580 vsize=28768328 memory=1384 CPUtime=0.07 cores=0-7
/proc/5582/task/5601/stat : 5601 (java) S 5580 5580 2957 0 -1 1077944384 1264 0 0 0 7 0 0 0 20 0 28 0 421192132 29458767872 361356 33554432000 4194304 4196468 140734584098896 140085239404848 140087121074818 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 34 0 0 6293624 6294260 31612928 140734584103914 140734584104086 140734584104086 140734584106959 0
[pid=5582/tid=5602] ppid=5580 vsize=28768328 memory=15080 CPUtime=170.99 cores=0-7
/proc/5582/task/5602/stat : 5602 (java) R 5580 5580 2957 0 -1 4202560 4294 0 0 0 17090 9 0 0 20 0 28 0 421192222 29458767872 361356 33554432000 4194304 4196468 140734584098896 140085230431240 140086757010641 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 31612928 140734584103914 140734584104086 140734584104086 140734584106959 0
[pid=5582/tid=5603] ppid=5580 vsize=28768328 memory=10112 CPUtime=172.81 cores=0-7
/proc/5582/task/5603/stat : 5603 (java) R 5580 5580 2957 0 -1 4202560 3637 0 0 0 17274 7 0 0 20 0 28 0 421192222 29458767872 361356 33554432000 4194304 4196468 140734584098896 140085229379560 140086759250607 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 31612928 140734584103914 140734584104086 140734584104086 140734584106959 0
[pid=5582/tid=5604] ppid=5580 vsize=28768328 memory=2676 CPUtime=170.85 cores=0-7
/proc/5582/task/5604/stat : 5604 (java) R 5580 5580 2957 0 -1 4202560 12934 0 0 0 17065 20 0 0 20 0 28 0 421192222 29458767872 361356 33554432000 4194304 4196468 140734584098896 140085228330576 140086757951581 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31612928 140734584103914 140734584104086 140734584104086 140734584106959 0
[pid=5582/tid=5605] ppid=5580 vsize=28768328 memory=13240 CPUtime=171.28 cores=0-7
/proc/5582/task/5605/stat : 5605 (java) R 5580 5580 2957 0 -1 4202560 6281 0 0 0 17120 8 0 0 20 0 28 0 421192222 29458767872 361356 33554432000 4194304 4196468 140734584098896 140085227274144 140086757014440 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31612928 140734584103914 140734584104086 140734584104086 140734584106959 0
[pid=5582/tid=5606] ppid=5580 vsize=28768328 memory=10112 CPUtime=172.1 cores=0-7
/proc/5582/task/5606/stat : 5606 (java) R 5580 5580 2957 0 -1 4202560 4206 0 0 0 17201 9 0 0 20 0 28 0 421192222 29458767872 361356 33554432000 4194304 4196468 140734584098896 140085226222032 140086757010883 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 31612928 140734584103914 140734584104086 140734584104086 140734584106959 0
[pid=5582/tid=5607] ppid=5580 vsize=28768328 memory=2676 CPUtime=171.22 cores=0-7
/proc/5582/task/5607/stat : 5607 (java) R 5580 5580 2957 0 -1 4202560 2847 0 0 0 17115 7 0 0 20 0 28 0 421192222 29458767872 361356 33554432000 4194304 4196468 140734584098896 140085225169248 140086756986560 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 31612928 140734584103914 140734584104086 140734584104086 140734584106959 0
[pid=5582/tid=5608] ppid=5580 vsize=28768328 memory=13240 CPUtime=172.86 cores=0-7
/proc/5582/task/5608/stat : 5608 (java) R 5580 5580 2957 0 -1 4202560 4392 0 0 0 17279 7 0 0 20 0 28 0 421192222 29458767872 361356 33554432000 4194304 4196468 140734584098896 140085224118928 140086756109490 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 31612928 140734584103914 140734584104086 140734584104086 140734584106959 0
[pid=5582/tid=5609] ppid=5580 vsize=28768328 memory=500 CPUtime=173.23 cores=0-7
/proc/5582/task/5609/stat : 5609 (java) R 5580 5580 2957 0 -1 4202560 3872 0 0 0 17314 9 0 0 20 0 28 0 421192226 29458767872 361356 33554432000 4194304 4196468 140734584098896 140085223067016 140086756876464 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 31612928 140734584103914 140734584104086 140734584104086 140734584106959 0
Current children cumulated CPU time: 1392.4 s
Current children cumulated vsize: 28881456 KiB
Current children cumulated memory: 1446876 KiB

Child status: 0
Real time (s): 175.7
CPU time (s): 1392.95
CPU user time (s): 1390.34
CPU system time (s): 2.60536
CPU usage (%): 792.796
Max. virtual memory (cumulated for all children) (KiB): 28881456
Max. memory (cumulated for all children) (KiB): 1450552

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1390.34
system time used= 2.60536
maximum resident set size= 1451616
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 147164
page faults= 0
swaps= 0
block input operations= 0
block output operations= 360
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12610
involuntary context switches= 18534


# summary of solver processes directly reported to runsolver:
#   pid: 5580
#   total CPU time (s): 1392.95
#   total CPU user time (s): 1390.34
#   total CPU system time (s): 2.60536

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.58588 second user time and 2.24923 second system time

The end

Launcher Data 

Begin job on node150 at 2019-09-14 10:19:16
IDJOB=4393712
IDBENCH=141698
IDSOLVER=2841
FILE ID=node150/4393712-1568449195
RUNJOBID= node150-1568441012-2984
PBS_JOBID= 21702341
Free space on /tmp= 59360 MiB

SOLVER NAME= choco-solver parallel 2019-06-14
BENCH NAME= XCSP19/hcp/graph252.xml
COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 24000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4393712-1568449195/watcher-4393712-1568449195 -o /tmp/evaluation-result-4393712-1568449195/solver-4393712-1568449195 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node150-1568441012-2984 --watchdog 2580  xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1416187241 HOME/instance-4393712-1568449195.xml

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

MD5SUM BENCH= 38d76d568b0da13c7191c020c1ef1fbc
RANDOM SEED=1416187241

node150.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.79
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.79
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.79
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.79
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:        30570436 kB
MemAvailable:   31847540 kB
Buffers:          161204 kB
Cached:          1363792 kB
SwapCached:        13556 kB
Active:           767892 kB
Inactive:         804432 kB
Active(anon):       5276 kB
Inactive(anon):    68520 kB
Active(file):     762616 kB
Inactive(file):   735912 kB
Unevictable:      109388 kB
Mlocked:          109388 kB
SwapTotal:      67108860 kB
SwapFree:       67022328 kB
Dirty:             26516 kB
Writeback:             0 kB
AnonPages:        263672 kB
Mapped:            38636 kB
Shmem:             17652 kB
Slab:             218128 kB
SReclaimable:     188820 kB
SUnreclaim:        29308 kB
KernelStack:        3744 kB
PageTables:         5168 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     498216 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    188416 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:       99712 kB
DirectMap2M:    33445888 kB

Free space on /tmp at the end= 59332 MiB
End job on node150 at 2019-09-14 10:22:11