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

OK	

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4395093-1568348556/watcher-4395093-1568348556 -o /tmp/evaluation-result-4395093-1568348556/solver-4395093-1568348556 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1568322174-14885 --watchdog 2580 xcsp_picat HOME/instance-4395093-1568348556.xml 

running on 4 cores: 0,2,4,6

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=22003, runsolver pid=22000

[startup+0.100196 s]*
/proc/loadavg: 2.50 2.19 2.10 3/205 22004
/proc/meminfo: memFree=30141932/32770624 swapFree=67008956/67108860
[pid=22003] ppid=22000 vsize=2031716 memory=36984 CPUtime=0.1 cores=0,2,4,6
/proc/22003/stat : 22003 (xcsp_picat) R 22000 22003 14854 0 -1 4202496 1255 0 0 0 10 0 0 0 20 0 1 0 410778359 2080477184 9246 33554432000 4194304 5870510 140727430899392 140727430898696 4908688 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 34906112 140727430906911 140727430906989 140727430906989 140727430909898 0
/proc/22003/statm: 507929 9246 838 410 0 503402 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 36984 KiB

[startup+0.210289 s]*
/proc/loadavg: 2.50 2.19 2.10 3/205 22004
/proc/meminfo: memFree=30142108/32770624 swapFree=67008956/67108860
[pid=22003] ppid=22000 vsize=2031716 memory=36984 CPUtime=0.21 cores=0,2,4,6
/proc/22003/stat : 22003 (xcsp_picat) R 22000 22003 14854 0 -1 4202496 1255 0 0 0 21 0 0 0 20 0 1 0 410778359 2080477184 9246 33554432000 4194304 5870510 140727430899392 140727430898696 4491039 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 34906112 140727430906911 140727430906989 140727430906989 140727430909898 0
/proc/22003/statm: 507929 9246 838 410 0 503402 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 36984 KiB

[startup+0.309863 s]*
/proc/loadavg: 2.50 2.19 2.10 3/205 22004
/proc/meminfo: memFree=30142108/32770624 swapFree=67008956/67108860
[pid=22003] ppid=22000 vsize=2031716 memory=36984 CPUtime=0.31 cores=0,2,4,6
/proc/22003/stat : 22003 (xcsp_picat) R 22000 22003 14854 0 -1 4202496 1255 0 0 0 31 0 0 0 20 0 1 0 410778359 2080477184 9246 33554432000 4194304 5870510 140727430899392 140727430898696 4490044 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 34906112 140727430906911 140727430906989 140727430906989 140727430909898 0
/proc/22003/statm: 507929 9246 838 410 0 503402 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 36984 KiB

[startup+0.700385 s]
/proc/loadavg: 2.50 2.19 2.10 3/205 22004
/proc/meminfo: memFree=30142108/32770624 swapFree=67008956/67108860
[pid=22003] ppid=22000 vsize=2031716 memory=36984 CPUtime=0.69 cores=0,2,4,6
/proc/22003/stat : 22003 (xcsp_picat) R 22000 22003 14854 0 -1 4202496 1255 0 0 0 69 0 0 0 20 0 1 0 410778359 2080477184 9246 33554432000 4194304 5870510 140727430899392 140727430898696 4477327 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7970040 9572284 34906112 140727430906911 140727430906989 140727430906989 140727430909898 0
/proc/22003/statm: 507929 9246 838 410 0 503402 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 36984 KiB

[startup+1.50031 s]
/proc/loadavg: 2.50 2.19 2.10 3/205 22004
/proc/meminfo: memFree=30101024/32770624 swapFree=67008956/67108860
[pid=22003] ppid=22000 vsize=2109328 memory=109280 CPUtime=1.49 cores=0,2,4,6
/proc/22003/stat : 22003 (xcsp_picat) R 22000 22003 14854 0 -1 4202496 1946 0 0 0 147 2 0 0 20 0 1 0 410778359 2159951872 27320 33554432000 4194304 5870510 140727430899392 140727430898696 4516182 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 34906112 140727430906911 140727430906989 140727430906989 140727430909898 0
/proc/22003/statm: 527332 27320 858 410 0 522805 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2109328 KiB
Current children cumulated memory: 109280 KiB

[startup+3.10975 s]
/proc/loadavg: 2.46 2.19 2.10 3/205 22004
/proc/meminfo: memFree=29987436/32770624 swapFree=67008956/67108860
[pid=22003] ppid=22000 vsize=2152268 memory=189944 CPUtime=3.1 cores=0,2,4,6
/proc/22003/stat : 22003 (xcsp_picat) R 22000 22003 14854 0 -1 4202496 8515 0 0 0 305 5 0 0 20 0 1 0 410778359 2203922432 47486 33554432000 4194304 5870510 140727430899392 140727430898504 5562032 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 34906112 140727430906911 140727430906989 140727430906989 140727430909898 0
/proc/22003/statm: 538067 47486 950 410 0 533540 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2152268 KiB
Current children cumulated memory: 189944 KiB

[startup+6.30022 s]
/proc/loadavg: 2.46 2.19 2.10 3/205 22004
/proc/meminfo: memFree=30001624/32770624 swapFree=67008956/67108860
[pid=22003] ppid=22000 vsize=2152268 memory=189968 CPUtime=6.29 cores=0,2,4,6
/proc/22003/stat : 22003 (xcsp_picat) R 22000 22003 14854 0 -1 4202496 8788 0 0 0 624 5 0 0 20 0 1 0 410778359 2203922432 47492 33554432000 4194304 5870510 140727430899392 140727430898504 5478360 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 34906112 140727430906911 140727430906989 140727430906989 140727430909898 0
/proc/22003/statm: 538067 47492 953 410 0 533540 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2152268 KiB
Current children cumulated memory: 189968 KiB

[startup+12.7002 s]
/proc/loadavg: 2.42 2.19 2.10 3/205 22004
/proc/meminfo: memFree=29999224/32770624 swapFree=67008956/67108860
[pid=22003] ppid=22000 vsize=2152268 memory=190004 CPUtime=12.68 cores=0,2,4,6
/proc/22003/stat : 22003 (xcsp_picat) R 22000 22003 14854 0 -1 4202496 9352 0 0 0 1263 5 0 0 20 0 1 0 410778359 2203922432 47501 33554432000 4194304 5870510 140727430899392 140727430898504 5478381 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 34906112 140727430906911 140727430906989 140727430906989 140727430909898 0
/proc/22003/statm: 538067 47501 953 410 0 533540 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 2152268 KiB
Current children cumulated memory: 190004 KiB

[startup+25.5002 s]
/proc/loadavg: 2.33 2.18 2.10 3/205 22004
/proc/meminfo: memFree=29994880/32770624 swapFree=67008956/67108860
[pid=22003] ppid=22000 vsize=2152268 memory=190072 CPUtime=25.48 cores=0,2,4,6
/proc/22003/stat : 22003 (xcsp_picat) R 22000 22003 14854 0 -1 4202496 10320 0 0 0 2542 6 0 0 20 0 1 0 410778359 2203922432 47518 33554432000 4194304 5870510 140727430899392 140727430898504 5478363 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 34906112 140727430906911 140727430906989 140727430906989 140727430909898 0
/proc/22003/statm: 538067 47518 953 410 0 533540 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 2152268 KiB
Current children cumulated memory: 190072 KiB

[startup+51.1093 s]
/proc/loadavg: 2.22 2.16 2.10 3/204 22007
/proc/meminfo: memFree=30001640/32770624 swapFree=67008956/67108860
[pid=22003] ppid=22000 vsize=2152268 memory=190200 CPUtime=51.08 cores=0,2,4,6
/proc/22003/stat : 22003 (xcsp_picat) R 22000 22003 14854 0 -1 4202496 11498 0 0 0 5102 6 0 0 20 0 1 0 410778359 2203922432 47550 33554432000 4194304 5870510 140727430899392 140727430898504 5478371 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 34906112 140727430906911 140727430906989 140727430906989 140727430909898 0
/proc/22003/statm: 538067 47550 953 410 0 533540 0
Current children cumulated CPU time: 51.08 s
Current children cumulated vsize: 2152268 KiB
Current children cumulated memory: 190200 KiB

[startup+102.3 s]
/proc/loadavg: 2.09 2.14 2.09 3/205 22012
/proc/meminfo: memFree=29997100/32770624 swapFree=67008956/67108860
[pid=22003] ppid=22000 vsize=2152668 memory=192180 CPUtime=102.27 cores=0,2,4,6
/proc/22003/stat : 22003 (xcsp_picat) R 22000 22003 14854 0 -1 4202496 13794 0 0 0 10218 9 0 0 20 0 1 0 410778359 2204332032 48045 33554432000 4194304 5870510 140727430899392 140727430898504 5478371 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 34906112 140727430906911 140727430906989 140727430906989 140727430909898 0
/proc/22003/statm: 538167 48045 953 410 0 533640 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 2152668 KiB
Current children cumulated memory: 192180 KiB

[startup+162.3 s]
/proc/loadavg: 2.03 2.11 2.09 3/205 22016
/proc/meminfo: memFree=29921700/32770624 swapFree=67008956/67108860
[pid=22003] ppid=22000 vsize=2215268 memory=260200 CPUtime=162.26 cores=0,2,4,6
/proc/22003/stat : 22003 (xcsp_picat) R 22000 22003 14854 0 -1 4202496 25675 0 0 0 16212 14 0 0 20 0 1 0 410778359 2268434432 65050 33554432000 4194304 5870510 140727430899392 140727430897832 5272427 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 34906112 140727430906911 140727430906989 140727430906989 140727430909898 0
/proc/22003/statm: 553817 65050 985 410 0 549290 0
Current children cumulated CPU time: 162.26 s
Current children cumulated vsize: 2215268 KiB
Current children cumulated memory: 260200 KiB

[startup+166.259 s]
# the end of solver process 22003 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=166.083 s, system=0.149978 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+163.2 s]
/proc/loadavg: 2.03 2.11 2.09 3/205 22016
/proc/meminfo: memFree=29915556/32770624 swapFree=67008956/67108860
[pid=22003] ppid=22000 vsize=2245616 memory=264296 CPUtime=163.16 cores=0,2,4,6
/proc/22003/stat : 22003 (xcsp_picat) R 22000 22003 14854 0 -1 4202496 25678 0 0 0 16302 14 0 0 20 0 1 0 410778359 2299510784 66074 33554432000 4194304 5870510 140727430899392 140727430897832 5282721 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 34906112 140727430906911 140727430906989 140727430906989 140727430909898 0
/proc/22003/statm: 561404 66074 985 410 0 556877 0
Current children cumulated CPU time: 163.16 s
Current children cumulated vsize: 2245616 KiB
Current children cumulated memory: 264296 KiB

[startup+164.8 s]
/proc/loadavg: 2.03 2.11 2.09 3/205 22016
/proc/meminfo: memFree=29915556/32770624 swapFree=67008956/67108860
[pid=22003] ppid=22000 vsize=2245616 memory=266344 CPUtime=164.76 cores=0,2,4,6
/proc/22003/stat : 22003 (xcsp_picat) R 22000 22003 14854 0 -1 4202496 25680 0 0 0 16462 14 0 0 20 0 1 0 410778359 2299510784 66586 33554432000 4194304 5870510 140727430899392 140727430898504 5282578 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 34906112 140727430906911 140727430906989 140727430906989 140727430909898 0
/proc/22003/statm: 561404 66586 985 410 0 556877 0
Current children cumulated CPU time: 164.76 s
Current children cumulated vsize: 2245616 KiB
Current children cumulated memory: 266344 KiB

[startup+165.6 s]
/proc/loadavg: 2.03 2.11 2.09 3/205 22016
/proc/meminfo: memFree=29913632/32770624 swapFree=67008956/67108860
[pid=22003] ppid=22000 vsize=2245616 memory=266344 CPUtime=165.56 cores=0,2,4,6
/proc/22003/stat : 22003 (xcsp_picat) R 22000 22003 14854 0 -1 4202496 25680 0 0 0 16542 14 0 0 20 0 1 0 410778359 2299510784 66586 33554432000 4194304 5870510 140727430899392 140727430898504 5272427 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 34906112 140727430906911 140727430906989 140727430906989 140727430909898 0
/proc/22003/statm: 561404 66586 985 410 0 556877 0
Current children cumulated CPU time: 165.56 s
Current children cumulated vsize: 2245616 KiB
Current children cumulated memory: 266344 KiB

[startup+166 s]*
/proc/loadavg: 2.03 2.11 2.09 3/205 22016
/proc/meminfo: memFree=29911584/32770624 swapFree=67008956/67108860
[pid=22003] ppid=22000 vsize=2245616 memory=266344 CPUtime=165.97 cores=0,2,4,6
/proc/22003/stat : 22003 (xcsp_picat) R 22000 22003 14854 0 -1 4202496 25680 0 0 0 16583 14 0 0 20 0 1 0 410778359 2299510784 66586 33554432000 4194304 5870510 140727430899392 140727430898504 5272987 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 34906112 140727430906911 140727430906989 140727430906989 140727430909898 0
/proc/22003/statm: 561404 66586 985 410 0 556877 0
Current children cumulated CPU time: 165.97 s
Current children cumulated vsize: 2245616 KiB
Current children cumulated memory: 266344 KiB

[startup+166.2 s]
/proc/loadavg: 2.03 2.11 2.09 3/205 22016
/proc/meminfo: memFree=29911584/32770624 swapFree=67008956/67108860
[pid=22003] ppid=22000 vsize=2245616 memory=266344 CPUtime=166.16 cores=0,2,4,6
/proc/22003/stat : 22003 (xcsp_picat) R 22000 22003 14854 0 -1 4202496 25680 0 0 0 16602 14 0 0 20 0 1 0 410778359 2299510784 66586 33554432000 4194304 5870510 140727430899392 140727430898504 5262639 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 34906112 140727430906911 140727430906989 140727430906989 140727430909898 0
/proc/22003/statm: 561404 66586 985 410 0 556877 0
Current children cumulated CPU time: 166.16 s
Current children cumulated vsize: 2245616 KiB
Current children cumulated memory: 266344 KiB

Child status: 0
Real time (s): 166.259
CPU time (s): 166.233
CPU user time (s): 166.083
CPU system time (s): 0.149978
CPU usage (%): 99.9848
Max. virtual memory (cumulated for all children) (KiB): 2245616
Max. memory (cumulated for all children) (KiB): 266344

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 166.083
system time used= 0.149978
maximum resident set size= 266532
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25707
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5
involuntary context switches= 151


# summary of solver processes directly reported to runsolver:
#   pid: 22003
#   total CPU time (s): 166.233
#   total CPU user time (s): 166.083
#   total CPU system time (s): 0.149978

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.671084 second user time and 1.15105 second system time

The end

Begin job on node132 at 2019-09-13 06:21:47
IDJOB=4395093
IDBENCH=141690
IDSOLVER=2844
FILE ID=node132/4395093-1568348556
RUNJOBID= node132-1568322174-14885
PBS_JOBID= 21701138
Free space on /tmp= 60300 MiB

SOLVER NAME= PicatSAT 2019-09-12
BENCH NAME= XCSP19/hcp/graph254.xml
COMMAND LINE= xcsp_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4395093-1568348556/watcher-4395093-1568348556 -o /tmp/evaluation-result-4395093-1568348556/solver-4395093-1568348556 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1568322174-14885 --watchdog 2580  xcsp_picat HOME/instance-4395093-1568348556.xml

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

MD5SUM BENCH= 68b62eb0ee4f1f32ebe5ed32147b7b19
RANDOM SEED=1738260258

node132.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.95
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.95
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.95
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.95
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:        30174844 kB
MemAvailable:   31574408 kB
Buffers:          129812 kB
Cached:          1540712 kB
SwapCached:         8384 kB
Active:           658020 kB
Inactive:        1356376 kB
Active(anon):     343320 kB
Inactive(anon):    28028 kB
Active(file):     314700 kB
Inactive(file):  1328348 kB
Unevictable:      109188 kB
Mlocked:          109188 kB
SwapTotal:      67108860 kB
SwapFree:       67008956 kB
Dirty:              3524 kB
Writeback:             0 kB
AnonPages:        446552 kB
Mapped:            32892 kB
Shmem:             18820 kB
Slab:             174288 kB
SReclaimable:     144700 kB
SUnreclaim:        29588 kB
KernelStack:        3616 kB
PageTables:         6364 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2813664 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    370688 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      136576 kB
DirectMap2M:    33409024 kB

Free space on /tmp at the end= 60300 MiB
End job on node132 at 2019-09-13 06:24:33