Trace number 4395091

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 153.399 153.454

General information on the benchmark

NameXCSP19/hcp/
graph249.xml
MD5SUM9deb1a9239474f0b39e24b397fc75368
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark37.7136
Satisfiable
(Un)Satisfiability was proved
Number of variables1558
Number of constraints1
Number of domains1558
Minimum domain size3
Maximum domain size4
Distribution of domain sizes[{"size":3,"count":1556},{"size":4,"count":2}]
Minimum variable degree1
Maximum variable degree1
Distribution of variable degrees[{"degree":1,"count":1558}]
Minimum constraint arity1558
Maximum constraint arity1558
Distribution of constraint arities[{"arity":1558,"count":1}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"circuit","count":1}]
Optimization problemNO
Type of objective

Solver Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4395091-1568349110/watcher-4395091-1568349110 -o /tmp/evaluation-result-4395091-1568349110/solver-4395091-1568349110 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1568322174-14885 --watchdog 2580 xcsp_picat HOME/instance-4395091-1568349110.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=22234, runsolver pid=22231

[startup+0.100118 s]*
/proc/loadavg: 2.27 2.17 2.11 3/206 22235
/proc/meminfo: memFree=30232668/32770624 swapFree=67008960/67108860
[pid=22234] ppid=22231 vsize=2031716 memory=38564 CPUtime=0.1 cores=0,2,4,6
/proc/22234/stat : 22234 (xcsp_picat) R 22231 22234 14854 0 -1 4202496 1642 0 0 0 10 0 0 0 20 0 1 0 410833773 2080477184 9641 33554432000 4194304 5870510 140733129739776 140733129736920 4826828 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 45694976 140733129741343 140733129741421 140733129741421 140733129744330 0
/proc/22234/statm: 507929 9641 839 410 0 503402 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 38564 KiB

[startup+0.210212 s]*
/proc/loadavg: 2.27 2.17 2.11 3/206 22235
/proc/meminfo: memFree=30232668/32770624 swapFree=67008960/67108860
[pid=22234] ppid=22231 vsize=2031716 memory=38564 CPUtime=0.21 cores=0,2,4,6
/proc/22234/stat : 22234 (xcsp_picat) R 22231 22234 14854 0 -1 4202496 1642 0 0 0 21 0 0 0 20 0 1 0 410833773 2080477184 9641 33554432000 4194304 5870510 140733129739776 140733129736920 4459338 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 45694976 140733129741343 140733129741421 140733129741421 140733129744330 0
/proc/22234/statm: 507929 9641 839 410 0 503402 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 38564 KiB

[startup+0.309931 s]*
/proc/loadavg: 2.27 2.17 2.11 3/206 22235
/proc/meminfo: memFree=30232668/32770624 swapFree=67008960/67108860
[pid=22234] ppid=22231 vsize=2031716 memory=38564 CPUtime=0.31 cores=0,2,4,6
/proc/22234/stat : 22234 (xcsp_picat) R 22231 22234 14854 0 -1 4202496 1642 0 0 0 31 0 0 0 20 0 1 0 410833773 2080477184 9641 33554432000 4194304 5870510 140733129739776 140733129736920 4527318 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 45694976 140733129741343 140733129741421 140733129741421 140733129744330 0
/proc/22234/statm: 507929 9641 839 410 0 503402 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 38564 KiB

[startup+0.700274 s]
/proc/loadavg: 2.27 2.17 2.11 3/206 22235
/proc/meminfo: memFree=30232668/32770624 swapFree=67008960/67108860
[pid=22234] ppid=22231 vsize=2031716 memory=38564 CPUtime=0.69 cores=0,2,4,6
/proc/22234/stat : 22234 (xcsp_picat) R 22231 22234 14854 0 -1 4202496 1642 0 0 0 69 0 0 0 20 0 1 0 410833773 2080477184 9641 33554432000 4194304 5870510 140733129739776 140733129739080 4491049 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 45694976 140733129741343 140733129741421 140733129741421 140733129744330 0
/proc/22234/statm: 507929 9641 839 410 0 503402 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 38564 KiB

[startup+1.50032 s]
/proc/loadavg: 2.27 2.17 2.11 3/206 22235
/proc/meminfo: memFree=30195972/32770624 swapFree=67008960/67108860
[pid=22234] ppid=22231 vsize=2031716 memory=92080 CPUtime=1.49 cores=0,2,4,6
/proc/22234/stat : 22234 (xcsp_picat) R 22231 22234 14854 0 -1 4202496 1675 0 0 0 148 1 0 0 20 0 1 0 410833773 2080477184 23020 33554432000 4194304 5870510 140733129739776 140733129739080 4441755 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 45694976 140733129741343 140733129741421 140733129741421 140733129744330 0
/proc/22234/statm: 507929 23020 859 410 0 503402 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 92080 KiB

[startup+3.10991 s]
/proc/loadavg: 2.27 2.17 2.11 3/206 22235
/proc/meminfo: memFree=30072156/32770624 swapFree=67008960/67108860
[pid=22234] ppid=22231 vsize=2073300 memory=196272 CPUtime=3.1 cores=0,2,4,6
/proc/22234/stat : 22234 (xcsp_picat) R 22231 22234 14854 0 -1 4202496 11523 0 0 0 304 6 0 0 20 0 1 0 410833773 2123059200 49068 33554432000 4194304 5870510 140733129739776 140733129739032 5478381 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 45694976 140733129741343 140733129741421 140733129741421 140733129744330 0
/proc/22234/statm: 518325 49068 945 410 0 513798 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2073300 KiB
Current children cumulated memory: 196272 KiB

[startup+6.30022 s]
/proc/loadavg: 2.24 2.17 2.11 3/206 22235
/proc/meminfo: memFree=30069788/32770624 swapFree=67008960/67108860
[pid=22234] ppid=22231 vsize=2073300 memory=196404 CPUtime=6.28 cores=0,2,4,6
/proc/22234/stat : 22234 (xcsp_picat) R 22231 22234 14854 0 -1 4202496 11725 0 0 0 622 6 0 0 20 0 1 0 410833773 2123059200 49101 33554432000 4194304 5870510 140733129739776 140733129738888 5562048 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 45694976 140733129741343 140733129741421 140733129741421 140733129744330 0
/proc/22234/statm: 518325 49101 948 410 0 513798 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 2073300 KiB
Current children cumulated memory: 196404 KiB

[startup+12.7002 s]
/proc/loadavg: 2.22 2.16 2.11 3/206 22235
/proc/meminfo: memFree=30065828/32770624 swapFree=67008960/67108860
[pid=22234] ppid=22231 vsize=2073300 memory=198492 CPUtime=12.68 cores=0,2,4,6
/proc/22234/stat : 22234 (xcsp_picat) R 22231 22234 14854 0 -1 4202496 12069 0 0 0 1262 6 0 0 20 0 1 0 410833773 2123059200 49623 33554432000 4194304 5870510 140733129739776 140733129738888 5562032 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 45694976 140733129741343 140733129741421 140733129741421 140733129744330 0
/proc/22234/statm: 518325 49623 948 410 0 513798 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 2073300 KiB
Current children cumulated memory: 198492 KiB

[startup+25.5002 s]
/proc/loadavg: 2.17 2.16 2.10 3/205 22236
/proc/meminfo: memFree=30072172/32770624 swapFree=67008960/67108860
[pid=22234] ppid=22231 vsize=2073436 memory=198608 CPUtime=25.48 cores=0,2,4,6
/proc/22234/stat : 22234 (xcsp_picat) R 22231 22234 14854 0 -1 4202496 12987 0 0 0 2541 7 0 0 20 0 1 0 410833773 2123198464 49652 33554432000 4194304 5870510 140733129739776 140733129738888 5478377 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 45694976 140733129741343 140733129741421 140733129741421 140733129744330 0
/proc/22234/statm: 518359 49652 948 410 0 513832 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 2073436 KiB
Current children cumulated memory: 198608 KiB

[startup+51.1095 s]
/proc/loadavg: 2.12 2.14 2.10 3/205 22238
/proc/meminfo: memFree=30070276/32770624 swapFree=67008960/67108860
[pid=22234] ppid=22231 vsize=2073580 memory=200476 CPUtime=51.08 cores=0,2,4,6
/proc/22234/stat : 22234 (xcsp_picat) R 22231 22234 14854 0 -1 4202496 14304 0 0 0 5100 8 0 0 20 0 1 0 410833773 2123345920 50119 33554432000 4194304 5870510 140733129739776 140733129738888 5562032 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 45694976 140733129741343 140733129741421 140733129741421 140733129744330 0
/proc/22234/statm: 518395 50119 948 410 0 513868 0
Current children cumulated CPU time: 51.08 s
Current children cumulated vsize: 2073580 KiB
Current children cumulated memory: 200476 KiB

[startup+102.3 s]
/proc/loadavg: 2.05 2.12 2.10 3/206 22243
/proc/meminfo: memFree=30058580/32770624 swapFree=67008960/67108860
[pid=22234] ppid=22231 vsize=2075324 memory=202296 CPUtime=102.26 cores=0,2,4,6
/proc/22234/stat : 22234 (xcsp_picat) R 22231 22234 14854 0 -1 4202496 21477 0 0 0 10215 11 0 0 20 0 1 0 410833773 2125131776 50574 33554432000 4194304 5870510 140733129739776 140733129738888 5406314 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 45694976 140733129741343 140733129741421 140733129741421 140733129744330 0
/proc/22234/statm: 518831 50574 948 410 0 514304 0
Current children cumulated CPU time: 102.26 s
Current children cumulated vsize: 2075324 KiB
Current children cumulated memory: 202296 KiB

[startup+153.454 s]
# the end of solver process 22234 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=153.247 s, system=0.151946 s

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

[startup+102.4 s]
/proc/loadavg: 2.05 2.12 2.10 3/206 22243
/proc/meminfo: memFree=30058580/32770624 swapFree=67008960/67108860
[pid=22234] ppid=22231 vsize=2075324 memory=202296 CPUtime=102.36 cores=0,2,4,6
/proc/22234/stat : 22234 (xcsp_picat) R 22231 22234 14854 0 -1 4202496 21480 0 0 0 10225 11 0 0 20 0 1 0 410833773 2125131776 50574 33554432000 4194304 5870510 140733129739776 140733129739032 5562072 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 45694976 140733129741343 140733129741421 140733129741421 140733129744330 0
/proc/22234/statm: 518831 50574 948 410 0 514304 0
Current children cumulated CPU time: 102.36 s
Current children cumulated vsize: 2075324 KiB
Current children cumulated memory: 202296 KiB

[startup+128 s]*
/proc/loadavg: 2.03 2.11 2.09 3/205 22246
/proc/meminfo: memFree=30063780/32770624 swapFree=67008960/67108860
[pid=22234] ppid=22231 vsize=2083180 memory=205452 CPUtime=127.96 cores=0,2,4,6
/proc/22234/stat : 22234 (xcsp_picat) R 22231 22234 14854 0 -1 4202496 23316 0 0 0 12784 12 0 0 20 0 1 0 410833773 2133176320 51363 33554432000 4194304 5870510 140733129739776 140733129738888 5562059 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 45694976 140733129741343 140733129741421 140733129741421 140733129744330 0
/proc/22234/statm: 520795 51363 948 410 0 516268 0
Current children cumulated CPU time: 127.96 s
Current children cumulated vsize: 2083180 KiB
Current children cumulated memory: 205452 KiB

[startup+140.8 s]
/proc/loadavg: 2.03 2.11 2.09 3/205 22246
/proc/meminfo: memFree=30059608/32770624 swapFree=67008960/67108860
[pid=22234] ppid=22231 vsize=2083580 memory=205884 CPUtime=140.74 cores=0,2,4,6
/proc/22234/stat : 22234 (xcsp_picat) R 22231 22234 14854 0 -1 4202496 24121 0 0 0 14062 12 0 0 20 0 1 0 410833773 2133585920 51471 33554432000 4194304 5870510 140733129739776 140733129738888 5562059 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 45694976 140733129741343 140733129741421 140733129741421 140733129744330 0
/proc/22234/statm: 520895 51471 948 410 0 516368 0
Current children cumulated CPU time: 140.74 s
Current children cumulated vsize: 2083580 KiB
Current children cumulated memory: 205884 KiB

[startup+147.2 s]
/proc/loadavg: 2.02 2.10 2.09 3/206 22248
/proc/meminfo: memFree=30023084/32770624 swapFree=67008960/67108860
[pid=22234] ppid=22231 vsize=2109920 memory=237252 CPUtime=147.14 cores=0,2,4,6
/proc/22234/stat : 22234 (xcsp_picat) R 22231 22234 14854 0 -1 4202496 33627 0 0 0 14700 14 0 0 20 0 1 0 410833773 2160558080 59313 33554432000 4194304 5870510 140733129739776 140733129739032 140465224746844 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 45694976 140733129741343 140733129741421 140733129741421 140733129744330 0
/proc/22234/statm: 527480 59313 979 410 0 522953 0
Current children cumulated CPU time: 147.14 s
Current children cumulated vsize: 2109920 KiB
Current children cumulated memory: 237252 KiB

[startup+150.4 s]
/proc/loadavg: 2.02 2.10 2.09 3/206 22248
/proc/meminfo: memFree=30033036/32770624 swapFree=67008960/67108860
[pid=22234] ppid=22231 vsize=2128776 memory=254064 CPUtime=150.34 cores=0,2,4,6
/proc/22234/stat : 22234 (xcsp_picat) R 22231 22234 14854 0 -1 4202496 33754 0 0 0 15020 14 0 0 20 0 1 0 410833773 2179866624 63516 33554432000 4194304 5870510 140733129739776 140733129738216 5283067 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 45694976 140733129741343 140733129741421 140733129741421 140733129744330 0
/proc/22234/statm: 532194 63516 979 410 0 527667 0
Current children cumulated CPU time: 150.34 s
Current children cumulated vsize: 2128776 KiB
Current children cumulated memory: 254064 KiB

[startup+152 s]*
/proc/loadavg: 2.02 2.10 2.09 3/206 22248
/proc/meminfo: memFree=30013116/32770624 swapFree=67008960/67108860
[pid=22234] ppid=22231 vsize=2128776 memory=255780 CPUtime=151.94 cores=0,2,4,6
/proc/22234/stat : 22234 (xcsp_picat) R 22231 22234 14854 0 -1 4202496 34228 0 0 0 15180 14 0 0 20 0 1 0 410833773 2179866624 63945 33554432000 4194304 5870510 140733129739776 140733129738216 5272447 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 45694976 140733129741343 140733129741421 140733129741421 140733129744330 0
/proc/22234/statm: 532194 63945 979 410 0 527667 0
Current children cumulated CPU time: 151.94 s
Current children cumulated vsize: 2128776 KiB
Current children cumulated memory: 255780 KiB

[startup+152.8 s]
/proc/loadavg: 2.02 2.10 2.09 3/206 22248
/proc/meminfo: memFree=30013116/32770624 swapFree=67008960/67108860
[pid=22234] ppid=22231 vsize=2128776 memory=255780 CPUtime=152.73 cores=0,2,4,6
/proc/22234/stat : 22234 (xcsp_picat) R 22231 22234 14854 0 -1 4202496 34249 0 0 0 15259 14 0 0 20 0 1 0 410833773 2179866624 63945 33554432000 4194304 5870510 140733129739776 140733129738216 5258710 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 45694976 140733129741343 140733129741421 140733129741421 140733129744330 0
/proc/22234/statm: 532194 63945 979 410 0 527667 0
Current children cumulated CPU time: 152.73 s
Current children cumulated vsize: 2128776 KiB
Current children cumulated memory: 255780 KiB

[startup+153.2 s]
/proc/loadavg: 2.02 2.10 2.09 3/206 22248
/proc/meminfo: memFree=30013116/32770624 swapFree=67008960/67108860
[pid=22234] ppid=22231 vsize=2128776 memory=255780 CPUtime=153.13 cores=0,2,4,6
/proc/22234/stat : 22234 (xcsp_picat) R 22231 22234 14854 0 -1 4202496 34249 0 0 0 15299 14 0 0 20 0 1 0 410833773 2179866624 63945 33554432000 4194304 5870510 140733129739776 140733129738216 5294975 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 45694976 140733129741343 140733129741421 140733129741421 140733129744330 0
/proc/22234/statm: 532194 63945 979 410 0 527667 0
Current children cumulated CPU time: 153.13 s
Current children cumulated vsize: 2128776 KiB
Current children cumulated memory: 255780 KiB

[startup+153.4 s]
/proc/loadavg: 2.02 2.10 2.09 3/206 22248
/proc/meminfo: memFree=30013116/32770624 swapFree=67008960/67108860
[pid=22234] ppid=22231 vsize=2128776 memory=255780 CPUtime=153.33 cores=0,2,4,6
/proc/22234/stat : 22234 (xcsp_picat) R 22231 22234 14854 0 -1 4202496 34249 0 0 0 15319 14 0 0 20 0 1 0 410833773 2179866624 63945 33554432000 4194304 5870510 140733129739776 140733129738216 5258762 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7970040 9572284 45694976 140733129741343 140733129741421 140733129741421 140733129744330 0
/proc/22234/statm: 532194 63945 979 410 0 527667 0
Current children cumulated CPU time: 153.33 s
Current children cumulated vsize: 2128776 KiB
Current children cumulated memory: 255780 KiB

Child status: 0
Real time (s): 153.454
CPU time (s): 153.399
CPU user time (s): 153.247
CPU system time (s): 0.151946
CPU usage (%): 99.9639
Max. virtual memory (cumulated for all children) (KiB): 2143652
Max. memory (cumulated for all children) (KiB): 261280

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 153.247
system time used= 0.151946
maximum resident set size= 261280
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 34274
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= 170


# summary of solver processes directly reported to runsolver:
#   pid: 22234
#   total CPU time (s): 153.399
#   total CPU user time (s): 153.247
#   total CPU system time (s): 0.151946

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.610958 second user time and 1.06293 second system time

The end

Launcher Data 

Begin job on node132 at 2019-09-13 06:31:01
IDJOB=4395091
IDBENCH=141699
IDSOLVER=2844
FILE ID=node132/4395091-1568349110
RUNJOBID= node132-1568322174-14885
PBS_JOBID= 21701138
Free space on /tmp= 60300 MiB

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

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

MD5SUM BENCH= 9deb1a9239474f0b39e24b397fc75368
RANDOM SEED=711809465

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:        30268140 kB
MemAvailable:   31668348 kB
Buffers:          130164 kB
Cached:          1540964 kB
SwapCached:         8380 kB
Active:           565080 kB
Inactive:        1356944 kB
Active(anon):     250368 kB
Inactive(anon):    28028 kB
Active(file):     314712 kB
Inactive(file):  1328916 kB
Unevictable:      109188 kB
Mlocked:          109188 kB
SwapTotal:      67108860 kB
SwapFree:       67008960 kB
Dirty:              3384 kB
Writeback:            20 kB
AnonPages:        378444 kB
Mapped:            33300 kB
Shmem:             18824 kB
Slab:             174656 kB
SReclaimable:     144832 kB
SUnreclaim:        29824 kB
KernelStack:        3520 kB
PageTables:         6792 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2716920 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    317440 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:33:35