Trace number 3463095

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
bsolo 3.2SAT-23 1798.05 1798.01

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-26
Best CPU time to get the best result obtained on this benchmark1800.08
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.2 - 23/05/2010 : 1630 GMT
0.00/0.00	c Developed by Vasco Manquinho and José Santos 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 Learning Strategy: Cardinality Constraint Learning
0.00/0.00	c Time Limit set to 1800
0.00/0.00	c Instance file HOME/instance-3463095-1307175450.opb
0.00/0.00	c File size is 214268 bytes.
0.00/0.01	c Highest Coefficient sum: 900
0.00/0.01	c Parsing was ok!!
0.00/0.01	c Total parsing time: 0.014 s
0.00/0.01	c Var: 1835 Constr: 2149 1941/208/0 Lit: 26921 Watch. Lit: 13111
0.00/0.01	c Obj. Vars: 120 (6.53951 % of total variables)
0.09/0.19	c Pre-processing Time: 0.195 s
0.09/0.19	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.19	c        0   1835     2149    26921   12    13111   97723      0      0 0.20
0.09/0.19	c Switching off lower bounding mode.
0.29/0.38	c      102   1835     2270    45739   20    13420  107496    121    445 0.23
0.29/0.38	c      252   1835     2459    77586   31    14171  118246    310    868 0.29
0.29/0.38	o -11
0.39/0.40	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.40	c      464   1835     2708   106024   39    14916   98203    559   1217 0.38
0.39/0.40	o -13
0.39/0.41	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.41	c      543   1835     2797   111800   39    15194   98283    648   1337 0.41
0.39/0.41	o -14
0.49/0.59	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.49/0.59	c      576   1835     2837   115443   40    15330   98323    688   1381 0.42
0.49/0.59	c      676   1835     2948   124082   42    15653  108156    799   1519 0.45
0.49/0.59	c      926   1835     3248   172397   53    16470  118972   1099   1561 0.59
0.49/0.59	o -15
1.99/2.07	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.99/2.07	c      931   1835     3256   172900   53    16501   98363   1107   1556 0.60
1.99/2.07	c     1032   1835     3365   185170   55    16812  108200   1216   1645 0.63
1.99/2.07	c     1283   1835     3657   212936   58    17646  119021   1508   1617 0.79
1.99/2.07	c     1758   1835     4235   304178   71    19290  130924   2086   1685 1.04
1.99/2.07	c     2571   1835     5163   424138   82    22607  144017   3014   1673 1.54
1.99/2.07	o -16
5.79/5.84	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
5.79/5.84	c     3384   1835     6131   602959   98    25287   98403   3982   1634 2.07
5.79/5.84	c     3484   1835     6271   621251   99    26106  108244   4122   1644 2.12
5.79/5.84	c     3734   1835     6569   645640   98    27229  119069   4420   1662 2.25
5.79/5.84	c     4211   1835     7111   703302   98    29353  130976   4962   1689 2.49
5.79/5.84	c     5024   1835     8054   853119  105    32889  144074   5905   1686 2.98
5.79/5.84	c     6344   1835     9545  1125761  117    37764  158482   7396   1574 4.03
5.79/5.84	c     8426   1835    11894  1455717  122    45204  174331   9745   1448 5.82
5.79/5.84	o -17
7.71/7.76	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
7.71/7.76	c     8447   1835    11918  1457986  122    45289   98443   9769   1444 5.85
7.71/7.76	c     8547   1835    12032  1469067  122    45652  108288   9883   1442 5.92
7.71/7.76	c     8798   1835    12332  1521454  123    46554  119117  10183   1430 6.15
7.71/7.76	c     9274   1835    12864  1657517  128    48069  131029  10715   1412 6.56
7.71/7.76	c    10087   1835    13792  1774364  128    50761  144132  11643   1374 7.34
7.71/7.76	o -18
79.50/79.53	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
79.50/79.53	c    10718   1835    14484  1868032  128    52692   98483  12335   1380 7.77
79.50/79.53	c    10818   1835    14593  1875084  128    53041  108332  12444   1375 7.86
79.50/79.53	c    11068   1835    14907  1902168  127    53800  119166  12758   1383 8.00
79.50/79.53	c    11544   1835    15428  1969496  127    55305  131083  13279   1366 8.45
79.50/79.53	c    12357   1835    16343  2098144  128    57982  144192  14194   1343 9.20
79.50/79.53	c    13677   1835    17790  2305497  129    62617  158612  15641   1303 10.50
79.50/79.53	c    15759   1835    20119  2600951  129    69983  174474  17970   1208 13.04
79.50/79.53	c    18982   1835    23805  3408534  143    81741  191922  21656   1021 18.59
79.50/79.53	c    23918   1835    29785  5173324  173    98684  211115  27636    825 28.99
79.50/79.53	c    31425   1835    38411  7655739  199   123848  232227  36262    686 45.75
79.50/79.53	o -19
133.11/133.19	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
133.11/133.19	c    41774   1835    50721 10726750  211   159759   98523  48572    525 79.53
133.11/133.19	c    41874   1835    50832 10736238  211   160158  108376  48683    524 79.81
133.11/133.19	c    42124   1835    51115 10766622  210   161200  119214  48966    520 80.94
133.11/133.19	c    42604   1835    51674 10884463  210   162945  131136  49525    514 82.76
133.11/133.19	c    43418   1835    52635 11115460  211   165512  144250  50486    505 85.83
133.11/133.19	c    44740   1835    54148 11478337  211   170036  158676  51999    489 91.39
133.11/133.19	c    46824   1835    56594 12154485  214   177559  174544  54445    471 99.37
133.11/133.19	c    50047   1835    60263 12815526  212   188906  191999  58114    447 111.75
133.11/133.19	o -20
384.40/384.47	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
384.40/384.47	c    53985   1835    64985 14436528  222   204218   98563  62836    405 133.20
384.40/384.47	c    54086   1835    65099 14450984  221   204686  108420  62950    404 133.64
384.40/384.47	c    54337   1835    65373 14495244  221   205415  119263  63224    403 134.73
384.40/384.47	c    54813   1835    65910 14583600  221   206826  131190  63761    399 137.24
384.40/384.47	c    55627   1835    66835 14809780  221   209694  144310  64686    393 141.27
384.40/384.47	c    56948   1835    68341 15148546  221   214214  158742  66192    385 147.68
384.40/384.47	c    59031   1835    70692 15810794  223   221286  174617  68543    375 157.23
384.40/384.47	c    62256   1835    74399 16804083  225   232620  192079  72250    355 175.22
384.40/384.47	c    67192   1835    80117 18420596  229   249388  211287  77968    317 211.62
384.40/384.47	c    74699   1835    89100 21799199  244   278394  232416  86951    278 268.18
384.40/384.47	c    86060   1835   102471 27533080  268   321039  255658 100322    241 355.74
384.40/384.47	o -21
515.60/515.67	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
515.60/515.67	c    89790   1835   106664 28745075  269   334369   98603 104515    233 384.49
515.60/515.67	c    89891   1835    18835  5566737  295    62295  108464  16686    232 385.82
515.60/515.67	c    90142   1835    19151  5617975  293    63465  119311  17002    233 386.25
515.60/515.67	c    90619   1835    19717  5704227  289    65084  131243  17568    234 386.74
515.60/515.67	c    91434   1835    20662  5822351  281    68246  144368  18513    235 387.90
515.60/515.67	c    92756   1835    22211  6235790  280    72395  158805  20062    237 390.15
515.60/515.67	c    94843   1835    24766  7219045  291    79899  174686  22617    240 395.18
515.60/515.67	c    98066   1835    28472  8367916  293    92446  192155  26323    243 403.27
515.60/515.67	c   103007   1835    34296 10141183  295   111614  211371  32147    248 414.89
515.60/515.67	c   110514   1835    43051 12629668  293   138617  232509  40902    252 438.00
515.60/515.67	c   121875   1835    56523 17093291  302   182102  255760  54374    247 491.88
515.60/515.67	o -22
1136.23/1136.31	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1136.23/1136.31	c   126775   1835    62281 19149562  307   201306   98762  60132    245 515.68
1136.23/1136.31	c   126875   1835    62392 19155711  307   201668  108639  60243    245 515.99
1136.23/1136.31	c   127127   1835    62683 19270840  307   202526  119503  60534    245 517.36
1136.23/1136.31	c   127603   1835    63208 19376313  306   203936  131454  61059    245 519.26
1136.23/1136.31	c   128419   1835    64202 19755235  307   206613  144600  62053    245 524.14
1136.23/1136.31	c   129739   1835    65722 20043571  304   211514  159061  63573    244 529.77
1136.23/1136.31	c   131820   1835    68112 20605503  302   218777  174968  65963    244 539.81
1136.23/1136.31	c   135043   1835    71844 21499171  299   230748  192465  69695    242 556.95
1136.23/1136.31	c   139980   1835    77602 22751804  293   249187  211712  75453    240 581.69
1136.23/1136.31	c   147488   1835    86299 26071630  302   275624  232884  84150    231 636.29
1136.23/1136.31	c   158850   1835    99442 29846165  300   315927  256173  97293    224 707.07
1136.23/1136.31	c   175994   1835   119321 36628009  306   377821  281791 117172    212 829.40
1136.23/1136.31	o -23
1797.94/1797.98	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.94/1797.98	c   200736   1835   149638 53520010  357   480419   98802 147489    176 1136.34
1797.94/1797.98	c   200837   1835    22105 10158727  459    76846  108683  19956    176 1139.57
1797.94/1797.98	c   201087   1835    22389 10184615  454    77817  119552  20240    176 1139.95
1797.94/1797.98	c   201562   1835    22958 10273222  447    80097  131508  20809    176 1141.02
1797.94/1797.98	c   202377   1835    23891 10388005  434    82938  144659  21742    177 1142.78
1797.94/1797.98	c   203700   1835    25377 10614963  418    87427  159125  23228    177 1145.49
1797.94/1797.98	c   205781   1835    27748 11152899  401    95019  175038  25599    178 1150.55
1797.94/1797.98	c   209005   1835    31573 12538382  397   105625  192542  29424    179 1164.63
1797.94/1797.98	c   213941   1835    37326 13748052  368   122710  211797  35177    181 1178.03
1797.94/1797.98	c   221447   1835    46258 17441169  377   151329  232977  44109    182 1214.56
1797.94/1797.98	c   232808   1835    59472 22339725  375   193654  256275  57323    182 1274.08
1797.94/1797.98	c   249952   1835    78874 27918953  353   253747  281903  76725    183 1361.51
1797.94/1797.98	c   275775   1835   109389 39913666  364   346871  310094 107240    177 1550.22
1797.94/1797.98	c Resources Exceeded
1797.94/1797.98	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 
1797.94/1797.98	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.94/1797.98	c   89   299780 127472  1396839   138139 53090763 135990    166 1798.02
1797.94/1797.98	c Objective: -23
1797.94/1797.98	s SATISFIABLE
1797.94/1797.98	c Total time: 1798.02 s

Verifier Data 

OK	-23

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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-3463095-1307175450/watcher-3463095-1307175450 -o /tmp/evaluation-result-3463095-1307175450/solver-3463095-1307175450 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3463095-1307175450.opb 

running on 4 cores: 1,3,5,7

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.09 1.99 1.78 2/464 15523
/proc/meminfo: memFree=29976264/32950928 swapFree=45617076/67111528
[pid=15523] ppid=15521 vsize=11268 CPUtime=0 cores=1,3,5,7
/proc/15523/stat : 15523 (bsolo) R 15521 15523 13462 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 829144782 11538432 313 33554432000 134512640 137138936 4290089616 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15523/statm: 2817 313 192 642 0 2120 0

[startup+0.0986129 s]
/proc/loadavg: 2.09 1.99 1.78 2/464 15523
/proc/meminfo: memFree=29976264/32950928 swapFree=45617076/67111528
[pid=15523] ppid=15521 vsize=11732 CPUtime=0.09 cores=1,3,5,7
/proc/15523/stat : 15523 (bsolo) R 15521 15523 13462 0 -1 4202496 588 0 0 0 9 0 0 0 25 0 1 0 829144782 12013568 489 33554432000 134512640 137138936 4290089616 18446744073709551615 136502581 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15523/statm: 2933 489 184 642 0 2289 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11732

[startup+0.100613 s]
/proc/loadavg: 2.09 1.99 1.78 2/464 15523
/proc/meminfo: memFree=29976264/32950928 swapFree=45617076/67111528
[pid=15523] ppid=15521 vsize=11732 CPUtime=0.09 cores=1,3,5,7
/proc/15523/stat : 15523 (bsolo) R 15521 15523 13462 0 -1 4202496 588 0 0 0 9 0 0 0 25 0 1 0 829144782 12013568 489 33554432000 134512640 137138936 4290089616 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15523/statm: 2933 489 184 642 0 2289 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11732

[startup+0.300578 s]
/proc/loadavg: 2.09 1.99 1.78 2/464 15523
/proc/meminfo: memFree=29976264/32950928 swapFree=45617076/67111528
[pid=15523] ppid=15521 vsize=12500 CPUtime=0.29 cores=1,3,5,7
/proc/15523/stat : 15523 (bsolo) R 15521 15523 13462 0 -1 4202496 789 0 0 0 29 0 0 0 25 0 1 0 829144782 12800000 690 33554432000 134512640 137138936 4290089616 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15523/statm: 3125 690 192 642 0 2481 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12500

[startup+0.700508 s]
/proc/loadavg: 2.09 1.99 1.78 2/464 15523
/proc/meminfo: memFree=29976264/32950928 swapFree=45617076/67111528
[pid=15523] ppid=15521 vsize=14036 CPUtime=0.69 cores=1,3,5,7
/proc/15523/stat : 15523 (bsolo) R 15521 15523 13462 0 -1 4202496 1178 0 0 0 69 0 0 0 25 0 1 0 829144782 14372864 1079 33554432000 134512640 137138936 4290089616 18446744073709551615 134606982 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15523/statm: 3509 1079 192 642 0 2865 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 14036

[startup+1.50043 s]
/proc/loadavg: 2.09 1.99 1.78 3/465 15524
/proc/meminfo: memFree=29970428/32950928 swapFree=45617076/67111528
[pid=15523] ppid=15521 vsize=17156 CPUtime=1.49 cores=1,3,5,7
/proc/15523/stat : 15523 (bsolo) R 15521 15523 13462 0 -1 4202496 1942 0 0 0 147 2 0 0 25 0 1 0 829144782 17567744 1843 33554432000 134512640 137138936 4290089616 18446744073709551615 134600665 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15523/statm: 4289 1843 192 642 0 3645 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 17156

[startup+3.10015 s]
/proc/loadavg: 2.08 1.99 1.78 3/465 15524
/proc/meminfo: memFree=29965344/32950928 swapFree=45617076/67111528
[pid=15523] ppid=15521 vsize=23380 CPUtime=3.09 cores=1,3,5,7
/proc/15523/stat : 15523 (bsolo) R 15521 15523 13462 0 -1 4202496 3517 0 0 0 304 5 0 0 25 0 1 0 829144782 23941120 3418 33554432000 134512640 137138936 4290089616 18446744073709551615 136521035 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15523/statm: 5845 3418 192 642 0 5201 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 23380

[startup+6.30058 s]
/proc/loadavg: 2.08 1.99 1.78 3/465 15524
/proc/meminfo: memFree=29954204/32950928 swapFree=45617076/67111528
[pid=15523] ppid=15521 vsize=32720 CPUtime=6.29 cores=1,3,5,7
/proc/15523/stat : 15523 (bsolo) R 15521 15523 13462 0 -1 4202496 5852 0 0 0 622 7 0 0 25 0 1 0 829144782 33505280 5753 33554432000 134512640 137138936 4290089616 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15523/statm: 8180 5753 192 642 0 7536 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 32720

[startup+12.7005 s]
/proc/loadavg: 2.07 1.99 1.78 3/465 15524
/proc/meminfo: memFree=29939032/32950928 swapFree=45617076/67111528
[pid=15523] ppid=15521 vsize=46340 CPUtime=12.69 cores=1,3,5,7
/proc/15523/stat : 15523 (bsolo) R 15521 15523 13462 0 -1 4202496 9260 0 0 0 1258 11 0 0 25 0 1 0 829144782 47452160 9161 33554432000 134512640 137138936 4290089616 18446744073709551615 134542319 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15523/statm: 11585 9161 192 642 0 10941 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 46340

[startup+25.5012 s]
/proc/loadavg: 2.06 1.99 1.78 3/465 15524
/proc/meminfo: memFree=29913508/32950928 swapFree=45617076/67111528
[pid=15523] ppid=15521 vsize=71856 CPUtime=25.49 cores=1,3,5,7
/proc/15523/stat : 15523 (bsolo) R 15521 15523 13462 0 -1 4202496 15620 0 0 0 2533 16 0 0 25 0 1 0 829144782 73580544 15521 33554432000 134512640 137138936 4290089616 18446744073709551615 134606663 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15523/statm: 17964 15521 192 642 0 17320 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 71856

[startup+51.1007 s]
/proc/loadavg: 2.04 1.99 1.79 3/465 15525
/proc/meminfo: memFree=29848548/32950928 swapFree=45617076/67111528
[pid=15523] ppid=15521 vsize=119796 CPUtime=51.09 cores=1,3,5,7
/proc/15523/stat : 15523 (bsolo) R 15521 15523 13462 0 -1 4202496 27617 0 0 0 5086 23 0 0 25 0 1 0 829144782 122671104 27518 33554432000 134512640 137138936 4290089616 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15523/statm: 29949 27518 192 642 0 29305 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 119796

[startup+102.318 s]
/proc/loadavg: 2.12 2.03 1.81 3/465 15526
/proc/meminfo: memFree=29737788/32950928 swapFree=45617076/67111528
[pid=15523] ppid=15521 vsize=175296 CPUtime=102.31 cores=1,3,5,7
/proc/15523/stat : 15523 (bsolo) R 15521 15523 13462 0 -1 4202496 41476 0 0 0 10193 38 0 0 25 0 1 0 829144782 179503104 41377 33554432000 134512640 137138936 4290089616 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15523/statm: 43824 41377 192 642 0 43180 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 175296

[startup+162.301 s]
/proc/loadavg: 2.07 2.03 1.83 3/465 15528
/proc/meminfo: memFree=29676632/32950928 swapFree=45617076/67111528
[pid=15523] ppid=15521 vsize=226720 CPUtime=162.29 cores=1,3,5,7
/proc/15523/stat : 15523 (bsolo) R 15521 15523 13462 0 -1 4202496 54353 0 0 0 16181 48 0 0 25 0 1 0 829144782 232161280 54254 33554432000 134512640 137138936 4290089616 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15523/statm: 56680 54254 192 642 0 56036 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 226720

[startup+222.3 s]
/proc/loadavg: 2.02 2.03 1.83 3/465 15530
/proc/meminfo: memFree=29639028/32950928 swapFree=45617076/67111528
[pid=15523] ppid=15521 vsize=265276 CPUtime=222.3 cores=1,3,5,7
/proc/15523/stat : 15523 (bsolo) R 15521 15523 13462 0 -1 4202496 63984 0 0 0 22173 57 0 0 25 0 1 0 829144782 271642624 63885 33554432000 134512640 137138936 4290089616 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15523/statm: 66319 63885 192 642 0 65675 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 265276

[startup+282.301 s]
/proc/loadavg: 2.01 2.02 1.84 3/465 15531
/proc/meminfo: memFree=29578984/32950928 swapFree=45617076/67111528
[pid=15523] ppid=15521 vsize=311688 CPUtime=282.3 cores=1,3,5,7
/proc/15523/stat : 15523 (bsolo) R 15521 15523 13462 0 -1 4202496 75578 0 0 0 28167 63 0 0 25 0 1 0 829144782 319168512 75479 33554432000 134512640 137138936 4290089616 18446744073709551615 134606670 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15523/statm: 77922 75479 192 642 0 77278 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 311688

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 1.84 3/465 15533
/proc/meminfo: memFree=29525132/32950928 swapFree=45617076/67111528
[pid=15523] ppid=15521 vsize=364584 CPUtime=342.3 cores=1,3,5,7
/proc/15523/stat : 15523 (bsolo) R 15521 15523 13462 0 -1 4202496 88818 0 0 0 34163 67 0 0 25 0 1 0 829144782 373334016 88719 33554432000 134512640 137138936 4290089616 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15523/statm: 91146 88719 192 642 0 90502 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 364584

[startup+402.301 s]
/proc/loadavg: 2.00 2.01 1.85 3/465 15534
/proc/meminfo: memFree=29497576/32950928 swapFree=45617076/67111528
[pid=15523] ppid=15521 vsize=391520 CPUtime=402.3 cores=1,3,5,7
/proc/15523/stat : 15523 (bsolo) R 15521 15523 13462 0 -1 4202496 95633 0 0 0 40156 74 0 0 25 0 1 0 829144782 400916480 95431 33554432000 134512640 137138936 4290089616 18446744073709551615 134542525 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15523/statm: 97880 95431 192 642 0 97236 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 391520

[startup+462.301 s]
/proc/loadavg: 2.00 2.00 1.85 3/465 15536
/proc/meminfo: memFree=29490108/32950928 swapFree=45617076/67111528
[pid=15523] ppid=15521 vsize=391520 CPUtime=462.3 cores=1,3,5,7
/proc/15523/stat : 15523 (bsolo) R 15521 15523 13462 0 -1 4202496 95633 0 0 0 46148 82 0 0 25 0 1 0 829144782 400916480 95431 33554432000 134512640 137138936 4290089616 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15523/statm: 97880 95431 192 642 0 97236 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 391520

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 1.86 3/465 15538
/proc/meminfo: memFree=29489952/32950928 swapFree=45617076/67111528
[pid=15523] ppid=15521 vsize=391520 CPUtime=522.3 cores=1,3,5,7
/proc/15523/stat : 15523 (bsolo) R 15521 15523 13462 0 -1 4202496 95633 0 0 0 52143 87 0 0 25 0 1 0 829144782 400916480 95431 33554432000 134512640 137138936 4290089616 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15523/statm: 97880 95431 192 642 0 97236 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 391520

[startup+582.301 s]
/proc/loadavg: 2.10 2.03 1.88 3/465 15539
/proc/meminfo: memFree=29489664/32950928 swapFree=45617076/67111528
[pid=15523] ppid=15521 vsize=391520 CPUtime=582.3 cores=1,3,5,7
/proc/15523/stat : 15523 (bsolo) R 15521 15523 13462 0 -1 4202496 95633 0 0 0 58136 94 0 0 25 0 1 0 829144782 400916480 95431 33554432000 134512640 137138936 4290089616 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15523/statm: 97880 95431 192 642 0 97236 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 391520

[startup+642.3 s]

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

/proc/meminfo: memFree=29181700/32950928 swapFree=45617076/67111528
[pid=15523] ppid=15521 vsize=699268 CPUtime=1122.32 cores=1,3,5,7
/proc/15523/stat : 15523 (bsolo) R 15521 15523 13462 0 -1 4202496 172568 0 0 0 112094 138 0 0 25 0 1 0 829144782 716050432 172366 33554432000 134512640 137138936 4290089616 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15523/statm: 174817 172366 192 642 0 174173 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 699268

[startup+1182.3 s]
/proc/loadavg: 2.13 2.04 1.93 3/465 15555
/proc/meminfo: memFree=29166164/32950928 swapFree=45617076/67111528
[pid=15523] ppid=15521 vsize=712672 CPUtime=1182.32 cores=1,3,5,7
/proc/15523/stat : 15523 (bsolo) R 15521 15523 13462 0 -1 4202496 176070 0 0 0 118084 148 0 0 25 0 1 0 829144782 729776128 175723 33554432000 134512640 137138936 4290089616 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15523/statm: 178168 175723 192 642 0 177524 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 712672

[startup+1242.3 s]
/proc/loadavg: 2.10 2.05 1.93 3/465 15557
/proc/meminfo: memFree=29166000/32950928 swapFree=45617076/67111528
[pid=15523] ppid=15521 vsize=712672 CPUtime=1242.32 cores=1,3,5,7
/proc/15523/stat : 15523 (bsolo) R 15521 15523 13462 0 -1 4202496 176070 0 0 0 124081 151 0 0 25 0 1 0 829144782 729776128 175723 33554432000 134512640 137138936 4290089616 18446744073709551615 134606663 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15523/statm: 178168 175723 192 642 0 177524 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 712672

[startup+1302.3 s]
/proc/loadavg: 2.04 2.03 1.93 3/465 15558
/proc/meminfo: memFree=29162244/32950928 swapFree=45617076/67111528
[pid=15523] ppid=15521 vsize=712672 CPUtime=1302.33 cores=1,3,5,7
/proc/15523/stat : 15523 (bsolo) R 15521 15523 13462 0 -1 4202496 176070 0 0 0 130077 156 0 0 25 0 1 0 829144782 729776128 175723 33554432000 134512640 137138936 4290089616 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15523/statm: 178168 175723 192 642 0 177524 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 712672

[startup+1362.3 s]
/proc/loadavg: 2.01 2.03 1.93 3/465 15560
/proc/meminfo: memFree=29130092/32950928 swapFree=45617076/67111528
[pid=15523] ppid=15521 vsize=712672 CPUtime=1362.32 cores=1,3,5,7
/proc/15523/stat : 15523 (bsolo) R 15521 15523 13462 0 -1 4202496 176070 0 0 0 136073 159 0 0 25 0 1 0 829144782 729776128 175723 33554432000 134512640 137138936 4290089616 18446744073709551615 134606601 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15523/statm: 178168 175723 192 642 0 177524 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 712672

[startup+1422.32 s]
/proc/loadavg: 2.00 2.02 1.93 3/465 15562
/proc/meminfo: memFree=29125708/32950928 swapFree=45617076/67111528
[pid=15523] ppid=15521 vsize=712672 CPUtime=1422.34 cores=1,3,5,7
/proc/15523/stat : 15523 (bsolo) R 15521 15523 13462 0 -1 4202496 176070 0 0 0 142070 164 0 0 25 0 1 0 829144782 729776128 175723 33554432000 134512640 137138936 4290089616 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15523/statm: 178168 175723 192 642 0 177524 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 712672

[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 1.93 3/465 15563
/proc/meminfo: memFree=29125564/32950928 swapFree=45617076/67111528
[pid=15523] ppid=15521 vsize=712672 CPUtime=1482.32 cores=1,3,5,7
/proc/15523/stat : 15523 (bsolo) R 15521 15523 13462 0 -1 4202496 176070 0 0 0 148065 167 0 0 25 0 1 0 829144782 729776128 175723 33554432000 134512640 137138936 4290089616 18446744073709551615 134606964 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15523/statm: 178168 175723 192 642 0 177524 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 712672

[startup+1542.3 s]
/proc/loadavg: 2.00 2.01 1.93 3/465 15565
/proc/meminfo: memFree=29126776/32950928 swapFree=45617076/67111528
[pid=15523] ppid=15521 vsize=712672 CPUtime=1542.33 cores=1,3,5,7
/proc/15523/stat : 15523 (bsolo) R 15521 15523 13462 0 -1 4202496 176070 0 0 0 154064 169 0 0 25 0 1 0 829144782 729776128 175723 33554432000 134512640 137138936 4290089616 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15523/statm: 178168 175723 192 642 0 177524 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 712672

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/465 15566
/proc/meminfo: memFree=29126752/32950928 swapFree=45617076/67111528
[pid=15523] ppid=15521 vsize=712672 CPUtime=1602.33 cores=1,3,5,7
/proc/15523/stat : 15523 (bsolo) R 15521 15523 13462 0 -1 4202496 176070 0 0 0 160059 174 0 0 25 0 1 0 829144782 729776128 175723 33554432000 134512640 137138936 4290089616 18446744073709551615 134542972 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15523/statm: 178168 175723 192 642 0 177524 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 712672

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/465 15568
/proc/meminfo: memFree=29127472/32950928 swapFree=45617076/67111528
[pid=15523] ppid=15521 vsize=712672 CPUtime=1662.33 cores=1,3,5,7
/proc/15523/stat : 15523 (bsolo) R 15521 15523 13462 0 -1 4202496 176070 0 0 0 166057 176 0 0 25 0 1 0 829144782 729776128 175723 33554432000 134512640 137138936 4290089616 18446744073709551615 134544837 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15523/statm: 178168 175723 192 642 0 177524 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 712672

[startup+1722.3 s]
/proc/loadavg: 2.04 2.01 1.94 3/465 15570
/proc/meminfo: memFree=29127556/32950928 swapFree=45617076/67111528
[pid=15523] ppid=15521 vsize=712672 CPUtime=1722.33 cores=1,3,5,7
/proc/15523/stat : 15523 (bsolo) R 15521 15523 13462 0 -1 4202496 176070 0 0 0 172055 178 0 0 25 0 1 0 829144782 729776128 175723 33554432000 134512640 137138936 4290089616 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15523/statm: 178168 175723 192 642 0 177524 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 712672

[startup+1782.3 s]
/proc/loadavg: 2.05 2.02 1.94 3/465 15598
/proc/meminfo: memFree=29308636/32950928 swapFree=45617076/67111528
[pid=15523] ppid=15521 vsize=712672 CPUtime=1782.33 cores=1,3,5,7
/proc/15523/stat : 15523 (bsolo) R 15521 15523 13462 0 -1 4202496 176070 0 0 0 178053 180 0 0 25 0 1 0 829144782 729776128 175723 33554432000 134512640 137138936 4290089616 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15523/statm: 178168 175723 192 642 0 177524 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 712672

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

[startup+1785.5 s]
/proc/loadavg: 2.05 2.02 1.94 3/465 15598
/proc/meminfo: memFree=29309500/32950928 swapFree=45617076/67111528
[pid=15523] ppid=15521 vsize=712672 CPUtime=1785.53 cores=1,3,5,7
/proc/15523/stat : 15523 (bsolo) R 15521 15523 13462 0 -1 4202496 176070 0 0 0 178373 180 0 0 25 0 1 0 829144782 729776128 175723 33554432000 134512640 137138936 4290089616 18446744073709551615 136504048 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15523/statm: 178168 175723 192 642 0 177524 0
Current children cumulated CPU time (s) 1785.53
Current children cumulated vsize (KiB) 712672

[startup+1791.92 s]
/proc/loadavg: 2.19 2.05 1.95 3/465 15599
/proc/meminfo: memFree=29309496/32950928 swapFree=45617076/67111528
[pid=15523] ppid=15521 vsize=712672 CPUtime=1791.95 cores=1,3,5,7
/proc/15523/stat : 15523 (bsolo) R 15521 15523 13462 0 -1 4202496 176070 0 0 0 179015 180 0 0 25 0 1 0 829144782 729776128 175723 33554432000 134512640 137138936 4290089616 18446744073709551615 134606598 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15523/statm: 178168 175723 192 642 0 177524 0
Current children cumulated CPU time (s) 1791.95
Current children cumulated vsize (KiB) 712672

[startup+1795.1 s]
/proc/loadavg: 2.19 2.05 1.95 3/465 15599
/proc/meminfo: memFree=29309372/32950928 swapFree=45617076/67111528
[pid=15523] ppid=15521 vsize=712672 CPUtime=1795.14 cores=1,3,5,7
/proc/15523/stat : 15523 (bsolo) R 15521 15523 13462 0 -1 4202496 176070 0 0 0 179334 180 0 0 25 0 1 0 829144782 729776128 175723 33554432000 134512640 137138936 4290089616 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15523/statm: 178168 175723 192 642 0 177524 0
Current children cumulated CPU time (s) 1795.14
Current children cumulated vsize (KiB) 712672

[startup+1796.7 s]
/proc/loadavg: 2.19 2.05 1.95 3/465 15599
/proc/meminfo: memFree=29309372/32950928 swapFree=45617076/67111528
[pid=15523] ppid=15521 vsize=712672 CPUtime=1796.74 cores=1,3,5,7
/proc/15523/stat : 15523 (bsolo) R 15521 15523 13462 0 -1 4202496 176070 0 0 0 179493 181 0 0 25 0 1 0 829144782 729776128 175723 33554432000 134512640 137138936 4290089616 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15523/statm: 178168 175723 192 642 0 177524 0
Current children cumulated CPU time (s) 1796.74
Current children cumulated vsize (KiB) 712672

[startup+1797.5 s]
/proc/loadavg: 2.17 2.05 1.95 3/465 15599
/proc/meminfo: memFree=29309272/32950928 swapFree=45617076/67111528
[pid=15523] ppid=15521 vsize=712672 CPUtime=1797.54 cores=1,3,5,7
/proc/15523/stat : 15523 (bsolo) R 15521 15523 13462 0 -1 4202496 176070 0 0 0 179573 181 0 0 25 0 1 0 829144782 729776128 175723 33554432000 134512640 137138936 4290089616 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15523/statm: 178168 175723 192 642 0 177524 0
Current children cumulated CPU time (s) 1797.54
Current children cumulated vsize (KiB) 712672

[startup+1797.9 s]
/proc/loadavg: 2.17 2.05 1.95 3/465 15599
/proc/meminfo: memFree=29309272/32950928 swapFree=45617076/67111528
[pid=15523] ppid=15521 vsize=712672 CPUtime=1797.94 cores=1,3,5,7
/proc/15523/stat : 15523 (bsolo) R 15521 15523 13462 0 -1 4202496 176070 0 0 0 179613 181 0 0 25 0 1 0 829144782 729776128 175723 33554432000 134512640 137138936 4290089616 18446744073709551615 134606592 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/15523/statm: 178168 175723 192 642 0 177524 0
Current children cumulated CPU time (s) 1797.94
Current children cumulated vsize (KiB) 712672

[startup+1798 s]
/proc/loadavg: 2.17 2.05 1.95 3/465 15599
/proc/meminfo: memFree=29309272/32950928 swapFree=45617076/67111528
[pid=15523] ppid=15521 vsize=0 CPUtime=1798.04 cores=1,3,5,7
/proc/15523/stat : 15523 (bsolo) R 15521 15523 13462 0 -1 4202500 176071 0 0 0 179621 183 0 0 25 0 1 0 829144782 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 5 0 0 0
/proc/15523/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1798.04
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1798.01
CPU time (s): 1798.05
CPU user time (s): 1796.21
CPU system time (s): 1.84372
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 713252

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.21
system time used= 1.84372
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 176071
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= 3
involuntary context switches= 1857

runsolver used 7.93479 second user time and 19.835 second system time

The end

Launcher Data 

Begin job on node123 at 2011-06-04 10:17:30
IDJOB=3463095
IDBENCH=1870
IDSOLVER=1955
FILE ID=node123/3463095-1307175450
RUNJOBID= node123-1307174570-15261
PBS_JOBID= 13508855
Free space on /tmp= 73856 MiB

SOLVER NAME= bsolo 3.2
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-protfold.opb
COMMAND LINE= bsolo -l2 -tTIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3463095-1307175450/watcher-3463095-1307175450 -o /tmp/evaluation-result-3463095-1307175450/solver-3463095-1307175450 -C 1800 -W 1900 -M 15500  bsolo -l2 -t1800 HOME/instance-3463095-1307175450.opb

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

MD5SUM BENCH= 7f40f8d513f22fc9adca96d8fdf626e2
RANDOM SEED=1771164467

node123.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/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.838
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.838
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5226.15
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.838
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.838
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.838
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.838
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.80
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.838
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.838
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      29976544 kB
Buffers:        306000 kB
Cached:         393420 kB
SwapCached:       9456 kB
Active:        2359448 kB
Inactive:       335312 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      29976544 kB
SwapTotal:    67111528 kB
SwapFree:     45617076 kB
Dirty:            4000 kB
Writeback:           0 kB
AnonPages:     1993428 kB
Mapped:          24304 kB
Slab:           134564 kB
PageTables:      78384 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 133426732 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73852 MiB
End job on node123 at 2011-06-04 10:47:28