Trace number 4395089

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
PicatSAT 2019-09-12SAT 178.186 178.178

General information on the benchmark

NameXCSP19/hcp/
graph223.xml
MD5SUMc2ae7594dad59fdbc475d1849bdfa679
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 benchmark178.186
Satisfiable
(Un)Satisfiability was proved
Number of variables1386
Number of constraints1
Number of domains1386
Minimum domain size2
Maximum domain size5
Distribution of domain sizes[{"size":2,"count":462},{"size":3,"count":420},{"size":4,"count":168},{"size":5,"count":336}]
Minimum variable degree1
Maximum variable degree1
Distribution of variable degrees[{"degree":1,"count":1386}]
Minimum constraint arity1386
Maximum constraint arity1386
Distribution of constraint arities[{"arity":1386,"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 

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

Verifier Data 

OK

Watcher Data 

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (15347 MiB free)
  memory of node 1: 16384 MiB (15127 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4395089-1568348596/watcher-4395089-1568348596 -o /tmp/evaluation-result-4395089-1568348596/solver-4395089-1568348596 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node102-1568323474-16007 --watchdog 2580 xcsp_picat HOME/instance-4395089-1568348596.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
solver pid=23763, runsolver pid=23760
Current StackSize limit: 8192 KiB


[startup+0.100112 s]*
/proc/loadavg: 2.00 2.01 2.05 3/200 23764
/proc/meminfo: memFree=31177892/32770624 swapFree=66994200/67108860
[pid=23763] ppid=23760 vsize=2031716 memory=30376 CPUtime=0.1 cores=0,2,4,6
/proc/23763/stat : 23763 (xcsp_picat) R 23760 23763 15976 0 -1 4202496 1655 0 0 0 10 0 0 0 20 0 1 0 411111045 2080477184 7594 33554432000 4194304 5870510 140733485790608 140733485787752 4431787 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 32169984 140733485794335 140733485794413 140733485794413 140733485797322 0
/proc/23763/statm: 507929 7594 852 410 0 503402 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 30376 KiB

[startup+0.209639 s]*
/proc/loadavg: 2.00 2.01 2.05 3/200 23764
/proc/meminfo: memFree=31175844/32770624 swapFree=66994200/67108860
[pid=23763] ppid=23760 vsize=2031716 memory=30376 CPUtime=0.21 cores=0,2,4,6
/proc/23763/stat : 23763 (xcsp_picat) R 23760 23763 15976 0 -1 4202496 1655 0 0 0 21 0 0 0 20 0 1 0 411111045 2080477184 7594 33554432000 4194304 5870510 140733485790608 140733485787752 4826656 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 32169984 140733485794335 140733485794413 140733485794413 140733485797322 0
/proc/23763/statm: 507929 7594 852 410 0 503402 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 30376 KiB

[startup+0.309371 s]*
/proc/loadavg: 2.00 2.01 2.05 3/200 23764
/proc/meminfo: memFree=31175572/32770624 swapFree=66994200/67108860
[pid=23763] ppid=23760 vsize=2031716 memory=30376 CPUtime=0.31 cores=0,2,4,6
/proc/23763/stat : 23763 (xcsp_picat) R 23760 23763 15976 0 -1 4202496 1655 0 0 0 31 0 0 0 20 0 1 0 411111045 2080477184 7594 33554432000 4194304 5870510 140733485790608 140733485789912 4461790 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 32169984 140733485794335 140733485794413 140733485794413 140733485797322 0
/proc/23763/statm: 507929 7594 852 410 0 503402 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 30376 KiB

[startup+0.70027 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 23764
/proc/meminfo: memFree=31175572/32770624 swapFree=66994200/67108860
[pid=23763] ppid=23760 vsize=2031716 memory=38568 CPUtime=0.69 cores=0,2,4,6
/proc/23763/stat : 23763 (xcsp_picat) R 23760 23763 15976 0 -1 4202496 1659 0 0 0 69 0 0 0 20 0 1 0 411111045 2080477184 9642 33554432000 4194304 5870510 140733485790608 140733485789912 4463385 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 32169984 140733485794335 140733485794413 140733485794413 140733485797322 0
/proc/23763/statm: 507929 9642 852 410 0 503402 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 38568 KiB

[startup+1.50031 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 23764
/proc/meminfo: memFree=31136660/32770624 swapFree=66994200/67108860
[pid=23763] ppid=23760 vsize=2031716 memory=110408 CPUtime=1.49 cores=0,2,4,6
/proc/23763/stat : 23763 (xcsp_picat) R 23760 23763 15976 0 -1 4202496 1702 0 0 0 148 1 0 0 20 0 1 0 411111045 2080477184 27602 33554432000 4194304 5870510 140733485790608 140733485789912 4459460 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 32169984 140733485794335 140733485794413 140733485794413 140733485797322 0
/proc/23763/statm: 507929 27602 854 410 0 503402 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 110408 KiB

[startup+3.10957 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 23764
/proc/meminfo: memFree=31040516/32770624 swapFree=66994200/67108860
[pid=23763] ppid=23760 vsize=2071816 memory=159972 CPUtime=3.1 cores=0,2,4,6
/proc/23763/stat : 23763 (xcsp_picat) R 23760 23763 15976 0 -1 4202496 10353 0 0 0 307 3 0 0 20 0 1 0 411111045 2121539584 39993 33554432000 4194304 5870510 140733485790608 140733485789720 5562048 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 32169984 140733485794335 140733485794413 140733485794413 140733485797322 0
/proc/23763/statm: 517954 39993 948 410 0 513427 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2071816 KiB
Current children cumulated memory: 159972 KiB

[startup+6.30022 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 23764
/proc/meminfo: memFree=31049912/32770624 swapFree=66994200/67108860
[pid=23763] ppid=23760 vsize=2071816 memory=159976 CPUtime=6.29 cores=0,2,4,6
/proc/23763/stat : 23763 (xcsp_picat) R 23760 23763 15976 0 -1 4202496 10565 0 0 0 625 4 0 0 20 0 1 0 411111045 2121539584 39994 33554432000 4194304 5870510 140733485790608 140733485789720 5562032 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 32169984 140733485794335 140733485794413 140733485794413 140733485797322 0
/proc/23763/statm: 517954 39994 948 410 0 513427 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2071816 KiB
Current children cumulated memory: 159976 KiB

[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.05 3/201 23766
/proc/meminfo: memFree=31029636/32770624 swapFree=66994200/67108860
[pid=23763] ppid=23760 vsize=2071952 memory=160052 CPUtime=12.69 cores=0,2,4,6
/proc/23763/stat : 23763 (xcsp_picat) R 23760 23763 15976 0 -1 4202496 11171 0 0 0 1265 4 0 0 20 0 1 0 411111045 2121678848 40013 33554432000 4194304 5870510 140733485790608 140733485789800 5562048 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 32169984 140733485794335 140733485794413 140733485794413 140733485797322 0
/proc/23763/statm: 517988 40013 948 410 0 513461 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2071952 KiB
Current children cumulated memory: 160052 KiB

[startup+25.5003 s]
/proc/loadavg: 1.93 2.00 2.04 3/200 23767
/proc/meminfo: memFree=31034692/32770624 swapFree=66994200/67108860
[pid=23763] ppid=23760 vsize=2071952 memory=160176 CPUtime=25.49 cores=0,2,4,6
/proc/23763/stat : 23763 (xcsp_picat) R 23760 23763 15976 0 -1 4202496 11967 0 0 0 2544 5 0 0 20 0 1 0 411111045 2121678848 40044 33554432000 4194304 5870510 140733485790608 140733485789720 5478384 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 32169984 140733485794335 140733485794413 140733485794413 140733485797322 0
/proc/23763/statm: 517988 40044 948 410 0 513461 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 2071952 KiB
Current children cumulated memory: 160176 KiB

[startup+51.1092 s]
/proc/loadavg: 1.95 2.00 2.04 3/200 23767
/proc/meminfo: memFree=31036476/32770624 swapFree=66994200/67108860
[pid=23763] ppid=23760 vsize=2072824 memory=161052 CPUtime=51.11 cores=0,2,4,6
/proc/23763/stat : 23763 (xcsp_picat) R 23760 23763 15976 0 -1 4202496 14115 0 0 0 5105 6 0 0 20 0 1 0 411111045 2122571776 40263 33554432000 4194304 5870510 140733485790608 140733485789720 5478360 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 32169984 140733485794335 140733485794413 140733485794413 140733485797322 0
/proc/23763/statm: 518206 40263 948 410 0 513679 0
Current children cumulated CPU time: 51.11 s
Current children cumulated vsize: 2072824 KiB
Current children cumulated memory: 161052 KiB

[startup+102.3 s]
/proc/loadavg: 1.98 2.00 2.04 3/201 23773
/proc/meminfo: memFree=31029292/32770624 swapFree=66994200/67108860
[pid=23763] ppid=23760 vsize=2075124 memory=164640 CPUtime=102.3 cores=0,2,4,6
/proc/23763/stat : 23763 (xcsp_picat) R 23760 23763 15976 0 -1 4202496 22642 0 0 0 10221 9 0 0 20 0 1 0 411111045 2124926976 41160 33554432000 4194304 5870510 140733485790608 140733485789720 5562059 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 32169984 140733485794335 140733485794413 140733485794413 140733485797322 0
/proc/23763/statm: 518781 41160 949 410 0 514254 0
Current children cumulated CPU time: 102.3 s
Current children cumulated vsize: 2075124 KiB
Current children cumulated memory: 164640 KiB

[startup+162.3 s]
/proc/loadavg: 1.99 2.00 2.04 3/199 23778
/proc/meminfo: memFree=30966596/32770624 swapFree=66994200/67108860
[pid=23763] ppid=23760 vsize=2155596 memory=244004 CPUtime=162.29 cores=0,2,4,6
/proc/23763/stat : 23763 (xcsp_picat) R 23760 23763 15976 0 -1 4202496 45976 0 0 0 16217 12 0 0 20 0 1 0 411111045 2207330304 61001 33554432000 4194304 5870510 140733485790608 140733485789720 5282555 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 32169984 140733485794335 140733485794413 140733485794413 140733485797322 0
/proc/23763/statm: 538899 61001 979 410 0 534372 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 2155596 KiB
Current children cumulated memory: 244004 KiB

[startup+178.178 s]
# the end of solver process 23763 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=178.041 s, system=0.145006 s

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

[startup+166.4 s]
/proc/loadavg: 1.99 2.00 2.04 3/199 23778
/proc/meminfo: memFree=31006560/32770624 swapFree=66994200/67108860
[pid=23763] ppid=23760 vsize=2125248 memory=207144 CPUtime=166.39 cores=0,2,4,6
/proc/23763/stat : 23763 (xcsp_picat) R 23760 23763 15976 0 -1 4202496 47256 0 0 0 16626 13 0 0 20 0 1 0 411111045 2176253952 51786 33554432000 4194304 5870510 140733485790608 140733485789624 5281827 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 32169984 140733485794335 140733485794413 140733485794413 140733485797322 0
/proc/23763/statm: 531312 51786 979 410 0 526785 0
Current children cumulated CPU time: 166.39 s
Current children cumulated vsize: 2125248 KiB
Current children cumulated memory: 207144 KiB

[startup+172.8 s]
/proc/loadavg: 1.99 2.00 2.04 3/199 23778
/proc/meminfo: memFree=31007236/32770624 swapFree=66994200/67108860
[pid=23763] ppid=23760 vsize=2125248 memory=211240 CPUtime=172.79 cores=0,2,4,6
/proc/23763/stat : 23763 (xcsp_picat) R 23760 23763 15976 0 -1 4202496 47263 0 0 0 17266 13 0 0 20 0 1 0 411111045 2176253952 52810 33554432000 4194304 5870510 140733485790608 140733485789624 5272628 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 32169984 140733485794335 140733485794413 140733485794413 140733485797322 0
/proc/23763/statm: 531312 52810 979 410 0 526785 0
Current children cumulated CPU time: 172.79 s
Current children cumulated vsize: 2125248 KiB
Current children cumulated memory: 211240 KiB

[startup+176 s]*
/proc/loadavg: 1.99 2.00 2.04 3/199 23778
/proc/meminfo: memFree=31003140/32770624 swapFree=66994200/67108860
[pid=23763] ppid=23760 vsize=2125248 memory=211240 CPUtime=176 cores=0,2,4,6
/proc/23763/stat : 23763 (xcsp_picat) R 23760 23763 15976 0 -1 4202496 47265 0 0 0 17587 13 0 0 20 0 1 0 411111045 2176253952 52810 33554432000 4194304 5870510 140733485790608 140733485789624 5308227 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 32169984 140733485794335 140733485794413 140733485794413 140733485797322 0
/proc/23763/statm: 531312 52810 979 410 0 526785 0
Current children cumulated CPU time: 176 s
Current children cumulated vsize: 2125248 KiB
Current children cumulated memory: 211240 KiB

[startup+176.8 s]
/proc/loadavg: 1.99 2.00 2.04 3/199 23778
/proc/meminfo: memFree=31003140/32770624 swapFree=66994200/67108860
[pid=23763] ppid=23760 vsize=2125248 memory=213288 CPUtime=176.8 cores=0,2,4,6
/proc/23763/stat : 23763 (xcsp_picat) R 23760 23763 15976 0 -1 4202496 47266 0 0 0 17666 14 0 0 20 0 1 0 411111045 2176253952 53322 33554432000 4194304 5870510 140733485790608 140733485789624 5282258 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 32169984 140733485794335 140733485794413 140733485794413 140733485797322 0
/proc/23763/statm: 531312 53322 979 410 0 526785 0
Current children cumulated CPU time: 176.8 s
Current children cumulated vsize: 2125248 KiB
Current children cumulated memory: 213288 KiB

[startup+177.6 s]
/proc/loadavg: 1.99 2.00 2.04 3/199 23778
/proc/meminfo: memFree=31001092/32770624 swapFree=66994200/67108860
[pid=23763] ppid=23760 vsize=2125248 memory=213288 CPUtime=177.6 cores=0,2,4,6
/proc/23763/stat : 23763 (xcsp_picat) R 23760 23763 15976 0 -1 4202496 47267 0 0 0 17746 14 0 0 20 0 1 0 411111045 2176253952 53322 33554432000 4194304 5870510 140733485790608 140733485789624 5278096 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 32169984 140733485794335 140733485794413 140733485794413 140733485797322 0
/proc/23763/statm: 531312 53322 979 410 0 526785 0
Current children cumulated CPU time: 177.6 s
Current children cumulated vsize: 2125248 KiB
Current children cumulated memory: 213288 KiB

[startup+178 s]*
/proc/loadavg: 1.99 2.00 2.04 3/199 23778
/proc/meminfo: memFree=31001092/32770624 swapFree=66994200/67108860
[pid=23763] ppid=23760 vsize=2125248 memory=213288 CPUtime=178.01 cores=0,2,4,6
/proc/23763/stat : 23763 (xcsp_picat) R 23760 23763 15976 0 -1 4202496 47267 0 0 0 17787 14 0 0 20 0 1 0 411111045 2176253952 53322 33554432000 4194304 5870510 140733485790608 140733485789624 5288874 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 32169984 140733485794335 140733485794413 140733485794413 140733485797322 0
/proc/23763/statm: 531312 53322 979 410 0 526785 0
Current children cumulated CPU time: 178.01 s
Current children cumulated vsize: 2125248 KiB
Current children cumulated memory: 213288 KiB

[startup+178.11 s]
/proc/loadavg: 1.99 2.00 2.04 3/199 23778
/proc/meminfo: memFree=31001092/32770624 swapFree=66994200/67108860
[pid=23763] ppid=23760 vsize=2125248 memory=213288 CPUtime=178.11 cores=0,2,4,6
/proc/23763/stat : 23763 (xcsp_picat) R 23760 23763 15976 0 -1 4202496 47268 0 0 0 17797 14 0 0 20 0 1 0 411111045 2176253952 53322 33554432000 4194304 5870510 140733485790608 140733485789624 5304209 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 32169984 140733485794335 140733485794413 140733485794413 140733485797322 0
/proc/23763/statm: 531312 53322 979 410 0 526785 0
Current children cumulated CPU time: 178.11 s
Current children cumulated vsize: 2125248 KiB
Current children cumulated memory: 213288 KiB

Child status: 0
Real time (s): 178.178
CPU time (s): 178.186
CPU user time (s): 178.041
CPU system time (s): 0.145006
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 2174568
Max. memory (cumulated for all children) (KiB): 244004

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 178.041
system time used= 0.145006
maximum resident set size= 274724
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 48094
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= 4
involuntary context switches= 228


# summary of solver processes directly reported to runsolver:
#   pid: 23763
#   total CPU time (s): 178.186
#   total CPU user time (s): 178.041
#   total CPU system time (s): 0.145006

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.665829 second user time and 1.29175 second system time

The end

Launcher Data 

Begin job on node102 at 2019-09-13 06:22:31
IDJOB=4395089
IDBENCH=141691
IDSOLVER=2844
FILE ID=node102/4395089-1568348596
RUNJOBID= node102-1568323474-16007
PBS_JOBID= 21701144
Free space on /tmp= 56900 MiB

SOLVER NAME= PicatSAT 2019-09-12
BENCH NAME= XCSP19/hcp/graph223.xml
COMMAND LINE= xcsp_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4395089-1568348596/watcher-4395089-1568348596 -o /tmp/evaluation-result-4395089-1568348596/solver-4395089-1568348596 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node102-1568323474-16007 --watchdog 2580  xcsp_picat HOME/instance-4395089-1568348596.xml

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

MD5SUM BENCH= c2ae7594dad59fdbc475d1849bdfa679
RANDOM SEED=837192875

node102.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.13
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.54
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.13
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.54
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.13
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.54
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.13
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.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        31206840 kB
MemAvailable:   31395844 kB
Buffers:          130404 kB
Cached:           348512 kB
SwapCached:        10712 kB
Active:           748028 kB
Inactive:         268440 kB
Active(anon):     533636 kB
Inactive(anon):    33540 kB
Active(file):     214392 kB
Inactive(file):   234900 kB
Unevictable:      110464 kB
Mlocked:          110464 kB
SwapTotal:      67108860 kB
SwapFree:       66994200 kB
Dirty:              3148 kB
Writeback:             0 kB
AnonPages:        635464 kB
Mapped:            35600 kB
Shmem:             21232 kB
Slab:             139500 kB
SReclaimable:     111092 kB
SUnreclaim:        28408 kB
KernelStack:        3504 kB
PageTables:         7324 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2903036 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    577536 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      118144 kB
DirectMap2M:    33427456 kB

Free space on /tmp at the end= 56900 MiB
End job on node102 at 2019-09-13 06:25:29