Trace number 3707788

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.02 1798.59

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.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-3707788-1338143348.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.19/0.20	c Pre-processing Time: 0.197 s
0.19/0.20	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.20	c        0   1835     2149    26921   12    13111   97723      0      0 0.20
0.19/0.20	c Switching off lower bounding mode.
0.29/0.38	c      102   1835     2270    45739   20    13420  107496    121    441 0.23
0.29/0.38	c      252   1835     2459    77586   31    14171  118246    310    863 0.29
0.29/0.38	o -11
0.39/0.41	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.41	c      464   1835     2708   106024   39    14916   98203    559   1208 0.38
0.39/0.41	o -13
0.39/0.42	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.42	c      543   1835     2797   111800   39    15194   98283    648   1327 0.41
0.39/0.42	o -14
0.59/0.60	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.59/0.60	c      576   1835     2837   115443   40    15330   98323    688   1368 0.42
0.59/0.60	c      676   1835     2948   124082   42    15653  108156    799   1508 0.45
0.59/0.60	c      926   1835     3248   172397   53    16470  118972   1099   1551 0.60
0.59/0.60	o -15
1.99/2.08	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.99/2.08	c      931   1835     3256   172900   53    16501   98363   1107   1546 0.60
1.99/2.08	c     1032   1835     3365   185170   55    16812  108200   1216   1635 0.63
1.99/2.08	c     1283   1835     3657   212936   58    17646  119021   1508   1605 0.80
1.99/2.08	c     1758   1835     4235   304178   71    19290  130924   2086   1675 1.05
1.99/2.08	c     2571   1835     5163   424138   82    22607  144017   3014   1663 1.55
1.99/2.08	o -16
5.78/5.90	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
5.78/5.90	c     3384   1835     6131   602959   98    25287   98403   3982   1624 2.08
5.78/5.90	c     3484   1835     6271   621251   99    26106  108244   4122   1634 2.13
5.78/5.90	c     3734   1835     6569   645640   98    27229  119069   4420   1651 2.26
5.78/5.90	c     4211   1835     7111   703302   98    29353  130976   4962   1678 2.51
5.78/5.90	c     5024   1835     8054   853119  105    32889  144074   5905   1675 3.00
5.78/5.90	c     6344   1835     9545  1125761  117    37764  158482   7396   1563 4.06
5.78/5.90	c     8426   1835    11894  1455717  122    45204  174331   9745   1436 5.86
5.78/5.90	o -17
7.79/7.84	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
7.79/7.84	c     8447   1835    11918  1457986  122    45289   98443   9769   1432 5.90
7.79/7.84	c     8547   1835    12032  1469067  122    45652  108288   9883   1430 5.97
7.79/7.84	c     8798   1835    12332  1521454  123    46554  119117  10183   1418 6.20
7.79/7.84	c     9274   1835    12864  1657517  128    48069  131029  10715   1401 6.62
7.79/7.84	c    10087   1835    13792  1774364  128    50761  144132  11643   1361 7.41
7.79/7.84	o -18
84.87/84.99	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
84.87/84.99	c    10718   1835    14484  1868032  128    52692   98483  12335   1367 7.84
84.87/84.99	c    10818   1835    14593  1875084  128    53041  108332  12444   1363 7.94
84.87/84.99	c    11068   1835    14907  1902168  127    53800  119166  12758   1370 8.07
84.87/84.99	c    11544   1835    15428  1969496  127    55305  131083  13279   1354 8.53
84.87/84.99	c    12357   1835    16343  2098144  128    57982  144192  14194   1330 9.29
84.87/84.99	c    13677   1835    17790  2305497  129    62617  158612  15641   1290 10.60
84.87/84.99	c    15759   1835    20119  2600951  129    69983  174474  17970   1193 13.21
84.87/84.99	c    18982   1835    23805  3408534  143    81741  191922  21656   1004 18.90
84.87/84.99	c    23918   1835    29785  5173324  173    98684  211115  27636    804 29.74
84.87/84.99	c    31425   1835    38411  7655739  199   123848  232227  36262    661 47.54
84.87/84.99	o -19
145.87/145.92	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
145.87/145.92	c    41774   1835    50721 10726750  211   159759   98523  48572    491 84.97
145.87/145.92	c    41874   1835    50832 10736238  211   160158  108376  48683    490 85.30
145.87/145.92	c    42124   1835    51115 10766622  210   161200  119214  48966    486 86.58
145.87/145.92	c    42604   1835    51674 10884463  210   162945  131136  49525    480 88.61
145.87/145.92	c    43418   1835    52635 11115460  211   165512  144250  50486    471 92.08
145.87/145.92	c    44740   1835    54148 11478337  211   170036  158676  51999    454 98.36
145.87/145.92	c    46824   1835    56594 12154485  214   177559  174544  54445    436 107.36
145.87/145.92	c    50047   1835    60263 12815526  212   188906  191999  58114    412 121.43
145.87/145.92	o -20
420.98/421.24	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
420.98/421.24	c    53985   1835    64985 14436528  222   204218   98563  62836    370 145.90
420.98/421.24	c    54086   1835    65099 14450984  221   204686  108420  62950    369 146.42
420.98/421.24	c    54337   1835    65373 14495244  221   205415  119263  63224    367 147.66
420.98/421.24	c    54813   1835    65910 14583600  221   206826  131190  63761    364 150.54
420.98/421.24	c    55627   1835    66835 14809780  221   209694  144310  64686    358 155.19
420.98/421.24	c    56948   1835    68341 15148546  221   214214  158742  66192    350 162.60
420.98/421.24	c    59031   1835    70692 15810794  223   221286  174617  68543    340 173.57
420.98/421.24	c    62256   1835    74399 16804083  225   232620  192079  72250    320 194.50
420.98/421.24	c    67192   1835    80117 18420596  229   249388  211287  77968    284 236.06
420.98/421.24	c    74699   1835    89100 21799199  244   278394  232416  86951    251 297.43
420.98/421.24	c    86060   1835   102471 27533080  268   321039  255658 100322    220 390.20
420.98/421.24	o -21
549.05/549.36	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
549.05/549.36	c    89790   1835   106664 28745075  269   334369   98603 104515    213 421.03
549.05/549.36	c    89891   1835    18835  5566737  295    62295  108464  16686    212 422.06
549.05/549.36	c    90142   1835    19151  5617975  293    63465  119311  17002    213 422.45
549.05/549.36	c    90619   1835    19717  5704227  289    65084  131243  17568    214 422.90
549.05/549.36	c    91434   1835    20662  5822351  281    68246  144368  18513    215 423.98
549.05/549.36	c    92756   1835    22211  6235790  280    72395  158805  20062    217 426.02
549.05/549.36	c    94843   1835    24766  7219045  291    79899  174686  22617    220 430.61
549.05/549.36	c    98066   1835    28472  8367916  293    92446  192155  26323    223 437.95
549.05/549.36	c   103007   1835    34296 10141183  295   111614  211371  32147    229 448.78
549.05/549.36	c   110514   1835    43051 12629668  293   138617  232509  40902    234 471.40
549.05/549.36	c   121875   1835    56523 17093291  302   182102  255760  54374    231 525.35
549.05/549.36	o -22
1205.63/1206.14	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1205.63/1206.14	c   126775   1835    62281 19149562  307   201306   98762  60132    230 549.12
1205.63/1206.14	c   126875   1835    62392 19155711  307   201668  108639  60243    230 549.45
1205.63/1206.14	c   127127   1835    62683 19270840  307   202526  119503  60534    230 550.84
1205.63/1206.14	c   127603   1835    63208 19376313  306   203936  131454  61059    230 552.79
1205.63/1206.14	c   128419   1835    64202 19755235  307   206613  144600  62053    230 557.81
1205.63/1206.14	c   129739   1835    65722 20043571  304   211514  159061  63573    230 563.64
1205.63/1206.14	c   131820   1835    68112 20605503  302   218777  174968  65963    229 574.01
1205.63/1206.14	c   135043   1835    71844 21499171  299   230748  192465  69695    228 591.79
1205.63/1206.14	c   139980   1835    77602 22751804  293   249187  211712  75453    226 617.48
1205.63/1206.14	c   147488   1835    86299 26071630  302   275624  232884  84150    218 674.07
1205.63/1206.14	c   158850   1835    99442 29846165  300   315927  256173  97293    212 748.21
1205.63/1206.14	c   175994   1835   119321 36628009  306   377821  281791 117172    200 878.39
1205.63/1206.14	o -23
1797.92/1798.59	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.92/1798.59	c   200736   1835   149638 53520010  357   480419   98802 147489    166 1205.68
1797.92/1798.59	c   200837   1835    22105 10158727  459    76846  108683  19956    166 1208.13
1797.92/1798.59	c   201087   1835    22389 10184615  454    77817  119552  20240    166 1208.47
1797.92/1798.59	c   201562   1835    22958 10273222  447    80097  131508  20809    166 1209.45
1797.92/1798.59	c   202377   1835    23891 10388005  434    82938  144659  21742    167 1211.09
1797.92/1798.59	c   203700   1835    25377 10614963  418    87427  159125  23228    167 1213.61
1797.92/1798.59	c   205781   1835    27748 11152899  401    95019  175038  25599    168 1218.35
1797.92/1798.59	c   209005   1835    31573 12538382  397   105625  192542  29424    169 1231.67
1797.92/1798.59	c   213941   1835    37326 13748052  368   122710  211797  35177    171 1244.52
1797.92/1798.59	c   221447   1835    46258 17441169  377   151329  232977  44109    173 1279.89
1797.92/1798.59	c   232808   1835    59472 22339725  375   193654  256275  57323    173 1338.79
1797.92/1798.59	c   249952   1835    78874 27918953  353   253747  281903  76725    175 1427.64
1797.92/1798.59	c   275775   1835   109389 39913666  364   346871  310094 107240    169 1622.39
1797.92/1798.59	c Resources Exceeded
1797.92/1798.59	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.92/1798.59	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.92/1798.59	c   89   293502 125361  1382544   130393 48444792 128244    163 1798.02
1797.92/1798.59	c Objective: -23
1797.92/1798.59	s SATISFIABLE
1797.92/1798.59	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.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-3707788-1338143348/watcher-3707788-1338143348 -o /tmp/evaluation-result-3707788-1338143348/solver-3707788-1338143348 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3707788-1338143348.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.03 2.01 2.00 3/176 17725
/proc/meminfo: memFree=31375628/32873844 swapFree=7372/7372
[pid=17725] ppid=17723 vsize=11008 CPUtime=0 cores=1,3,5,7
/proc/17725/stat : 17725 (bsolo) R 17723 17725 15469 0 -1 4202496 292 0 0 0 0 0 0 0 20 0 1 0 280463384 11272192 246 33554432000 134512640 137138936 4288629792 4288628320 134517592 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17725/statm: 2752 246 177 642 0 2055 0

[startup+0.00747893 s]
/proc/loadavg: 2.03 2.01 2.00 3/176 17725
/proc/meminfo: memFree=31375628/32873844 swapFree=7372/7372
[pid=17725] ppid=17723 vsize=11008 CPUtime=0 cores=1,3,5,7
/proc/17725/stat : 17725 (bsolo) R 17723 17725 15469 0 -1 4202496 306 0 0 0 0 0 0 0 20 0 1 0 280463384 11272192 260 33554432000 134512640 137138936 4288629792 4288627656 136506715 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17725/statm: 2752 260 182 642 0 2055 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 11008

[startup+0.100264 s]
/proc/loadavg: 2.03 2.01 2.00 3/176 17725
/proc/meminfo: memFree=31375628/32873844 swapFree=7372/7372
[pid=17725] ppid=17723 vsize=11736 CPUtime=0.09 cores=1,3,5,7
/proc/17725/stat : 17725 (bsolo) R 17723 17725 15469 0 -1 4202496 589 0 0 0 9 0 0 0 20 0 1 0 280463384 12017664 490 33554432000 134512640 137138936 4288629792 4288606460 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17725/statm: 2934 490 184 642 0 2290 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11736

[startup+0.300226 s]
/proc/loadavg: 2.03 2.01 2.00 3/176 17725
/proc/meminfo: memFree=31375628/32873844 swapFree=7372/7372
[pid=17725] ppid=17723 vsize=12504 CPUtime=0.29 cores=1,3,5,7
/proc/17725/stat : 17725 (bsolo) R 17723 17725 15469 0 -1 4202496 784 0 0 0 29 0 0 0 20 0 1 0 280463384 12804096 685 33554432000 134512640 137138936 4288629792 4288628908 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17725/statm: 3126 685 192 642 0 2482 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12504

[startup+0.700228 s]
/proc/loadavg: 2.03 2.01 2.00 3/176 17725
/proc/meminfo: memFree=31375628/32873844 swapFree=7372/7372
[pid=17725] ppid=17723 vsize=14040 CPUtime=0.68 cores=1,3,5,7
/proc/17725/stat : 17725 (bsolo) R 17723 17725 15469 0 -1 4202496 1179 0 0 0 68 0 0 0 20 0 1 0 280463384 14376960 1080 33554432000 134512640 137138936 4288629792 4288628908 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17725/statm: 3510 1080 192 642 0 2866 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 14040

[startup+1.50023 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 17726
/proc/meminfo: memFree=31370908/32873844 swapFree=7372/7372
[pid=17725] ppid=17723 vsize=17048 CPUtime=1.48 cores=1,3,5,7
/proc/17725/stat : 17725 (bsolo) R 17723 17725 15469 0 -1 4202496 1937 0 0 0 147 1 0 0 20 0 1 0 280463384 17457152 1838 33554432000 134512640 137138936 4288629792 4288628908 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17725/statm: 4262 1838 192 642 0 3618 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 17048

[startup+3.10023 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 17726
/proc/meminfo: memFree=31366320/32873844 swapFree=7372/7372
[pid=17725] ppid=17723 vsize=23384 CPUtime=3.08 cores=1,3,5,7
/proc/17725/stat : 17725 (bsolo) R 17723 17725 15469 0 -1 4202496 3496 0 0 0 305 3 0 0 20 0 1 0 280463384 23945216 3397 33554432000 134512640 137138936 4288629792 4288628712 135984582 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17725/statm: 5846 3397 192 642 0 5202 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 23384

[startup+6.30025 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 17726
/proc/meminfo: memFree=31355284/32873844 swapFree=7372/7372
[pid=17725] ppid=17723 vsize=32504 CPUtime=6.29 cores=1,3,5,7
/proc/17725/stat : 17725 (bsolo) R 17723 17725 15469 0 -1 4202496 5793 0 0 0 624 5 0 0 20 0 1 0 280463384 33284096 5694 33554432000 134512640 137138936 4288629792 4288628908 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17725/statm: 8126 5694 192 642 0 7482 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 32504

[startup+12.7003 s]
/proc/loadavg: 2.10 2.03 2.01 3/177 17726
/proc/meminfo: memFree=31340544/32873844 swapFree=7372/7372
[pid=17725] ppid=17723 vsize=46116 CPUtime=12.69 cores=1,3,5,7
/proc/17725/stat : 17725 (bsolo) R 17723 17725 15469 0 -1 4202496 9206 0 0 0 1261 8 0 0 20 0 1 0 280463384 47222784 9107 33554432000 134512640 137138936 4288629792 4288628720 134542513 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17725/statm: 11529 9107 192 642 0 10885 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 46116

[startup+25.5003 s]
/proc/loadavg: 2.08 2.02 2.00 3/177 17726
/proc/meminfo: memFree=31316124/32873844 swapFree=7372/7372
[pid=17725] ppid=17723 vsize=70212 CPUtime=25.49 cores=1,3,5,7
/proc/17725/stat : 17725 (bsolo) R 17723 17725 15469 0 -1 4202496 15211 0 0 0 2537 12 0 0 20 0 1 0 280463384 71897088 15112 33554432000 134512640 137138936 4288629792 4288628720 134542286 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17725/statm: 17553 15112 192 642 0 16909 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 70212

[startup+51.1003 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 17726
/proc/meminfo: memFree=31269748/32873844 swapFree=7372/7372
[pid=17725] ppid=17723 vsize=116360 CPUtime=51.08 cores=1,3,5,7
/proc/17725/stat : 17725 (bsolo) R 17723 17725 15469 0 -1 4202496 26761 0 0 0 5091 17 0 0 20 0 1 0 280463384 119152640 26662 33554432000 134512640 137138936 4288629792 4288628720 134542187 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17725/statm: 29090 26662 192 642 0 28446 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 116360

[startup+102.307 s]
/proc/loadavg: 2.02 2.02 2.00 3/178 17730
/proc/meminfo: memFree=31217288/32873844 swapFree=7372/7372
[pid=17725] ppid=17723 vsize=168480 CPUtime=102.28 cores=1,3,5,7
/proc/17725/stat : 17725 (bsolo) R 17723 17725 15469 0 -1 4202496 39776 0 0 0 10201 27 0 0 20 0 1 0 280463384 172523520 39677 33554432000 134512640 137138936 4288629792 4288628720 134542613 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17725/statm: 42120 39677 192 642 0 41476 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 168480

[startup+162.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/177 17730
/proc/meminfo: memFree=31172904/32873844 swapFree=7372/7372
[pid=17725] ppid=17723 vsize=213000 CPUtime=162.27 cores=1,3,5,7
/proc/17725/stat : 17725 (bsolo) R 17723 17725 15469 0 -1 4202496 50927 0 0 0 16192 35 0 0 20 0 1 0 280463384 218112000 50828 33554432000 134512640 137138936 4288629792 4288628720 134542187 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17725/statm: 53250 50828 192 642 0 52606 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 213000

[startup+222.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 17768
/proc/meminfo: memFree=31607148/32873844 swapFree=7372/7372
[pid=17725] ppid=17723 vsize=250012 CPUtime=222.24 cores=1,3,5,7
/proc/17725/stat : 17725 (bsolo) R 17723 17725 15469 0 -1 4202496 60177 0 0 0 22183 41 0 0 20 0 1 0 280463384 256012288 60060 33554432000 134512640 137138936 4288629792 4288628720 134542187 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17725/statm: 62503 60060 192 642 0 61859 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 250012

[startup+282.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 17768
/proc/meminfo: memFree=31564784/32873844 swapFree=7372/7372
[pid=17725] ppid=17723 vsize=291672 CPUtime=282.2 cores=1,3,5,7
/proc/17725/stat : 17725 (bsolo) R 17723 17725 15469 0 -1 4202496 70638 0 0 0 28171 49 0 0 20 0 1 0 280463384 298672128 70473 33554432000 134512640 137138936 4288629792 4288628720 134542233 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17725/statm: 72918 70473 192 642 0 72274 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 291672

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 17768
/proc/meminfo: memFree=31518188/32873844 swapFree=7372/7372
[pid=17725] ppid=17723 vsize=335880 CPUtime=342.14 cores=1,3,5,7
/proc/17725/stat : 17725 (bsolo) R 17723 17725 15469 0 -1 4202496 81758 0 0 0 34158 56 0 0 20 0 1 0 280463384 343941120 81545 33554432000 134512640 137138936 4288629792 4288628720 134542480 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17725/statm: 83970 81545 192 642 0 83326 0
Current children cumulated CPU time (s) 342.14
Current children cumulated vsize (KiB) 335880

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17769
/proc/meminfo: memFree=31472088/32873844 swapFree=7372/7372
[pid=17725] ppid=17723 vsize=379940 CPUtime=402.1 cores=1,3,5,7
/proc/17725/stat : 17725 (bsolo) R 17723 17725 15469 0 -1 4202496 92814 0 0 0 40147 63 0 0 20 0 1 0 280463384 389058560 92554 33554432000 134512640 137138936 4288629792 4288628720 134542295 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17725/statm: 94985 92554 192 642 0 94341 0
Current children cumulated CPU time (s) 402.1
Current children cumulated vsize (KiB) 379940

[startup+462.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 17769
/proc/meminfo: memFree=31453048/32873844 swapFree=7372/7372
[pid=17725] ppid=17723 vsize=391524 CPUtime=462.07 cores=1,3,5,7
/proc/17725/stat : 17725 (bsolo) R 17723 17725 15469 0 -1 4202496 95816 0 0 0 46137 70 0 0 20 0 1 0 280463384 400920576 95899 33554432000 134512640 137138936 4288629792 4288628288 134618214 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17725/statm: 97881 95899 192 642 0 97237 0
Current children cumulated CPU time (s) 462.07
Current children cumulated vsize (KiB) 391524

[startup+522.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 17769
/proc/meminfo: memFree=31442440/32873844 swapFree=7372/7372
[pid=17725] ppid=17723 vsize=391524 CPUtime=522.05 cores=1,3,5,7
/proc/17725/stat : 17725 (bsolo) R 17723 17725 15469 0 -1 4202496 95816 0 0 0 52132 73 0 0 20 0 1 0 280463384 400920576 95899 33554432000 134512640 137138936 4288629792 4288628288 134618214 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17725/statm: 97881 95899 192 642 0 97237 0
Current children cumulated CPU time (s) 522.05
Current children cumulated vsize (KiB) 391524

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17769
/proc/meminfo: memFree=31452856/32873844 swapFree=7372/7372
[pid=17725] ppid=17723 vsize=391524 CPUtime=582.04 cores=1,3,5,7
/proc/17725/stat : 17725 (bsolo) R 17723 17725 15469 0 -1 4202496 95816 0 0 0 58127 77 0 0 20 0 1 0 280463384 400920576 95899 33554432000 134512640 137138936 4288629792 4288628720 134542490 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17725/statm: 97881 95899 192 642 0 97237 0
Current children cumulated CPU time (s) 582.04
Current children cumulated vsize (KiB) 391524

[startup+642.3 s]

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

/proc/meminfo: memFree=31225804/32873844 swapFree=7372/7372
[pid=17725] ppid=17723 vsize=620312 CPUtime=1061.92 cores=1,3,5,7
/proc/17725/stat : 17725 (bsolo) R 17723 17725 15469 0 -1 4202496 153083 0 0 0 106073 119 0 0 20 0 1 0 280463384 635199488 153104 33554432000 134512640 137138936 4288629792 4288628720 134542233 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17725/statm: 155078 153104 192 642 0 154434 0
Current children cumulated CPU time (s) 1061.92
Current children cumulated vsize (KiB) 620312

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17774
/proc/meminfo: memFree=31178712/32873844 swapFree=7372/7372
[pid=17725] ppid=17723 vsize=656932 CPUtime=1121.86 cores=1,3,5,7
/proc/17725/stat : 17725 (bsolo) R 17723 17725 15469 0 -1 4202496 162298 0 0 0 112062 124 0 0 20 0 1 0 280463384 672698368 162271 33554432000 134512640 137138936 4288629792 4288628720 134542220 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17725/statm: 164233 162271 192 642 0 163589 0
Current children cumulated CPU time (s) 1121.86
Current children cumulated vsize (KiB) 656932

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17774
/proc/meminfo: memFree=31140520/32873844 swapFree=7372/7372
[pid=17725] ppid=17723 vsize=692636 CPUtime=1181.83 cores=1,3,5,7
/proc/17725/stat : 17725 (bsolo) R 17723 17725 15469 0 -1 4202496 171243 0 0 0 118054 129 0 0 20 0 1 0 280463384 709259264 171185 33554432000 134512640 137138936 4288629792 4288628720 134542516 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17725/statm: 173159 171185 192 642 0 172515 0
Current children cumulated CPU time (s) 1181.83
Current children cumulated vsize (KiB) 692636

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17774
/proc/meminfo: memFree=31131092/32873844 swapFree=7372/7372
[pid=17725] ppid=17723 vsize=712676 CPUtime=1241.81 cores=1,3,5,7
/proc/17725/stat : 17725 (bsolo) R 17723 17725 15469 0 -1 4202496 176394 0 0 0 124046 135 0 0 20 0 1 0 280463384 729780224 176191 33554432000 134512640 137138936 4288629792 4288628720 134542761 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17725/statm: 178169 176191 192 642 0 177525 0
Current children cumulated CPU time (s) 1241.81
Current children cumulated vsize (KiB) 712676

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 17778
/proc/meminfo: memFree=31122776/32873844 swapFree=7372/7372
[pid=17725] ppid=17723 vsize=712676 CPUtime=1301.81 cores=1,3,5,7
/proc/17725/stat : 17725 (bsolo) R 17723 17725 15469 0 -1 4202496 176394 0 0 0 130042 139 0 0 20 0 1 0 280463384 729780224 176191 33554432000 134512640 137138936 4288629792 4288628720 134542233 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17725/statm: 178169 176191 192 642 0 177525 0
Current children cumulated CPU time (s) 1301.81
Current children cumulated vsize (KiB) 712676

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17778
/proc/meminfo: memFree=31120056/32873844 swapFree=7372/7372
[pid=17725] ppid=17723 vsize=712676 CPUtime=1361.8 cores=1,3,5,7
/proc/17725/stat : 17725 (bsolo) R 17723 17725 15469 0 -1 4202496 176394 0 0 0 136037 143 0 0 20 0 1 0 280463384 729780224 176191 33554432000 134512640 137138936 4288629792 4288628720 134542187 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17725/statm: 178169 176191 192 642 0 177525 0
Current children cumulated CPU time (s) 1361.8
Current children cumulated vsize (KiB) 712676

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17778
/proc/meminfo: memFree=31123032/32873844 swapFree=7372/7372
[pid=17725] ppid=17723 vsize=712676 CPUtime=1421.79 cores=1,3,5,7
/proc/17725/stat : 17725 (bsolo) R 17723 17725 15469 0 -1 4202496 176394 0 0 0 142033 146 0 0 20 0 1 0 280463384 729780224 176191 33554432000 134512640 137138936 4288629792 4288628288 134618214 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17725/statm: 178169 176191 192 642 0 177525 0
Current children cumulated CPU time (s) 1421.79
Current children cumulated vsize (KiB) 712676

[startup+1482.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 17778
/proc/meminfo: memFree=31131216/32873844 swapFree=7372/7372
[pid=17725] ppid=17723 vsize=712676 CPUtime=1481.78 cores=1,3,5,7
/proc/17725/stat : 17725 (bsolo) R 17723 17725 15469 0 -1 4202496 176394 0 0 0 148027 151 0 0 20 0 1 0 280463384 729780224 176191 33554432000 134512640 137138936 4288629792 4288628720 134542199 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17725/statm: 178169 176191 192 642 0 177525 0
Current children cumulated CPU time (s) 1481.78
Current children cumulated vsize (KiB) 712676

[startup+1542.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 17778
/proc/meminfo: memFree=31130968/32873844 swapFree=7372/7372
[pid=17725] ppid=17723 vsize=712676 CPUtime=1541.77 cores=1,3,5,7
/proc/17725/stat : 17725 (bsolo) R 17723 17725 15469 0 -1 4202496 176394 0 0 0 154023 154 0 0 20 0 1 0 280463384 729780224 176191 33554432000 134512640 137138936 4288629792 4288628628 136504021 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17725/statm: 178169 176191 192 642 0 177525 0
Current children cumulated CPU time (s) 1541.77
Current children cumulated vsize (KiB) 712676

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17779
/proc/meminfo: memFree=31120056/32873844 swapFree=7372/7372
[pid=17725] ppid=17723 vsize=712676 CPUtime=1601.76 cores=1,3,5,7
/proc/17725/stat : 17725 (bsolo) R 17723 17725 15469 0 -1 4202496 176394 0 0 0 160020 156 0 0 20 0 1 0 280463384 729780224 176191 33554432000 134512640 137138936 4288629792 4288628712 135984589 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17725/statm: 178169 176191 192 642 0 177525 0
Current children cumulated CPU time (s) 1601.76
Current children cumulated vsize (KiB) 712676

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17779
/proc/meminfo: memFree=31119896/32873844 swapFree=7372/7372
[pid=17725] ppid=17723 vsize=712676 CPUtime=1661.74 cores=1,3,5,7
/proc/17725/stat : 17725 (bsolo) R 17723 17725 15469 0 -1 4202496 176410 0 0 0 166015 159 0 0 20 0 1 0 280463384 729780224 176191 33554432000 134512640 137138936 4288629792 4288628720 134542199 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17725/statm: 178169 176191 192 642 0 177525 0
Current children cumulated CPU time (s) 1661.74
Current children cumulated vsize (KiB) 712676

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17779
/proc/meminfo: memFree=31122748/32873844 swapFree=7372/7372
[pid=17725] ppid=17723 vsize=712676 CPUtime=1721.73 cores=1,3,5,7
/proc/17725/stat : 17725 (bsolo) R 17723 17725 15469 0 -1 4202496 176410 0 0 0 172012 161 0 0 20 0 1 0 280463384 729780224 176191 33554432000 134512640 137138936 4288629792 4288628720 134542480 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17725/statm: 178169 176191 192 642 0 177525 0
Current children cumulated CPU time (s) 1721.73
Current children cumulated vsize (KiB) 712676

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17779
/proc/meminfo: memFree=31120020/32873844 swapFree=7372/7372
[pid=17725] ppid=17723 vsize=712676 CPUtime=1781.72 cores=1,3,5,7
/proc/17725/stat : 17725 (bsolo) R 17723 17725 15469 0 -1 4202496 176410 0 0 0 178009 163 0 0 20 0 1 0 280463384 729780224 176191 33554432000 134512640 137138936 4288629792 4288628652 136520952 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17725/statm: 178169 176191 192 642 0 177525 0
Current children cumulated CPU time (s) 1781.72
Current children cumulated vsize (KiB) 712676

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

[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17779
/proc/meminfo: memFree=31127336/32873844 swapFree=7372/7372
[pid=17725] ppid=17723 vsize=712676 CPUtime=1791.33 cores=1,3,5,7
/proc/17725/stat : 17725 (bsolo) R 17723 17725 15469 0 -1 4202496 176410 0 0 0 178970 163 0 0 20 0 1 0 280463384 729780224 176191 33554432000 134512640 137138936 4288629792 4288628712 135984589 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17725/statm: 178169 176191 192 642 0 177525 0
Current children cumulated CPU time (s) 1791.33
Current children cumulated vsize (KiB) 712676

[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17779
/proc/meminfo: memFree=31127460/32873844 swapFree=7372/7372
[pid=17725] ppid=17723 vsize=712676 CPUtime=1794.53 cores=1,3,5,7
/proc/17725/stat : 17725 (bsolo) R 17723 17725 15469 0 -1 4202496 176410 0 0 0 179290 163 0 0 20 0 1 0 280463384 729780224 176191 33554432000 134512640 137138936 4288629792 4288628720 134542202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17725/statm: 178169 176191 192 642 0 177525 0
Current children cumulated CPU time (s) 1794.53
Current children cumulated vsize (KiB) 712676

[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17779
/proc/meminfo: memFree=31119896/32873844 swapFree=7372/7372
[pid=17725] ppid=17723 vsize=712676 CPUtime=1796.12 cores=1,3,5,7
/proc/17725/stat : 17725 (bsolo) R 17723 17725 15469 0 -1 4202496 176410 0 0 0 179449 163 0 0 20 0 1 0 280463384 729780224 176191 33554432000 134512640 137138936 4288629792 4288628720 134542187 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17725/statm: 178169 176191 192 642 0 177525 0
Current children cumulated CPU time (s) 1796.12
Current children cumulated vsize (KiB) 712676

[startup+1797.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17779
/proc/meminfo: memFree=31127088/32873844 swapFree=7372/7372
[pid=17725] ppid=17723 vsize=712676 CPUtime=1796.92 cores=1,3,5,7
/proc/17725/stat : 17725 (bsolo) R 17723 17725 15469 0 -1 4202496 176410 0 0 0 179529 163 0 0 20 0 1 0 280463384 729780224 176191 33554432000 134512640 137138936 4288629792 4288628720 134542233 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17725/statm: 178169 176191 192 642 0 177525 0
Current children cumulated CPU time (s) 1796.92
Current children cumulated vsize (KiB) 712676

[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17779
/proc/meminfo: memFree=31127088/32873844 swapFree=7372/7372
[pid=17725] ppid=17723 vsize=712676 CPUtime=1797.72 cores=1,3,5,7
/proc/17725/stat : 17725 (bsolo) R 17723 17725 15469 0 -1 4202496 176410 0 0 0 179609 163 0 0 20 0 1 0 280463384 729780224 176191 33554432000 134512640 137138936 4288629792 4288628720 134542187 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17725/statm: 178169 176191 192 642 0 177525 0
Current children cumulated CPU time (s) 1797.72
Current children cumulated vsize (KiB) 712676

[startup+1798.51 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17779
/proc/meminfo: memFree=31130436/32873844 swapFree=7372/7372
[pid=17725] ppid=17723 vsize=712676 CPUtime=1797.92 cores=1,3,5,7
/proc/17725/stat : 17725 (bsolo) R 17723 17725 15469 0 -1 4202496 176410 0 0 0 179629 163 0 0 20 0 1 0 280463384 729780224 176191 33554432000 134512640 137138936 4288629792 4288628908 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17725/statm: 178169 176191 192 642 0 177525 0
Current children cumulated CPU time (s) 1797.92
Current children cumulated vsize (KiB) 712676

Child status: 0
Real time (s): 1798.59
CPU time (s): 1798.02
CPU user time (s): 1796.38
CPU system time (s): 1.63975
CPU usage (%): 99.9683
Max. virtual memory (cumulated for all children) (KiB): 713256

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.38
system time used= 1.63975
maximum resident set size= 705344
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 176411
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= 343
involuntary context switches= 1839

runsolver used 3.07453 second user time and 7.40487 second system time

The end

Launcher Data 

Begin job on node109 at 2012-05-27 20:29:08
IDJOB=3707788
IDBENCH=1870
IDSOLVER=2286
FILE ID=node109/3707788-1338143348
RUNJOBID= node109-1338140213-16699
PBS_JOBID= 14624511
Free space on /tmp= 71300 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-3707788-1338143348/watcher-3707788-1338143348 -o /tmp/evaluation-result-3707788-1338143348/solver-3707788-1338143348 -C 1800 -W 1900 -M 15500  bsolo -l2 -t1800 HOME/instance-3707788-1338143348.opb

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

MD5SUM BENCH= 7f40f8d513f22fc9adca96d8fdf626e2
RANDOM SEED=646212053

node109.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		: 2667.264
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	: 5334.52
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		: 2667.264
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		: 2667.264
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		: 2667.264
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		: 2667.264
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		: 2667.264
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	: 5331.91
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		: 2667.264
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.91
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		: 2667.264
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.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        31375900 kB
Buffers:           79928 kB
Cached:           145476 kB
SwapCached:          592 kB
Active:           642360 kB
Inactive:          88676 kB
Active(anon):     500232 kB
Inactive(anon):     7668 kB
Active(file):     142128 kB
Inactive(file):    81008 kB
Unevictable:        7372 kB
Mlocked:            7372 kB
SwapTotal:      67108856 kB
SwapFree:       67106288 kB
Dirty:              3860 kB
Writeback:             0 kB
AnonPages:        514268 kB
Mapped:            11120 kB
Shmem:                 8 kB
Slab:             625364 kB
SReclaimable:      67832 kB
SUnreclaim:       557532 kB
KernelStack:        1448 kB
PageTables:         5136 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     628720 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    495616 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= 71292 MiB
End job on node109 at 2012-05-27 20:59:07