Trace number 3731284

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 NameAnswerobjective functionCPU timeWall clock time
PB07: bsolo 3.0.17SAT (TO)-23 1800.1 1800.82

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/mps-v2-20-10/
MIPLIB/miplib2003/normalized-mps-v2-20-10-protfold.opb
MD5SUM7f40f8d513f22fc9adca96d8fdf626e2
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-28
Best CPU time to get the best result obtained on this benchmark1800.03
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -24
Optimality of the best value was proved NO
Number of variables1835
Total number of constraints2112
Number of constraints which are clauses1906
Number of constraints which are cardinality constraints (but not clauses)86
Number of constraints which are nor clauses,nor cardinality constraints120
Minimum length of a constraint3
Maximum length of a constraint882
Number of terms in the objective function 120
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 120
Number of bits of the sum of numbers in the objective function 7
Biggest number in a constraint 18
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 900
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c bsolo beta version 3.0.17 - 27/04/2007 : 1600 GMT
0.00/0.00	c Developed by Vasco Manquinho IST/UTL - INESC-ID
0.00/0.00	c type "bsolo -h" for help
0.00/0.00	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.00	c Memory Limit set to 15500 MB
0.00/0.00	c Instance file HOME/instance-3731284-1338682899.opb
0.00/0.00	c File size is 214268 bytes.
0.00/0.02	c Highest Coefficient sum: 900
0.00/0.02	c Parsing was ok!!
0.00/0.02	c Total parsing time: 0.02 s
0.00/0.02	c Var: 1835 Constr: 2149 1941/208/0 Lit: 26921 Watch. Lit: 13111
0.00/0.02	c Obj. Vars: 120 (6.53951 % of total variables)
0.19/0.22	c Pre-processing Time: 0.217 s
0.19/0.22	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.22	c        0   1835     2149    26921   12    13111   97723      0      0 0.22
0.19/0.22	c Switching off LPR mode.
0.19/0.26	c      101   1835     2250    33080   14    13313  107496    101    435 0.23
0.19/0.26	c      252   1835     2401    45608   18    13615  118246    252    996 0.25
0.19/0.26	o -18	0.258
4.48/4.51	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
4.48/4.51	c      281   1835     2431    47488   19    13693   98483    282   1084 0.26
4.48/4.51	c      382   1835     2532    54889   21    13895  108332    383   1389 0.28
4.48/4.51	c      632   1835     2782   101242   36    14395  119166    633   1932 0.33
4.48/4.51	c     1108   1835     3258   173738   53    15347  131083   1109   2512 0.44
4.48/4.51	c     1922   1835     4072   313459   76    16975  144192   1923   2618 0.73
4.48/4.51	c     3242   1835     5392   600229  111    19615  158612   3243   2861 1.13
4.48/4.51	c     5323   1835     7473   939876  125    23777  174474   5324   2977 1.79
4.48/4.51	c     8547   1835    10697  1991984  186    30225  191922   8548   2252 3.79
4.48/4.51	o -19	4.511
6.58/6.63	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
6.58/6.63	c     9773   1835    11924  2338115  196    32698   98523   9775   2166 4.51
6.58/6.63	c     9876   1835    12027  2342974  194    32904  108376   9878   2172 4.55
6.58/6.63	c    10126   1835    12277  2380726  193    33404  119214  10128   2187 4.63
6.58/6.63	c    10601   1835    12752  2449164  192    34354  131136  10603   2177 4.87
6.58/6.63	c    11414   1835    13565  2559249  188    35980  144250  11416   2147 5.32
6.58/6.63	c    12737   1835    14888  2768481  185    38626  158676  12739   2061 6.18
6.58/6.63	o -20	6.622
11.68/11.79	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
11.68/11.79	c    13478   1835    15630  2882835  184    40130   98563  13481   2035 6.62
11.68/11.79	c    13579   1835    15731  2890562  183    40332  108420  13582   2031 6.68
11.68/11.79	c    13829   1835    15981  2934293  183    40832  119263  13832   2022 6.84
11.68/11.79	c    14305   1835    16457  2993405  181    41784  131190  14308   2023 7.07
11.68/11.79	c    15119   1835    17271  3184680  184    43412  144310  15122   1999 7.56
11.68/11.79	c    16443   1835    18595  3422767  184    46060  158742  16446   1950 8.43
11.68/11.79	c    18525   1835    20677  3840979  185    50224  174617  18528   1923 9.63
11.68/11.79	o -21	11.787
506.92/507.06	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
506.92/507.06	c    21061   1835    23214  4415020  190    55319   98603  21065   1786 11.79
506.92/507.06	c    21161   1835    23314  4420303  189    55519  108464  21165   1789 11.83
506.92/507.06	c    21412   1835    23565  4432633  188    56021  119311  21416   1791 11.96
506.92/507.06	c    21887   1835    24040  4510400  187    56971  131243  21891   1762 12.42
506.92/507.06	c    22701   1835    24854  4627170  186    58599  144368  22705   1751 12.96
506.92/507.06	c    24025   1835    26178  4818791  184    61247  158805  24029   1738 13.82
506.92/507.06	c    26106   1835    28259  5294135  187    65409  174686  26110   1677 15.56
506.92/507.06	c    29329   1835    31482  5834932  185    71855  192155  29333   1577 18.59
506.92/507.06	c    34265   1835    36418  6676377  183    81727  211371  34269   1381 24.80
506.92/507.06	c    41771   1835    43924  8571185  195    96739  232509  41775   1174 35.58
506.92/507.06	c    53134   1835    55287 12303482  222   119465  255760  53138    940 56.52
506.92/507.06	c    70278   1835    72431 18976699  261   153753  281337  70282    736 95.42
506.92/507.06	c    96097   1835    98250 33591821  341   205391  309471  96101    440 218.30
506.92/507.06	c   134929   1835   137082 51295198  374   283055  340419 134933    328 410.99
506.92/507.06	o -22	506.977
516.91/517.06	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
516.91/517.06	c   149555   1835   151709 59555351  392   312331   98643 149560    294 506.98
516.91/517.06	c   149656   1835    19571  8026946  410    47977  108508  17422    293 509.04
516.91/517.06	c   149910   1835    19825  8065447  406    48485  119359  17676    294 509.21
516.91/517.06	c   150390   1835    20305  8175674  402    49445  131295  18156    295 509.55
516.91/517.06	c   151204   1835    21119  8343832  395    51073  144425  18970    296 510.11
516.91/517.06	c   152524   1835    22439  8604278  383    53713  158868  20290    298 510.93
516.91/517.06	c   154605   1835    24520  9061375  369    57875  174755  22371    301 512.40
516.91/517.06	c   157828   1835    27743 10293010  371    64321  192231  25594    305 516.21
516.91/517.06	o -23	516.98
1800.07/1800.80	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1800.07/1800.80	c   158601   1835    28517 10467567  367    65892   98683  26368    306 516.98
1800.07/1800.80	c   158703   1835    28619 10477115  366    66096  108552  26470    306 517.08
1800.07/1800.80	c   158954   1835    28870 10520075  364    66598  119408  26721    307 517.31
1800.07/1800.80	c   159432   1835    29348 10588450  360    67554  131349  27199    307 517.70
1800.07/1800.80	c   160245   1835    30161 10720726  355    69180  144484  28012    309 518.48
1800.07/1800.80	c   161567   1835    31483 10926587  347    71824  158933  29334    310 519.74
1800.07/1800.80	c   163648   1835    33564 11520623  343    75986  174827  31415    313 522.62
1800.07/1800.80	c   166871   1835    36787 12368468  336    82432  192310  34638    317 525.55
1800.07/1800.80	c   171807   1835    41723 13380645  320    92304  211542  39574    323 531.39
1800.07/1800.80	c   179313   1835    49229 15324658  311   107316  232697  47080    330 542.66
1800.07/1800.80	c   190674   1835    60590 19418652  320   130038  255967  58441    337 565.76
1800.07/1800.80	c   207819   1835    77735 24614295  316   164328  281564  75586    341 608.76
1800.07/1800.80	c   233638   1835   103554 34580901  333   215966  309721 101405    338 690.75
1800.07/1800.80	c   272470   1835   142386 50454814  354   293630  340694 140237    303 898.11
1800.07/1800.80	c   330824   1835   200740 83453314  415   410338  374764 198591    248 1330.20
1800.07/1800.80	c Caught signal: 15
1800.07/1800.80	v -x1 -x33 -x63 -x94 -x110 -x113 -x117 x118 -x4 -x7 x10 -x13 -x17 x20 -x23 -x26 -x29 x35 -x39 -x42 -x45 x48 x51 -x54 -x58 -x64 -x67 -x70 -x73 -x76 -x80 -x83 -x86 -x89 -x95 x98 -x102 -x103 -x104 -x105 -x106 -x107 -x2 x34 -x61 -x92 -x108 -x111 -x114 -x115 x119 x5 -x8 -x11 x14 -x16 -x18 -x21 -x24 -x27 -x30 x36 -x38 -x40 -x43 -x46 x49 -x52 x55 -x57 -x59 -x65 -x68 x71 -x74 x77 -x79 -x81 -x84 -x87 -x90 -x96 -x99 -x101 -x3 x32 -x62 -x93 -x109 -x112 -x116 x120 -x6 -x9 x12 x15 -x19 -x22 x25 -x28 -x31 -x37 -x41 -x44 -x47 -x50 x53 -x56 -x60 -x66 -x69 -x72 -x75 x78 -x82 -x85 -x88 -x91 -x97 -x100 -x148 -x146 -x144 -x142 -x140 -x139 -x136 -x133 -x130 -x128 -x125 -x123 -x155 -x154 -x152 -x143 -x121 -x218 -x216 -x214 -x212 -x210 -x209 -x206 -x203 -x200 -x198 -x195 -x193 -x225 -x224 -x222 -x213 -x191 -x463 -x461 -x459 -x457 -x455 -x454 -x451 -x448 -x445 -x443 -x440 -x438 -x470 -x469 -x467 -x458 -x436 -x498 -x496 -x494 -x492 -x490 -x489 -x486 -x483 -x480 -x478 -x475 -x473 -x505 -x504 -x502 -x493 -x471 -x568 -x566 -x564 -x562 -x560 -x559 -x556 -x553 -x550 -x548 -x545 -x543 -x575 -x574 -x572 -x563 x541 -x638 -x636 -x634 -x632 -x630 -x629 -x626 -x623 -x620 -x618 -x615 -x613 -x645 -x644 -x642 -x633 -x611 -x673 -x671 -x669 -x667 -x665 -x664 -x661 -x658 -x655 -x653 -x650 -x648 -x680 -x679 -x677 -x668 -x646 -x708 -x706 -x704 -x702 -x700 -x699 -x696 -x693 -x690 -x688 -x685 -x683 -x715 -x714 -x712 -x703 -x681 -x743 -x741 -x739 -x737 -x735 -x734 -x731 -x728 -x725 -x723 -x720 -x718 -x750 x749 -x747 -x738 -x716 -x778 -x776 -x774 -x772 -x770 -x769 -x766 -x763 -x760 -x758 -x755 -x753 -x785 -x784 -x782 x773 -x751 -x813 -x811 x809 -x807 -x805 -x804 -x801 -x798 -x795 -x793 -x790 -x788 -x820 -x819 -x817 -x808 -x786 -x883 -x881 -x879 -x877 -x875 -x874 -x871 -x868 -x865 -x863 -x860 -x858 -x890 -x889 -x887 -x878 -x856 -x253 -x251 -x249 -x247 -x245 -x244 -x241 -x238 -x235 -x233 x230 -x228 -x260 -x259 -x257 -x248 -x226 -x953 -x951 -x949 -x947 -x945 -x944 -x941 -x938 -x935 -x933 -x930 -x928 -x960 -x959 -x957 -x948 -x926 -x988 -x986 -x984 -x982 -x980 -x979 -x976 -x973 -x970 -x968 -x965 -x963 -x995 -x994 -x992 -x983 -x961 -x1023 -x1021 -x1019 -x1017 -x1015 -x1014 -x1011 -x1008 -x1005 -x1003 -x1000 -x998 -x1030 -x1029 x1027 -x1018 -x996 -x1058 -x1056 -x1054 -x1052 -x1050 -x1049 -x1046 -x1043 -x1040 -x1038 -x1035 -x1033 -x1065 -x1064 -x1062 -x1053 -x1031 -x1093 -x1091 -x1089 x1087 -x1085 -x1084 -x1081 -x1078 -x1075 -x1073 -x1070 -x1068 -x1100 -x1099 -x1097 -x1088 -x1066 -x1163 -x1161 -x1159 -x1157 -x1155 -x1154 -x1151 -x1148 -x1145 -x1143 -x1140 -x1138 -x1170 -x1169 -x1167 -x1158 -x1136 -x1198 -x1196 -x1194 -x1192 -x1190 -x1189 -x1186 -x1183 -x1180 -x1178 -x1175 -x1173 -x1205 -x1204 -x1202 -x1193 -x1171 -x1233 -x1231 -x1229 -x1227 -x1225 -x1224 -x1221 -x1218 -x1215 -x1213 -x1210 -x1208 -x1240 -x1239 -x1237 -x1228 -x1206 -x1268 -x1266 -x1264 -x1262 -x1260 -x1259 x1256 -x1253 -x1250 -x1248 -x1245 -x1243 -x1275 -x1274 -x1272 -x1263 -x1241 -x1338 -x1336 -x1334 -x1332 -x1330 -x1329 -x1326 -x1323 -x1320 -x1318 -x1315 -x1313 -x1345 -x1344 -x1342 -x1333 -x1311 x288 -x286 -x284 -x282 -x280 -x279 -x276 -x273 -x270 -x268 -x265 -x263 -x295 -x294 -x292 -x283 -x261 -x1373 -x1371 -x1369 -x1367 -x1365 x1364 -x1361 -x1358 -x1355 -x1353 -x1350 -x1348 -x1380 -x1379 -x1377 -x1368 -x1346 -x358 -x356 -x354 -x352 -x350 -x349 -x346 -x343 -x340 -x338 -x335 -x333 -x365 -x364 -x362 -x353 -x331 -x393 -x391 -x389 -x387 -x385 -x384 -x381 x378 -x375 -x373 -x370 -x368 -x400 -x399 -x397 -x388 -x366 -x428 -x426 -x424 -x422 -x420 -x419 -x416 -x413 -x410 -x408 -x405 -x403 x435 -x434 -x432 -x423 -x401 -x533 -x531 -x529 -x527 -x525 -x524 -x521 -x518 -x515 x513 -x510 -x508 -x540 -x539 -x537 -x528 -x506 -x918 -x916 -x914 -x912 -x910 -x909 -x906 -x903 -x900 -x898 -x895 -x893 -x925 -x924 -x922 -x913 -x891 -x1443 -x1441 -x1439 -x1437 -x1435 -x1434 -x1431 -x1428 -x1425 -x1423 -x1420 -x1418 -x1450 -x1449 -x1447 -x1438 -x1416 -x1478 -x1476 -x1474 -x1472 -x1470 -x1469 -x1466 -x1463 -x1460 -x1458 -x1455 -x1453 -x1485 -x1484 -x1482 -x1473 -x1451 -x1513 -x1511 -x1509 -x1507 -x1505 -x1504 -x1501 -x1498 -x1495 -x1493 -x1490 -x1488 -x1520 -x1519 -x1517 -x1508 -x1486 -x1303 -x1301 -x1299 -x1297 -x1295 -x1294 -x1291 -x1288 -x1285 -x1283 -x1280 -x1278 -x1310 -x1309 -x1307 -x1298 -x1276 -x1548 -x1546 -x1544 -x1542 -x1540 -x1539 -x1536 -x1533 -x1530 -x1528 -x1525 -x1523 -x1555 -x1554 -x1552 -x1543 -x1521 -x1583 -x1581 -x1579 -x1577 -x1575 -x1574 -x1571 -x1568 -x1565 -x1563 -x1560 -x1558 -x1590 -x1589 -x1587 -x1578 -x1556 -x1618 -x1616 -x1614 -x1612 -x1610 -x1609 -x1606 -x1603 -x1600 -x1598 -x1595 -x1593 -x1625 -x1624 -x1622 -x1613 -x1591 -x1688 -x1686 -x1684 -x1682 -x1680 -x1679 -x1676 -x1673 -x1670 -x1668 -x1665 -x1663 -x1695 -x1694 -x1692 -x1683 -x1661 -x1723 -x1721 -x1719 -x1717 -x1715 -x1714 -x1711 -x1708 -x1705 -x1703 -x1700 -x1698 -x1730 -x1729 -x1727 -x1718 -x1696 -x1758 -x1756 -x1754 -x1752 -x1750 -x1749 -x1746 -x1743 -x1740 -x1738 -x1735 -x1733 -x1765 -x1764 -x1762 -x1753 -x1731 -x1793 -x1791 -x1789 -x1787 -x1785 -x1784 -x1781 -x1778 -x1775 -x1773 -x1770 -x1768 -x1800 -x1799 -x1797 -x1788 -x1766 -x1828 -x1826 -x1824 -x1822 -x1820 -x1819 -x1816 -x1813 x1810 -x1808 -x1805 -x1803 -x1835 -x1834 -x1832 -x1823 -x1801 -x183 -x181 -x179 -x177 -x175 -x174 -x171 -x168 -x165 -x163 -x160 x158 -x190 -x189 -x187 -x178 -x156 -x323 -x321 -x319 -x317 -x315 -x314 -x311 -x308 -x305 -x303 -x300 -x298 -x330 -x329 -x327 -x318 -x296 -x603 x601 -x599 -x597 -x595 -x594 -x591 -x588 -x585 -x583 -x580 -x578 -x610 -x609 -x607 -x598 -x576 -x848 -x846 -x844 -x842 -x840 -x839 -x836 -x833 -x830 -x828 -x825 -x823 -x855 -x854 -x852 -x843 -x821 -x1128 -x1126 -x1124 -x1122 -x1120 -x1119 -x1116 -x1113 -x1110 -x1108 -x1105 -x1103 -x1135 -x1134 -x1132 -x1123 -x1101 -x1408 -x1406 -x1404 -x1402 x1400 -x1399 -x1396 -x1393 -x1390 -x1388 -x1385 -x1383 -x1415 -x1414 -x1412 -x1403 -x1381 -x1653 -x1651 -x1649 -x1647 -x1645 -x1644 -x1641 -x1638 -x1635 -x1633 -x1630 -x1628 -x1660 -x1659 -x1657 -x1648 -x1626 -x1654 -x1652 -x1650 -x1646 -x1643 -x1642 -x1640 -x1639 -x1636 -x1634 -x1632 -x1631 -x1629 -x1627 -x1658 -x1656 -x1655 -x1637 -x1619 -x1617 -x1615 -x1611 x1608 -x1607 -x1605 -x1604 -x1601 -x1599 -x1597 -x1596 -x1594 -x1592 -x1623 -x1621 -x1620 -x1602 -x1584 -x1582 -x1580 -x1576 -x1573 x1572 -x1570 -x1569 -x1566 -x1564 -x1562 -x1561 -x1559 -x1557 -x1588 -x1586 -x1585 -x1567 -x1549 -x1547 -x1545 -x1541 -x1538 -x1537 -x1535 -x1534 -x1531 -x1529 -x1527 -x1526 -x1524 -x1522 -x1553 -x1551 -x1550 -x1532 -x1514 -x1512 -x1510 -x1506 -x1503 -x1502 -x1500 -x1499 -x1496 -x1494 -x1492 -x1491 -x1489 -x1487 -x1518 -x1516 -x1515 -x1497 -x1479 -x1477 -x1475 -x1471 -x1468 -x1467 -x1465 -x1464 -x1461 -x1459 -x1457 -x1456 -x1454 -x1452 -x1483 -x1481 -x1480 -x1462 -x1444 -x1442 -x1440 -x1436 -x1433 -x1432 -x1430 -x1429 -x1426 -x1424 -x1422 -x1421 -x1419 -x1417 -x1448 -x1446 -x1445 -x1427 -x1409 -x1407 -x1405 -x1401 -x1398 -x1397 -x1395 -x1394 -x1391 -x1389 -x1387 -x1386 -x1384 -x1382 -x1413 -x1411 -x1410 -x1392 -x1374 -x1372 -x1370 -x1366 -x1363 -x1362 -x1360 -x1359 -x1356 -x1354 -x1352 -x1351 -x1349 -x1347 -x1378 -x1376 -x1375 -x1357 -x1339 -x1337 -x1335 -x1331 -x1328 -x1327 -x1325 -x1324 -x1321 -x1319 -x1317 -x1316 -x1314 -x1312 -x1343 x1341 -x1340 -x1322 -x1269 -x1267 -x1265 -x1261 -x1258 -x1257 -x1255 -x1254 -x1251 -x1249 -x1247 -x1246 -x1244 -x1242 -x1273 -x1271 -x1270 -x1252 -x1234 -x1232 -x1230 -x1226 -x1223 -x1222 -x1220 -x1219 -x1216 -x1214 -x1212 -x1211 -x1209 -x1207 -x1238 -x1236 -x1235 -x1217 -x1199 -x1197 -x1195 -x1191 -x1188 -x1187 -x1185 -x1184 -x1181 -x1179 -x1177 -x1176 -x1174 -x1172 -x1203 -x1201 -x1200 -x1182 -x1164 -x1162 -x1160 -x1156 -x1153 -x1152 -x1150 -x1149 -x1146 -x1144 -x1142 -x1141 -x1139 -x1137 -x1168 -x1166 -x1165 -x1147 -x1129 -x1127 -x1125 x1121 -x1118 -x1117 -x1115 -x1114 -x1111 -x1109 -x1107 -x1106 -x1104 -x1102 -x1133 -x1131 -x1130 -x1112 -x1094 -x1092 -x1090 -x1086 -x1083 -x1082 -x1080 -x1079 -x1076 -x1074 -x1072 -x1071 -x1069 -x1067 -x1098 -x1096 -x1095 -x1077 -x1059 -x1057 -x1055 -x1051 -x1048 -x1047 -x1045 -x1044 -x1041 -x1039 -x1037 -x1036 -x1034 -x1032 -x1063 -x1061 x1060 -x1042 -x1024 -x1022 -x1020 -x1016 -x1013 -x1012 -x1010 -x1009 -x1006 -x1004 -x1002 -x1001 -x999 -x997 -x1028 -x1026 -x1025 -x1007 -x989 -x987 -x985 -x981 -x978 -x977 x975 -x974 -x971 -x969 -x967 -x966 -x964 -x962 -x993 -x991 -x990 -x972 -x954 -x952 -x950 -x946 -x943 -x942 -x940 -x939 -x936 -x934 -x932 -x931 -x929 -x927 -x958 -x956 -x955 -x937 -x884 -x882 -x880 -x876 -x873 -x872 -x870 -x869 -x866 -x864 -x862 -x861 -x859 -x857 -x888 -x886 -x885 -x867 -x849 -x847 x845 -x841 -x838 -x837 -x835 -x834 -x831 -x829 -x827 -x826 -x824 -x822 -x853 -x851 -x850 -x832 -x814 -x812 -x810 -x806 -x803 -x802 -x800 -x799 -x796 -x794 -x792 -x791 -x789 -x787 -x818 -x816 -x815 -x797 -x779 -x777 -x775 -x771 -x768 -x767 -x765 -x764 -x761 -x759 -x757 -x756 -x754 -x752 -x783 -x781 -x780 -x762 -x744 -x742 -x740 -x736 -x733 -x732 -x730 -x729 -x726 -x724 -x722 -x721 -x719 -x717 -x748 -x746 -x745 -x727 -x709 -x707 -x705 -x701 -x698 -x697 -x695 -x694 -x691 -x689 -x687 -x686 -x684 -x682 x713 -x711 -x710 -x692 -x674 -x672 -x670 -x666 -x663 -x662 -x660 x659 -x656 -x654 -x652 -x651 -x649 -x647 -x678 -x676 -x675 -x657 -x639 -x637 -x635 -x631 -x628 -x627 -x625 -x624 -x621 -x619 -x617 -x616 -x614 -x612 -x643 -x641 -x640 -x622 -x604 -x602 -x600 -x596 -x593 -x592 -x590 -x589 -x586 -x584 -x582 -x581 -x579 -x577 -x608 -x606 -x605 -x587 -x569 -x567 -x565 -x561 -x558 -x557 -x555 -x554 -x551 -x549 -x547 -x546 -x544 -x542 -x573 -x571 -x570 -x552 -x499 -x497 -x495 -x491 -x488 -x487 -x485 -x484 -x481 -x479 -x477 -x476 -x474 -x472 -x503 -x501 -x500 x482 -x464 -x462 -x460 -x456 -x453 -x452 -x450 -x449 -x446 -x444 -x442 -x441 -x439 x437 -x468 -x466 -x465 -x447 -x429 -x427 -x425 -x421 -x418 -x417 -x415 -x414 -x411 -x409 -x407 -x406 -x404 -x402 -x433 -x431 -x430 -x412 -x394 -x392 -x390 -x386 -x383 -x382 -x380 -x379 -x376 -x374 -x372 -x371 -x369 -x367 -x398 -x396 -x395 -x377 -x359 -x357 -x355 -x351 -x348 -x347 -x345 -x344 -x341 -x339 -x337 -x336 -x334 -x332 -x363 -x361 -x360 -x342 -x324 x322 -x320 -x316 -x313 -x312 -x310 -x309 -x306 -x304 -x302 -x301 -x299 -x297 -x328 -x326 -x325 -x307 -x289 -x287 -x285 -x281 -x278 -x277 -x275 -x274 -x271 -x269 -x267 -x266 -x264 -x262 -x293 -x291 -x290 -x272 -x254 -x252 -x250 -x246 -x243 -x242 -x240 -x239 -x236 -x234 -x232 -x231 -x229 -x227 -x258 -x256 -x255 -x237 -x219 -x217 -x215 -x211 -x208 -x207 -x205 -x204 -x201 -x199 -x197 -x196 x194 -x192 -x223 -x221 -x220 -x202 -x184 -x182 -x180 -x176 -x173 -x172 -x170 -x169 -x166 -x164 -x162 -x161 -x159 -x157 -x188 -x186 -x185 -x167 -x1829 -x1827 -x1825 -x1821 -x1818 -x1817 -x1815 -x1814 -x1811 -x1809 -x1807 -x1806 -x1804 -x1802 -x1833 -x1831 -x1830 -x1812 -x1794 -x1792 -x1790 -x1786 -x1783 -x1782 -x1780 -x1779 x1776 -x1774 -x1772 -x1771 -x1769 -x1767 -x1798 -x1796 -x1795 -x1777 -x1759 -x1757 -x1755 -x1751 -x1748 -x1747 -x1745 -x1744 -x1741 -x1739 -x1737 -x1736 -x1734 -x1732 -x1763 -x1761 -x1760 -x1742 -x1724 -x1722 -x1720 -x1716 -x1713 -x1712 -x1710 -x1709 -x1706 -x1704 -x1702 -x1701 -x1699 -x1697 -x1728 -x1726 -x1725 -x1707 x1689 -x1687 -x1685 -x1681 -x1678 -x1677 -x1675 -x1674 -x1671 -x1669 -x1667 -x1666 -x1664 -x1662 -x1693 -x1691 -x1690 -x1672 -x1304 -x1302 -x1300 -x1296 -x1293 -x1292 -x1290 -x1289 -x1286 -x1284 -x1282 x1281 -x1279 -x1277 -x1308 -x1306 -x1305 -x1287 -x919 -x917 -x915 -x911 -x908 -x907 -x905 -x904 -x901 -x899 x897 -x896 -x894 -x892 -x923 -x921 -x920 -x902 -x534 -x532 -x530 -x526 -x523 -x522 -x520 -x519 -x516 -x514 -x512 -x511 -x509 -x507 -x538 -x536 -x535 -x517 -x149 -x147 -x145 -x141 -x138 -x137 -x135 -x134 -x131 x129 -x127 -x126 -x124 -x122 -x153 -x151 -x150 -x132 
1800.07/1800.80	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.07/1800.80	c   60   374298 131517  1324850   244214 113296493 242065    207 1800.09
1800.07/1800.80	c Objective: -23
1800.07/1800.80	s SATISFIABLE
1800.07/1800.80	c Total time: 1800.09 s

Verifier Data 

OK	-23

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3731284-1338682899/watcher-3731284-1338682899 -o /tmp/evaluation-result-3731284-1338682899/solver-3731284-1338682899 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3731284-1338682899.opb 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 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
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.02 2.01 1.94 3/176 25456
/proc/meminfo: memFree=27341464/32873844 swapFree=7116/7116
[pid=25456] ppid=25454 vsize=2660 CPUtime=0 cores=0,2,4,6
/proc/25456/stat : 25456 (bsolo3.0.17) R 25454 25456 24661 0 -1 4194304 94 0 0 0 0 0 0 0 20 0 1 0 334418511 2723840 47 33554432000 134512640 135840783 4292455392 4292453428 9737284 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/25456/statm: 694 50 39 325 0 32 0

[startup+0.0830339 s]
/proc/loadavg: 2.02 2.01 1.94 3/176 25456
/proc/meminfo: memFree=27341464/32873844 swapFree=7116/7116
[pid=25456] ppid=25454 vsize=5620 CPUtime=0.07 cores=0,2,4,6
/proc/25456/stat : 25456 (bsolo3.0.17) R 25454 25456 24661 0 -1 4202496 779 0 0 0 7 0 0 0 20 0 1 0 334418511 5754880 663 33554432000 134512640 135840783 4292455392 4292432336 134551063 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/25456/statm: 1405 663 344 325 0 341 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 5620

[startup+0.10021 s]
/proc/loadavg: 2.02 2.01 1.94 3/176 25456
/proc/meminfo: memFree=27341464/32873844 swapFree=7116/7116
[pid=25456] ppid=25454 vsize=5620 CPUtime=0.09 cores=0,2,4,6
/proc/25456/stat : 25456 (bsolo3.0.17) R 25454 25456 24661 0 -1 4202496 779 0 0 0 9 0 0 0 20 0 1 0 334418511 5754880 663 33554432000 134512640 135840783 4292455392 4292432476 3114032 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/25456/statm: 1405 663 344 325 0 341 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5620

[startup+0.300176 s]
/proc/loadavg: 2.02 2.01 1.94 3/176 25456
/proc/meminfo: memFree=27341464/32873844 swapFree=7116/7116
[pid=25456] ppid=25454 vsize=6272 CPUtime=0.29 cores=0,2,4,6
/proc/25456/stat : 25456 (bsolo3.0.17) R 25454 25456 24661 0 -1 4202496 949 0 0 0 29 0 0 0 20 0 1 0 334418511 6422528 833 33554432000 134512640 135840783 4292455392 4292454688 134571869 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/25456/statm: 1568 833 351 325 0 504 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6272

[startup+0.700172 s]
/proc/loadavg: 2.02 2.01 1.94 3/176 25456
/proc/meminfo: memFree=27341464/32873844 swapFree=7116/7116
[pid=25456] ppid=25454 vsize=9252 CPUtime=0.69 cores=0,2,4,6
/proc/25456/stat : 25456 (bsolo3.0.17) R 25454 25456 24661 0 -1 4202496 1710 0 0 0 69 0 0 0 20 0 1 0 334418511 9474048 1594 33554432000 134512640 135840783 4292455392 4292454752 134550779 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/25456/statm: 2313 1594 351 325 0 1249 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 9252

[startup+1.50023 s]
/proc/loadavg: 2.02 2.01 1.94 3/177 25457
/proc/meminfo: memFree=27332612/32873844 swapFree=7116/7116
[pid=25456] ppid=25454 vsize=16220 CPUtime=1.48 cores=0,2,4,6
/proc/25456/stat : 25456 (bsolo3.0.17) R 25454 25456 24661 0 -1 4202496 3433 0 0 0 148 0 0 0 20 0 1 0 334418511 16609280 3317 33554432000 134512640 135840783 4292455392 4292446512 3585319 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/25456/statm: 4055 3317 351 325 0 2991 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 16220

[startup+3.10025 s]
/proc/loadavg: 2.02 2.01 1.94 3/177 25457
/proc/meminfo: memFree=27322080/32873844 swapFree=7116/7116
[pid=25456] ppid=25454 vsize=27456 CPUtime=3.08 cores=0,2,4,6
/proc/25456/stat : 25456 (bsolo3.0.17) R 25454 25456 24661 0 -1 4202496 6244 0 0 0 307 1 0 0 20 0 1 0 334418511 28114944 6128 33554432000 134512640 135840783 4292455392 4292444448 134586540 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/25456/statm: 6864 6128 351 325 0 5800 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 27456

[startup+6.30025 s]
/proc/loadavg: 2.01 2.01 1.94 3/177 25457
/proc/meminfo: memFree=27297280/32873844 swapFree=7116/7116
[pid=25456] ppid=25454 vsize=42196 CPUtime=6.28 cores=0,2,4,6
/proc/25456/stat : 25456 (bsolo3.0.17) R 25454 25456 24661 0 -1 4202496 9933 0 0 0 627 1 0 0 20 0 1 0 334418511 43208704 9817 33554432000 134512640 135840783 4292455392 4292451872 3585319 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/25456/statm: 10549 9817 351 325 0 9485 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 42196

[startup+12.7003 s]
/proc/loadavg: 2.01 2.01 1.94 3/177 25457
/proc/meminfo: memFree=27259832/32873844 swapFree=7116/7116
[pid=25456] ppid=25454 vsize=65872 CPUtime=12.68 cores=0,2,4,6
/proc/25456/stat : 25456 (bsolo3.0.17) R 25454 25456 24661 0 -1 4202496 15858 0 0 0 1265 3 0 0 20 0 1 0 334418511 67452928 15742 33554432000 134512640 135840783 4292455392 4292451120 3585319 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/25456/statm: 16468 15742 351 325 0 15404 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 65872

[startup+25.5003 s]
/proc/loadavg: 2.08 2.02 1.94 3/177 25457
/proc/meminfo: memFree=27210224/32873844 swapFree=7116/7116
[pid=25456] ppid=25454 vsize=95160 CPUtime=25.48 cores=0,2,4,6
/proc/25456/stat : 25456 (bsolo3.0.17) R 25454 25456 24661 0 -1 4202496 23167 0 0 0 2544 4 0 0 20 0 1 0 334418511 97443840 23051 33554432000 134512640 135840783 4292455392 4292452112 3583204 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/25456/statm: 23790 23051 351 325 0 22726 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 95160

[startup+51.1003 s]
/proc/loadavg: 2.05 2.02 1.94 3/177 25457
/proc/meminfo: memFree=27115936/32873844 swapFree=7116/7116
[pid=25456] ppid=25454 vsize=154260 CPUtime=51.08 cores=0,2,4,6
/proc/25456/stat : 25456 (bsolo3.0.17) R 25454 25456 24661 0 -1 4202496 37951 0 0 0 5100 8 0 0 20 0 1 0 334418511 157962240 37835 33554432000 134512640 135840783 4292455392 4292454744 10823865 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/25456/statm: 38565 37835 351 325 0 37501 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 154260

[startup+102.306 s]
/proc/loadavg: 2.02 2.01 1.94 3/177 25457
/proc/meminfo: memFree=26956764/32873844 swapFree=7116/7116
[pid=25456] ppid=25454 vsize=261652 CPUtime=102.28 cores=0,2,4,6
/proc/25456/stat : 25456 (bsolo3.0.17) R 25454 25456 24661 0 -1 4202496 64800 0 0 0 10213 15 0 0 20 0 1 0 334418511 267931648 64684 33554432000 134512640 135840783 4292455392 4292454752 134550779 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/25456/statm: 65413 64684 351 325 0 64349 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 261652

[startup+162.3 s]
/proc/loadavg: 2.01 2.01 1.94 3/177 25457
/proc/meminfo: memFree=26663408/32873844 swapFree=7116/7116
[pid=25456] ppid=25454 vsize=360028 CPUtime=162.26 cores=0,2,4,6
/proc/25456/stat : 25456 (bsolo3.0.17) R 25454 25456 24661 0 -1 4202496 89384 0 0 0 16204 22 0 0 20 0 1 0 334418511 368668672 89268 33554432000 134512640 135840783 4292455392 4292454752 134551646 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/25456/statm: 90007 89268 351 325 0 88943 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 360028

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 25457
/proc/meminfo: memFree=26467392/32873844 swapFree=7116/7116
[pid=25456] ppid=25454 vsize=446320 CPUtime=222.25 cores=0,2,4,6
/proc/25456/stat : 25456 (bsolo3.0.17) R 25454 25456 24661 0 -1 4202496 110977 0 0 0 22197 28 0 0 20 0 1 0 334418511 457031680 110861 33554432000 134512640 135840783 4292455392 4292454752 134550804 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/25456/statm: 111580 110861 351 325 0 110516 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 446320

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 25458
/proc/meminfo: memFree=26275476/32873844 swapFree=7116/7116
[pid=25456] ppid=25454 vsize=522932 CPUtime=282.24 cores=0,2,4,6
/proc/25456/stat : 25456 (bsolo3.0.17) R 25454 25456 24661 0 -1 4202496 130122 0 0 0 28190 34 0 0 20 0 1 0 334418511 535482368 130006 33554432000 134512640 135840783 4292455392 4292454752 134551084 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/25456/statm: 130733 130006 351 325 0 129669 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 522932

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 25458
/proc/meminfo: memFree=26131036/32873844 swapFree=7116/7116
[pid=25456] ppid=25454 vsize=587096 CPUtime=342.23 cores=0,2,4,6
/proc/25456/stat : 25456 (bsolo3.0.17) R 25454 25456 24661 0 -1 4202496 146145 0 0 0 34184 39 0 0 20 0 1 0 334418511 601186304 146029 33554432000 134512640 135840783 4292455392 4292454752 134550872 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/25456/statm: 146774 146029 351 325 0 145710 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 587096

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 25458
/proc/meminfo: memFree=25928448/32873844 swapFree=7116/7116
[pid=25456] ppid=25454 vsize=663420 CPUtime=402.22 cores=0,2,4,6
/proc/25456/stat : 25456 (bsolo3.0.17) R 25454 25456 24661 0 -1 4202496 165236 0 0 0 40178 44 0 0 20 0 1 0 334418511 679342080 165120 33554432000 134512640 135840783 4292455392 4292454752 134550779 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/25456/statm: 165855 165120 351 325 0 164791 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 663420

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 25459
/proc/meminfo: memFree=25803228/32873844 swapFree=7116/7116
[pid=25456] ppid=25454 vsize=724200 CPUtime=462.21 cores=0,2,4,6
/proc/25456/stat : 25456 (bsolo3.0.17) R 25454 25456 24661 0 -1 4202496 180442 0 0 0 46171 50 0 0 20 0 1 0 334418511 741580800 180326 33554432000 134512640 135840783 4292455392 4292454752 134550863 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/25456/statm: 181050 180326 351 325 0 179986 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 724200

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 25462
/proc/meminfo: memFree=25659540/32873844 swapFree=7116/7116
[pid=25456] ppid=25454 vsize=778724 CPUtime=522.21 cores=0,2,4,6
/proc/25456/stat : 25456 (bsolo3.0.17) R 25454 25456 24661 0 -1 4202496 194203 0 0 0 52166 55 0 0 20 0 1 0 334418511 797413376 193940 33554432000 134512640 135840783 4292455392 4292454752 134550804 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/25456/statm: 194681 193940 351 325 0 193617 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 778724

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/176 25462
/proc/meminfo: memFree=25613820/32873844 swapFree=7116/7116
[pid=25456] ppid=25454 vsize=778724 CPUtime=582.2 cores=0,2,4,6
/proc/25456/stat : 25456 (bsolo3.0.17) R 25454 25456 24661 0 -1 4202496 194203 0 0 0 58165 55 0 0 20 0 1 0 334418511 797413376 193940 33554432000 134512640 135840783 4292455392 4292438712 134584966 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/25456/statm: 194681 193940 351 325 0 193617 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 778724

[startup+642.3 s]

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

[startup+822.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 25463
/proc/meminfo: memFree=25480880/32873844 swapFree=7116/7116
[pid=25456] ppid=25454 vsize=778724 CPUtime=822.16 cores=0,2,4,6
/proc/25456/stat : 25456 (bsolo3.0.17) R 25454 25456 24661 0 -1 4202496 194203 0 0 0 82161 55 0 0 20 0 1 0 334418511 797413376 193940 33554432000 134512640 135840783 4292455392 4292454752 134551048 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/25456/statm: 194681 193940 351 325 0 193617 0
Current children cumulated CPU time (s) 822.16
Current children cumulated vsize (KiB) 778724

[startup+882.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 25463
/proc/meminfo: memFree=25456232/32873844 swapFree=7116/7116
[pid=25456] ppid=25454 vsize=778724 CPUtime=882.15 cores=0,2,4,6
/proc/25456/stat : 25456 (bsolo3.0.17) R 25454 25456 24661 0 -1 4202496 194203 0 0 0 88160 55 0 0 20 0 1 0 334418511 797413376 193940 33554432000 134512640 135840783 4292455392 4292454752 134550893 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/25456/statm: 194681 193940 351 325 0 193617 0
Current children cumulated CPU time (s) 882.15
Current children cumulated vsize (KiB) 778724

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 25464
/proc/meminfo: memFree=25433196/32873844 swapFree=7116/7116
[pid=25456] ppid=25454 vsize=778724 CPUtime=942.14 cores=0,2,4,6
/proc/25456/stat : 25456 (bsolo3.0.17) R 25454 25456 24661 0 -1 4202496 194203 0 0 0 94159 55 0 0 20 0 1 0 334418511 797413376 193940 33554432000 134512640 135840783 4292455392 4292454752 134550872 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/25456/statm: 194681 193940 351 325 0 193617 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 778724

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 25464
/proc/meminfo: memFree=25415508/32873844 swapFree=7116/7116
[pid=25456] ppid=25454 vsize=778752 CPUtime=1002.12 cores=0,2,4,6
/proc/25456/stat : 25456 (bsolo3.0.17) R 25454 25456 24661 0 -1 4202496 194232 0 0 0 100157 55 0 0 20 0 1 0 334418511 797442048 193947 33554432000 134512640 135840783 4292455392 4292454752 134550863 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/25456/statm: 194688 193947 351 325 0 193624 0
Current children cumulated CPU time (s) 1002.12
Current children cumulated vsize (KiB) 778752

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 25464
/proc/meminfo: memFree=25326876/32873844 swapFree=7116/7116
[pid=25456] ppid=25454 vsize=838892 CPUtime=1062.07 cores=0,2,4,6
/proc/25456/stat : 25456 (bsolo3.0.17) R 25454 25456 24661 0 -1 4202496 209331 0 0 0 106148 59 0 0 20 0 1 0 334418511 859025408 208998 33554432000 134512640 135840783 4292455392 4292454752 134550804 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/25456/statm: 209723 208998 351 325 0 208659 0
Current children cumulated CPU time (s) 1062.07
Current children cumulated vsize (KiB) 838892

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 25467
/proc/meminfo: memFree=25254852/32873844 swapFree=7116/7116
[pid=25456] ppid=25454 vsize=901688 CPUtime=1122.03 cores=0,2,4,6
/proc/25456/stat : 25456 (bsolo3.0.17) R 25454 25456 24661 0 -1 4202496 225073 0 0 0 112138 65 0 0 20 0 1 0 334418511 923328512 224696 33554432000 134512640 135840783 4292455392 4292454752 134551048 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/25456/statm: 225422 224696 351 325 0 224358 0
Current children cumulated CPU time (s) 1122.03
Current children cumulated vsize (KiB) 901688

[startup+1182.3 s]
/proc/loadavg: 2.05 2.01 1.95 3/177 25467
/proc/meminfo: memFree=25198096/32873844 swapFree=7116/7116
[pid=25456] ppid=25454 vsize=958772 CPUtime=1181.99 cores=0,2,4,6
/proc/25456/stat : 25456 (bsolo3.0.17) R 25454 25456 24661 0 -1 4202496 239369 0 0 0 118129 70 0 0 20 0 1 0 334418511 981782528 238946 33554432000 134512640 135840783 4292455392 4292454752 134550902 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/25456/statm: 239693 238946 351 325 0 238629 0
Current children cumulated CPU time (s) 1181.99
Current children cumulated vsize (KiB) 958772

[startup+1242.3 s]
/proc/loadavg: 2.02 2.01 1.95 3/177 25468
/proc/meminfo: memFree=25137364/32873844 swapFree=7116/7116
[pid=25456] ppid=25454 vsize=1018796 CPUtime=1241.95 cores=0,2,4,6
/proc/25456/stat : 25456 (bsolo3.0.17) R 25454 25456 24661 0 -1 4202496 254433 0 0 0 124119 76 0 0 20 0 1 0 334418511 1043247104 253963 33554432000 134512640 135840783 4292455392 4292454464 3582700 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/25456/statm: 254699 253963 351 325 0 253635 0
Current children cumulated CPU time (s) 1241.95
Current children cumulated vsize (KiB) 1018796

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 25468
/proc/meminfo: memFree=25088288/32873844 swapFree=7116/7116
[pid=25456] ppid=25454 vsize=1067416 CPUtime=1301.91 cores=0,2,4,6
/proc/25456/stat : 25456 (bsolo3.0.17) R 25454 25456 24661 0 -1 4202496 266635 0 0 0 130112 79 0 0 20 0 1 0 334418511 1093033984 266117 33554432000 134512640 135840783 4292455392 4292454704 134550913 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/25456/statm: 266854 266117 351 325 0 265790 0
Current children cumulated CPU time (s) 1301.91
Current children cumulated vsize (KiB) 1067416

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 25468
/proc/meminfo: memFree=25054464/32873844 swapFree=7116/7116
[pid=25456] ppid=25454 vsize=1101316 CPUtime=1361.86 cores=0,2,4,6
/proc/25456/stat : 25456 (bsolo3.0.17) R 25454 25456 24661 0 -1 4202496 275166 0 0 0 136103 83 0 0 20 0 1 0 334418511 1127747584 274600 33554432000 134512640 135840783 4292455392 4292454752 134550764 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/25456/statm: 275329 274600 351 325 0 274265 0
Current children cumulated CPU time (s) 1361.86
Current children cumulated vsize (KiB) 1101316

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 25468
/proc/meminfo: memFree=25018036/32873844 swapFree=7116/7116
[pid=25456] ppid=25454 vsize=1138204 CPUtime=1421.83 cores=0,2,4,6
/proc/25456/stat : 25456 (bsolo3.0.17) R 25454 25456 24661 0 -1 4202496 284429 0 0 0 142097 86 0 0 20 0 1 0 334418511 1165520896 283822 33554432000 134512640 135840783 4292455392 4292454752 134551084 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/25456/statm: 284551 283822 351 325 0 283487 0
Current children cumulated CPU time (s) 1421.83
Current children cumulated vsize (KiB) 1138204

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 25468
/proc/meminfo: memFree=24976152/32873844 swapFree=7116/7116
[pid=25456] ppid=25454 vsize=1179412 CPUtime=1481.78 cores=0,2,4,6
/proc/25456/stat : 25456 (bsolo3.0.17) R 25454 25456 24661 0 -1 4202496 294771 0 0 0 148089 89 0 0 20 0 1 0 334418511 1207717888 294118 33554432000 134512640 135840783 4292455392 4292454752 134551186 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/25456/statm: 294853 294118 351 325 0 293789 0
Current children cumulated CPU time (s) 1481.78
Current children cumulated vsize (KiB) 1179412

[startup+1542.3 s]
/proc/loadavg: 2.07 2.02 1.95 3/177 25508
/proc/meminfo: memFree=26949596/32873844 swapFree=7116/7116
[pid=25456] ppid=25454 vsize=1233948 CPUtime=1541.74 cores=0,2,4,6
/proc/25456/stat : 25456 (bsolo3.0.17) R 25454 25456 24661 0 -1 4202496 308456 0 0 0 154081 93 0 0 20 0 1 0 334418511 1263562752 307757 33554432000 134512640 135840783 4292455392 4292454752 134550764 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/25456/statm: 308487 307757 351 325 0 307423 0
Current children cumulated CPU time (s) 1541.74
Current children cumulated vsize (KiB) 1233948

[startup+1602.3 s]
/proc/loadavg: 2.02 2.01 1.95 3/177 25508
/proc/meminfo: memFree=26833684/32873844 swapFree=7116/7116
[pid=25456] ppid=25454 vsize=1292052 CPUtime=1601.7 cores=0,2,4,6
/proc/25456/stat : 25456 (bsolo3.0.17) R 25454 25456 24661 0 -1 4202496 323031 0 0 0 160074 96 0 0 20 0 1 0 334418511 1323061248 322294 33554432000 134512640 135840783 4292455392 4292454752 134550779 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/25456/statm: 323013 322294 351 325 0 321949 0
Current children cumulated CPU time (s) 1601.7
Current children cumulated vsize (KiB) 1292052

[startup+1662.3 s]
/proc/loadavg: 2.06 2.02 1.96 3/177 25508
/proc/meminfo: memFree=26770596/32873844 swapFree=7116/7116
[pid=25456] ppid=25454 vsize=1345544 CPUtime=1661.66 cores=0,2,4,6
/proc/25456/stat : 25456 (bsolo3.0.17) R 25454 25456 24661 0 -1 4202496 336434 0 0 0 166066 100 0 0 20 0 1 0 334418511 1377837056 335654 33554432000 134512640 135840783 4292455392 4292454752 134551048 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/25456/statm: 336386 335654 351 325 0 335322 0
Current children cumulated CPU time (s) 1661.66
Current children cumulated vsize (KiB) 1345544

[startup+1722.3 s]
/proc/loadavg: 2.02 2.01 1.96 3/178 25511
/proc/meminfo: memFree=26705904/32873844 swapFree=7116/7116
[pid=25456] ppid=25454 vsize=1404948 CPUtime=1721.62 cores=0,2,4,6
/proc/25456/stat : 25456 (bsolo3.0.17) R 25454 25456 24661 0 -1 4202496 351342 0 0 0 172058 104 0 0 20 0 1 0 334418511 1438666752 350515 33554432000 134512640 135840783 4292455392 4292454752 134550921 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/25456/statm: 351237 350515 351 325 0 350173 0
Current children cumulated CPU time (s) 1721.62
Current children cumulated vsize (KiB) 1404948

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/177 25511
/proc/meminfo: memFree=26642808/32873844 swapFree=7116/7116
[pid=25456] ppid=25454 vsize=1460016 CPUtime=1781.58 cores=0,2,4,6
/proc/25456/stat : 25456 (bsolo3.0.17) R 25454 25456 24661 0 -1 4202496 365144 0 0 0 178051 107 0 0 20 0 1 0 334418511 1495056384 364278 33554432000 134512640 135840783 4292455392 4292454752 134551330 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/25456/statm: 365004 364278 351 325 0 363940 0
Current children cumulated CPU time (s) 1781.58
Current children cumulated vsize (KiB) 1460016



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.8 s]
/proc/loadavg: 2.00 2.01 1.96 3/177 25511
/proc/meminfo: memFree=26630640/32873844 swapFree=7116/7116
[pid=25456] ppid=25454 vsize=1471692 CPUtime=1800.07 cores=0,2,4,6
/proc/25456/stat : 25456 (bsolo3.0.17) R 25454 25456 24661 0 -1 4202496 368077 0 0 0 179899 108 0 0 20 0 1 0 334418511 1507012608 367203 33554432000 134512640 135840783 4292455392 4292454752 134551048 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/25456/statm: 367923 367203 351 325 0 366859 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 1471692

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

Child status: 15
Real time (s): 1800.82
CPU time (s): 1800.1
CPU user time (s): 1799
CPU system time (s): 1.10183
CPU usage (%): 99.96
Max. virtual memory (cumulated for all children) (KiB): 1471692

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799
system time used= 1.10183
maximum resident set size= 1468812
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 368080
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= 646
involuntary context switches= 1915

runsolver used 3.21151 second user time and 8.89465 second system time

The end

Launcher Data 

Begin job on node108 at 2012-06-03 02:21:39
IDJOB=3731284
IDBENCH=1870
IDSOLVER=2318
FILE ID=node108/3731284-1338682899
RUNJOBID= node108-1338678627-24680
PBS_JOBID= 14636705
Free space on /tmp= 71468 MiB

SOLVER NAME= PB07: bsolo 3.0.17
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-protfold.opb
COMMAND LINE= bsolo3.0.17 -mMEMLIMIT BENCHNAME            
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3731284-1338682899/watcher-3731284-1338682899 -o /tmp/evaluation-result-3731284-1338682899/solver-3731284-1338682899 -C 1800 -W 1900 -M 15500  bsolo3.0.17 -m15500 HOME/instance-3731284-1338682899.opb            

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

MD5SUM BENCH= 7f40f8d513f22fc9adca96d8fdf626e2
RANDOM SEED=1326587064

node108.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.273
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 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 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 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	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.273
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 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 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 tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
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
cpu MHz		: 2666.273
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 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 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 tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
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
cpu MHz		: 2666.273
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 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 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 tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
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
cpu MHz		: 2666.273
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 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 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 tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
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
cpu MHz		: 2666.273
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 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 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 tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5438.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
cpu MHz		: 2666.273
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 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 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 tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.90
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
cpu MHz		: 2666.273
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 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 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 tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        27341448 kB
Buffers:          319980 kB
Cached:          3542532 kB
SwapCached:           80 kB
Active:          2748584 kB
Inactive:        1981428 kB
Active(anon):     854820 kB
Inactive(anon):    13064 kB
Active(file):    1893764 kB
Inactive(file):  1968364 kB
Unevictable:        7116 kB
Mlocked:            7116 kB
SwapTotal:      67108856 kB
SwapFree:       67108548 kB
Dirty:              6608 kB
Writeback:             0 kB
AnonPages:        872096 kB
Mapped:            15528 kB
Shmem:               172 kB
Slab:             663348 kB
SReclaimable:     105428 kB
SUnreclaim:       557920 kB
KernelStack:        1472 kB
PageTables:         6080 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     977476 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    395264 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71460 MiB
End job on node108 at 2012-06-03 02:51:42