Trace number 4405971

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
choco-solver 2019-09-24SAT 428.361 423.763

General information on the benchmark

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4405971-1569415512/watcher-4405971-1569415512 -o /tmp/evaluation-result-4405971-1569415512/solver-4405971-1569415512 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node103-1569408595-17299 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 1 -ml 12000 -tdir HOME -seed 972995390 HOME/instance-4405971-1569415512.xml 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=18717, runsolver pid=18714

[startup+0.100059 s]*
/proc/loadavg: 1.79 1.84 1.82 4/230 18733
/proc/meminfo: memFree=27223940/32770624 swapFree=66999256/67108860
[pid=18717] ppid=18714 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/18717/stat : 18717 (xcsp3-exec) S 18714 18717 17267 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 517804283 115843072 362 33554432000 4194304 5098028 140728794513840 140728794511944 140532432683644 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 17801216 140728794518395 140728794518637 140728794518637 140728794521546 0
/proc/18717/statm: 28282 362 304 221 0 87 0
[pid=18719] ppid=18717 vsize=15144776 memory=29728 CPUtime=0.13 cores=1,3,5,7
/proc/18719/stat : 18719 (java) S 18717 18717 17267 0 -1 1077944320 5850 0 0 0 12 1 0 0 20 0 15 0 517804283 15508250624 7432 33554432000 4194304 4196468 140729398783040 140729398765584 140515815276279 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17965056 140729398789103 140729398789274 140729398789274 140729398792143 0
/proc/18719/statm: 3786194 7432 3147 1 0 3748377 0
[pid=18719/tid=18720] ppid=18717 vsize=15144776 memory=576460756329955459 CPUtime=0.08 cores=1,3,5,7
/proc/18719/task/18720/stat : 18720 (java) R 18717 18717 17267 0 -1 4202560 3743 0 0 0 8 0 0 0 20 0 15 0 517804283 15508250624 7432 33554432000 4194304 4196468 140729398783040 140515819498336 140515799319909 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17965056 140729398789103 140729398789274 140729398789274 140729398792143 0
[pid=18719/tid=18721] ppid=18717 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18719/task/18721/stat : 18721 (java) S 18717 18717 17267 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517804284 15508250624 7432 33554432000 4194304 4196468 140729398783040 140515767896336 140515815286485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17965056 140729398789103 140729398789274 140729398789274 140729398792143 0
[pid=18719/tid=18722] ppid=18717 vsize=15144776 memory=3688931073819010720 CPUtime=0 cores=1,3,5,7
/proc/18719/task/18722/stat : 18722 (java) S 18717 18717 17267 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517804284 15508250624 7432 33554432000 4194304 4196468 140729398783040 140515766843792 140515815286485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17965056 140729398789103 140729398789274 140729398789274 140729398792143 0
[pid=18719/tid=18723] ppid=18717 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18719/task/18723/stat : 18723 (java) S 18717 18717 17267 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517804284 15508250624 7432 33554432000 4194304 4196468 140729398783040 140515765791248 140515815286485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17965056 140729398789103 140729398789274 140729398789274 140729398792143 0
[pid=18719/tid=18724] ppid=18717 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18719/task/18724/stat : 18724 (java) S 18717 18717 17267 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517804284 15508250624 7432 33554432000 4194304 4196468 140729398783040 140515764738704 140515815286485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17965056 140729398789103 140729398789274 140729398789274 140729398792143 0
[pid=18719/tid=18725] ppid=18717 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18719/task/18725/stat : 18725 (java) S 18717 18717 17267 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517804285 15508250624 7432 33554432000 4194304 4196468 140729398783040 140514957806064 140515815287426 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17965056 140729398789103 140729398789274 140729398789274 140729398792143 0
[pid=18719/tid=18726] ppid=18717 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18719/task/18726/stat : 18726 (java) S 18717 18717 17267 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 517804286 15508250624 7432 33554432000 4194304 4196468 140729398783040 140514956752288 140515815286485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17965056 140729398789103 140729398789274 140729398789274 140729398792143 0
[pid=18719/tid=18727] ppid=18717 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18719/task/18727/stat : 18727 (java) S 18717 18717 17267 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517804286 15508250624 7432 33554432000 4194304 4196468 140729398783040 140514552702448 140515815286485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17965056 140729398789103 140729398789274 140729398789274 140729398792143 0
[pid=18719/tid=18728] ppid=18717 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18719/task/18728/stat : 18728 (java) S 18717 18717 17267 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517804288 15508250624 7432 33554432000 4194304 4196468 140729398783040 140514551651024 140515815294875 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17965056 140729398789103 140729398789274 140729398789274 140729398792143 0
[pid=18719/tid=18729] ppid=18717 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18719/task/18729/stat : 18729 (java) R 18717 18717 17267 0 -1 1077944384 424 0 0 0 0 0 0 0 20 0 15 0 517804288 15508250624 7432 33554432000 4194304 4196468 140729398783040 140514550597616 140515815287426 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17965056 140729398789103 140729398789274 140729398789274 140729398792143 0
[pid=18719/tid=18730] ppid=18717 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18719/task/18730/stat : 18730 (java) R 18717 18717 17267 0 -1 4202560 43 0 0 0 0 0 0 0 20 0 15 0 517804288 15508250624 7432 33554432000 4194304 4196468 140729398783040 140514549545072 140515793116480 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17965056 140729398789103 140729398789274 140729398789274 140729398792143 0
[pid=18719/tid=18731] ppid=18717 vsize=15144776 memory=139694329161344 CPUtime=0.02 cores=1,3,5,7
/proc/18719/task/18731/stat : 18731 (java) R 18717 18717 17267 0 -1 4202560 360 0 0 0 2 0 0 0 20 0 15 0 517804288 15508250624 7432 33554432000 4194304 4196468 140729398783040 140514548492528 140515815288214 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17965056 140729398789103 140729398789274 140729398789274 140729398792143 0
[pid=18719/tid=18732] ppid=18717 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18719/task/18732/stat : 18732 (java) S 18717 18717 17267 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517804289 15508250624 7432 33554432000 4194304 4196468 140729398783040 140514547440224 140515815286485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17965056 140729398789103 140729398789274 140729398789274 140729398792143 0
[pid=18719/tid=18733] ppid=18717 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18719/task/18733/stat : 18733 (java) S 18717 18717 17267 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517804289 15508250624 7432 33554432000 4194304 4196468 140729398783040 140514546387760 140515815287426 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17965056 140729398789103 140729398789274 140729398789274 140729398792143 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 31176 KiB

[startup+0.213323 s]*
/proc/loadavg: 1.79 1.84 1.82 4/230 18733
/proc/meminfo: memFree=27210960/32770624 swapFree=66999256/67108860
[pid=18717] ppid=18714 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/18717/stat : 18717 (xcsp3-exec) S 18714 18717 17267 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 517804283 115843072 362 33554432000 4194304 5098028 140728794513840 140728794511944 140532432683644 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 17801216 140728794518395 140728794518637 140728794518637 140728794521546 0
/proc/18717/statm: 28282 362 304 221 0 87 0
[pid=18719] ppid=18717 vsize=15144776 memory=41060 CPUtime=0.35 cores=1,3,5,7
/proc/18719/stat : 18719 (java) S 18717 18717 17267 0 -1 1077944320 9503 0 0 0 33 2 0 0 20 0 15 0 517804283 15508250624 10265 33554432000 4194304 4196468 140729398783040 140729398765584 140515815276279 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17965056 140729398789103 140729398789274 140729398789274 140729398792143 0
/proc/18719/statm: 3786194 10265 3316 1 0 3748377 0
[pid=18719/tid=18720] ppid=18717 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/18719/task/18720/stat : 18720 (java) R 18717 18717 17267 0 -1 4202560 6644 0 0 0 19 1 0 0 20 0 15 0 517804283 15508250624 10327 33554432000 4194304 4196468 140729398783040 140515819511264 140515799356766 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17965056 140729398789103 140729398789274 140729398789274 140729398792143 0
[pid=18719/tid=18721] ppid=18717 vsize=15144776 memory=9100 CPUtime=0 cores=1,3,5,7
/proc/18719/task/18721/stat : 18721 (java) S 18717 18717 17267 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517804284 15508250624 10327 33554432000 4194304 4196468 140729398783040 140515767896336 140515815286485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17965056 140729398789103 140729398789274 140729398789274 140729398792143 0
[pid=18719/tid=18722] ppid=18717 vsize=15144776 memory=139694333286215 CPUtime=0 cores=1,3,5,7
/proc/18719/task/18722/stat : 18722 (java) S 18717 18717 17267 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517804284 15508250624 10327 33554432000 4194304 4196468 140729398783040 140515766843792 140515815286485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17965056 140729398789103 140729398789274 140729398789274 140729398792143 0
[pid=18719/tid=18723] ppid=18717 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18719/task/18723/stat : 18723 (java) S 18717 18717 17267 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517804284 15508250624 10327 33554432000 4194304 4196468 140729398783040 140515765791248 140515815286485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17965056 140729398789103 140729398789274 140729398789274 140729398792143 0
[pid=18719/tid=18724] ppid=18717 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18719/task/18724/stat : 18724 (java) S 18717 18717 17267 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517804284 15508250624 10327 33554432000 4194304 4196468 140729398783040 140515764738704 140515815286485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17965056 140729398789103 140729398789274 140729398789274 140729398792143 0
[pid=18719/tid=18725] ppid=18717 vsize=15144776 memory=139694329161344 CPUtime=0 cores=1,3,5,7
/proc/18719/task/18725/stat : 18725 (java) S 18717 18717 17267 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 517804285 15508250624 10327 33554432000 4194304 4196468 140729398783040 140514957806064 140515815287426 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17965056 140729398789103 140729398789274 140729398789274 140729398792143 0
[pid=18719/tid=18726] ppid=18717 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18719/task/18726/stat : 18726 (java) S 18717 18717 17267 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 517804286 15508250624 10327 33554432000 4194304 4196468 140729398783040 140514956752288 140515815286485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17965056 140729398789103 140729398789274 140729398789274 140729398792143 0
[pid=18719/tid=18727] ppid=18717 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18719/task/18727/stat : 18727 (java) S 18717 18717 17267 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517804286 15508250624 10327 33554432000 4194304 4196468 140729398783040 140514552702448 140515815286485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17965056 140729398789103 140729398789274 140729398789274 140729398792143 0
[pid=18719/tid=18728] ppid=18717 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18719/task/18728/stat : 18728 (java) S 18717 18717 17267 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517804288 15508250624 10327 33554432000 4194304 4196468 140729398783040 140514551651024 140515815294875 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17965056 140729398789103 140729398789274 140729398789274 140729398792143 0
[pid=18719/tid=18729] ppid=18717 vsize=15144776 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/18719/task/18729/stat : 18729 (java) S 18717 18717 17267 0 -1 1077944384 753 0 0 0 3 0 0 0 20 0 15 0 517804288 15508250624 10327 33554432000 4194304 4196468 140729398783040 140514550597616 140515815287426 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17965056 140729398789103 140729398789274 140729398789274 140729398792143 0
[pid=18719/tid=18730] ppid=18717 vsize=15144776 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/18719/task/18730/stat : 18730 (java) S 18717 18717 17267 0 -1 1077944384 88 0 0 0 1 0 0 0 20 0 15 0 517804288 15508250624 10327 33554432000 4194304 4196468 140729398783040 140514549545072 140515815287426 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17965056 140729398789103 140729398789274 140729398789274 140729398792143 0
[pid=18719/tid=18731] ppid=18717 vsize=15144776 memory=139694329161344 CPUtime=0.08 cores=1,3,5,7
/proc/18719/task/18731/stat : 18731 (java) S 18717 18717 17267 0 -1 1077944384 713 0 0 0 8 0 0 0 20 0 15 0 517804288 15508250624 10327 33554432000 4194304 4196468 140729398783040 140514548492528 140515815287426 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17965056 140729398789103 140729398789274 140729398789274 140729398792143 0
[pid=18719/tid=18732] ppid=18717 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18719/task/18732/stat : 18732 (java) S 18717 18717 17267 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517804289 15508250624 10327 33554432000 4194304 4196468 140729398783040 140514547440224 140515815286485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17965056 140729398789103 140729398789274 140729398789274 140729398792143 0
[pid=18719/tid=18733] ppid=18717 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18719/task/18733/stat : 18733 (java) S 18717 18717 17267 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517804289 15508250624 10327 33554432000 4194304 4196468 140729398783040 140514546387760 140515815287426 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17965056 140729398789103 140729398789274 140729398789274 140729398792143 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42508 KiB

[startup+0.310692 s]*
/proc/loadavg: 1.79 1.84 1.82 4/230 18733
/proc/meminfo: memFree=27203192/32770624 swapFree=66999256/67108860
[pid=18717] ppid=18714 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/18717/stat : 18717 (xcsp3-exec) S 18714 18717 17267 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 517804283 115843072 362 33554432000 4194304 5098028 140728794513840 140728794511944 140532432683644 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 17801216 140728794518395 140728794518637 140728794518637 140728794521546 0
/proc/18717/statm: 28282 362 304 221 0 87 0
[pid=18719] ppid=18717 vsize=15149032 memory=50484 CPUtime=0.54 cores=1,3,5,7
/proc/18719/stat : 18719 (java) S 18717 18717 17267 0 -1 1077944320 10891 0 0 0 50 4 0 0 20 0 15 0 517804283 15512608768 12621 33554432000 4194304 4196468 140729398783040 140729398765584 140515815276279 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17965056 140729398789103 140729398789274 140729398789274 140729398792143 0
/proc/18719/statm: 3787258 12621 3359 1 0 3748377 0
[pid=18719/tid=18720] ppid=18717 vsize=15149032 memory=1398722017469774279 CPUtime=0.29 cores=1,3,5,7
/proc/18719/task/18720/stat : 18720 (java) R 18717 18717 17267 0 -1 4202560 7817 0 0 0 27 2 0 0 20 0 15 0 517804283 15512608768 12628 33554432000 4194304 4196468 140729398783040 140515819502896 140515799356766 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17965056 140729398789103 140729398789274 140729398789274 140729398792143 0
[pid=18719/tid=18721] ppid=18717 vsize=15149032 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/18719/task/18721/stat : 18721 (java) S 18717 18717 17267 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517804284 15512608768 12628 33554432000 4194304 4196468 140729398783040 140515767896336 140515815286485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17965056 140729398789103 140729398789274 140729398789274 140729398792143 0
[pid=18719/tid=18722] ppid=18717 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/18719/task/18722/stat : 18722 (java) S 18717 18717 17267 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517804284 15512608768 12628 33554432000 4194304 4196468 140729398783040 140515766843792 140515815286485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17965056 140729398789103 140729398789274 140729398789274 140729398792143 0
[pid=18719/tid=18723] ppid=18717 vsize=15149032 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/18719/task/18723/stat : 18723 (java) S 18717 18717 17267 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517804284 15512608768 12628 33554432000 4194304 4196468 140729398783040 140515765791248 140515815286485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17965056 140729398789103 140729398789274 140729398789274 140729398792143 0
[pid=18719/tid=18724] ppid=18717 vsize=15149032 memory=-4190076264842474805 CPUtime=0 cores=1,3,5,7
/proc/18719/task/18724/stat : 18724 (java) S 18717 18717 17267 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517804284 15512608768 12628 33554432000 4194304 4196468 140729398783040 140515764738704 140515815286485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17965056 140729398789103 140729398789274 140729398789274 140729398792143 0
[pid=18719/tid=18725] ppid=18717 vsize=15149032 memory=-7305852742256935071 CPUtime=0 cores=1,3,5,7
/proc/18719/task/18725/stat : 18725 (java) S 18717 18717 17267 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 517804285 15512608768 12628 33554432000 4194304 4196468 140729398783040 140514957806064 140515815287426 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17965056 140729398789103 140729398789274 140729398789274 140729398792143 0
[pid=18719/tid=18726] ppid=18717 vsize=15149032 memory=6944656425123485561 CPUtime=0 cores=1,3,5,7
/proc/18719/task/18726/stat : 18726 (java) S 18717 18717 17267 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 517804286 15512608768 12628 33554432000 4194304 4196468 140729398783040 140514956752288 140515815286485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17965056 140729398789103 140729398789274 140729398789274 140729398792143 0
[pid=18719/tid=18727] ppid=18717 vsize=15149032 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/18719/task/18727/stat : 18727 (java) S 18717 18717 17267 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517804286 15512608768 12628 33554432000 4194304 4196468 140729398783040 140514552702448 140515815286485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17965056 140729398789103 140729398789274 140729398789274 140729398792143 0
[pid=18719/tid=18728] ppid=18717 vsize=15149032 memory=8514701219781834910 CPUtime=0 cores=1,3,5,7
/proc/18719/task/18728/stat : 18728 (java) S 18717 18717 17267 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517804288 15512608768 12628 33554432000 4194304 4196468 140729398783040 140514551651024 140515815294875 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17965056 140729398789103 140729398789274 140729398789274 140729398792143 0
[pid=18719/tid=18729] ppid=18717 vsize=15149032 memory=6576575808607070885 CPUtime=0.05 cores=1,3,5,7
/proc/18719/task/18729/stat : 18729 (java) S 18717 18717 17267 0 -1 1077944384 776 0 0 0 5 0 0 0 20 0 15 0 517804288 15512608768 12628 33554432000 4194304 4196468 140729398783040 140514550597616 140515815287426 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17965056 140729398789103 140729398789274 140729398789274 140729398792143 0
[pid=18719/tid=18730] ppid=18717 vsize=15149032 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/18719/task/18730/stat : 18730 (java) R 18717 18717 17267 0 -1 4202560 201 0 0 0 4 0 0 0 20 0 15 0 517804288 15512608768 12628 33554432000 4194304 4196468 140729398783040 140514549526088 140515792537536 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17965056 140729398789103 140729398789274 140729398789274 140729398792143 0
[pid=18719/tid=18731] ppid=18717 vsize=15149032 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/18719/task/18731/stat : 18731 (java) S 18717 18717 17267 0 -1 1077944384 796 0 0 0 12 0 0 0 20 0 15 0 517804288 15512608768 12628 33554432000 4194304 4196468 140729398783040 140514548492528 140515815287426 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17965056 140729398789103 140729398789274 140729398789274 140729398792143 0
[pid=18719/tid=18732] ppid=18717 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18719/task/18732/stat : 18732 (java) S 18717 18717 17267 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517804289 15512608768 12628 33554432000 4194304 4196468 140729398783040 140514547440224 140515815286485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17965056 140729398789103 140729398789274 140729398789274 140729398792143 0
[pid=18719/tid=18733] ppid=18717 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18719/task/18733/stat : 18733 (java) S 18717 18717 17267 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517804289 15512608768 12628 33554432000 4194304 4196468 140729398783040 140514546387760 140515815287426 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17965056 140729398789103 140729398789274 140729398789274 140729398792143 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51932 KiB

[startup+0.703584 s]
/proc/loadavg: 1.79 1.84 1.82 3/230 18733
/proc/meminfo: memFree=27188952/32770624 swapFree=66999256/67108860
[pid=18717] ppid=18714 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/18717/stat : 18717 (xcsp3-exec) S 18714 18717 17267 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 517804283 115843072 362 33554432000 4194304 5098028 140728794513840 140728794511944 140532432683644 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 17801216 140728794518395 140728794518637 140728794518637 140728794521546 0
/proc/18717/statm: 28282 362 304 221 0 87 0
[pid=18719] ppid=18717 vsize=15151156 memory=81584 CPUtime=1.62 cores=1,3,5,7
/proc/18719/stat : 18719 (java) S 18717 18717 17267 0 -1 1077944320 13551 0 0 0 157 5 0 0 20 0 15 0 517804283 15514783744 20396 33554432000 4194304 4196468 140729398783040 140729398765584 140515815276279 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17965056 140729398789103 140729398789274 140729398789274 140729398792143 0
/proc/18719/statm: 3787789 20396 3467 1 0 3748889 0
[pid=18719/tid=18720] ppid=18717 vsize=15151156 memory=-7533522213388100735 CPUtime=0.68 cores=1,3,5,7
/proc/18719/task/18720/stat : 18720 (java) R 18717 18717 17267 0 -1 4202560 9054 0 0 0 64 4 0 0 20 0 15 0 517804283 15514783744 20396 33554432000 4194304 4196468 140729398783040 140515819514752 140515799319909 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17965056 140729398789103 140729398789274 140729398789274 140729398792143 0
[pid=18719/tid=18721] ppid=18717 vsize=15151156 memory=7019257425709197167 CPUtime=0 cores=1,3,5,7
/proc/18719/task/18721/stat : 18721 (java) S 18717 18717 17267 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517804284 15514783744 20396 33554432000 4194304 4196468 140729398783040 140515767896336 140515815286485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17965056 140729398789103 140729398789274 140729398789274 140729398792143 0
[pid=18719/tid=18722] ppid=18717 vsize=15151156 memory=7519155755615801680 CPUtime=0 cores=1,3,5,7
/proc/18719/task/18722/stat : 18722 (java) S 18717 18717 17267 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517804284 15514783744 20396 33554432000 4194304 4196468 140729398783040 140515766843792 140515815286485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17965056 140729398789103 140729398789274 140729398789274 140729398792143 0
[pid=18719/tid=18723] ppid=18717 vsize=15151156 memory=3604 CPUtime=0 cores=1,3,5,7
/proc/18719/task/18723/stat : 18723 (java) S 18717 18717 17267 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517804284 15514783744 20396 33554432000 4194304 4196468 140729398783040 140515765791248 140515815286485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17965056 140729398789103 140729398789274 140729398789274 140729398792143 0
[pid=18719/tid=18724] ppid=18717 vsize=15151156 memory=2828 CPUtime=0 cores=1,3,5,7
/proc/18719/task/18724/stat : 18724 (java) S 18717 18717 17267 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517804284 15514783744 20396 33554432000 4194304 4196468 140729398783040 140515764738704 140515815286485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17965056 140729398789103 140729398789274 140729398789274 140729398792143 0
[pid=18719/tid=18725] ppid=18717 vsize=15151156 memory=676 CPUtime=0 cores=1,3,5,7
/proc/18719/task/18725/stat : 18725 (java) S 18717 18717 17267 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 517804285 15514783744 20396 33554432000 4194304 4196468 140729398783040 140514957806064 140515815287426 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17965056 140729398789103 140729398789274 140729398789274 140729398792143 0
[pid=18719/tid=18726] ppid=18717 vsize=15151156 memory=1060 CPUtime=0 cores=1,3,5,7
/proc/18719/task/18726/stat : 18726 (java) S 18717 18717 17267 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 517804286 15514783744 20396 33554432000 4194304 4196468 140729398783040 140514956752288 140515815286485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17965056 140729398789103 140729398789274 140729398789274 140729398792143 0
[pid=18719/tid=18727] ppid=18717 vsize=15151156 memory=1548 CPUtime=0 cores=1,3,5,7
/proc/18719/task/18727/stat : 18727 (java) S 18717 18717 17267 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517804286 15514783744 20396 33554432000 4194304 4196468 140729398783040 140514552702448 140515815286485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17965056 140729398789103 140729398789274 140729398789274 140729398792143 0
[pid=18719/tid=18728] ppid=18717 vsize=15151156 memory=8560 CPUtime=0 cores=1,3,5,7
/proc/18719/task/18728/stat : 18728 (java) S 18717 18717 17267 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517804288 15514783744 20396 33554432000 4194304 4196468 140729398783040 140514551651024 140515815294875 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17965056 140729398789103 140729398789274 140729398789274 140729398792143 0
[pid=18719/tid=18729] ppid=18717 vsize=15151156 memory=1712 CPUtime=0.27 cores=1,3,5,7
/proc/18719/task/18729/stat : 18729 (java) S 18717 18717 17267 0 -1 1077944384 1126 0 0 0 27 0 0 0 20 0 15 0 517804288 15514783744 20396 33554432000 4194304 4196468 140729398783040 140514550597616 140515815287426 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17965056 140729398789103 140729398789274 140729398789274 140729398792143 0
[pid=18719/tid=18730] ppid=18717 vsize=15151156 memory=1112 CPUtime=0.26 cores=1,3,5,7
/proc/18719/task/18730/stat : 18730 (java) R 18717 18717 17267 0 -1 4202560 583 0 0 0 26 0 0 0 20 0 15 0 517804288 15514783744 20396 33554432000 4194304 4196468 140729398783040 140514549533664 140515799684380 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 17965056 140729398789103 140729398789274 140729398789274 140729398792143 0
[pid=18719/tid=18731] ppid=18717 vsize=15151156 memory=1004 CPUtime=0.38 cores=1,3,5,7
/proc/18719/task/18731/stat : 18731 (java) S 18717 18717 17267 0 -1 1077944384 1478 0 0 0 38 0 0 0 20 0 15 0 517804288 15514783744 20396 33554432000 4194304 4196468 140729398783040 140514548492528 140515815287426 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17965056 140729398789103 140729398789274 140729398789274 140729398792143 0
[pid=18719/tid=18732] ppid=18717 vsize=15151156 memory=6096 CPUtime=0 cores=1,3,5,7
/proc/18719/task/18732/stat : 18732 (java) S 18717 18717 17267 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517804289 15514783744 20396 33554432000 4194304 4196468 140729398783040 140514547440224 140515815286485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17965056 140729398789103 140729398789274 140729398789274 140729398792143 0
[pid=18719/tid=18733] ppid=18717 vsize=15151156 memory=14008 CPUtime=0 cores=1,3,5,7
/proc/18719/task/18733/stat : 18733 (java) S 18717 18717 17267 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517804289 15514783744 20396 33554432000 4194304 4196468 140729398783040 140514546387760 140515815287426 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17965056 140729398789103 140729398789274 140729398789274 140729398792143 0
Current children cumulated CPU time: 1.62 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 83032 KiB

[startup+1.50087 s]
/proc/loadavg: 1.79 1.84 1.82 3/230 18733
/proc/meminfo: memFree=27161508/32770624 swapFree=66999256/67108860
[pid=18717] ppid=18714 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/18717/stat : 18717 (xcsp3-exec) S 18714 18717 17267 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 517804283 115843072 362 33554432000 4194304 5098028 140728794513840 140728794511944 140532432683644 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 17801216 140728794518395 140728794518637 140728794518637 140728794521546 0
/proc/18717/statm: 28282 362 304 221 0 87 0

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

/proc/18717/stat : 18717 (xcsp3-exec) S 18714 18717 17267 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 517804283 115843072 362 33554432000 4194304 5098028 140728794513840 140728794511944 140532432683644 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 17801216 140728794518395 140728794518637 140728794518637 140728794521546 0
/proc/18717/statm: 28282 362 304 221 0 87 0
[pid=18719] ppid=18717 vsize=15151156 memory=150652 CPUtime=426.98 cores=1,3,5,7
/proc/18719/stat : 18719 (java) S 18717 18717 17267 0 -1 1077944320 53146 0 0 0 42668 30 0 0 20 0 15 0 517804283 15514783744 37663 33554432000 4194304 4196468 140729398783040 140729398765584 140515815276279 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17965056 140729398789103 140729398789274 140729398789274 140729398792143 0
/proc/18719/statm: 3787789 37663 3516 1 0 3748889 0
[pid=18719/tid=18720] ppid=18717 vsize=15151156 memory=1448 CPUtime=421.85 cores=1,3,5,7
/proc/18719/task/18720/stat : 18720 (java) R 18717 18717 17267 0 -1 4202560 14345 0 0 0 42178 7 0 0 20 0 15 0 517804283 15514783744 37663 33554432000 4194304 4196468 140729398783040 140515819516064 140515446549985 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17965056 140729398789103 140729398789274 140729398789274 140729398792143 0
[pid=18719/tid=18721] ppid=18717 vsize=15151156 memory=150652 CPUtime=0.22 cores=1,3,5,7
/proc/18719/task/18721/stat : 18721 (java) S 18717 18717 17267 0 -1 1077944384 674 0 0 0 18 4 0 0 20 0 15 0 517804284 15514783744 37663 33554432000 4194304 4196468 140729398783040 140515767896336 140515815286485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17965056 140729398789103 140729398789274 140729398789274 140729398792143 0
[pid=18719/tid=18722] ppid=18717 vsize=15151156 memory=42218 CPUtime=0.22 cores=1,3,5,7
/proc/18719/task/18722/stat : 18722 (java) S 18717 18717 17267 0 -1 1077944384 1045 0 0 0 20 2 0 0 20 0 15 0 517804284 15514783744 37663 33554432000 4194304 4196468 140729398783040 140515766843792 140515815286485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17965056 140729398789103 140729398789274 140729398789274 140729398792143 0
[pid=18719/tid=18723] ppid=18717 vsize=15151156 memory=41706 CPUtime=0.22 cores=1,3,5,7
/proc/18719/task/18723/stat : 18723 (java) S 18717 18717 17267 0 -1 1077944384 1305 0 0 0 20 2 0 0 20 0 15 0 517804284 15514783744 37663 33554432000 4194304 4196468 140729398783040 140515765791248 140515815286485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17965056 140729398789103 140729398789274 140729398789274 140729398792143 0
[pid=18719/tid=18724] ppid=18717 vsize=15151156 memory=150652 CPUtime=0.22 cores=1,3,5,7
/proc/18719/task/18724/stat : 18724 (java) S 18717 18717 17267 0 -1 1077944384 2530 0 0 0 20 2 0 0 20 0 15 0 517804284 15514783744 37663 33554432000 4194304 4196468 140729398783040 140515764738704 140515815286485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17965056 140729398789103 140729398789274 140729398789274 140729398792143 0
[pid=18719/tid=18725] ppid=18717 vsize=15151156 memory=3848 CPUtime=0.22 cores=1,3,5,7
/proc/18719/task/18725/stat : 18725 (java) S 18717 18717 17267 0 -1 1077944384 1780 0 0 0 19 3 0 0 20 0 15 0 517804285 15514783744 37663 33554432000 4194304 4196468 140729398783040 140514957806064 140515815287426 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 23 0 0 6293624 6294260 17965056 140729398789103 140729398789274 140729398789274 140729398792143 0
[pid=18719/tid=18726] ppid=18717 vsize=15151156 memory=2596 CPUtime=0 cores=1,3,5,7
/proc/18719/task/18726/stat : 18726 (java) S 18717 18717 17267 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 517804286 15514783744 37663 33554432000 4194304 4196468 140729398783040 140514956752352 140515815286485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17965056 140729398789103 140729398789274 140729398789274 140729398792143 0
[pid=18719/tid=18727] ppid=18717 vsize=15151156 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/18719/task/18727/stat : 18727 (java) S 18717 18717 17267 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 15 0 517804286 15514783744 37663 33554432000 4194304 4196468 140729398783040 140514552702464 140515815286485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17965056 140729398789103 140729398789274 140729398789274 140729398792143 0
[pid=18719/tid=18728] ppid=18717 vsize=15151156 memory=3848 CPUtime=0 cores=1,3,5,7
/proc/18719/task/18728/stat : 18728 (java) S 18717 18717 17267 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517804288 15514783744 37663 33554432000 4194304 4196468 140729398783040 140514551651024 140515815294875 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17965056 140729398789103 140729398789274 140729398789274 140729398792143 0
[pid=18719/tid=18729] ppid=18717 vsize=15151156 memory=2596 CPUtime=1.8 cores=1,3,5,7
/proc/18719/task/18729/stat : 18729 (java) S 18717 18717 17267 0 -1 1077944384 15132 0 0 0 178 2 0 0 20 0 15 0 517804288 15514783744 37663 33554432000 4194304 4196468 140729398783040 140514550597616 140515815287426 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 10 0 0 6293624 6294260 17965056 140729398789103 140729398789274 140729398789274 140729398792143 0
[pid=18719/tid=18730] ppid=18717 vsize=15151156 memory=1448 CPUtime=1.44 cores=1,3,5,7
/proc/18719/task/18730/stat : 18730 (java) S 18717 18717 17267 0 -1 1077944384 8426 0 0 0 143 1 0 0 20 0 15 0 517804288 15514783744 37663 33554432000 4194304 4196468 140729398783040 140514549545072 140515815287426 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17965056 140729398789103 140729398789274 140729398789274 140729398792143 0
[pid=18719/tid=18731] ppid=18717 vsize=15151156 memory=148508 CPUtime=0.58 cores=1,3,5,7
/proc/18719/task/18731/stat : 18731 (java) S 18717 18717 17267 0 -1 1077944384 6211 0 0 0 58 0 0 0 20 0 15 0 517804288 15514783744 37663 33554432000 4194304 4196468 140729398783040 140514548492528 140515815287426 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17965056 140729398789103 140729398789274 140729398789274 140729398792143 0
[pid=18719/tid=18732] ppid=18717 vsize=15151156 memory=3768 CPUtime=0 cores=1,3,5,7
/proc/18719/task/18732/stat : 18732 (java) S 18717 18717 17267 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517804289 15514783744 37663 33554432000 4194304 4196468 140729398783040 140514547440224 140515815286485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17965056 140729398789103 140729398789274 140729398789274 140729398792143 0
[pid=18719/tid=18733] ppid=18717 vsize=15151156 memory=148508 CPUtime=0.12 cores=1,3,5,7
/proc/18719/task/18733/stat : 18733 (java) S 18717 18717 17267 0 -1 1077944384 268 0 0 0 5 7 0 0 20 0 15 0 517804289 15514783744 37663 33554432000 4194304 4196468 140729398783040 140514546387760 140515815287426 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 42 0 0 6293624 6294260 17965056 140729398789103 140729398789274 140729398789274 140729398792143 0
Current children cumulated CPU time: 426.98 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 152100 KiB

[startup+423.201 s]
/proc/loadavg: 1.68 1.73 1.77 3/230 18773
/proc/meminfo: memFree=26912300/32770624 swapFree=66999256/67108860
[pid=18717] ppid=18714 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/18717/stat : 18717 (xcsp3-exec) S 18714 18717 17267 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 517804283 115843072 362 33554432000 4194304 5098028 140728794513840 140728794511944 140532432683644 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 17801216 140728794518395 140728794518637 140728794518637 140728794521546 0
/proc/18717/statm: 28282 362 304 221 0 87 0
[pid=18719] ppid=18717 vsize=15151156 memory=150652 CPUtime=427.79 cores=1,3,5,7
/proc/18719/stat : 18719 (java) S 18717 18717 17267 0 -1 1077944320 53147 0 0 0 42749 30 0 0 20 0 15 0 517804283 15514783744 37663 33554432000 4194304 4196468 140729398783040 140729398765584 140515815276279 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17965056 140729398789103 140729398789274 140729398789274 140729398792143 0
/proc/18719/statm: 3787789 37663 3516 1 0 3748889 0
[pid=18719/tid=18720] ppid=18717 vsize=15151156 memory=150644 CPUtime=422.65 cores=1,3,5,7
/proc/18719/task/18720/stat : 18720 (java) R 18717 18717 17267 0 -1 4202560 14346 0 0 0 42258 7 0 0 20 0 15 0 517804283 15514783744 37663 33554432000 4194304 4196468 140729398783040 140515819516064 140515446549948 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17965056 140729398789103 140729398789274 140729398789274 140729398792143 0
[pid=18719/tid=18721] ppid=18717 vsize=15151156 memory=150644 CPUtime=0.22 cores=1,3,5,7
/proc/18719/task/18721/stat : 18721 (java) S 18717 18717 17267 0 -1 1077944384 674 0 0 0 18 4 0 0 20 0 15 0 517804284 15514783744 37663 33554432000 4194304 4196468 140729398783040 140515767896336 140515815286485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17965056 140729398789103 140729398789274 140729398789274 140729398792143 0
[pid=18719/tid=18722] ppid=18717 vsize=15151156 memory=180 CPUtime=0.22 cores=1,3,5,7
/proc/18719/task/18722/stat : 18722 (java) S 18717 18717 17267 0 -1 1077944384 1045 0 0 0 20 2 0 0 20 0 15 0 517804284 15514783744 37663 33554432000 4194304 4196468 140729398783040 140515766843792 140515815286485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17965056 140729398789103 140729398789274 140729398789274 140729398792143 0
[pid=18719/tid=18723] ppid=18717 vsize=15151156 memory=144 CPUtime=0.22 cores=1,3,5,7
/proc/18719/task/18723/stat : 18723 (java) S 18717 18717 17267 0 -1 1077944384 1305 0 0 0 20 2 0 0 20 0 15 0 517804284 15514783744 37663 33554432000 4194304 4196468 140729398783040 140515765791248 140515815286485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17965056 140729398789103 140729398789274 140729398789274 140729398792143 0
[pid=18719/tid=18724] ppid=18717 vsize=15151156 memory=58 CPUtime=0.22 cores=1,3,5,7
/proc/18719/task/18724/stat : 18724 (java) S 18717 18717 17267 0 -1 1077944384 2530 0 0 0 20 2 0 0 20 0 15 0 517804284 15514783744 37663 33554432000 4194304 4196468 140729398783040 140515764738704 140515815286485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17965056 140729398789103 140729398789274 140729398789274 140729398792143 0
[pid=18719/tid=18725] ppid=18717 vsize=15151156 memory=1448 CPUtime=0.22 cores=1,3,5,7
/proc/18719/task/18725/stat : 18725 (java) S 18717 18717 17267 0 -1 1077944384 1780 0 0 0 19 3 0 0 20 0 15 0 517804285 15514783744 37663 33554432000 4194304 4196468 140729398783040 140514957806064 140515815287426 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 23 0 0 6293624 6294260 17965056 140729398789103 140729398789274 140729398789274 140729398792143 0
[pid=18719/tid=18726] ppid=18717 vsize=15151156 memory=150652 CPUtime=0 cores=1,3,5,7
/proc/18719/task/18726/stat : 18726 (java) S 18717 18717 17267 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 517804286 15514783744 37663 33554432000 4194304 4196468 140729398783040 140514956752352 140515815286485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17965056 140729398789103 140729398789274 140729398789274 140729398792143 0
[pid=18719/tid=18727] ppid=18717 vsize=15151156 memory=150652 CPUtime=0 cores=1,3,5,7
/proc/18719/task/18727/stat : 18727 (java) S 18717 18717 17267 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 15 0 517804286 15514783744 37663 33554432000 4194304 4196468 140729398783040 140514552702464 140515815286485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17965056 140729398789103 140729398789274 140729398789274 140729398792143 0
[pid=18719/tid=18728] ppid=18717 vsize=15151156 memory=3504 CPUtime=0 cores=1,3,5,7
/proc/18719/task/18728/stat : 18728 (java) S 18717 18717 17267 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517804288 15514783744 37663 33554432000 4194304 4196468 140729398783040 140514551651024 140515815294875 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17965056 140729398789103 140729398789274 140729398789274 140729398792143 0
[pid=18719/tid=18729] ppid=18717 vsize=15151156 memory=66896 CPUtime=1.8 cores=1,3,5,7
/proc/18719/task/18729/stat : 18729 (java) S 18717 18717 17267 0 -1 1077944384 15132 0 0 0 178 2 0 0 20 0 15 0 517804288 15514783744 37663 33554432000 4194304 4196468 140729398783040 140514550597616 140515815287426 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 10 0 0 6293624 6294260 17965056 140729398789103 140729398789274 140729398789274 140729398792143 0
[pid=18719/tid=18730] ppid=18717 vsize=15151156 memory=3028 CPUtime=1.44 cores=1,3,5,7
/proc/18719/task/18730/stat : 18730 (java) S 18717 18717 17267 0 -1 1077944384 8426 0 0 0 143 1 0 0 20 0 15 0 517804288 15514783744 37663 33554432000 4194304 4196468 140729398783040 140514549545072 140515815287426 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17965056 140729398789103 140729398789274 140729398789274 140729398792143 0
[pid=18719/tid=18731] ppid=18717 vsize=15151156 memory=6791534058613427641 CPUtime=0.58 cores=1,3,5,7
/proc/18719/task/18731/stat : 18731 (java) S 18717 18717 17267 0 -1 1077944384 6211 0 0 0 58 0 0 0 20 0 15 0 517804288 15514783744 37663 33554432000 4194304 4196468 140729398783040 140514548492528 140515815287426 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17965056 140729398789103 140729398789274 140729398789274 140729398792143 0
[pid=18719/tid=18732] ppid=18717 vsize=15151156 memory=3604 CPUtime=0 cores=1,3,5,7
/proc/18719/task/18732/stat : 18732 (java) S 18717 18717 17267 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517804289 15514783744 37663 33554432000 4194304 4196468 140729398783040 140514547440224 140515815286485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17965056 140729398789103 140729398789274 140729398789274 140729398792143 0
[pid=18719/tid=18733] ppid=18717 vsize=15151156 memory=2828 CPUtime=0.12 cores=1,3,5,7
/proc/18719/task/18733/stat : 18733 (java) S 18717 18717 17267 0 -1 1077944384 268 0 0 0 5 7 0 0 20 0 15 0 517804289 15514783744 37663 33554432000 4194304 4196468 140729398783040 140514546387760 140515815287426 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 42 0 0 6293624 6294260 17965056 140729398789103 140729398789274 140729398789274 140729398792143 0
Current children cumulated CPU time: 427.79 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 152100 KiB

[startup+423.601 s]
/proc/loadavg: 1.68 1.73 1.77 3/230 18773
/proc/meminfo: memFree=26912300/32770624 swapFree=66999256/67108860
[pid=18717] ppid=18714 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/18717/stat : 18717 (xcsp3-exec) S 18714 18717 17267 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 517804283 115843072 362 33554432000 4194304 5098028 140728794513840 140728794511944 140532432683644 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 17801216 140728794518395 140728794518637 140728794518637 140728794521546 0
/proc/18717/statm: 28282 362 304 221 0 87 0
[pid=18719] ppid=18717 vsize=15151156 memory=150652 CPUtime=428.19 cores=1,3,5,7
/proc/18719/stat : 18719 (java) S 18717 18717 17267 0 -1 1077944320 53147 0 0 0 42789 30 0 0 20 0 15 0 517804283 15514783744 37663 33554432000 4194304 4196468 140729398783040 140729398765584 140515815276279 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17965056 140729398789103 140729398789274 140729398789274 140729398792143 0
/proc/18719/statm: 3787789 37663 3516 1 0 3748889 0
[pid=18719/tid=18720] ppid=18717 vsize=15151156 memory=150652 CPUtime=423.05 cores=1,3,5,7
/proc/18719/task/18720/stat : 18720 (java) R 18717 18717 17267 0 -1 4202560 14346 0 0 0 42298 7 0 0 20 0 15 0 517804283 15514783744 37663 33554432000 4194304 4196468 140729398783040 140515819516064 140515448144554 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17965056 140729398789103 140729398789274 140729398789274 140729398792143 0
[pid=18719/tid=18721] ppid=18717 vsize=15151156 memory=6791534058613427641 CPUtime=0.22 cores=1,3,5,7
/proc/18719/task/18721/stat : 18721 (java) S 18717 18717 17267 0 -1 1077944384 674 0 0 0 18 4 0 0 20 0 15 0 517804284 15514783744 37663 33554432000 4194304 4196468 140729398783040 140515767896336 140515815286485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17965056 140729398789103 140729398789274 140729398789274 140729398792143 0
[pid=18719/tid=18722] ppid=18717 vsize=15151156 memory=66896 CPUtime=0.22 cores=1,3,5,7
/proc/18719/task/18722/stat : 18722 (java) S 18717 18717 17267 0 -1 1077944384 1045 0 0 0 20 2 0 0 20 0 15 0 517804284 15514783744 37663 33554432000 4194304 4196468 140729398783040 140515766843792 140515815286485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17965056 140729398789103 140729398789274 140729398789274 140729398792143 0
[pid=18719/tid=18723] ppid=18717 vsize=15151156 memory=3028 CPUtime=0.22 cores=1,3,5,7
/proc/18719/task/18723/stat : 18723 (java) S 18717 18717 17267 0 -1 1077944384 1305 0 0 0 20 2 0 0 20 0 15 0 517804284 15514783744 37663 33554432000 4194304 4196468 140729398783040 140515765791248 140515815286485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17965056 140729398789103 140729398789274 140729398789274 140729398792143 0
[pid=18719/tid=18724] ppid=18717 vsize=15151156 memory=2012 CPUtime=0.22 cores=1,3,5,7
/proc/18719/task/18724/stat : 18724 (java) S 18717 18717 17267 0 -1 1077944384 2530 0 0 0 20 2 0 0 20 0 15 0 517804284 15514783744 37663 33554432000 4194304 4196468 140729398783040 140515764738704 140515815286485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17965056 140729398789103 140729398789274 140729398789274 140729398792143 0
[pid=18719/tid=18725] ppid=18717 vsize=15151156 memory=1436 CPUtime=0.22 cores=1,3,5,7
/proc/18719/task/18725/stat : 18725 (java) S 18717 18717 17267 0 -1 1077944384 1780 0 0 0 19 3 0 0 20 0 15 0 517804285 15514783744 37663 33554432000 4194304 4196468 140729398783040 140514957806064 140515815287426 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 23 0 0 6293624 6294260 17965056 140729398789103 140729398789274 140729398789274 140729398792143 0
[pid=18719/tid=18726] ppid=18717 vsize=15151156 memory=776 CPUtime=0 cores=1,3,5,7
/proc/18719/task/18726/stat : 18726 (java) S 18717 18717 17267 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 517804286 15514783744 37663 33554432000 4194304 4196468 140729398783040 140514956752352 140515815286485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17965056 140729398789103 140729398789274 140729398789274 140729398792143 0
[pid=18719/tid=18727] ppid=18717 vsize=15151156 memory=1004 CPUtime=0 cores=1,3,5,7
/proc/18719/task/18727/stat : 18727 (java) S 18717 18717 17267 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 15 0 517804286 15514783744 37663 33554432000 4194304 4196468 140729398783040 140514552702464 140515815286485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17965056 140729398789103 140729398789274 140729398789274 140729398792143 0
[pid=18719/tid=18728] ppid=18717 vsize=15151156 memory=6096 CPUtime=0 cores=1,3,5,7
/proc/18719/task/18728/stat : 18728 (java) S 18717 18717 17267 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517804288 15514783744 37663 33554432000 4194304 4196468 140729398783040 140514551651024 140515815294875 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17965056 140729398789103 140729398789274 140729398789274 140729398792143 0
[pid=18719/tid=18729] ppid=18717 vsize=15151156 memory=14008 CPUtime=1.8 cores=1,3,5,7
/proc/18719/task/18729/stat : 18729 (java) S 18717 18717 17267 0 -1 1077944384 15132 0 0 0 178 2 0 0 20 0 15 0 517804288 15514783744 37663 33554432000 4194304 4196468 140729398783040 140514550597616 140515815287426 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 10 0 0 6293624 6294260 17965056 140729398789103 140729398789274 140729398789274 140729398792143 0
[pid=18719/tid=18730] ppid=18717 vsize=15151156 memory=2124 CPUtime=1.44 cores=1,3,5,7
/proc/18719/task/18730/stat : 18730 (java) S 18717 18717 17267 0 -1 1077944384 8426 0 0 0 143 1 0 0 20 0 15 0 517804288 15514783744 37663 33554432000 4194304 4196468 140729398783040 140514549545072 140515815287426 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17965056 140729398789103 140729398789274 140729398789274 140729398792143 0
[pid=18719/tid=18731] ppid=18717 vsize=15151156 memory=36704 CPUtime=0.58 cores=1,3,5,7
/proc/18719/task/18731/stat : 18731 (java) S 18717 18717 17267 0 -1 1077944384 6211 0 0 0 58 0 0 0 20 0 15 0 517804288 15514783744 37663 33554432000 4194304 4196468 140729398783040 140514548492528 140515815287426 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17965056 140729398789103 140729398789274 140729398789274 140729398792143 0
[pid=18719/tid=18732] ppid=18717 vsize=15151156 memory=12024 CPUtime=0 cores=1,3,5,7
/proc/18719/task/18732/stat : 18732 (java) S 18717 18717 17267 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517804289 15514783744 37663 33554432000 4194304 4196468 140729398783040 140514547440224 140515815286485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17965056 140729398789103 140729398789274 140729398789274 140729398792143 0
[pid=18719/tid=18733] ppid=18717 vsize=15151156 memory=500 CPUtime=0.12 cores=1,3,5,7
/proc/18719/task/18733/stat : 18733 (java) S 18717 18717 17267 0 -1 1077944384 268 0 0 0 5 7 0 0 20 0 15 0 517804289 15514783744 37663 33554432000 4194304 4196468 140729398783040 140514546387760 140515815287426 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 42 0 0 6293624 6294260 17965056 140729398789103 140729398789274 140729398789274 140729398792143 0
Current children cumulated CPU time: 428.19 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 152100 KiB

[startup+423.701 s]
/proc/loadavg: 1.68 1.73 1.77 3/230 18773
/proc/meminfo: memFree=26912300/32770624 swapFree=66999256/67108860
[pid=18717] ppid=18714 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/18717/stat : 18717 (xcsp3-exec) S 18714 18717 17267 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 517804283 115843072 362 33554432000 4194304 5098028 140728794513840 140728794511944 140532432683644 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 17801216 140728794518395 140728794518637 140728794518637 140728794521546 0
/proc/18717/statm: 28282 362 304 221 0 87 0
[pid=18719] ppid=18717 vsize=15151156 memory=150652 CPUtime=428.29 cores=1,3,5,7
/proc/18719/stat : 18719 (java) S 18717 18717 17267 0 -1 1077944320 53147 0 0 0 42799 30 0 0 20 0 15 0 517804283 15514783744 37663 33554432000 4194304 4196468 140729398783040 140729398765584 140515815276279 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17965056 140729398789103 140729398789274 140729398789274 140729398792143 0
/proc/18719/statm: 3787789 37663 3516 1 0 3748889 0
[pid=18719/tid=18720] ppid=18717 vsize=15151156 memory=1448 CPUtime=423.15 cores=1,3,5,7
/proc/18719/task/18720/stat : 18720 (java) R 18717 18717 17267 0 -1 4202560 14346 0 0 0 42308 7 0 0 20 0 15 0 517804283 15514783744 37663 33554432000 4194304 4196468 140729398783040 140515819516064 140515446946503 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17965056 140729398789103 140729398789274 140729398789274 140729398792143 0
[pid=18719/tid=18721] ppid=18717 vsize=15151156 memory=150652 CPUtime=0.22 cores=1,3,5,7
/proc/18719/task/18721/stat : 18721 (java) S 18717 18717 17267 0 -1 1077944384 674 0 0 0 18 4 0 0 20 0 15 0 517804284 15514783744 37663 33554432000 4194304 4196468 140729398783040 140515767896336 140515815286485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17965056 140729398789103 140729398789274 140729398789274 140729398792143 0
[pid=18719/tid=18722] ppid=18717 vsize=15151156 memory=150652 CPUtime=0.22 cores=1,3,5,7
/proc/18719/task/18722/stat : 18722 (java) S 18717 18717 17267 0 -1 1077944384 1045 0 0 0 20 2 0 0 20 0 15 0 517804284 15514783744 37663 33554432000 4194304 4196468 140729398783040 140515766843792 140515815286485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17965056 140729398789103 140729398789274 140729398789274 140729398792143 0
[pid=18719/tid=18723] ppid=18717 vsize=15151156 memory=1448 CPUtime=0.22 cores=1,3,5,7
/proc/18719/task/18723/stat : 18723 (java) S 18717 18717 17267 0 -1 1077944384 1305 0 0 0 20 2 0 0 20 0 15 0 517804284 15514783744 37663 33554432000 4194304 4196468 140729398783040 140515765791248 140515815286485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17965056 140729398789103 140729398789274 140729398789274 140729398792143 0
[pid=18719/tid=18724] ppid=18717 vsize=15151156 memory=1448 CPUtime=0.22 cores=1,3,5,7
/proc/18719/task/18724/stat : 18724 (java) S 18717 18717 17267 0 -1 1077944384 2530 0 0 0 20 2 0 0 20 0 15 0 517804284 15514783744 37663 33554432000 4194304 4196468 140729398783040 140515764738704 140515815286485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17965056 140729398789103 140729398789274 140729398789274 140729398792143 0
[pid=18719/tid=18725] ppid=18717 vsize=15151156 memory=150652 CPUtime=0.22 cores=1,3,5,7
/proc/18719/task/18725/stat : 18725 (java) S 18717 18717 17267 0 -1 1077944384 1780 0 0 0 19 3 0 0 20 0 15 0 517804285 15514783744 37663 33554432000 4194304 4196468 140729398783040 140514957806064 140515815287426 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 23 0 0 6293624 6294260 17965056 140729398789103 140729398789274 140729398789274 140729398792143 0
[pid=18719/tid=18726] ppid=18717 vsize=15151156 memory=150652 CPUtime=0 cores=1,3,5,7
/proc/18719/task/18726/stat : 18726 (java) S 18717 18717 17267 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 517804286 15514783744 37663 33554432000 4194304 4196468 140729398783040 140514956752352 140515815286485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17965056 140729398789103 140729398789274 140729398789274 140729398792143 0
[pid=18719/tid=18727] ppid=18717 vsize=15151156 memory=150652 CPUtime=0 cores=1,3,5,7
/proc/18719/task/18727/stat : 18727 (java) S 18717 18717 17267 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 15 0 517804286 15514783744 37663 33554432000 4194304 4196468 140729398783040 140514552702464 140515815286485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17965056 140729398789103 140729398789274 140729398789274 140729398792143 0
[pid=18719/tid=18728] ppid=18717 vsize=15151156 memory=150652 CPUtime=0 cores=1,3,5,7
/proc/18719/task/18728/stat : 18728 (java) S 18717 18717 17267 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517804288 15514783744 37663 33554432000 4194304 4196468 140729398783040 140514551651024 140515815294875 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17965056 140729398789103 140729398789274 140729398789274 140729398792143 0
[pid=18719/tid=18729] ppid=18717 vsize=15151156 memory=150652 CPUtime=1.8 cores=1,3,5,7
/proc/18719/task/18729/stat : 18729 (java) S 18717 18717 17267 0 -1 1077944384 15132 0 0 0 178 2 0 0 20 0 15 0 517804288 15514783744 37663 33554432000 4194304 4196468 140729398783040 140514550597616 140515815287426 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 10 0 0 6293624 6294260 17965056 140729398789103 140729398789274 140729398789274 140729398792143 0
[pid=18719/tid=18730] ppid=18717 vsize=15151156 memory=1448 CPUtime=1.44 cores=1,3,5,7
/proc/18719/task/18730/stat : 18730 (java) S 18717 18717 17267 0 -1 1077944384 8426 0 0 0 143 1 0 0 20 0 15 0 517804288 15514783744 37663 33554432000 4194304 4196468 140729398783040 140514549545072 140515815287426 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17965056 140729398789103 140729398789274 140729398789274 140729398792143 0
[pid=18719/tid=18731] ppid=18717 vsize=15151156 memory=150652 CPUtime=0.58 cores=1,3,5,7
/proc/18719/task/18731/stat : 18731 (java) S 18717 18717 17267 0 -1 1077944384 6211 0 0 0 58 0 0 0 20 0 15 0 517804288 15514783744 37663 33554432000 4194304 4196468 140729398783040 140514548492528 140515815287426 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17965056 140729398789103 140729398789274 140729398789274 140729398792143 0
[pid=18719/tid=18732] ppid=18717 vsize=15151156 memory=1412 CPUtime=0 cores=1,3,5,7
/proc/18719/task/18732/stat : 18732 (java) S 18717 18717 17267 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517804289 15514783744 37663 33554432000 4194304 4196468 140729398783040 140514547440224 140515815286485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17965056 140729398789103 140729398789274 140729398789274 140729398792143 0
[pid=18719/tid=18733] ppid=18717 vsize=15151156 memory=150652 CPUtime=0.12 cores=1,3,5,7
/proc/18719/task/18733/stat : 18733 (java) S 18717 18717 17267 0 -1 1077944384 268 0 0 0 5 7 0 0 20 0 15 0 517804289 15514783744 37663 33554432000 4194304 4196468 140729398783040 140514546387760 140515815287426 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 42 0 0 6293624 6294260 17965056 140729398789103 140729398789274 140729398789274 140729398792143 0
Current children cumulated CPU time: 428.29 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 152100 KiB

Child status: 0
Real time (s): 423.763
CPU time (s): 428.361
CPU user time (s): 428.055
CPU system time (s): 0.305625
CPU usage (%): 101.085
Max. virtual memory (cumulated for all children) (KiB): 15266224
Max. memory (cumulated for all children) (KiB): 209348

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 428.055
system time used= 0.305625
maximum resident set size= 209948
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 54088
page faults= 0
swaps= 0
block input operations= 0
block output operations= 608
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 17360
involuntary context switches= 303


# summary of solver processes directly reported to runsolver:
#   pid: 18717
#   total CPU time (s): 428.361
#   total CPU user time (s): 428.055
#   total CPU system time (s): 0.305625

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.41264 second user time and 4.3311 second system time

The end

Launcher Data 

Begin job on node103 at 2019-09-25 14:44:13
IDJOB=4405971
IDBENCH=141699
IDSOLVER=2869
FILE ID=node103/4405971-1569415512
RUNJOBID= node103-1569408595-17299
PBS_JOBID= 21705709
Free space on /tmp= 20832 MiB

SOLVER NAME= choco-solver 2019-09-24
BENCH NAME= XCSP19/hcp/graph249.xml
COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p 1 -ml 12000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4405971-1569415512/watcher-4405971-1569415512 -o /tmp/evaluation-result-4405971-1569415512/solver-4405971-1569415512 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node103-1569408595-17299 --watchdog 2580  xcsp3-exec -dir HOME -tl 2520 -p 1 -ml 12000 -tdir HOME -seed 972995390 HOME/instance-4405971-1569415512.xml

TIME LIMIT= 2520 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 9deb1a9239474f0b39e24b397fc75368
RANDOM SEED=972995390

node103.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.74
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.74
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.74
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.74
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:        27241416 kB
MemAvailable:   30405336 kB
Buffers:           92996 kB
Cached:          3350500 kB
SwapCached:         7000 kB
Active:          4682132 kB
Inactive:         224184 kB
Active(anon):    1452324 kB
Inactive(anon):    67964 kB
Active(file):    3229808 kB
Inactive(file):   156220 kB
Unevictable:      107148 kB
Mlocked:          107148 kB
SwapTotal:      67108860 kB
SwapFree:       66999256 kB
Dirty:             26012 kB
Writeback:             4 kB
AnonPages:       1564244 kB
Mapped:            71848 kB
Shmem:             49080 kB
Slab:             216580 kB
SReclaimable:     187452 kB
SUnreclaim:        29128 kB
KernelStack:        3728 kB
PageTables:         9196 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    3069184 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1490944 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      105856 kB
DirectMap2M:    33439744 kB

Free space on /tmp at the end= 20808 MiB
End job on node103 at 2019-09-25 14:51:17