Trace number 4404470

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-20 parallelSAT 1280.19 161.32

General information on the benchmark

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4404470-1569012289/watcher-4404470-1569012289 -o /tmp/evaluation-result-4404470-1569012289/solver-4404470-1569012289 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node116-1569004939-6705 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 354127999 HOME/instance-4404470-1569012289.xml 

running on 8 cores: 0-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=7919, runsolver pid=7916
Current StackSize limit: 8192 KiB


[startup+0.100135 s]*
/proc/loadavg: 7.94 8.11 7.99 3/212 7940
/proc/meminfo: memFree=25464068/32770688 swapFree=67000224/67108860
[pid=7919] ppid=7916 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/7919/stat : 7919 (xcsp3-exec) S 7916 7919 6678 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 477170540 115843072 363 33554432000 4194304 5098028 140733306966032 140733306964136 140534547087996 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 32227328 140733306970998 140733306971241 140733306971241 140733306974154 0
/proc/7919/statm: 28282 363 304 221 0 87 0
[pid=7921] ppid=7919 vsize=28227396 memory=29200 CPUtime=0.12 cores=0-7
/proc/7921/stat : 7921 (java) S 7919 7919 6678 0 -1 1077944320 5689 0 0 0 11 1 0 0 20 0 20 0 477170540 28904853504 7300 33554432000 4194304 4196468 140737196887152 140737196869696 139669410066167 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 39321600 140737196893162 140737196893334 140737196893334 140737196896207 0
/proc/7921/statm: 7056849 7300 3156 1 0 7019032 0
[pid=7921/tid=7922] ppid=7919 vsize=28227396 memory=1398722017469774279 CPUtime=0.08 cores=0-7
/proc/7921/task/7922/stat : 7922 (java) R 7919 7919 6678 0 -1 4202560 3604 0 0 0 8 0 0 0 20 0 20 0 477170540 28904853504 7300 33554432000 4194304 4196468 140737196887152 139669414294400 139668997908609 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39321600 140737196893162 140737196893334 140737196893334 140737196896207 0
[pid=7921/tid=7923] ppid=7919 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/7921/task/7923/stat : 7923 (java) S 7919 7919 6678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477170541 28904853504 7300 33554432000 4194304 4196468 140737196887152 139669329918992 139669410076373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39321600 140737196893162 140737196893334 140737196893334 140737196896207 0
[pid=7921/tid=7924] ppid=7919 vsize=28227396 memory=139947164808832 CPUtime=0 cores=0-7
/proc/7921/task/7924/stat : 7924 (java) S 7919 7919 6678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477170541 28904853504 7300 33554432000 4194304 4196468 140737196887152 139669328866448 139669410076373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39321600 140737196893162 140737196893334 140737196893334 140737196896207 0
[pid=7921/tid=7925] ppid=7919 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/7921/task/7925/stat : 7925 (java) S 7919 7919 6678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477170541 28904853504 7300 33554432000 4194304 4196468 140737196887152 139669327813392 139669410076373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39321600 140737196893162 140737196893334 140737196893334 140737196896207 0
[pid=7921/tid=7926] ppid=7919 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/7921/task/7926/stat : 7926 (java) S 7919 7919 6678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477170541 28904853504 7300 33554432000 4194304 4196468 140737196887152 139669326760848 139669410076373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39321600 140737196893162 140737196893334 140737196893334 140737196896207 0
[pid=7921/tid=7927] ppid=7919 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/7921/task/7927/stat : 7927 (java) S 7919 7919 6678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477170541 28904853504 7300 33554432000 4194304 4196468 140737196887152 139669325707792 139669410076373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39321600 140737196893162 140737196893334 140737196893334 140737196896207 0
[pid=7921/tid=7928] ppid=7919 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/7921/task/7928/stat : 7928 (java) S 7919 7919 6678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477170541 28904853504 7300 33554432000 4194304 4196468 140737196887152 139669324655248 139669410076373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39321600 140737196893162 140737196893334 140737196893334 140737196896207 0
[pid=7921/tid=7929] ppid=7919 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/7921/task/7929/stat : 7929 (java) S 7919 7919 6678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477170541 28904853504 7300 33554432000 4194304 4196468 140737196887152 139669323602192 139669410076373 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39321600 140737196893162 140737196893334 140737196893334 140737196896207 0
[pid=7921/tid=7930] ppid=7919 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/7921/task/7930/stat : 7930 (java) S 7919 7919 6678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477170541 28904853504 7300 33554432000 4194304 4196468 140737196887152 139669322549648 139669410076373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39321600 140737196893162 140737196893334 140737196893334 140737196896207 0
[pid=7921/tid=7931] ppid=7919 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/7921/task/7931/stat : 7931 (java) S 7919 7919 6678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477170543 28904853504 7300 33554432000 4194304 4196468 140737196887152 139668660271856 139669410077314 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39321600 140737196893162 140737196893334 140737196893334 140737196896207 0
[pid=7921/tid=7932] ppid=7919 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/7921/task/7932/stat : 7932 (java) S 7919 7919 6678 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 477170543 28904853504 7300 33554432000 4194304 4196468 140737196887152 139668659218080 139669410076373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39321600 140737196893162 140737196893334 140737196893334 140737196896207 0
[pid=7921/tid=7933] ppid=7919 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/7921/task/7933/stat : 7933 (java) S 7919 7919 6678 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 477170544 28904853504 7300 33554432000 4194304 4196468 140737196887152 139668658164976 139669410076373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39321600 140737196893162 140737196893334 140737196893334 140737196896207 0
[pid=7921/tid=7934] ppid=7919 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/7921/task/7934/stat : 7934 (java) S 7919 7919 6678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477170546 28904853504 7300 33554432000 4194304 4196468 140737196887152 139668657113552 139669410084763 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39321600 140737196893162 140737196893334 140737196893334 140737196896207 0
[pid=7921/tid=7935] ppid=7919 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/7921/task/7935/stat : 7935 (java) S 7919 7919 6678 0 -1 1077944384 415 0 0 0 0 0 0 0 20 0 20 0 477170546 28904853504 7300 33554432000 4194304 4196468 140737196887152 139668656060656 139669410077314 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39321600 140737196893162 140737196893334 140737196893334 140737196896207 0
[pid=7921/tid=7936] ppid=7919 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/7921/task/7936/stat : 7936 (java) S 7919 7919 6678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477170546 28904853504 7300 33554432000 4194304 4196468 140737196887152 139668655008112 139669410077314 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39321600 140737196893162 140737196893334 140737196893334 140737196896207 0
[pid=7921/tid=7937] ppid=7919 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/7921/task/7937/stat : 7937 (java) S 7919 7919 6678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477170546 28904853504 7300 33554432000 4194304 4196468 140737196887152 139668653955056 139669410077314 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39321600 140737196893162 140737196893334 140737196893334 140737196896207 0
[pid=7921/tid=7938] ppid=7919 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/7921/task/7938/stat : 7938 (java) R 7919 7919 6678 0 -1 4202560 353 0 0 0 1 0 0 0 20 0 20 0 477170546 28904853504 7300 33554432000 4194304 4196468 140737196887152 139668652902512 139669410087514 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39321600 140737196893162 140737196893334 140737196893334 140737196896207 0
[pid=7921/tid=7939] ppid=7919 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/7921/task/7939/stat : 7939 (java) S 7919 7919 6678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477170547 28904853504 7300 33554432000 4194304 4196468 140737196887152 139668651850720 139669410076373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39321600 140737196893162 140737196893334 140737196893334 140737196896207 0
[pid=7921/tid=7940] ppid=7919 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/7921/task/7940/stat : 7940 (java) S 7919 7919 6678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477170547 28904853504 7300 33554432000 4194304 4196468 140737196887152 139668650798256 139669410077314 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39321600 140737196893162 140737196893334 140737196893334 140737196896207 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 30652 KiB

[startup+0.21149 s]*
/proc/loadavg: 7.94 8.11 7.99 3/212 7940
/proc/meminfo: memFree=25451248/32770688 swapFree=67000224/67108860
[pid=7919] ppid=7916 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/7919/stat : 7919 (xcsp3-exec) S 7916 7919 6678 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 477170540 115843072 363 33554432000 4194304 5098028 140733306966032 140733306964136 140534547087996 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 32227328 140733306970998 140733306971241 140733306971241 140733306974154 0
/proc/7919/statm: 28282 363 304 221 0 87 0
[pid=7921] ppid=7919 vsize=28227396 memory=40192 CPUtime=0.34 cores=0-7
/proc/7921/stat : 7921 (java) S 7919 7919 6678 0 -1 1077944320 9322 0 0 0 31 3 0 0 20 0 20 0 477170540 28904853504 10048 33554432000 4194304 4196468 140737196887152 140737196869696 139669410066167 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 39321600 140737196893162 140737196893334 140737196893334 140737196896207 0
/proc/7921/statm: 7056849 10048 3301 1 0 7019032 0
[pid=7921/tid=7922] ppid=7919 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/7921/task/7922/stat : 7922 (java) R 7919 7919 6678 0 -1 4202560 6579 0 0 0 18 2 0 0 20 0 20 0 477170540 28904853504 10048 33554432000 4194304 4196468 140737196887152 139669414299664 139669410088093 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39321600 140737196893162 140737196893334 140737196893334 140737196896207 0
[pid=7921/tid=7923] ppid=7919 vsize=28227396 memory=342 CPUtime=0 cores=0-7
/proc/7921/task/7923/stat : 7923 (java) S 7919 7919 6678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477170541 28904853504 10048 33554432000 4194304 4196468 140737196887152 139669329918992 139669410076373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39321600 140737196893162 140737196893334 140737196893334 140737196896207 0
[pid=7921/tid=7924] ppid=7919 vsize=28227396 memory=139947164817738 CPUtime=0 cores=0-7
/proc/7921/task/7924/stat : 7924 (java) S 7919 7919 6678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477170541 28904853504 10048 33554432000 4194304 4196468 140737196887152 139669328866448 139669410076373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39321600 140737196893162 140737196893334 140737196893334 140737196896207 0
[pid=7921/tid=7925] ppid=7919 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/7921/task/7925/stat : 7925 (java) S 7919 7919 6678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477170541 28904853504 10048 33554432000 4194304 4196468 140737196887152 139669327813392 139669410076373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39321600 140737196893162 140737196893334 140737196893334 140737196896207 0
[pid=7921/tid=7926] ppid=7919 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/7921/task/7926/stat : 7926 (java) S 7919 7919 6678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477170541 28904853504 10048 33554432000 4194304 4196468 140737196887152 139669326760848 139669410076373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39321600 140737196893162 140737196893334 140737196893334 140737196896207 0
[pid=7921/tid=7927] ppid=7919 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/7921/task/7927/stat : 7927 (java) S 7919 7919 6678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477170541 28904853504 10048 33554432000 4194304 4196468 140737196887152 139669325707792 139669410076373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39321600 140737196893162 140737196893334 140737196893334 140737196896207 0
[pid=7921/tid=7928] ppid=7919 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/7921/task/7928/stat : 7928 (java) S 7919 7919 6678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477170541 28904853504 10048 33554432000 4194304 4196468 140737196887152 139669324655248 139669410076373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39321600 140737196893162 140737196893334 140737196893334 140737196896207 0
[pid=7921/tid=7929] ppid=7919 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/7921/task/7929/stat : 7929 (java) S 7919 7919 6678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477170541 28904853504 10048 33554432000 4194304 4196468 140737196887152 139669323602192 139669410076373 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39321600 140737196893162 140737196893334 140737196893334 140737196896207 0
[pid=7921/tid=7930] ppid=7919 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/7921/task/7930/stat : 7930 (java) S 7919 7919 6678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477170541 28904853504 10048 33554432000 4194304 4196468 140737196887152 139669322549648 139669410076373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39321600 140737196893162 140737196893334 140737196893334 140737196896207 0
[pid=7921/tid=7931] ppid=7919 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/7921/task/7931/stat : 7931 (java) S 7919 7919 6678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477170543 28904853504 10048 33554432000 4194304 4196468 140737196887152 139668660271856 139669410077314 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39321600 140737196893162 140737196893334 140737196893334 140737196896207 0
[pid=7921/tid=7932] ppid=7919 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/7921/task/7932/stat : 7932 (java) S 7919 7919 6678 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 477170543 28904853504 10048 33554432000 4194304 4196468 140737196887152 139668659218080 139669410076373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39321600 140737196893162 140737196893334 140737196893334 140737196896207 0
[pid=7921/tid=7933] ppid=7919 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/7921/task/7933/stat : 7933 (java) S 7919 7919 6678 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 477170544 28904853504 10048 33554432000 4194304 4196468 140737196887152 139668658164976 139669410076373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39321600 140737196893162 140737196893334 140737196893334 140737196896207 0
[pid=7921/tid=7934] ppid=7919 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/7921/task/7934/stat : 7934 (java) S 7919 7919 6678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477170546 28904853504 10048 33554432000 4194304 4196468 140737196887152 139668657113552 139669410084763 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39321600 140737196893162 140737196893334 140737196893334 140737196896207 0
[pid=7921/tid=7935] ppid=7919 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/7921/task/7935/stat : 7935 (java) R 7919 7919 6678 0 -1 4202560 493 0 0 0 2 0 0 0 20 0 20 0 477170546 28904853504 10048 33554432000 4194304 4196468 140737196887152 139668656052112 139669410087514 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39321600 140737196893162 140737196893334 140737196893334 140737196896207 0
[pid=7921/tid=7936] ppid=7919 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/7921/task/7936/stat : 7936 (java) S 7919 7919 6678 0 -1 1077944384 141 0 0 0 2 0 0 0 20 0 20 0 477170546 28904853504 10048 33554432000 4194304 4196468 140737196887152 139668655008112 139669410077314 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39321600 140737196893162 140737196893334 140737196893334 140737196896207 0
[pid=7921/tid=7937] ppid=7919 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/7921/task/7937/stat : 7937 (java) S 7919 7919 6678 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 20 0 477170546 28904853504 10048 33554432000 4194304 4196468 140737196887152 139668653955056 139669410077314 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39321600 140737196893162 140737196893334 140737196893334 140737196896207 0
[pid=7921/tid=7938] ppid=7919 vsize=28227396 memory=-1 CPUtime=0.07 cores=0-7
/proc/7921/task/7938/stat : 7938 (java) R 7919 7919 6678 0 -1 4202560 787 0 0 0 7 0 0 0 20 0 20 0 477170546 28904853504 10048 33554432000 4194304 4196468 140737196887152 139668652902512 139669410087514 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39321600 140737196893162 140737196893334 140737196893334 140737196896207 0
[pid=7921/tid=7939] ppid=7919 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/7921/task/7939/stat : 7939 (java) S 7919 7919 6678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477170547 28904853504 10048 33554432000 4194304 4196468 140737196887152 139668651850720 139669410076373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39321600 140737196893162 140737196893334 140737196893334 140737196896207 0
[pid=7921/tid=7940] ppid=7919 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/7921/task/7940/stat : 7940 (java) S 7919 7919 6678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477170547 28904853504 10048 33554432000 4194304 4196468 140737196887152 139668650798256 139669410077314 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39321600 140737196893162 140737196893334 140737196893334 140737196896207 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 41644 KiB

[startup+0.31083 s]*
/proc/loadavg: 7.94 8.11 7.99 2/212 7940
/proc/meminfo: memFree=25446344/32770688 swapFree=67000224/67108860
[pid=7919] ppid=7916 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/7919/stat : 7919 (xcsp3-exec) S 7916 7919 6678 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 477170540 115843072 363 33554432000 4194304 5098028 140733306966032 140733306964136 140534547087996 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 32227328 140733306970998 140733306971241 140733306971241 140733306974154 0
/proc/7919/statm: 28282 363 304 221 0 87 0
[pid=7921] ppid=7919 vsize=28231652 memory=46712 CPUtime=0.51 cores=0-7
/proc/7921/stat : 7921 (java) S 7919 7919 6678 0 -1 1077944320 10548 0 0 0 48 3 0 0 20 0 20 0 477170540 28909211648 11678 33554432000 4194304 4196468 140737196887152 140737196869696 139669410066167 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 39321600 140737196893162 140737196893334 140737196893334 140737196896207 0
/proc/7921/statm: 7057913 11678 3350 1 0 7019032 0
[pid=7921/tid=7922] ppid=7919 vsize=28231652 memory=1398722017469774279 CPUtime=0.29 cores=0-7
/proc/7921/task/7922/stat : 7922 (java) R 7919 7919 6678 0 -1 4202560 7572 0 0 0 27 2 0 0 20 0 20 0 477170540 28909211648 11678 33554432000 4194304 4196468 140737196887152 139669414287680 139669394146654 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39321600 140737196893162 140737196893334 140737196893334 140737196896207 0
[pid=7921/tid=7923] ppid=7919 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/7921/task/7923/stat : 7923 (java) S 7919 7919 6678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477170541 28909211648 11678 33554432000 4194304 4196468 140737196887152 139669329918992 139669410076373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39321600 140737196893162 140737196893334 140737196893334 140737196896207 0
[pid=7921/tid=7924] ppid=7919 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/7921/task/7924/stat : 7924 (java) S 7919 7919 6678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477170541 28909211648 11678 33554432000 4194304 4196468 140737196887152 139669328866448 139669410076373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39321600 140737196893162 140737196893334 140737196893334 140737196896207 0
[pid=7921/tid=7925] ppid=7919 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/7921/task/7925/stat : 7925 (java) S 7919 7919 6678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477170541 28909211648 11743 33554432000 4194304 4196468 140737196887152 139669327813392 139669410076373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39321600 140737196893162 140737196893334 140737196893334 140737196896207 0
[pid=7921/tid=7926] ppid=7919 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/7921/task/7926/stat : 7926 (java) S 7919 7919 6678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477170541 28909211648 11743 33554432000 4194304 4196468 140737196887152 139669326760848 139669410076373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39321600 140737196893162 140737196893334 140737196893334 140737196896207 0
[pid=7921/tid=7927] ppid=7919 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/7921/task/7927/stat : 7927 (java) S 7919 7919 6678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477170541 28909211648 11743 33554432000 4194304 4196468 140737196887152 139669325707792 139669410076373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39321600 140737196893162 140737196893334 140737196893334 140737196896207 0
[pid=7921/tid=7928] ppid=7919 vsize=28231652 memory=139947013139119 CPUtime=0 cores=0-7
/proc/7921/task/7928/stat : 7928 (java) S 7919 7919 6678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477170541 28909211648 11743 33554432000 4194304 4196468 140737196887152 139669324655248 139669410076373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39321600 140737196893162 140737196893334 140737196893334 140737196896207 0
[pid=7921/tid=7929] ppid=7919 vsize=28231652 memory=139947013141424 CPUtime=0 cores=0-7
/proc/7921/task/7929/stat : 7929 (java) S 7919 7919 6678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477170541 28909211648 11743 33554432000 4194304 4196468 140737196887152 139669323602192 139669410076373 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39321600 140737196893162 140737196893334 140737196893334 140737196896207 0
[pid=7921/tid=7930] ppid=7919 vsize=28231652 memory=139947013143728 CPUtime=0 cores=0-7
/proc/7921/task/7930/stat : 7930 (java) S 7919 7919 6678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477170541 28909211648 11743 33554432000 4194304 4196468 140737196887152 139669322549648 139669410076373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39321600 140737196893162 140737196893334 140737196893334 140737196896207 0
[pid=7921/tid=7931] ppid=7919 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/7921/task/7931/stat : 7931 (java) S 7919 7919 6678 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 477170543 28909211648 11743 33554432000 4194304 4196468 140737196887152 139668660271856 139669410077314 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39321600 140737196893162 140737196893334 140737196893334 140737196896207 0
[pid=7921/tid=7932] ppid=7919 vsize=28231652 memory=279894026301328 CPUtime=0 cores=0-7
/proc/7921/task/7932/stat : 7932 (java) S 7919 7919 6678 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 477170543 28909211648 11743 33554432000 4194304 4196468 140737196887152 139668659218080 139669410076373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39321600 140737196893162 140737196893334 140737196893334 140737196896207 0
[pid=7921/tid=7933] ppid=7919 vsize=28231652 memory=279894026299024 CPUtime=0 cores=0-7
/proc/7921/task/7933/stat : 7933 (java) S 7919 7919 6678 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 477170544 28909211648 11743 33554432000 4194304 4196468 140737196887152 139668658164976 139669410076373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39321600 140737196893162 140737196893334 140737196893334 140737196896207 0
[pid=7921/tid=7934] ppid=7919 vsize=28231652 memory=279894026305936 CPUtime=0 cores=0-7
/proc/7921/task/7934/stat : 7934 (java) S 7919 7919 6678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477170546 28909211648 11743 33554432000 4194304 4196468 140737196887152 139668657113552 139669410084763 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39321600 140737196893162 140737196893334 140737196893334 140737196896207 0
[pid=7921/tid=7935] ppid=7919 vsize=28231652 memory=279894026247184 CPUtime=0.03 cores=0-7
/proc/7921/task/7935/stat : 7935 (java) S 7919 7919 6678 0 -1 1077944384 536 0 0 0 3 0 0 0 20 0 20 0 477170546 28909211648 11743 33554432000 4194304 4196468 140737196887152 139668656060656 139669410077314 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39321600 140737196893162 140737196893334 140737196893334 140737196896207 0
[pid=7921/tid=7936] ppid=7919 vsize=28231652 memory=279894026319760 CPUtime=0.03 cores=0-7
/proc/7921/task/7936/stat : 7936 (java) S 7919 7919 6678 0 -1 1077944384 164 0 0 0 3 0 0 0 20 0 20 0 477170546 28909211648 11743 33554432000 4194304 4196468 140737196887152 139668655008112 139669410077314 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39321600 140737196893162 140737196893334 140737196893334 140737196896207 0
[pid=7921/tid=7937] ppid=7919 vsize=28231652 memory=279894026326672 CPUtime=0 cores=0-7
/proc/7921/task/7937/stat : 7937 (java) S 7919 7919 6678 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 477170546 28909211648 11743 33554432000 4194304 4196468 140737196887152 139668653955056 139669410077314 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39321600 140737196893162 140737196893334 140737196893334 140737196896207 0
[pid=7921/tid=7938] ppid=7919 vsize=28231652 memory=279894026324368 CPUtime=0.13 cores=0-7
/proc/7921/task/7938/stat : 7938 (java) R 7919 7919 6678 0 -1 4202560 929 0 0 0 13 0 0 0 20 0 20 0 477170546 28909211648 11743 33554432000 4194304 4196468 140737196887152 139668652902512 139669410078102 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39321600 140737196893162 140737196893334 140737196893334 140737196896207 0
[pid=7921/tid=7939] ppid=7919 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/7921/task/7939/stat : 7939 (java) S 7919 7919 6678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477170547 28909211648 11743 33554432000 4194304 4196468 140737196887152 139668651850720 139669410076373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39321600 140737196893162 140737196893334 140737196893334 140737196896207 0
[pid=7921/tid=7940] ppid=7919 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/7921/task/7940/stat : 7940 (java) S 7919 7919 6678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477170547 28909211648 11743 33554432000 4194304 4196468 140737196887152 139668650798256 139669410077314 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39321600 140737196893162 140737196893334 140737196893334 140737196896207 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 48164 KiB

[startup+0.700991 s]
/proc/loadavg: 7.94 8.11 7.99 3/212 7940
/proc/meminfo: memFree=25428852/32770688 swapFree=67000224/67108860
[pid=7919] ppid=7916 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/7919/stat : 7919 (xcsp3-exec) S 7916 7919 6678 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 477170540 115843072 363 33554432000 4194304 5098028 140733306966032 140733306964136 140534547087996 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 32227328 140733306970998 140733306971241 140733306971241 140733306974154 0
/proc/7919/statm: 28282 363 304 221 0 87 0
[pid=7921] ppid=7919 vsize=28233776 memory=84996 CPUtime=1.7 cores=0-7
/proc/7921/stat : 7921 (java) S 7919 7919 6678 0 -1 1077944320 14906 0 0 0 164 6 0 0 20 0 20 0 477170540 28911386624 21249 33554432000 4194304 4196468 140737196887152 140737196869696 139669410066167 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 39321600 140737196893162 140737196893334 140737196893334 140737196896207 0
/proc/7921/statm: 7058444 21249 3465 1 0 7019544 0
[pid=7921/tid=7922] ppid=7919 vsize=28233776 memory=0 CPUtime=0.67 cores=0-7
/proc/7921/task/7922/stat : 7922 (java) R 7919 7919 6678 0 -1 4202560 9146 0 0 0 63 4 0 0 20 0 20 0 477170540 28911386624 21249 33554432000 4194304 4196468 140737196887152 139669414305120 139668998951656 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39321600 140737196893162 140737196893334 140737196893334 140737196896207 0
[pid=7921/tid=7923] ppid=7919 vsize=28233776 memory=139947013350256 CPUtime=0 cores=0-7
/proc/7921/task/7923/stat : 7923 (java) S 7919 7919 6678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477170541 28911386624 21249 33554432000 4194304 4196468 140737196887152 139669329918992 139669410076373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39321600 140737196893162 140737196893334 140737196893334 140737196896207 0
[pid=7921/tid=7924] ppid=7919 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/7921/task/7924/stat : 7924 (java) S 7919 7919 6678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477170541 28911386624 21249 33554432000 4194304 4196468 140737196887152 139669328866448 139669410076373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39321600 140737196893162 140737196893334 140737196893334 140737196896207 0
[pid=7921/tid=7925] ppid=7919 vsize=28233776 memory=1564 CPUtime=0 cores=0-7
/proc/7921/task/7925/stat : 7925 (java) S 7919 7919 6678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477170541 28911386624 21249 33554432000 4194304 4196468 140737196887152 139669327813392 139669410076373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39321600 140737196893162 140737196893334 140737196893334 140737196896207 0

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

[pid=7921/tid=7929] ppid=7919 vsize=28766288 memory=3592 CPUtime=0.18 cores=0-7
/proc/7921/task/7929/stat : 7929 (java) S 7919 7919 6678 0 -1 1077944384 1522 0 0 0 12 6 0 0 20 0 28 0 477170541 29456678912 184775 33554432000 4194304 4196468 140737196887152 139669323602192 139669410076373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39321600 140737196893162 140737196893334 140737196893334 140737196896207 0
[pid=7921/tid=7930] ppid=7919 vsize=28766288 memory=53180 CPUtime=0.17 cores=0-7
/proc/7921/task/7930/stat : 7930 (java) S 7919 7919 6678 0 -1 1077944384 2663 0 0 0 11 6 0 0 20 0 28 0 477170541 29456678912 184775 33554432000 4194304 4196468 140737196887152 139669322549648 139669410076373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39321600 140737196893162 140737196893334 140737196893334 140737196896207 0
[pid=7921/tid=7931] ppid=7919 vsize=28766288 memory=984 CPUtime=0.06 cores=0-7
/proc/7921/task/7931/stat : 7931 (java) S 7919 7919 6678 0 -1 1077944384 3289 0 0 0 4 2 0 0 20 0 28 0 477170543 29456678912 184775 33554432000 4194304 4196468 140737196887152 139668660271856 139669410077314 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39321600 140737196893162 140737196893334 140737196893334 140737196896207 0
[pid=7921/tid=7932] ppid=7919 vsize=28766288 memory=738864 CPUtime=0 cores=0-7
/proc/7921/task/7932/stat : 7932 (java) S 7919 7919 6678 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 28 0 477170543 29456678912 184775 33554432000 4194304 4196468 140737196887152 139668659218144 139669410076373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39321600 140737196893162 140737196893334 140737196893334 140737196896207 0
[pid=7921/tid=7933] ppid=7919 vsize=28766288 memory=1728 CPUtime=0 cores=0-7
/proc/7921/task/7933/stat : 7933 (java) S 7919 7919 6678 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 28 0 477170544 29456678912 184775 33554432000 4194304 4196468 140737196887152 139668658164992 139669410076373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39321600 140737196893162 140737196893334 140737196893334 140737196896207 0
[pid=7921/tid=7934] ppid=7919 vsize=28766288 memory=1398722017469774279 CPUtime=0 cores=0-7
/proc/7921/task/7934/stat : 7934 (java) S 7919 7919 6678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 477170546 29456678912 184775 33554432000 4194304 4196468 140737196887152 139668657113552 139669410084763 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39321600 140737196893162 140737196893334 140737196893334 140737196896207 0
[pid=7921/tid=7935] ppid=7919 vsize=28766288 memory=4872558044660077418 CPUtime=2.94 cores=0-7
/proc/7921/task/7935/stat : 7935 (java) S 7919 7919 6678 0 -1 1077944384 12382 0 0 0 291 3 0 0 20 0 28 0 477170546 29456678912 184775 33554432000 4194304 4196468 140737196887152 139668656060656 139669410077314 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39321600 140737196893162 140737196893334 140737196893334 140737196896207 0
[pid=7921/tid=7936] ppid=7919 vsize=28766288 memory=754768 CPUtime=2.64 cores=0-7
/proc/7921/task/7936/stat : 7936 (java) S 7919 7919 6678 0 -1 1077944384 11294 0 0 0 260 4 0 0 20 0 28 0 477170546 29456678912 184775 33554432000 4194304 4196468 140737196887152 139668655008112 139669410077314 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39321600 140737196893162 140737196893334 140737196893334 140737196896207 0
[pid=7921/tid=7937] ppid=7919 vsize=28766288 memory=14068 CPUtime=2.24 cores=0-7
/proc/7921/task/7937/stat : 7937 (java) S 7919 7919 6678 0 -1 1077944384 9632 0 0 0 221 3 0 0 20 0 28 0 477170546 29456678912 184775 33554432000 4194304 4196468 140737196887152 139668653955056 139669410077314 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39321600 140737196893162 140737196893334 140737196893334 140737196896207 0
[pid=7921/tid=7938] ppid=7919 vsize=28766288 memory=2120 CPUtime=0.82 cores=0-7
/proc/7921/task/7938/stat : 7938 (java) S 7919 7919 6678 0 -1 1077944384 10240 0 0 0 81 1 0 0 20 0 28 0 477170546 29456678912 184775 33554432000 4194304 4196468 140737196887152 139668652902512 139669410077314 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39321600 140737196893162 140737196893334 140737196893334 140737196896207 0
[pid=7921/tid=7939] ppid=7919 vsize=28766288 memory=496 CPUtime=0 cores=0-7
/proc/7921/task/7939/stat : 7939 (java) S 7919 7919 6678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 477170547 29456678912 184775 33554432000 4194304 4196468 140737196887152 139668651850720 139669410076373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39321600 140737196893162 140737196893334 140737196893334 140737196896207 0
[pid=7921/tid=7940] ppid=7919 vsize=28766288 memory=1556 CPUtime=0.08 cores=0-7
/proc/7921/task/7940/stat : 7940 (java) S 7919 7919 6678 0 -1 1077944384 864 0 0 0 8 0 0 0 20 0 28 0 477170547 29456678912 184775 33554432000 4194304 4196468 140737196887152 139668650798256 139669410077314 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39321600 140737196893162 140737196893334 140737196893334 140737196896207 0
[pid=7921/tid=7941] ppid=7919 vsize=28766288 memory=928 CPUtime=157.74 cores=0-7
/proc/7921/task/7941/stat : 7941 (java) R 7919 7919 6678 0 -1 4202560 3165 0 0 0 15769 5 0 0 20 0 28 0 477170639 29456678912 184775 33554432000 4194304 4196468 140737196887152 139668574067720 139669004058734 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 39321600 140737196893162 140737196893334 140737196893334 140737196896207 0
[pid=7921/tid=7942] ppid=7919 vsize=28766288 memory=1452 CPUtime=158.33 cores=0-7
/proc/7921/task/7942/stat : 7942 (java) R 7919 7919 6678 0 -1 4202560 3040 0 0 0 15827 6 0 0 20 0 28 0 477170639 29456678912 184775 33554432000 4194304 4196468 140737196887152 139668573015808 139669004060681 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39321600 140737196893162 140737196893334 140737196893334 140737196896207 0
[pid=7921/tid=7943] ppid=7919 vsize=28766288 memory=738864 CPUtime=158.18 cores=0-7
/proc/7921/task/7943/stat : 7943 (java) R 7919 7919 6678 0 -1 4202560 4011 0 0 0 15809 9 0 0 20 0 28 0 477170639 29456678912 184775 33554432000 4194304 4196468 140737196887152 139668571962888 139669004059155 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39321600 140737196893162 140737196893334 140737196893334 140737196896207 0
[pid=7921/tid=7944] ppid=7919 vsize=28766288 memory=738864 CPUtime=157.68 cores=0-7
/proc/7921/task/7944/stat : 7944 (java) R 7919 7919 6678 0 -1 4202560 5859 0 0 0 15760 8 0 0 20 0 28 0 477170639 29456678912 184775 33554432000 4194304 4196468 140737196887152 139668570913440 139669004780049 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39321600 140737196893162 140737196893334 140737196893334 140737196896207 0
[pid=7921/tid=7945] ppid=7919 vsize=28766288 memory=1728 CPUtime=157.28 cores=0-7
/proc/7921/task/7945/stat : 7945 (java) R 7919 7919 6678 0 -1 4202560 2630 0 0 0 15724 4 0 0 20 0 28 0 477170639 29456678912 184775 33554432000 4194304 4196468 140737196887152 139668569857640 139669004606639 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 39321600 140737196893162 140737196893334 140737196893334 140737196896207 0
[pid=7921/tid=7946] ppid=7919 vsize=28766288 memory=1398722017469774279 CPUtime=158.66 cores=0-7
/proc/7921/task/7946/stat : 7946 (java) R 7919 7919 6678 0 -1 4202560 3153 0 0 0 15860 6 0 0 20 0 28 0 477170639 29456678912 184775 33554432000 4194304 4196468 140737196887152 139668568804864 139669004059067 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39321600 140737196893162 140737196893334 140737196893334 140737196896207 0
[pid=7921/tid=7947] ppid=7919 vsize=28766288 memory=4872558044660077418 CPUtime=158.51 cores=0-7
/proc/7921/task/7947/stat : 7947 (java) R 7919 7919 6678 0 -1 4202560 3702 0 0 0 15844 7 0 0 20 0 28 0 477170639 29456678912 184775 33554432000 4194304 4196468 140737196887152 139668567753080 139669004150818 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39321600 140737196893162 140737196893334 140737196893334 140737196896207 0
[pid=7921/tid=7948] ppid=7919 vsize=28766288 memory=31076 CPUtime=158.58 cores=0-7
/proc/7921/task/7948/stat : 7948 (java) R 7919 7919 6678 0 -1 4202560 2682 0 0 0 15852 6 0 0 20 0 28 0 477170639 29456678912 184775 33554432000 4194304 4196468 140737196887152 139668566700456 139669003251674 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 39321600 140737196893162 140737196893334 140737196893334 140737196896207 0
Current children cumulated CPU time: 1276.29 s
Current children cumulated vsize: 28879416 KiB
Current children cumulated memory: 740552 KiB

[startup+161.202 s]
/proc/loadavg: 8.06 8.08 8.00 9/219 7959
/proc/meminfo: memFree=24753252/32770688 swapFree=67000224/67108860
[pid=7919] ppid=7916 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/7919/stat : 7919 (xcsp3-exec) S 7916 7919 6678 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 477170540 115843072 363 33554432000 4194304 5098028 140733306966032 140733306964136 140534547087996 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 32227328 140733306970998 140733306971241 140733306971241 140733306974154 0
/proc/7919/statm: 28282 363 304 221 0 87 0
[pid=7921] ppid=7919 vsize=28766288 memory=739100 CPUtime=1279.47 cores=0-7
/proc/7921/stat : 7921 (java) S 7919 7919 6678 0 -1 1077944320 96335 0 0 0 127820 127 0 0 20 0 28 0 477170540 29456678912 184775 33554432000 4194304 4196468 140737196887152 140737196869696 139669410066167 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 39321600 140737196893162 140737196893334 140737196893334 140737196896207 0
/proc/7921/statm: 7191572 184775 3538 1 0 7152672 0
[pid=7921/tid=7922] ppid=7919 vsize=28766288 memory=1452 CPUtime=0.96 cores=0-7
/proc/7921/task/7922/stat : 7922 (java) S 7919 7919 6678 0 -1 1077944384 9257 0 0 0 91 5 0 0 20 0 28 0 477170540 29456678912 184775 33554432000 4194304 4196468 140737196887152 139669414306944 139669410076373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39321600 140737196893162 140737196893334 140737196893334 140737196896207 0
[pid=7921/tid=7923] ppid=7919 vsize=28766288 memory=791020 CPUtime=0.17 cores=0-7
/proc/7921/task/7923/stat : 7923 (java) S 7919 7919 6678 0 -1 1077944384 730 0 0 0 11 6 0 0 20 0 28 0 477170541 29456678912 184775 33554432000 4194304 4196468 140737196887152 139669329918992 139669410076373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39321600 140737196893162 140737196893334 140737196893334 140737196896207 0
[pid=7921/tid=7924] ppid=7919 vsize=28766288 memory=1452 CPUtime=0.18 cores=0-7
/proc/7921/task/7924/stat : 7924 (java) S 7919 7919 6678 0 -1 1077944384 1186 0 0 0 12 6 0 0 20 0 28 0 477170541 29456678912 184775 33554432000 4194304 4196468 140737196887152 139669328866448 139669410076373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39321600 140737196893162 140737196893334 140737196893334 140737196896207 0
[pid=7921/tid=7925] ppid=7919 vsize=28766288 memory=791028 CPUtime=0.17 cores=0-7
/proc/7921/task/7925/stat : 7925 (java) S 7919 7919 6678 0 -1 1077944384 1059 0 0 0 10 7 0 0 20 0 28 0 477170541 29456678912 184775 33554432000 4194304 4196468 140737196887152 139669327813392 139669410076373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39321600 140737196893162 140737196893334 140737196893334 140737196896207 0
[pid=7921/tid=7926] ppid=7919 vsize=28766288 memory=111636 CPUtime=0.16 cores=0-7
/proc/7921/task/7926/stat : 7926 (java) S 7919 7919 6678 0 -1 1077944384 535 0 0 0 10 6 0 0 20 0 28 0 477170541 29456678912 184775 33554432000 4194304 4196468 140737196887152 139669326760848 139669410076373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39321600 140737196893162 140737196893334 140737196893334 140737196896207 0
[pid=7921/tid=7927] ppid=7919 vsize=28766288 memory=800 CPUtime=0.16 cores=0-7
/proc/7921/task/7927/stat : 7927 (java) S 7919 7919 6678 0 -1 1077944384 1252 0 0 0 11 5 0 0 20 0 28 0 477170541 29456678912 184775 33554432000 4194304 4196468 140737196887152 139669325707792 139669410076373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39321600 140737196893162 140737196893334 140737196893334 140737196896207 0
[pid=7921/tid=7928] ppid=7919 vsize=28766288 memory=1808 CPUtime=0.16 cores=0-7
/proc/7921/task/7928/stat : 7928 (java) S 7919 7919 6678 0 -1 1077944384 865 0 0 0 11 5 0 0 20 0 28 0 477170541 29456678912 184775 33554432000 4194304 4196468 140737196887152 139669324655248 139669410076373 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39321600 140737196893162 140737196893334 140737196893334 140737196896207 0
[pid=7921/tid=7929] ppid=7919 vsize=28766288 memory=920 CPUtime=0.18 cores=0-7
/proc/7921/task/7929/stat : 7929 (java) S 7919 7919 6678 0 -1 1077944384 1522 0 0 0 12 6 0 0 20 0 28 0 477170541 29456678912 184775 33554432000 4194304 4196468 140737196887152 139669323602192 139669410076373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39321600 140737196893162 140737196893334 140737196893334 140737196896207 0
[pid=7921/tid=7930] ppid=7919 vsize=28766288 memory=3172 CPUtime=0.17 cores=0-7
/proc/7921/task/7930/stat : 7930 (java) S 7919 7919 6678 0 -1 1077944384 2663 0 0 0 11 6 0 0 20 0 28 0 477170541 29456678912 184775 33554432000 4194304 4196468 140737196887152 139669322549648 139669410076373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39321600 140737196893162 140737196893334 140737196893334 140737196896207 0
[pid=7921/tid=7931] ppid=7919 vsize=28766288 memory=4108 CPUtime=0.06 cores=0-7
/proc/7921/task/7931/stat : 7931 (java) S 7919 7919 6678 0 -1 1077944384 3289 0 0 0 4 2 0 0 20 0 28 0 477170543 29456678912 184775 33554432000 4194304 4196468 140737196887152 139668660271856 139669410077314 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39321600 140737196893162 140737196893334 140737196893334 140737196896207 0
[pid=7921/tid=7932] ppid=7919 vsize=28766288 memory=1412 CPUtime=0 cores=0-7
/proc/7921/task/7932/stat : 7932 (java) S 7919 7919 6678 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 28 0 477170543 29456678912 184775 33554432000 4194304 4196468 140737196887152 139668659218144 139669410076373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39321600 140737196893162 140737196893334 140737196893334 140737196896207 0
[pid=7921/tid=7933] ppid=7919 vsize=28766288 memory=288230574492221466 CPUtime=0 cores=0-7
/proc/7921/task/7933/stat : 7933 (java) S 7919 7919 6678 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 28 0 477170544 29456678912 184775 33554432000 4194304 4196468 140737196887152 139668658164992 139669410076373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39321600 140737196893162 140737196893334 140737196893334 140737196896207 0
[pid=7921/tid=7934] ppid=7919 vsize=28766288 memory=304274669723451707 CPUtime=0 cores=0-7
/proc/7921/task/7934/stat : 7934 (java) S 7919 7919 6678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 477170546 29456678912 184775 33554432000 4194304 4196468 140737196887152 139668657113552 139669410084763 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39321600 140737196893162 140737196893334 140737196893334 140737196896207 0
[pid=7921/tid=7935] ppid=7919 vsize=28766288 memory=14973369246289702 CPUtime=2.94 cores=0-7
/proc/7921/task/7935/stat : 7935 (java) S 7919 7919 6678 0 -1 1077944384 12382 0 0 0 291 3 0 0 20 0 28 0 477170546 29456678912 184775 33554432000 4194304 4196468 140737196887152 139668656060656 139669410077314 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39321600 140737196893162 140737196893334 140737196893334 140737196896207 0
[pid=7921/tid=7936] ppid=7919 vsize=28766288 memory=27336 CPUtime=2.64 cores=0-7
/proc/7921/task/7936/stat : 7936 (java) S 7919 7919 6678 0 -1 1077944384 11294 0 0 0 260 4 0 0 20 0 28 0 477170546 29456678912 184775 33554432000 4194304 4196468 140737196887152 139668655008112 139669410077314 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39321600 140737196893162 140737196893334 140737196893334 140737196896207 0
[pid=7921/tid=7937] ppid=7919 vsize=28766288 memory=14068 CPUtime=2.24 cores=0-7
/proc/7921/task/7937/stat : 7937 (java) S 7919 7919 6678 0 -1 1077944384 9632 0 0 0 221 3 0 0 20 0 28 0 477170546 29456678912 184775 33554432000 4194304 4196468 140737196887152 139668653955056 139669410077314 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39321600 140737196893162 140737196893334 140737196893334 140737196896207 0
[pid=7921/tid=7938] ppid=7919 vsize=28766288 memory=2120 CPUtime=0.82 cores=0-7
/proc/7921/task/7938/stat : 7938 (java) S 7919 7919 6678 0 -1 1077944384 10240 0 0 0 81 1 0 0 20 0 28 0 477170546 29456678912 184775 33554432000 4194304 4196468 140737196887152 139668652902512 139669410077314 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39321600 140737196893162 140737196893334 140737196893334 140737196896207 0
[pid=7921/tid=7939] ppid=7919 vsize=28766288 memory=8112282956445269571 CPUtime=0 cores=0-7
/proc/7921/task/7939/stat : 7939 (java) S 7919 7919 6678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 477170547 29456678912 184775 33554432000 4194304 4196468 140737196887152 139668651850720 139669410076373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39321600 140737196893162 140737196893334 140737196893334 140737196896207 0
[pid=7921/tid=7940] ppid=7919 vsize=28766288 memory=1556 CPUtime=0.08 cores=0-7
/proc/7921/task/7940/stat : 7940 (java) S 7919 7919 6678 0 -1 1077944384 864 0 0 0 8 0 0 0 20 0 28 0 477170547 29456678912 184775 33554432000 4194304 4196468 140737196887152 139668650798256 139669410077314 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39321600 140737196893162 140737196893334 140737196893334 140737196896207 0
[pid=7921/tid=7941] ppid=7919 vsize=28766288 memory=928 CPUtime=158.14 cores=0-7
/proc/7921/task/7941/stat : 7941 (java) R 7919 7919 6678 0 -1 4202560 3165 0 0 0 15809 5 0 0 20 0 28 0 477170639 29456678912 184775 33554432000 4194304 4196468 140737196887152 139668574067720 139669003863507 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 39321600 140737196893162 140737196893334 140737196893334 140737196896207 0
[pid=7921/tid=7942] ppid=7919 vsize=28766288 memory=1620 CPUtime=158.73 cores=0-7
/proc/7921/task/7942/stat : 7942 (java) R 7919 7919 6678 0 -1 4202560 3040 0 0 0 15867 6 0 0 20 0 28 0 477170639 29456678912 184775 33554432000 4194304 4196468 140737196887152 139668573015808 139669004779485 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39321600 140737196893162 140737196893334 140737196893334 140737196896207 0
[pid=7921/tid=7943] ppid=7919 vsize=28766288 memory=780 CPUtime=158.58 cores=0-7
/proc/7921/task/7943/stat : 7943 (java) R 7919 7919 6678 0 -1 4202560 4011 0 0 0 15849 9 0 0 20 0 28 0 477170639 29456678912 184775 33554432000 4194304 4196468 140737196887152 139668571962888 139669004151763 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39321600 140737196893162 140737196893334 140737196893334 140737196896207 0
[pid=7921/tid=7944] ppid=7919 vsize=28766288 memory=1444 CPUtime=158.08 cores=0-7
/proc/7921/task/7944/stat : 7944 (java) R 7919 7919 6678 0 -1 4202560 5859 0 0 0 15800 8 0 0 20 0 28 0 477170639 29456678912 184775 33554432000 4194304 4196468 140737196887152 139668570913440 139669004779485 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39321600 140737196893162 140737196893334 140737196893334 140737196896207 0
[pid=7921/tid=7945] ppid=7919 vsize=28766288 memory=1984 CPUtime=157.68 cores=0-7
/proc/7921/task/7945/stat : 7945 (java) R 7919 7919 6678 0 -1 4202560 2630 0 0 0 15764 4 0 0 20 0 28 0 477170639 29456678912 184775 33554432000 4194304 4196468 140737196887152 139668569857640 139669004606653 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 39321600 140737196893162 140737196893334 140737196893334 140737196896207 0
[pid=7921/tid=7946] ppid=7919 vsize=28766288 memory=8112282956445269571 CPUtime=159.06 cores=0-7
/proc/7921/task/7946/stat : 7946 (java) R 7919 7919 6678 0 -1 4202560 3153 0 0 0 15900 6 0 0 20 0 28 0 477170639 29456678912 184775 33554432000 4194304 4196468 140737196887152 139668568804864 139669004059054 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39321600 140737196893162 140737196893334 140737196893334 140737196896207 0
[pid=7921/tid=7947] ppid=7919 vsize=28766288 memory=8112282956445269571 CPUtime=158.91 cores=0-7
/proc/7921/task/7947/stat : 7947 (java) R 7919 7919 6678 0 -1 4202560 3702 0 0 0 15884 7 0 0 20 0 28 0 477170639 29456678912 184775 33554432000 4194304 4196468 140737196887152 139668567753080 139669004779369 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39321600 140737196893162 140737196893334 140737196893334 140737196896207 0
[pid=7921/tid=7948] ppid=7919 vsize=28766288 memory=1696 CPUtime=158.96 cores=0-7
/proc/7921/task/7948/stat : 7948 (java) R 7919 7919 6678 0 -1 4202560 2682 0 0 0 15890 6 0 0 20 0 28 0 477170639 29456678912 184775 33554432000 4194304 4196468 140737196887152 139668566700456 139669004060698 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 39321600 140737196893162 140737196893334 140737196893334 140737196896207 0
Current children cumulated CPU time: 1279.47 s
Current children cumulated vsize: 28879416 KiB
Current children cumulated memory: 740552 KiB

[startup+161.301 s]
/proc/loadavg: 8.06 8.08 8.00 9/219 7959
/proc/meminfo: memFree=24753252/32770688 swapFree=67000224/67108860
[pid=7919] ppid=7916 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/7919/stat : 7919 (xcsp3-exec) S 7916 7919 6678 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 477170540 115843072 363 33554432000 4194304 5098028 140733306966032 140733306964136 140534547087996 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 32227328 140733306970998 140733306971241 140733306971241 140733306974154 0
/proc/7919/statm: 28282 363 304 221 0 87 0
[pid=7921] ppid=7919 vsize=28766288 memory=738708 CPUtime=1280.17 cores=0-7
/proc/7921/stat : 7921 (java) S 7919 7919 6678 0 -1 1077944320 97645 0 0 0 127890 127 0 0 20 0 19 0 477170540 29456678912 184677 33554432000 4194304 4196468 140737196887152 140737196869696 139669410066167 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 39321600 140737196893162 140737196893334 140737196893334 140737196896207 0
/proc/7921/statm: 7191572 184677 3540 1 0 7152672 0
[pid=7921/tid=7922] ppid=7919 vsize=28766288 memory=739100 CPUtime=0.97 cores=0-7
/proc/7921/task/7922/stat : 7922 (java) S 7919 7919 6678 0 -1 1077944384 9807 0 0 0 92 5 0 0 20 0 19 0 477170540 29456678912 184677 33554432000 4194304 4196468 140737196887152 139669414309008 139669410076373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39321600 140737196893162 140737196893334 140737196893334 140737196896207 0
[pid=7921/tid=7923] ppid=7919 vsize=28766288 memory=738864 CPUtime=0.17 cores=0-7
/proc/7921/task/7923/stat : 7923 (java) S 7919 7919 6678 0 -1 1077944384 730 0 0 0 11 6 0 0 20 0 19 0 477170541 29456678912 184677 33554432000 4194304 4196468 140737196887152 139669329918992 139669410076373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39321600 140737196893162 140737196893334 140737196893334 140737196896207 0
[pid=7921/tid=7924] ppid=7919 vsize=28766288 memory=738864 CPUtime=0.18 cores=0-7
/proc/7921/task/7924/stat : 7924 (java) S 7919 7919 6678 0 -1 1077944384 1186 0 0 0 12 6 0 0 20 0 19 0 477170541 29456678912 184677 33554432000 4194304 4196468 140737196887152 139669328866448 139669410076373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39321600 140737196893162 140737196893334 140737196893334 140737196896207 0
[pid=7921/tid=7925] ppid=7919 vsize=28766288 memory=739100 CPUtime=0.17 cores=0-7
/proc/7921/task/7925/stat : 7925 (java) S 7919 7919 6678 0 -1 1077944384 1059 0 0 0 10 7 0 0 20 0 19 0 477170541 29456678912 184677 33554432000 4194304 4196468 140737196887152 139669327813392 139669410076373 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39321600 140737196893162 140737196893334 140737196893334 140737196896207 0
[pid=7921/tid=7926] ppid=7919 vsize=28766288 memory=1452 CPUtime=0.16 cores=0-7
/proc/7921/task/7926/stat : 7926 (java) S 7919 7919 6678 0 -1 1077944384 535 0 0 0 10 6 0 0 20 0 19 0 477170541 29456678912 184677 33554432000 4194304 4196468 140737196887152 139669326760848 139669410076373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39321600 140737196893162 140737196893334 140737196893334 140737196896207 0
[pid=7921/tid=7927] ppid=7919 vsize=28766288 memory=739100 CPUtime=0.16 cores=0-7
/proc/7921/task/7927/stat : 7927 (java) S 7919 7919 6678 0 -1 1077944384 1252 0 0 0 11 5 0 0 20 0 19 0 477170541 29456678912 184677 33554432000 4194304 4196468 140737196887152 139669325707792 139669410076373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39321600 140737196893162 140737196893334 140737196893334 140737196896207 0
[pid=7921/tid=7928] ppid=7919 vsize=28766288 memory=1452 CPUtime=0.16 cores=0-7
/proc/7921/task/7928/stat : 7928 (java) S 7919 7919 6678 0 -1 1077944384 865 0 0 0 11 5 0 0 20 0 19 0 477170541 29456678912 184677 33554432000 4194304 4196468 140737196887152 139669324655248 139669410076373 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39321600 140737196893162 140737196893334 140737196893334 140737196896207 0
[pid=7921/tid=7929] ppid=7919 vsize=28766288 memory=738864 CPUtime=0.18 cores=0-7
/proc/7921/task/7929/stat : 7929 (java) S 7919 7919 6678 0 -1 1077944384 1522 0 0 0 12 6 0 0 20 0 19 0 477170541 29456678912 184677 33554432000 4194304 4196468 140737196887152 139669323602192 139669410076373 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39321600 140737196893162 140737196893334 140737196893334 140737196896207 0
[pid=7921/tid=7930] ppid=7919 vsize=28766288 memory=780 CPUtime=0.17 cores=0-7
/proc/7921/task/7930/stat : 7930 (java) S 7919 7919 6678 0 -1 1077944384 2663 0 0 0 11 6 0 0 20 0 19 0 477170541 29456678912 184677 33554432000 4194304 4196468 140737196887152 139669322549648 139669410076373 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39321600 140737196893162 140737196893334 140737196893334 140737196896207 0
[pid=7921/tid=7931] ppid=7919 vsize=28766288 memory=3516 CPUtime=0.06 cores=0-7
/proc/7921/task/7931/stat : 7931 (java) S 7919 7919 6678 0 -1 1077944384 3290 0 0 0 4 2 0 0 20 0 19 0 477170543 29456678912 184677 33554432000 4194304 4196468 140737196887152 139668660272064 139669410077314 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39321600 140737196893162 140737196893334 140737196893334 140737196896207 0
[pid=7921/tid=7932] ppid=7919 vsize=28766288 memory=29933849452 CPUtime=0 cores=0-7
/proc/7921/task/7932/stat : 7932 (java) S 7919 7919 6678 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 19 0 477170543 29456678912 184677 33554432000 4194304 4196468 140737196887152 139668659218144 139669410076373 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39321600 140737196893162 140737196893334 140737196893334 140737196896207 0
[pid=7921/tid=7933] ppid=7919 vsize=28766288 memory=279894027597712 CPUtime=0 cores=0-7
/proc/7921/task/7933/stat : 7933 (java) S 7919 7919 6678 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 19 0 477170544 29456678912 184677 33554432000 4194304 4196468 140737196887152 139668658164992 139669410076373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39321600 140737196893162 140737196893334 140737196893334 140737196896207 0
[pid=7921/tid=7934] ppid=7919 vsize=28766288 memory=279894027026144 CPUtime=0 cores=0-7
/proc/7921/task/7934/stat : 7934 (java) S 7919 7919 6678 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 477170546 29456678912 184677 33554432000 4194304 4196468 140737196887152 139668657113200 139669410076373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39321600 140737196893162 140737196893334 140737196893334 140737196896207 0
[pid=7921/tid=7935] ppid=7919 vsize=28766288 memory=7164492990414350169 CPUtime=2.94 cores=0-7
/proc/7921/task/7935/stat : 7935 (java) S 7919 7919 6678 0 -1 1077944384 12389 0 0 0 291 3 0 0 20 0 19 0 477170546 29456678912 184677 33554432000 4194304 4196468 140737196887152 139668656060656 139669410077314 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39321600 140737196893162 140737196893334 140737196893334 140737196896207 0
[pid=7921/tid=7936] ppid=7919 vsize=28766288 memory=1452 CPUtime=2.66 cores=0-7
/proc/7921/task/7936/stat : 7936 (java) S 7919 7919 6678 0 -1 1077944384 11614 0 0 0 262 4 0 0 20 0 19 0 477170546 29456678912 184677 33554432000 4194304 4196468 140737196887152 139668655008112 139669410077314 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39321600 140737196893162 140737196893334 140737196893334 140737196896207 0
[pid=7921/tid=7937] ppid=7919 vsize=28766288 memory=944400 CPUtime=2.25 cores=0-7
/proc/7921/task/7937/stat : 7937 (java) S 7919 7919 6678 0 -1 1077944384 9647 0 0 0 222 3 0 0 20 0 19 0 477170546 29456678912 184677 33554432000 4194304 4196468 140737196887152 139668653939568 139669410076373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39321600 140737196893162 140737196893334 140737196893334 140737196896207 0
[pid=7921/tid=7938] ppid=7919 vsize=28766288 memory=1452 CPUtime=0.83 cores=0-7
/proc/7921/task/7938/stat : 7938 (java) S 7919 7919 6678 0 -1 1077944384 10349 0 0 0 82 1 0 0 20 0 19 0 477170546 29456678912 184677 33554432000 4194304 4196468 140737196887152 139668652902512 139669410077314 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39321600 140737196893162 140737196893334 140737196893334 140737196896207 0
[pid=7921/tid=7939] ppid=7919 vsize=28766288 memory=1452 CPUtime=0 cores=0-7
/proc/7921/task/7939/stat : 7939 (java) S 7919 7919 6678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 477170547 29456678912 184677 33554432000 4194304 4196468 140737196887152 139668651850720 139669410076373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39321600 140737196893162 140737196893334 140737196893334 140737196896207 0
Current children cumulated CPU time: 1280.17 s
Current children cumulated vsize: 28879416 KiB
Current children cumulated memory: 740160 KiB

Child status: 0
Real time (s): 161.32
CPU time (s): 1280.19
CPU user time (s): 1278.9
CPU system time (s): 1.28539
CPU usage (%): 793.57
Max. virtual memory (cumulated for all children) (KiB): 28879416
Max. memory (cumulated for all children) (KiB): 1171836

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1278.9
system time used= 1.28539
maximum resident set size= 1185956
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 98235
page faults= 0
swaps= 0
block input operations= 0
block output operations= 344
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9743
involuntary context switches= 15580


# summary of solver processes directly reported to runsolver:
#   pid: 7919
#   total CPU time (s): 1280.19
#   total CPU user time (s): 1278.9
#   total CPU system time (s): 1.28539

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.53602 second user time and 2.25434 second system time

The end

Launcher Data 

Begin job on node116 at 2019-09-20 22:44:08
IDJOB=4404470
IDBENCH=141695
IDSOLVER=2865
FILE ID=node116/4404470-1569012289
RUNJOBID= node116-1569004939-6705
PBS_JOBID= 21704745
Free space on /tmp= 6528 MiB

SOLVER NAME= choco-solver 2019-09-20 parallel
BENCH NAME= XCSP19/hcp/graph237.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-4404470-1569012289/watcher-4404470-1569012289 -o /tmp/evaluation-result-4404470-1569012289/solver-4404470-1569012289 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node116-1569004939-6705 --watchdog 2580  xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 354127999 HOME/instance-4404470-1569012289.xml

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

MD5SUM BENCH= 381d980e7a453e02616e2fcc42a92093
RANDOM SEED=354127999

node116.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		: 2667.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.12
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		: 2667.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.12
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		: 2667.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.12
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		: 2667.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.12
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		: 2667.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	: 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		: 2667.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	: 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		: 2667.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	: 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		: 2667.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:       32770688 kB
MemFree:        25481388 kB
MemAvailable:   31854128 kB
Buffers:           43468 kB
Cached:          6504556 kB
SwapCached:         3372 kB
Active:          3270372 kB
Inactive:        3281572 kB
Active(anon):       6000 kB
Inactive(anon):    45404 kB
Active(file):    3264372 kB
Inactive(file):  3236168 kB
Unevictable:      109700 kB
Mlocked:          109700 kB
SwapTotal:      67108860 kB
SwapFree:       67000224 kB
Dirty:             26376 kB
Writeback:             0 kB
AnonPages:         77068 kB
Mapped:            49240 kB
Shmem:             38864 kB
Slab:             329324 kB
SReclaimable:     300660 kB
SUnreclaim:        28664 kB
KernelStack:        3728 kB
PageTables:         5676 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494204 kB
Committed_AS:     505796 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350212 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     32768 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      116160 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 6504 MiB
End job on node116 at 2019-09-20 22:46:49