Trace number 3463181

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.2SAT34 1798 1797.96

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_7_60_4.opb
MD5SUM8206de06d2228a9d751f3cf3a6d7aa05
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark9
Best CPU time to get the best result obtained on this benchmark1799.73
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 12
Optimality of the best value was proved NO
Number of variables172
Total number of constraints14
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints14
Minimum length of a constraint75
Maximum length of a constraint76
Number of terms in the objective function 112
Biggest coefficient in the objective function 128
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 3570
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 1531
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 5104
Number of bits of the biggest sum of numbers13
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.01	c bsolo beta version 3.2 - 23/05/2010 : 1630 GMT
0.00/0.01	c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID
0.00/0.01	c type "bsolo -h" for help
0.00/0.01	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.01	c Learning Strategy: Cardinality Constraint Learning
0.00/0.01	c Time Limit set to 1800
0.00/0.01	c Instance file HOME/instance-3463181-1307179341.opb
0.00/0.01	c File size is 10372 bytes.
0.00/0.01	c Highest Coefficient sum: 5104
0.00/0.01	c Parsing was ok!!
0.00/0.01	c Total parsing time: 0 s
0.00/0.01	c Var: 172 Constr: 14 0/0/14 Lit: 1060 Watch. Lit: 301
0.00/0.01	c Obj. Vars: 112 (65.1163 % of total variables)
0.00/0.01	c Pre-processing Time: 0.001 s
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c        0    172       14     1060   75      310    2120      0      0 0.00
0.00/0.01	c Switching off lower bounding mode.
0.00/0.01	o 1159
0.00/0.04	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.04	c        0    172       15     1172   78      731    2344      1      0 0.00
0.00/0.04	c      100    172      148    10588   71     1296    2579    134   5263 0.02
0.00/0.04	o 986
0.00/0.05	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.05	c      227    172      330    23382   70     2168    2344    316   5279 0.04
0.00/0.05	o 930
0.00/0.05	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.05	c      246    172      361    25235   69     2404    2344    347   5234 0.05
0.00/0.05	o 922
0.00/0.05	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.05	c      247    172      364    25520   70     2519    2344    350   5255 0.05
0.00/0.05	o 910
0.00/0.06	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.06	c      253    172      373    26195   70     2639    2344    359   5270 0.05
0.00/0.06	o 908
0.00/0.06	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.06	c      321    172      476    33172   69     3224    2344    462   5350 0.06
0.00/0.06	o 906
0.00/0.06	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.06	c      321    172      477    33284   69     3317    2344    463   5350 0.06
0.00/0.06	o 898
0.07/0.08	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.07/0.08	c      322    172      479    33491   69     3417    2344    465   5278 0.06
0.07/0.08	o 894
0.07/0.08	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.07/0.08	c      391    172      566    40048   70     3719    2344    552   4949 0.08
0.07/0.08	o 435
0.09/0.11	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.11	c      393    172      571    40421   70     3696    2344    557   4912 0.08
0.09/0.11	c      494    172      698    49793   71     3921    2579    684   4989 0.10
0.09/0.11	o 291
0.09/0.12	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.12	c      568    172      777    53612   68     4106    2344    763   5117 0.11
0.09/0.12	o 289
0.09/0.12	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.12	c      591    172      802    54881   68     4214    2344    788   5139 0.12
0.09/0.12	o 277
0.09/0.13	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.13	c      645    172      860    57371   66     4412    2344    846   5243 0.12
0.09/0.13	o 245
0.09/0.14	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.14	c      671    172      888    58647   66     4579    2344    874   5242 0.13
0.09/0.14	o 243
0.09/0.19	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.19	c      725    172      947    61666   65     4779    2344    933   5253 0.14
0.09/0.19	c      826    172     1058    67942   64     5019    2579   1044   5329 0.15
0.09/0.19	o 229
0.19/0.20	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.20	c      978    172     1242    80002   64     5587    2344   1228   5258 0.19
0.19/0.20	o 227
0.19/0.24	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.24	c     1037    172     1312    83740   63     5931    2344   1298   5263 0.20
0.19/0.24	c     1138    172     1426    88792   62     6214    2579   1412   5268 0.22
0.19/0.24	o 226
0.88/0.98	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.88/0.98	c     1253    172     1576    97772   62     6755    2344   1562   5220 0.24
0.88/0.98	c     1353    172     1688   103830   61     7012    2579   1674   5183 0.26
0.88/0.98	c     1603    172     1976   117218   59     7623    2837   1962   5056 0.32
0.88/0.98	c     2079    172     2544   144695   56     8892    3121   2530   4961 0.42
0.88/0.98	c     2892    172     1853    90839   49     4543    3434   1839   4657 0.62
0.88/0.98	c     4212    172     3318   160426   48     7533    3778   3304   4538 0.93
0.88/0.98	o 220
5.88/5.90	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
5.88/5.90	c     4404    172     3545   171669   48     8104    2344   3531   4489 0.98
5.88/5.90	c     4506    172     1300    59600   45     3313    2579   1286   4488 1.00
5.88/5.90	c     4756    172     1560    68754   44     3842    2837   1546   4573 1.04
5.88/5.90	c     5234    172     2103    95749   45     4945    3121   2089   4652 1.12
5.88/5.90	c     6047    172     2978   128551   43     6703    3434   2964   4787 1.26
5.88/5.90	c     7369    172     2913   140652   48     6646    3778   2899   4699 1.57
5.88/5.90	c     9450    172     3313   156455   47     7650    4156   3299   4821 1.96
5.88/5.90	c    12677    172     2746   121310   44     6282    4572   2732   4798 2.64
5.88/5.90	c    17613    172     3847   187892   48     8604    5030   3833   4574 3.85
5.88/5.90	c    25119    172     4657   200474   43    10120    5534   4643   4643 5.41
5.88/5.90	o 216
6.28/6.35	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
6.28/6.35	c    27444    172     4428   207036   46     9864    2344   4414   4655 5.89
6.28/6.35	c    27545    172     1301    57604   44     3349    2579   1287   4648 5.92
6.28/6.35	c    27795    172     1580    69679   44     3913    2837   1566   4654 5.97
6.28/6.35	c    28270    172     2100    90656   43     4951    3121   2086   4674 6.05
6.28/6.35	c    29083    172     3045   135716   44     6897    3434   3031   4674 6.22
6.28/6.35	o 203
6.38/6.42	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
6.38/6.42	c    29627    172     1903    85512   44     4706    2344   1889   4662 6.35
6.38/6.42	c    29727    172     2025    91154   45     4965    2579   2011   4661 6.38
6.38/6.42	o 202
6.38/6.47	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
6.38/6.47	c    29912    172     2233   100314   44     5550    2344   2219   4662 6.42
6.38/6.47	c    30013    172     2348   104997   44     5784    2579   2334   4661 6.44
6.38/6.47	o 198
6.50/6.57	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
6.50/6.57	c    30188    172     2562   117776   45     6495    2344   2548   4662 6.47
6.50/6.57	c    30288    172     1291    59653   46     3515    2579   1277   4665 6.49
6.50/6.57	c    30538    172     1550    70414   45     4057    2837   1536   4678 6.53
6.50/6.57	o 192
6.69/6.70	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
6.69/6.70	c    30779    172     1826    83854   45     4771    2752   1812   4681 6.57
6.69/6.70	c    30879    172     1943    88596   45     4994    3028   1929   4684 6.59
6.69/6.70	c    31129    172     2226   102303   45     5665    3331   2212   4690 6.64
6.69/6.70	o 187
6.69/6.72	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
6.69/6.72	c    31417    172     2566   118983   46     6477    2752   2552   4691 6.70
6.69/6.72	o 185
6.69/6.74	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
6.69/6.74	c    31509    172     2671   125818   47     6883    2752   2657   4691 6.72
6.69/6.74	c    31609    172     1391    65533   47     3596    3028   1377   4693 6.73
6.69/6.74	o 179
6.69/6.78	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
6.69/6.78	c    31645    172     1432    67753   47     3828    2344   1418   4693 6.74
6.69/6.78	c    31745    172     1547    76062   49     4166    2579   1533   4694 6.76
6.69/6.78	o 119
31.19/31.28	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
31.19/31.28	c    31832    172     1646    80002   48     4470    2344   1632   4696 6.78
31.19/31.28	c    31932    172     1760    88234   50     4787    2579   1746   4696 6.80
31.19/31.28	c    32182    170     2042   102237   50     5378    2837   2028   4701 6.84
31.19/31.28	c    32657    168     2535   123314   48     6389    3121   2521   4709 6.93
31.19/31.28	c    33470    167     1773    78014   44     4274    3434   1759   4716 7.10
31.19/31.28	c    34790    166     3121   130188   41     6968    3778   3107   4728 7.36
31.19/31.28	c    36871    166     3320   134586   40     7354    4156   3306   4733 7.79
31.19/31.28	c    40095    165     2402   104555   43     5543    4572   2388   4728 8.48
31.19/31.28	c    45032    164     2828   121659   43     6400    5030   2814   4713 9.55
31.19/31.28	c    52540    163     2867   114792   40     6471    5534   2853   4712 11.15
31.19/31.28	c    63901    163     3439   130318   37     7596    6088   3425   4760 13.42
31.19/31.28	c    81045    163     5726   225623   39    12167    6697   5712   4777 16.96
31.19/31.28	c   106864    163     5141   196866   38    10997    7367   5127   4734 22.57
31.19/31.28	c   145697    161     4322   166176   38     9437    8104   4308   4678 31.14
31.19/31.28	o 117
31.48/31.58	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
31.48/31.58	c   146342    161     5058   206672   40    11636    2322   5044   4679 31.27
31.48/31.58	c   146442    161     1296    61678   47     3668    2555   1282   4676 31.31
31.48/31.58	c   146692    161     1573    75462   47     4399    2811   1559   4677 31.36
31.48/31.58	c   147168    161     2066    95611   46     5449    3093   2052   4679 31.45
31.48/31.58	o 116
32.29/32.30	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
32.29/32.30	c   147894    160     2831   129075   45     7191    2320   2817   4682 31.58
32.29/32.30	c   147994    160     1294    56035   43     3314    2553   1280   4682 31.61
32.29/32.30	c   148244    160     1549    66879   43     3827    2809   1535   4684 31.65
32.29/32.30	c   148720    160     2057    89036   43     4861    3090   2043   4686 31.73
32.29/32.30	c   149533    160     2923   127674   43     6710    3400   2909   4687 31.90
32.29/32.30	c   150853    160     2551   103602   40     5819    3741   2537   4691 32.15
32.29/32.30	o 105
54.19/54.28	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
54.19/54.28	c   151523    160     3255   140597   43     7345    2320   3241   4691 32.30
54.19/54.28	c   151623    160     1293    59632   46     3304    2553   1279   4691 32.32
54.19/54.28	c   151873    160     1553    71785   46     3833    2809   1539   4691 32.37
54.19/54.28	c   152348    160     2048    93047   45     4830    3090   2034   4692 32.47
54.19/54.28	c   153161    160     2897   129987   44     6574    3400   2883   4692 32.64
54.19/54.28	c   154481    159     2513   111390   44     5782    3741   2499   4691 32.93
54.19/54.28	c   156562    159     2722   120134   44     6152    4116   2708   4691 33.37
54.19/54.28	c   159785    159     3929   151578   38     8552    4528   3915   4697 34.02
54.19/54.28	c   164722    159     4389   173515   39     9469    4981   4375   4712 34.95
54.19/54.28	c   172228    159     4453   179494   40     9606    5480   4439   4734 36.38
54.19/54.28	c   183589    159     4824   182710   37    10350    6029   4810   4765 38.53
54.19/54.28	c   200733    159     4071   168995   41     8831    6632   4057   4753 42.23
54.19/54.28	c   226553    159     3579   151583   42     7855    7296   3565   4742 47.77
54.19/54.28	o 97
58.20/58.22	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
58.20/58.22	c   256348    158     4536   185122   40     9877    2316   4522   4722 54.28
58.20/58.22	c   256448    158     1295    54142   41     3328    2548   1281   4720 54.33
58.20/58.22	c   256698    158     1553    64627   41     3841    2803   1539   4720 54.37
58.20/58.22	c   257173    158     2035    84145   41     4823    3084   2021   4721 54.47
58.20/58.22	c   257988    158     2936   133896   45     7320    3393   2922   4723 54.62
58.20/58.22	c   259308    158     2548   113567   44     6024    3733   2534   4725 54.87
58.20/58.22	c   261389    158     2801   120422   42     6382    4107   2787   4727 55.29
58.20/58.22	c   264612    158     4006   165229   41     8774    4518   3992   4728 55.96
58.20/58.22	c   269549    158     4396   193245   43     9537    4970   4382   4725 57.04
58.20/58.22	o 95
58.20/58.26	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
58.20/58.26	c   274548    158     4493   209755   46    10786    2316   4479   4715 58.22
58.20/58.26	c   274648    158     1289    59111   45     3706    2548   1275   4714 58.25
58.20/58.26	o 94
1210.12/1210.15	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1210.12/1210.15	c   274703    158     1352    63113   46     4030    2316   1338   4714 58.27
1210.12/1210.15	c   274803    158     1452    66273   45     4219    2548   1438   4715 58.28
1210.12/1210.15	c   275053    158     1715    76087   44     4752    2803   1701   4715 58.32
1210.12/1210.15	c   275528    158     2214    93766   42     5747    3084   2200   4717 58.40
1210.12/1210.15	c   276342    158     3055   123248   40     7431    3393   3041   4721 58.53
1210.12/1210.15	c   277663    158     2700    97160   35     6101    3733   2686   4726 58.74
1210.12/1210.15	c   279744    158     2953   106241   35     6615    4107   2939   4734 59.09
1210.12/1210.15	c   282968    158     2121    76978   36     4939    4518   2107   4744 59.64
1210.12/1210.15	c   287904    158     2674   103080   38     6049    4970   2660   4759 60.49
1210.12/1210.15	c   295410    158     2851   109835   38     6404    5468   2837   4780 61.80
1210.12/1210.15	c   306771    158     3709   144816   39     8140    6015   3695   4800 63.90
1210.12/1210.15	c   323916    158     3327   142698   42     7376    6617   3313   4813 67.29
1210.12/1210.15	c   349735    158     3345   154406   46     7457    7279   3331   4733 73.89
1210.12/1210.15	c   388568    158     6265   294252   46    13297    8007   6251   4612 84.24
1210.12/1210.15	c   446920    158     6190   275558   44    13213    8808   6176   4561 97.97
1210.12/1210.15	c   534552    158     7863   306232   38    16483    9689   7849   4355 122.73
1210.12/1210.15	c   666104    158     6995   261202   37    14723   10658   6981   4318 154.25
1210.12/1210.15	c   863537    158     8849   330310   37    18384   11724   8835   4368 197.68
1210.12/1210.15	c  1159789    158     9247   372229   40    19204   12897   9233   4328 267.91
1210.12/1210.15	c  1604272    158     7619   315220   41    16042   14187   7605   4151 386.42
1210.12/1210.15	c  2271099    158    13741   515236   37    28185   15606  13727   3982 570.32
1210.12/1210.15	c  3271445    158    10174   408618   40    21106   17167  10160   3788 863.52
1210.12/1210.15	o 93
1222.03/1222.06	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1222.03/1222.06	c  4414113    158    10843   472473   43    22689    2316  10829   3647 1210.18
1222.03/1222.06	c  4414213    158     1303    51189   39     3411    2548   1289   3646 1210.40
1222.03/1222.06	c  4414463    158     1562    61561   39     3931    2803   1548   3646 1210.45
1222.03/1222.06	c  4414938    158     2050    78469   38     4907    3084   2036   3647 1210.52
1222.03/1222.06	c  4415751    158     2897   109820   37     6615    3393   2883   3647 1210.64
1222.03/1222.06	c  4417072    158     2520    91352   36     5735    3733   2506   3647 1210.87
1222.03/1222.06	c  4419153    158     2775   106282   38     6249    4107   2761   3648 1211.22
1222.03/1222.06	c  4422376    158     4031   161261   40     8789    4518   4017   3649 1211.82
1222.03/1222.06	c  4427312    158     2288    84372   36     5271    4970   2274   3650 1212.73
1222.03/1222.06	c  4434818    158     2540    97234   38     5781    5468   2526   3652 1214.16
1222.03/1222.06	c  4446179    158     3158   130383   41     7017    6015   3144   3655 1216.40
1222.03/1222.06	c  4463323    158     5574   221263   39    11908    6617   5560   3659 1219.69
1222.03/1222.06	o 90
1222.13/1222.14	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1222.13/1222.14	c  4475024    158     4441   173467   39     9753    2316   4427   3661 1222.09
1222.13/1222.14	c  4475124    158     1296    51898   40     3420    2548   1282   3661 1222.12
1222.13/1222.14	c  4475374    158     1550    60930   39     3920    2803   1536   3661 1222.16
1222.13/1222.14	o 89
1222.13/1222.14	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1222.13/1222.14	c  4475392    158     1570    62003   39     4060    2316   1556   3661 1222.17
1222.13/1222.14	o 81
1223.42/1223.41	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1223.42/1223.41	c  4475403    158     1582    62553   39     4183    2316   1568   3661 1222.17
1223.42/1223.41	c  4475503    158     1687    67116   39     4421    2548   1673   3661 1222.18
1223.42/1223.41	c  4475753    158     1943    75949   39     4952    2803   1929   3661 1222.22
1223.42/1223.41	c  4476228    158     2447    95774   39     5967    3084   2433   3662 1222.31
1223.42/1223.41	c  4477041    158     1705    62486   36     4104    3393   1691   3662 1222.45
1223.42/1223.41	c  4478361    158     3072   119217   38     6842    3733   3058   3662 1222.70
1223.42/1223.41	c  4480443    158     3294   130845   39     7332    4107   3280   3663 1223.10
1223.42/1223.41	o 79
1223.42/1223.42	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1223.42/1223.42	c  4482291    158     3093   114567   37     7022    2316   3079   3663 1223.44
1223.42/1223.42	o 77
1242.81/1242.84	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1242.81/1242.84	c  4482302    158     1203    43671   36     3254    2316   1189   3663 1223.44
1242.81/1242.84	c  4482403    158     1312    49785   37     3492    2548   1298   3663 1223.46
1242.81/1242.84	c  4482653    158     1569    58461   37     4016    2803   1555   3663 1223.50
1242.81/1242.84	c  4483128    158     2057    76172   37     4991    3084   2043   3663 1223.58
1242.81/1242.84	c  4483941    158     2885   105422   36     6645    3393   2871   3664 1223.71
1242.81/1242.84	c  4485262    158     2495    88180   35     5676    3733   2481   3664 1223.94
1242.81/1242.84	c  4487343    158     2762   107089   38     6232    4107   2748   3665 1224.32
1242.81/1242.84	c  4490566    158     4000   151537   37     8710    4518   3986   3666 1224.89
1242.81/1242.84	c  4495502    158     4496   157833   35     9700    4970   4482   3667 1225.70
1242.81/1242.84	c  4503008    158     4572   162190   35     9828    5468   4558   3669 1226.99
1242.81/1242.84	c  4514369    158     5181   180177   34    11067    6015   5167   3673 1229.04
1242.81/1242.84	c  4531513    158     4448   172785   38     9625    6617   4434   3677 1232.34
1242.81/1242.84	c  4557334    158     4168   161141   38     9087    7279   4154   3683 1237.37
1242.81/1242.84	o 72
1242.81/1242.87	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1242.81/1242.87	c  4583970    158     5616   208477   37    12070    2316   5602   3688 1242.87
1242.81/1242.87	o 68
1242.81/1242.88	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1242.81/1242.88	c  4583979    158     1197    49074   40     3184    2316   1183   3688 1242.90
1242.81/1242.88	o 66
1242.81/1242.88	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1242.81/1242.88	c  4584033    158     1255    52383   41     3406    2316   1241   3688 1242.91
1242.81/1242.88	o 64
1243.22/1243.25	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1243.22/1243.25	c  4584061    158     1284    53401   41     3556    2316   1270   3688 1242.91
1243.22/1243.25	c  4584161    151     1394    59567   42     3796    2548   1380   3688 1242.93
1243.22/1243.25	c  4584411    147     1650    71011   43     4315    2803   1636   3688 1242.98
1243.22/1243.25	c  4584887    146     2136    93297   43     5292    3084   2122   3688 1243.08
1243.22/1243.25	c  4585700    144     2959   130043   43     6963    3393   2945   3688 1243.26
1243.22/1243.25	o 62
1244.51/1244.51	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1244.51/1244.51	c  4585790    144     3056   135232   44     7302    2288   3042   3688 1243.28
1244.51/1244.51	c  4585890    144     1288    58301   45     3327    2517   1274   3688 1243.30
1244.51/1244.51	c  4586140    144     1551    70143   45     3864    2769   1537   3688 1243.35
1244.51/1244.51	c  4586617    144     2044    92638   45     4904    3046   2030   3688 1243.44
1244.51/1244.51	c  4587430    144     2875   128682   44     6571    3351   2861   3688 1243.62
1244.51/1244.51	c  4588750    144     2529   111507   44     5800    3687   2515   3689 1243.89
1244.51/1244.51	c  4590831    144     2798   124281   44     6442    4056   2784   3689 1244.35
1244.51/1244.51	o 61
1244.51/1244.55	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1244.51/1244.55	c  4591711    144     3712   166823   44     8544    2288   3698   3689 1244.54
1244.51/1244.55	c  4591811    144     1297    61371   47     3520    2517   1283   3689 1244.57
1244.51/1244.55	o 53
1276.52/1276.54	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1276.52/1276.54	c  4591885    144     1374    65247   47     3773    2288   1360   3689 1244.58
1276.52/1276.54	c  4591986    144     1490    72245   48     4095    2517   1476   3689 1244.60
1276.52/1276.54	c  4592236    144     1750    84067   48     4658    2769   1736   3689 1244.65
1276.52/1276.54	c  4592711    144     2230   105726   47     5619    3046   2216   3689 1244.74
1276.52/1276.54	c  4593524    144     3056   142424   46     7272    3351   3042   3689 1244.91
1276.52/1276.54	c  4594844    144     2680   120141   44     6031    3687   2666   3690 1245.18
1276.52/1276.54	c  4596926    144     2890   134243   46     6447    4056   2876   3690 1245.62
1276.52/1276.54	c  4600149    144     4078   189627   46     8829    4462   4064   3691 1246.31
1276.52/1276.54	c  4605085    144     4497   206874   46     9671    4909   4483   3691 1247.43
1276.52/1276.54	c  4612591    144     4587   221382   48     9884    5400   4573   3692 1249.09
1276.52/1276.54	c  4623952    144     5044   239316   47    10763    5941   5030   3693 1251.77
1276.52/1276.54	c  4641096    144     4296   211006   49     9274    6536   4282   3695 1255.94
1276.52/1276.54	c  4666915    144     3902   185267   47     8494    7190   3888   3697 1262.21
1276.52/1276.54	c  4705747    144     6865   320538   46    14421    7910   6851   3699 1272.09
1276.52/1276.54	o 52
1279.62/1279.60	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1279.62/1279.60	c  4722588    144     3998   184732   46     8689    2288   3984   3699 1276.63
1279.62/1279.60	c  4722688    144     1287    59875   46     3262    2517   1273   3699 1276.67
1279.62/1279.60	c  4722940    144     1541    70792   45     3779    2769   1527   3699 1276.72
1279.62/1279.60	c  4723415    144     2026    92696   45     4751    3046   2012   3699 1276.82
1279.62/1279.60	c  4724228    144     2854   129829   45     6405    3351   2840   3699 1276.99
1279.62/1279.60	c  4725548    144     2490   113524   45     5670    3687   2476   3699 1277.28
1279.62/1279.60	c  4727630    144     2717   123106   45     6108    4056   2703   3699 1277.74
1279.62/1279.60	c  4730853    144     3903   179451   45     8484    4462   3889   3700 1278.46
1279.62/1279.60	c  4735789    144     4396   194616   44     9467    4909   4382   3701 1279.57
1279.62/1279.60	o 51
1279.62/1279.63	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1279.62/1279.63	c  4735998    144     4614   204564   44     9997    2288   4600   3701 1279.63
1279.62/1279.63	c  4736098    144     1304    60077   46     3408    2517   1290   3701 1279.66
1279.62/1279.63	o 49
1279.62/1279.63	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1279.62/1279.63	c  4736102    144     1311    60466   46     3519    2288   1297   3701 1279.66
1279.62/1279.63	o 45
1279.62/1279.64	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1279.62/1279.64	c  4736106    144     1316    60822   46     3610    2288   1302   3701 1279.66
1279.62/1279.64	o 43
1283.82/1283.81	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1283.82/1283.81	c  4736163    144     1385    65133   47     3865    2288   1371   3701 1279.67
1283.82/1283.81	c  4736263    144     1494    71010   47     4126    2517   1480   3701 1279.69
1283.82/1283.81	c  4736513    144     1747    81655   46     4632    2769   1733   3701 1279.73
1283.82/1283.81	c  4736989    144     2230   101931   45     5600    3046   2216   3701 1279.82
1283.82/1283.81	c  4737802    144     3056   137306   44     7251    3351   3042   3701 1279.98
1283.82/1283.81	c  4739122    144     2667   115835   43     6005    3687   2653   3701 1280.24
1283.82/1283.81	c  4741203    144     2878   125300   43     6420    4056   2864   3702 1280.67
1283.82/1283.81	c  4744426    144     4065   176185   43     8806    4462   4051   3702 1281.31
1283.82/1283.81	c  4749362    144     4479   195058   43     9638    4909   4465   3703 1282.38
1283.82/1283.81	o 34
1797.93/1797.96	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.93/1797.96	c  4756034    144     3767   158156   41     8386    2288   3753   3704 1283.84
1797.93/1797.96	c  4756134    144     1288    52728   40     3332    2517   1274   3704 1283.87
1797.93/1797.96	c  4756384    144     1539    62877   40     3843    2769   1525   3704 1283.92
1797.93/1797.96	c  4756860    144     2021    83223   41     4802    3046   2007   3704 1284.02
1797.93/1797.96	c  4757673    144     2851   117540   41     6459    3351   2837   3704 1284.17
1797.93/1797.96	c  4758993    144     2469   102025   41     5611    3687   2455   3705 1284.44
1797.93/1797.96	c  4761075    144     2680   113928   42     6027    4056   2666   3705 1284.87
1797.93/1797.96	c  4764299    144     3844   161153   41     8334    4462   3830   3706 1285.54
1797.93/1797.96	c  4769236    144     4270   174606   40     9209    4909   4256   3706 1286.55
1797.93/1797.96	c  4776742    144     4338   176319   40     9353    5400   4324   3708 1288.13
1797.93/1797.96	c  4788103    144     4824   206119   42    10312    5941   4810   3710 1290.52
1797.93/1797.96	c  4805247    144     4041   168002   41     8753    6536   4027   3712 1294.33
1797.93/1797.96	c  4831066    144     3588   163690   45     7852    7190   3574   3715 1300.14
1797.93/1797.96	c  4869898    144     6322   266489   42    13310    7910   6308   3720 1308.99
1797.93/1797.96	c  4928252    144     5029   220963   43    10731    8702   5015   3725 1322.99
1797.93/1797.96	c  5015884    144     5190   242195   46    11051    9573   5176   3732 1343.97
1797.93/1797.96	c  5147436    144     7003   301717   43    14668   10531   6989   3737 1377.29
1797.93/1797.96	c  5344869    144     9387   422921   45    19471   11585   9373   3737 1430.02
1797.93/1797.96	c  5641121    144     9991   427970   42    20674   12744   9977   3724 1514.74
1797.93/1797.96	c  6085604    144     7172   296555   41    15011   14019   7158   3692 1647.93
1797.93/1797.96	c Resources Exceeded
1797.93/1797.96	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 x25 -x26 -x27 x28 -x29 -x30 -x31 -x32 -x33 x34 x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 x58 x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 x74 x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 x90 -x91 -x92 -x93 -x94 -x95 -x96 x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 x106 -x107 -x108 -x109 -x110 -x111 -x112 x113 x114 x115 -x116 x117 -x118 x119 -x120 x121 -x122 -x123 x124 -x125 -x126 -x127 x128 x129 x130 -x131 x132 -x133 -x134 -x135 x136 x137 x138 -x139 -x140 -x141 -x142 -x143 x144 x145 -x146 x147 -x148 x149 -x150 -x151 -x152 x153 -x154 x155 x156 x157 x158 -x159 -x160 x161 x162 -x163 x164 -x165 x166 x167 -x168 x169 x170 -x171 x172 
1797.93/1797.96	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.93/1797.96	c  237  6584668 117854  6730059     7421   333519   7407   3662 1798.00
1797.93/1797.96	c Objective: 34
1797.93/1797.96	s SATISFIABLE
1797.93/1797.96	c Total time: 1798 s

Verifier Data 

OK	34

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-3463181-1307179341/watcher-3463181-1307179341 -o /tmp/evaluation-result-3463181-1307179341/solver-3463181-1307179341 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3463181-1307179341.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.00 2.01 2.00 3/446 24016
/proc/meminfo: memFree=30671144/32950928 swapFree=34365992/67111528
[pid=24016] ppid=24014 vsize=18604 CPUtime=0 cores=1,3,5,7
/proc/24016/stat : 24016 (bsolo) R 24014 24016 22425 0 -1 4202496 301 0 0 0 0 0 0 0 25 0 1 0 829532885 19050496 253 33554432000 134512640 137138936 4294378752 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24016/statm: 4651 253 192 642 0 4007 0

[startup+0.075262 s]
/proc/loadavg: 2.00 2.01 2.00 3/446 24016
/proc/meminfo: memFree=30671144/32950928 swapFree=34365992/67111528
[pid=24016] ppid=24014 vsize=11304 CPUtime=0.07 cores=1,3,5,7
/proc/24016/stat : 24016 (bsolo) R 24014 24016 22425 0 -1 4202496 430 0 0 0 7 0 0 0 25 0 1 0 829532885 11575296 382 33554432000 134512640 137138936 4294378752 18446744073709551615 134575044 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24016/statm: 2826 382 192 642 0 2182 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 11304

[startup+0.100256 s]
/proc/loadavg: 2.00 2.01 2.00 3/446 24016
/proc/meminfo: memFree=30671144/32950928 swapFree=34365992/67111528
[pid=24016] ppid=24014 vsize=11432 CPUtime=0.09 cores=1,3,5,7
/proc/24016/stat : 24016 (bsolo) R 24014 24016 22425 0 -1 4202496 470 0 0 0 9 0 0 0 25 0 1 0 829532885 11706368 422 33554432000 134512640 137138936 4294378752 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24016/statm: 2858 422 192 642 0 2214 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11432

[startup+0.300221 s]
/proc/loadavg: 2.00 2.01 2.00 3/446 24016
/proc/meminfo: memFree=30671144/32950928 swapFree=34365992/67111528
[pid=24016] ppid=24014 vsize=12428 CPUtime=0.29 cores=1,3,5,7
/proc/24016/stat : 24016 (bsolo) R 24014 24016 22425 0 -1 4202496 716 0 0 0 29 0 0 0 25 0 1 0 829532885 12726272 668 33554432000 134512640 137138936 4294378752 18446744073709551615 134599780 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24016/statm: 3107 669 192 642 0 2463 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12428

[startup+0.700151 s]
/proc/loadavg: 2.00 2.01 2.00 3/446 24016
/proc/meminfo: memFree=30671144/32950928 swapFree=34365992/67111528
[pid=24016] ppid=24014 vsize=13448 CPUtime=0.68 cores=1,3,5,7
/proc/24016/stat : 24016 (bsolo) R 24014 24016 22425 0 -1 4202496 966 0 0 0 68 0 0 0 25 0 1 0 829532885 13770752 918 33554432000 134512640 137138936 4294378752 18446744073709551615 134618947 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24016/statm: 3362 918 192 642 0 2718 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 13448

[startup+1.50101 s]
/proc/loadavg: 2.00 2.01 2.00 3/447 24017
/proc/meminfo: memFree=30667664/32950928 swapFree=34365992/67111528
[pid=24016] ppid=24014 vsize=13448 CPUtime=1.49 cores=1,3,5,7
/proc/24016/stat : 24016 (bsolo) R 24014 24016 22425 0 -1 4202496 966 0 0 0 148 1 0 0 25 0 1 0 829532885 13770752 918 33554432000 134512640 137138936 4294378752 18446744073709551615 134542237 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24016/statm: 3362 918 192 642 0 2718 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13448

[startup+3.10079 s]
/proc/loadavg: 2.00 2.01 2.00 3/447 24017
/proc/meminfo: memFree=30666392/32950928 swapFree=34365992/67111528
[pid=24016] ppid=24014 vsize=13940 CPUtime=3.08 cores=1,3,5,7
/proc/24016/stat : 24016 (bsolo) R 24014 24016 22425 0 -1 4202496 1102 0 0 0 307 1 0 0 25 0 1 0 829532885 14274560 1054 33554432000 134512640 137138936 4294378752 18446744073709551615 136511176 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24016/statm: 3485 1054 192 642 0 2841 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 13940

[startup+6.30023 s]
/proc/loadavg: 2.00 2.01 2.00 3/447 24017
/proc/meminfo: memFree=30665536/32950928 swapFree=34365992/67111528
[pid=24016] ppid=24014 vsize=14572 CPUtime=6.28 cores=1,3,5,7
/proc/24016/stat : 24016 (bsolo) R 24014 24016 22425 0 -1 4202496 1245 0 0 0 625 3 0 0 25 0 1 0 829532885 14921728 1197 33554432000 134512640 137138936 4294378752 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24016/statm: 3643 1197 192 642 0 2999 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 14572

[startup+12.7011 s]
/proc/loadavg: 2.00 2.01 2.00 3/447 24017
/proc/meminfo: memFree=30664820/32950928 swapFree=34365992/67111528
[pid=24016] ppid=24014 vsize=14572 CPUtime=12.69 cores=1,3,5,7
/proc/24016/stat : 24016 (bsolo) R 24014 24016 22425 0 -1 4202496 1245 0 0 0 1264 5 0 0 25 0 1 0 829532885 14921728 1197 33554432000 134512640 137138936 4294378752 18446744073709551615 134542307 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24016/statm: 3643 1197 192 642 0 2999 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 14572

[startup+25.5009 s]
/proc/loadavg: 2.00 2.01 2.00 3/447 24018
/proc/meminfo: memFree=30664204/32950928 swapFree=34365992/67111528
[pid=24016] ppid=24014 vsize=15568 CPUtime=25.49 cores=1,3,5,7
/proc/24016/stat : 24016 (bsolo) R 24014 24016 22425 0 -1 4202496 1490 0 0 0 2538 11 0 0 25 0 1 0 829532885 15941632 1442 33554432000 134512640 137138936 4294378752 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24016/statm: 3892 1442 192 642 0 3248 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 15568

[startup+51.1003 s]
/proc/loadavg: 2.00 2.01 2.00 3/447 24019
/proc/meminfo: memFree=30663080/32950928 swapFree=34365992/67111528
[pid=24016] ppid=24014 vsize=15664 CPUtime=51.09 cores=1,3,5,7
/proc/24016/stat : 24016 (bsolo) R 24014 24016 22425 0 -1 4202496 1537 0 0 0 5086 23 0 0 25 0 1 0 829532885 16039936 1476 33554432000 134512640 137138936 4294378752 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24016/statm: 3916 1476 192 642 0 3272 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 15664

[startup+102.317 s]
/proc/loadavg: 2.00 2.00 2.00 3/447 24074
/proc/meminfo: memFree=31256620/32950928 swapFree=34365992/67111528
[pid=24016] ppid=24014 vsize=17148 CPUtime=102.3 cores=1,3,5,7
/proc/24016/stat : 24016 (bsolo) R 24014 24016 22425 0 -1 4202496 1901 0 0 0 10187 43 0 0 25 0 1 0 829532885 17559552 1840 33554432000 134512640 137138936 4294378752 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24016/statm: 4287 1840 192 642 0 3643 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 17148

[startup+162.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/447 24075
/proc/meminfo: memFree=31220184/32950928 swapFree=34365992/67111528
[pid=24016] ppid=24014 vsize=17528 CPUtime=162.29 cores=1,3,5,7
/proc/24016/stat : 24016 (bsolo) R 24014 24016 22425 0 -1 4202496 2013 0 0 0 16161 68 0 0 25 0 1 0 829532885 17948672 1952 33554432000 134512640 137138936 4294378752 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24016/statm: 4382 1952 192 642 0 3738 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 17528

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/447 24077
/proc/meminfo: memFree=31192264/32950928 swapFree=34365992/67111528
[pid=24016] ppid=24014 vsize=18168 CPUtime=222.29 cores=1,3,5,7
/proc/24016/stat : 24016 (bsolo) R 24014 24016 22425 0 -1 4202496 2172 0 0 0 22136 93 0 0 25 0 1 0 829532885 18604032 2097 33554432000 134512640 137138936 4294378752 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24016/statm: 4542 2097 192 642 0 3898 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 18168

[startup+282.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/447 24079
/proc/meminfo: memFree=31166456/32950928 swapFree=34365992/67111528
[pid=24016] ppid=24014 vsize=18728 CPUtime=282.29 cores=1,3,5,7
/proc/24016/stat : 24016 (bsolo) R 24014 24016 22425 0 -1 4202496 2330 0 0 0 28114 115 0 0 25 0 1 0 829532885 19177472 2255 33554432000 134512640 137138936 4294378752 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24016/statm: 4682 2255 192 642 0 4038 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 18728

[startup+342.301 s]
/proc/loadavg: 2.10 2.03 2.01 3/447 24080
/proc/meminfo: memFree=31130224/32950928 swapFree=34365992/67111528
[pid=24016] ppid=24014 vsize=19276 CPUtime=342.29 cores=1,3,5,7
/proc/24016/stat : 24016 (bsolo) R 24014 24016 22425 0 -1 4202496 2499 0 0 0 34090 139 0 0 25 0 1 0 829532885 19738624 2381 33554432000 134512640 137138936 4294378752 18446744073709551615 134542752 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24016/statm: 4819 2381 192 642 0 4175 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 19276

[startup+402.3 s]
/proc/loadavg: 2.08 2.04 2.01 3/447 24082
/proc/meminfo: memFree=31104284/32950928 swapFree=34365992/67111528
[pid=24016] ppid=24014 vsize=19912 CPUtime=402.3 cores=1,3,5,7
/proc/24016/stat : 24016 (bsolo) R 24014 24016 22425 0 -1 4202496 2673 0 0 0 40068 162 0 0 25 0 1 0 829532885 20389888 2552 33554432000 134512640 137138936 4294378752 18446744073709551615 134606670 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24016/statm: 4978 2552 192 642 0 4334 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 19912

[startup+462.301 s]
/proc/loadavg: 2.03 2.03 2.00 3/447 24083
/proc/meminfo: memFree=31083924/32950928 swapFree=34365992/67111528
[pid=24016] ppid=24014 vsize=20324 CPUtime=462.3 cores=1,3,5,7
/proc/24016/stat : 24016 (bsolo) R 24014 24016 22425 0 -1 4202496 2759 0 0 0 46049 181 0 0 25 0 1 0 829532885 20811776 2638 33554432000 134512640 137138936 4294378752 18446744073709551615 134575640 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24016/statm: 5081 2638 192 642 0 4437 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 20324

[startup+522.3 s]
/proc/loadavg: 2.07 2.04 2.00 3/447 24085
/proc/meminfo: memFree=31067164/32950928 swapFree=34365992/67111528
[pid=24016] ppid=24014 vsize=20656 CPUtime=522.3 cores=1,3,5,7
/proc/24016/stat : 24016 (bsolo) R 24014 24016 22425 0 -1 4202496 2901 0 0 0 52029 201 0 0 25 0 1 0 829532885 21151744 2739 33554432000 134512640 137138936 4294378752 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24016/statm: 5164 2739 192 642 0 4520 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 20656

[startup+582.301 s]
/proc/loadavg: 2.08 2.04 2.00 3/447 24087
/proc/meminfo: memFree=31051396/32950928 swapFree=34365992/67111528
[pid=24016] ppid=24014 vsize=21136 CPUtime=582.3 cores=1,3,5,7
/proc/24016/stat : 24016 (bsolo) R 24014 24016 22425 0 -1 4202496 3077 0 0 0 58010 220 0 0 25 0 1 0 829532885 21643264 2842 33554432000 134512640 137138936 4294378752 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24016/statm: 5284 2842 192 642 0 4640 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 21136

[startup+642.3 s]

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

/proc/meminfo: memFree=30915900/32950928 swapFree=34365992/67111528
[pid=24016] ppid=24014 vsize=22356 CPUtime=1062.31 cores=1,3,5,7
/proc/24016/stat : 24016 (bsolo) R 24014 24016 22425 0 -1 4202496 3407 0 0 0 105855 376 0 0 25 0 1 0 829532885 22892544 3153 33554432000 134512640 137138936 4294378752 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24016/statm: 5589 3153 192 642 0 4945 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 22356

[startup+1122.3 s]
/proc/loadavg: 2.15 2.06 2.01 3/447 24101
/proc/meminfo: memFree=30903848/32950928 swapFree=34365992/67111528
[pid=24016] ppid=24014 vsize=22264 CPUtime=1122.32 cores=1,3,5,7
/proc/24016/stat : 24016 (bsolo) R 24014 24016 22425 0 -1 4202496 3407 0 0 0 111836 396 0 0 25 0 1 0 829532885 22798336 3141 33554432000 134512640 137138936 4294378752 18446744073709551615 136500251 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24016/statm: 5566 3141 192 642 0 4922 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 22264

[startup+1182.3 s]
/proc/loadavg: 2.05 2.05 2.00 3/447 24103
/proc/meminfo: memFree=30890800/32950928 swapFree=34365992/67111528
[pid=24016] ppid=24014 vsize=22260 CPUtime=1182.31 cores=1,3,5,7
/proc/24016/stat : 24016 (bsolo) R 24014 24016 22425 0 -1 4202496 3407 0 0 0 117816 415 0 0 25 0 1 0 829532885 22794240 3140 33554432000 134512640 137138936 4294378752 18446744073709551615 136501673 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24016/statm: 5565 3140 192 642 0 4921 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 22260

[startup+1242.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/447 24104
/proc/meminfo: memFree=30879488/32950928 swapFree=34365992/67111528
[pid=24016] ppid=24014 vsize=21920 CPUtime=1242.31 cores=1,3,5,7
/proc/24016/stat : 24016 (bsolo) R 24014 24016 22425 0 -1 4202496 3460 0 0 0 123794 437 0 0 25 0 1 0 829532885 22446080 3055 33554432000 134512640 137138936 4294378752 18446744073709551615 136511195 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24016/statm: 5480 3055 192 642 0 4836 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 21920

[startup+1302.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/447 24106
/proc/meminfo: memFree=30867064/32950928 swapFree=34365992/67111528
[pid=24016] ppid=24014 vsize=21904 CPUtime=1302.33 cores=1,3,5,7
/proc/24016/stat : 24016 (bsolo) R 24014 24016 22425 0 -1 4202496 3460 0 0 0 129772 461 0 0 25 0 1 0 829532885 22429696 3051 33554432000 134512640 137138936 4294378752 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24016/statm: 5476 3051 192 642 0 4832 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 21904

[startup+1362.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/447 24107
/proc/meminfo: memFree=30853896/32950928 swapFree=34365992/67111528
[pid=24016] ppid=24014 vsize=21904 CPUtime=1362.32 cores=1,3,5,7
/proc/24016/stat : 24016 (bsolo) R 24014 24016 22425 0 -1 4202496 3460 0 0 0 135748 484 0 0 25 0 1 0 829532885 22429696 3051 33554432000 134512640 137138936 4294378752 18446744073709551615 134607571 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24016/statm: 5476 3051 192 642 0 4832 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 21904

[startup+1422.32 s]
/proc/loadavg: 2.00 2.02 2.00 3/447 24109
/proc/meminfo: memFree=30840608/32950928 swapFree=34365992/67111528
[pid=24016] ppid=24014 vsize=21904 CPUtime=1422.34 cores=1,3,5,7
/proc/24016/stat : 24016 (bsolo) R 24014 24016 22425 0 -1 4202496 3460 0 0 0 141727 507 0 0 25 0 1 0 829532885 22429696 3051 33554432000 134512640 137138936 4294378752 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24016/statm: 5476 3051 192 642 0 4832 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 21904

[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/447 24111
/proc/meminfo: memFree=30829056/32950928 swapFree=34365992/67111528
[pid=24016] ppid=24014 vsize=21904 CPUtime=1482.33 cores=1,3,5,7
/proc/24016/stat : 24016 (bsolo) R 24014 24016 22425 0 -1 4202496 3460 0 0 0 147705 528 0 0 25 0 1 0 829532885 22429696 3051 33554432000 134512640 137138936 4294378752 18446744073709551615 134618321 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24016/statm: 5476 3051 192 642 0 4832 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 21904

[startup+1542.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/447 24112
/proc/meminfo: memFree=30816376/32950928 swapFree=34365992/67111528
[pid=24016] ppid=24014 vsize=21904 CPUtime=1542.33 cores=1,3,5,7
/proc/24016/stat : 24016 (bsolo) R 24014 24016 22425 0 -1 4202496 3460 0 0 0 153686 547 0 0 25 0 1 0 829532885 22429696 3051 33554432000 134512640 137138936 4294378752 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24016/statm: 5476 3051 192 642 0 4832 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 21904

[startup+1602.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/447 24114
/proc/meminfo: memFree=30805940/32950928 swapFree=34365992/67111528
[pid=24016] ppid=24014 vsize=21904 CPUtime=1602.32 cores=1,3,5,7
/proc/24016/stat : 24016 (bsolo) R 24014 24016 22425 0 -1 4202496 3460 0 0 0 159665 567 0 0 25 0 1 0 829532885 22429696 3051 33554432000 134512640 137138936 4294378752 18446744073709551615 136520963 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24016/statm: 5476 3051 192 642 0 4832 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 21904

[startup+1662.3 s]
/proc/loadavg: 2.09 2.04 2.01 3/447 24115
/proc/meminfo: memFree=30795756/32950928 swapFree=34365992/67111528
[pid=24016] ppid=24014 vsize=21904 CPUtime=1662.33 cores=1,3,5,7
/proc/24016/stat : 24016 (bsolo) R 24014 24016 22425 0 -1 4202496 3460 0 0 0 165648 585 0 0 25 0 1 0 829532885 22429696 3051 33554432000 134512640 137138936 4294378752 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24016/statm: 5476 3051 192 642 0 4832 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 21904

[startup+1722.3 s]
/proc/loadavg: 2.07 2.04 2.01 3/447 24117
/proc/meminfo: memFree=30785308/32950928 swapFree=34365992/67111528
[pid=24016] ppid=24014 vsize=21904 CPUtime=1722.33 cores=1,3,5,7
/proc/24016/stat : 24016 (bsolo) R 24014 24016 22425 0 -1 4202496 3460 0 0 0 171627 606 0 0 25 0 1 0 829532885 22429696 3051 33554432000 134512640 137138936 4294378752 18446744073709551615 134542613 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24016/statm: 5476 3051 192 642 0 4832 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 21904

[startup+1782.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/447 24119
/proc/meminfo: memFree=30780824/32950928 swapFree=34365992/67111528
[pid=24016] ppid=24014 vsize=21904 CPUtime=1782.33 cores=1,3,5,7
/proc/24016/stat : 24016 (bsolo) R 24014 24016 22425 0 -1 4202496 3460 0 0 0 177608 625 0 0 25 0 1 0 829532885 22429696 3051 33554432000 134512640 137138936 4294378752 18446744073709551615 134575833 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24016/statm: 5476 3051 192 642 0 4832 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 21904

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

[startup+1785.5 s]
/proc/loadavg: 2.02 2.03 2.00 3/447 24119
/proc/meminfo: memFree=30781320/32950928 swapFree=34365992/67111528
[pid=24016] ppid=24014 vsize=21904 CPUtime=1785.53 cores=1,3,5,7
/proc/24016/stat : 24016 (bsolo) R 24014 24016 22425 0 -1 4202496 3460 0 0 0 177927 626 0 0 25 0 1 0 829532885 22429696 3051 33554432000 134512640 137138936 4294378752 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24016/statm: 5476 3051 192 642 0 4832 0
Current children cumulated CPU time (s) 1785.53
Current children cumulated vsize (KiB) 21904

[startup+1791.92 s]
/proc/loadavg: 2.02 2.03 2.00 3/447 24119
/proc/meminfo: memFree=30781568/32950928 swapFree=34365992/67111528
[pid=24016] ppid=24014 vsize=21904 CPUtime=1791.94 cores=1,3,5,7
/proc/24016/stat : 24016 (bsolo) R 24014 24016 22425 0 -1 4202496 3460 0 0 0 178565 629 0 0 25 0 1 0 829532885 22429696 3051 33554432000 134512640 137138936 4294378752 18446744073709551615 134575898 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24016/statm: 5476 3051 192 642 0 4832 0
Current children cumulated CPU time (s) 1791.94
Current children cumulated vsize (KiB) 21904

[startup+1795.1 s]
/proc/loadavg: 2.02 2.03 2.00 3/447 24119
/proc/meminfo: memFree=30781568/32950928 swapFree=34365992/67111528
[pid=24016] ppid=24014 vsize=21904 CPUtime=1795.14 cores=1,3,5,7
/proc/24016/stat : 24016 (bsolo) R 24014 24016 22425 0 -1 4202496 3460 0 0 0 178884 630 0 0 25 0 1 0 829532885 22429696 3051 33554432000 134512640 137138936 4294378752 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24016/statm: 5476 3051 192 642 0 4832 0
Current children cumulated CPU time (s) 1795.14
Current children cumulated vsize (KiB) 21904

[startup+1796.7 s]
/proc/loadavg: 2.02 2.03 2.00 3/447 24119
/proc/meminfo: memFree=30781568/32950928 swapFree=34365992/67111528
[pid=24016] ppid=24014 vsize=21904 CPUtime=1796.73 cores=1,3,5,7
/proc/24016/stat : 24016 (bsolo) R 24014 24016 22425 0 -1 4202496 3460 0 0 0 179042 631 0 0 25 0 1 0 829532885 22429696 3051 33554432000 134512640 137138936 4294378752 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24016/statm: 5476 3051 192 642 0 4832 0
Current children cumulated CPU time (s) 1796.73
Current children cumulated vsize (KiB) 21904

[startup+1797.5 s]
/proc/loadavg: 2.02 2.03 2.00 3/447 24119
/proc/meminfo: memFree=30781568/32950928 swapFree=34365992/67111528
[pid=24016] ppid=24014 vsize=21904 CPUtime=1797.53 cores=1,3,5,7
/proc/24016/stat : 24016 (bsolo) R 24014 24016 22425 0 -1 4202496 3460 0 0 0 179122 631 0 0 25 0 1 0 829532885 22429696 3051 33554432000 134512640 137138936 4294378752 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24016/statm: 5476 3051 192 642 0 4832 0
Current children cumulated CPU time (s) 1797.53
Current children cumulated vsize (KiB) 21904

[startup+1797.9 s]
/proc/loadavg: 2.02 2.03 2.00 3/447 24119
/proc/meminfo: memFree=30781568/32950928 swapFree=34365992/67111528
[pid=24016] ppid=24014 vsize=21904 CPUtime=1797.93 cores=1,3,5,7
/proc/24016/stat : 24016 (bsolo) R 24014 24016 22425 0 -1 4202496 3460 0 0 0 179162 631 0 0 25 0 1 0 829532885 22429696 3051 33554432000 134512640 137138936 4294378752 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/24016/statm: 5476 3051 192 642 0 4832 0
Current children cumulated CPU time (s) 1797.93
Current children cumulated vsize (KiB) 21904

Child status: 0
Real time (s): 1797.96
CPU time (s): 1798
CPU user time (s): 1791.68
CPU system time (s): 6.31604
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 22508

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.68
system time used= 6.31604
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3461
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5
involuntary context switches= 23006

runsolver used 7.62084 second user time and 18.5212 second system time

The end

Launcher Data 

Begin job on node120 at 2011-06-04 11:22:21
IDJOB=3463181
IDBENCH=2921
IDSOLVER=1955
FILE ID=node120/3463181-1307179341
RUNJOBID= node120-1307173926-23559
PBS_JOBID= 13508848
Free space on /tmp= 73812 MiB

SOLVER NAME= bsolo 3.2
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_7_60_4.opb
COMMAND LINE= bsolo -l2 -tTIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3463181-1307179341/watcher-3463181-1307179341 -o /tmp/evaluation-result-3463181-1307179341/solver-3463181-1307179341 -C 1800 -W 1900 -M 15500  bsolo -l2 -t1800 HOME/instance-3463181-1307179341.opb

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

MD5SUM BENCH= 8206de06d2228a9d751f3cf3a6d7aa05
RANDOM SEED=1787899816

node120.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.809
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.61
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.809
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.07
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.809
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.82
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.809
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.75
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.809
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.78
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.809
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.75
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.809
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.82
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.809
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.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      30671424 kB
Buffers:        307144 kB
Cached:        1014556 kB
SwapCached:      12852 kB
Active:        1017104 kB
Inactive:       968500 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      30671424 kB
SwapTotal:    67111528 kB
SwapFree:     34365992 kB
Dirty:            3960 kB
Writeback:           0 kB
AnonPages:      661204 kB
Mapped:           9988 kB
Slab:           133472 kB
PageTables:      91776 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 106043724 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= 73804 MiB
End job on node120 at 2011-06-04 11:52:19