Trace number 3462671

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.2OPT3 835.528 835.517

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=8-P0=29-P1=157-P2=173-P3=83-P4=37-P5=251-P6=29-P7=181-B.opb
MD5SUMafe3df18e5a0f1ba7fdc86d94afdb427
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark3
Best CPU time to get the best result obtained on this benchmark0.116982
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 3
Optimality of the best value was proved YES
Number of variables168
Total number of constraints15
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 constraints15
Minimum length of a constraint8
Maximum length of a constraint80
Number of terms in the objective function 8
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 255
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 32768
Number of bits of the biggest number in a constraint 16
Biggest sum of numbers in a constraint 130560
Number of bits of the biggest sum of numbers17
Number of products (including duplicates)448
Sum of products size (including duplicates)896
Number of different products448
Sum of products size896

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-3462671-1307181685.opb
0.00/0.00	c File size is 8050 bytes.
0.00/0.00	c Highest Coefficient sum: 130560
0.00/0.00	c Parsing was ok!!
0.00/0.00	c Total parsing time: 0.001 s
0.00/0.00	c Var: 616 Constr: 918 448/0/470 Lit: 3856 Watch. Lit: 2368
0.00/0.00	c Obj. Vars: 8 (1.2987 % of total variables)
0.00/0.00	c Pre-processing Time: 0.003 s
0.00/0.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.00	c        0    616      918     3856    4     3312    5173      0      0 0.00
0.00/0.00	c Switching off lower bounding mode.
7.71/7.73	c      103    616     1112    12435   11     3800    5691    194   6866 0.01
7.71/7.73	c      253    616     1399    28185   20     4465    6261    481   6837 0.04
7.71/7.73	c      478    616     1823    51674   28     5599    6888    905   6927 0.07
7.71/7.73	c      816    616     2463    85066   34     7311    7577   1545   6634 0.12
7.71/7.73	c     1327    616     3392   141143   41     9588    8335   2474   6289 0.21
7.71/7.73	c     2093    616     4831   256472   53    13076    9169   3913   5298 0.40
7.71/7.73	c     3239    616     6875   415908   60    18139   10086   5957   4341 0.75
7.71/7.73	c     4960    616    10199   585797   57    26669   11095   9281   4025 1.23
7.71/7.73	c     7544    616     9565   482343   50    24404   12205   8647   3294 2.29
7.71/7.73	c    11424    616    10844   560573   51    27098   13426   9926   2950 3.87
7.71/7.73	c    17246    616     8010   360163   44    20491   14769   7092   2593 6.65
7.71/7.73	o 171
33.39/33.41	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
33.39/33.41	c    20336    616    13861   683866   49    34535    5189  12943   2628 7.74
33.39/33.41	c    20436    616     3705   175288   47     9544    5708   2787   2608 7.83
33.39/33.41	c    20686    616     4183   200038   47    10731    6279   3265   2628 7.87
33.39/33.41	c    21163    616     5095   248021   48    12993    6907   4177   2658 7.96
33.39/33.41	c    21977    616     6637   326618   49    16756    7598   5719   2681 8.20
33.39/33.41	c    23298    616     5301   227634   42    13645    8358   4383   2701 8.62
33.39/33.41	c    25380    616     5098   226588   44    13391    9194   4180   2730 9.30
33.39/33.41	c    28603    616     6151   329244   53    15372   10114   5233   2871 9.96
33.39/33.41	c    33539    616    10092   527099   52    25771   11126   9174   2976 11.27
33.39/33.41	c    41046    616     6482   291386   44    16121   12239   5564   2885 14.22
33.39/33.41	c    52408    616     9417   486976   51    23558   13463   8499   2737 19.15
33.39/33.41	c    69553    615    13619  1078903   79    32393   14810  12701   2698 25.77
33.39/33.41	o 139
71.30/71.31	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
71.30/71.31	c    88935    615    11399   622742   54    28871    5189  10481   2661 33.41
71.30/71.31	c    89036    615     3704   173775   46     9683    5708   2786   2658 33.49
71.30/71.31	c    89287    615     4176   201701   48    10871    6279   3258   2662 33.53
71.30/71.31	c    89763    615     5064   257351   50    13095    6907   4146   2671 33.61
71.30/71.31	c    90577    615     6444   339456   52    16228    7598   5526   2679 33.81
71.30/71.31	c    91897    615     5103   227479   44    14219    8358   4185   2685 34.22
71.30/71.31	c    93978    615     9082   452657   49    24581    9194   8164   2705 34.73
71.30/71.31	c    97201    615     9684   543344   56    24265   10114   8766   2691 36.11
71.30/71.31	c   102137    615     8650   424103   49    22844   11126   7732   2631 38.81
71.30/71.31	c   109643    615    11155   545314   48    29293   12239  10237   2560 42.81
71.30/71.31	c   121005    615    13065   648849   49    34058   13463  12147   2464 49.09
71.30/71.31	c   138149    615     9672   468659   48    25782   14810   8754   2357 58.59
71.30/71.31	o 13
95.30/95.31	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
95.30/95.31	c   163062    615     9498   559821   58    23544    5189   8580   2286 71.31
95.30/95.31	c   163163    585     3690   184725   50     9826    5708   2772   2286 71.35
95.30/95.31	c   163413    585     4143   206491   49    10976    6279   3225   2288 71.40
95.30/95.31	c   163888    574     5034   255543   50    13479    6907   4116   2292 71.48
95.30/95.31	c   164702    574     6560   340269   51    17381    7598   5642   2297 71.68
95.30/95.31	c   166023    574     5080   241232   47    13542    8358   4162   2301 72.13
95.30/95.31	c   168105    574     8827   436057   49    22283    9194   7909   2314 72.62
95.30/95.31	c   171328    574    10044   485717   48    26433   10114   9126   2321 73.79
95.30/95.31	c   176264    574     8312   426972   51    21250   11126   7394   2308 76.36
95.30/95.31	c   183771    574     9766   507301   51    24072   12239   8848   2287 80.35
95.30/95.31	c   195132    574    11866   615660   51    30401   13463  10948   2272 85.87
95.30/95.31	c   212276    573     8459   402313   47    21914   14810   7541   2236 94.90
95.30/95.31	o 9
133.29/133.34	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
133.29/133.34	c   214697    573    12530   617372   49    31879    5181  11612   2252 95.32
133.29/133.34	c   214798    573     3709   146015   39     9779    5700   2791   2251 95.39
133.29/133.34	c   215049    573     4183   176356   42    10938    6271   3265   2253 95.43
133.29/133.34	c   215525    573     5026   230816   45    12765    6899   4108   2255 95.55
133.29/133.34	c   216340    573     6351   316503   49    15573    7589   5433   2258 95.80
133.29/133.34	c   217660    573     4727   234177   49    11714    8348   3809   2260 96.30
133.29/133.34	c   219742    573     8783   493115   56    22263    9183   7865   2268 96.85
133.29/133.34	c   222966    573     5523   251285   45    15543   10102   4605   2280 97.77
133.29/133.34	c   227903    573     9605   466670   48    26058   11113   8687   2280 99.96
133.29/133.34	c   235410    573    11943   601601   50    30870   12225  11025   2265 103.91
133.29/133.34	c   246772    573     7516   364413   48    19923   13448   6598   2233 110.49
133.29/133.34	c   263917    573    11172   570942   51    26520   14793  10254   2221 118.82
133.29/133.34	c   289738    573    13300   734080   55    32954   16273  12382   2174 133.25
133.29/133.34	o 5
133.69/133.73	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
133.69/133.73	c   290266    573    14246   786092   55    35161    5224  13328   2176 133.34
133.69/133.73	c   290366    573     3721   164323   44     9692    5747   2803   2175 133.45
133.69/133.73	c   290617    563     4177   188594   45    10878    6322   3259   2177 133.49
133.69/133.73	c   291093    563     5090   236509   46    13344    6955   4172   2179 133.57
133.69/133.73	o 3
835.50/835.51	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
835.50/835.51	c   291853    563     6483   314985   48    16878    5230   5565   2182 133.74
835.50/835.51	c   291953    554     3735   164523   44    10054    5754   2817   2182 133.76
835.50/835.51	c   292205    554     4224   192154   45    11356    6330   3306   2183 133.82
835.50/835.51	c   292681    554     5114   239234   46    13720    6964   4196   2185 133.94
835.50/835.51	c   293494    554     6631   317033   47    17794    7661   5713   2186 134.21
835.50/835.51	c   294815    554     4943   230249   46    12978    8428   4025   2188 134.72
835.50/835.51	c   296896    542     8828   438611   49    23206    9271   7910   2193 135.37
835.50/835.51	c   300120    542    10124   524223   51    25984   10199   9206   2203 136.21
835.50/835.51	c   305057    542     8046   414366   51    20780   11219   7128   2207 138.22
835.50/835.51	c   312564    542     9950   486757   48    26393   12341   9032   2196 142.27
835.50/835.51	c   323926    542    11789   610698   51    29652   13576  10871   2207 146.71
835.50/835.51	c   341070    542     7728   364498   47    20958   14934   6810   2195 155.33
835.50/835.51	c   366889    542     8468   440040   51    20339   16428   7550   2144 171.12
835.50/835.51	c   405722    541    10668   570846   53    26722   18071   9750   2092 193.85
835.50/835.51	c   464074    539    10739   713288   66    25859   19879   9821   1985 233.74
835.50/835.51	c   551706    539    16758   838533   50    42404   21867  15840   1841 299.55
835.50/835.51	c   683258    539    13857   725415   52    36854   24054  12939   1764 387.13
835.50/835.51	c   880690    530    17621   870609   49    45705   26460  16703   1606 548.31
835.50/835.51	c  1176943    528    25230  1147469   45    66617   29107  24312   1430 822.83
835.50/835.51	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 -x113 x114 -x115 -x116 -x117 -x118 -x119 -x120 x73 -x74 -x75 -x76 -x77 -x78 -x79 x80 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 x129 -x130 -x131 -x132 -x133 -x134 x135 -x136 x89 -x90 -x91 -x92 x93 -x94 -x95 -x96 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x145 -x146 -x147 -x148 x149 -x150 -x151 -x152 x105 -x106 -x107 x108 -x109 -x110 -x111 -x112 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 x161 -x162 x163 -x164 -x165 -x166 -x167 -x168 
835.50/835.51	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
835.50/835.51	c   83  1189540   8445  1226730    16497   710955  15579   1423 835.53
835.50/835.51	c Objective: 3
835.50/835.51	s OPTIMUM FOUND
835.50/835.51	c Total time: 835.526 s

Verifier Data 

OK	3

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-3462671-1307181685/watcher-3462671-1307181685 -o /tmp/evaluation-result-3462671-1307181685/solver-3462671-1307181685 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3462671-1307181685.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.00 2.00 2/481 15533
/proc/meminfo: memFree=27382900/32950928 swapFree=39617324/67111528
[pid=15533] ppid=15531 vsize=11060 CPUtime=0.01 cores=1,3,5,7
/proc/15533/stat : 15533 (bsolo) R 15531 15533 13533 0 -1 4202496 380 0 0 0 1 0 0 0 25 0 1 0 829768163 11325440 332 33554432000 134512640 137138936 4289444864 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15533/statm: 2765 332 192 642 0 2121 0

[startup+0.11467 s]
/proc/loadavg: 2.00 2.00 2.00 2/481 15533
/proc/meminfo: memFree=27382900/32950928 swapFree=39617324/67111528
[pid=15533] ppid=15531 vsize=12088 CPUtime=0.11 cores=1,3,5,7
/proc/15533/stat : 15533 (bsolo) R 15531 15533 13533 0 -1 4202496 634 0 0 0 11 0 0 0 25 0 1 0 829768163 12378112 586 33554432000 134512640 137138936 4289444864 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15533/statm: 3022 586 192 642 0 2378 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 12088

[startup+0.200659 s]
/proc/loadavg: 2.00 2.00 2.00 2/481 15533
/proc/meminfo: memFree=27382900/32950928 swapFree=39617324/67111528
[pid=15533] ppid=15531 vsize=12856 CPUtime=0.19 cores=1,3,5,7
/proc/15533/stat : 15533 (bsolo) R 15531 15533 13533 0 -1 4202496 834 0 0 0 19 0 0 0 25 0 1 0 829768163 13164544 786 33554432000 134512640 137138936 4289444864 18446744073709551615 134542823 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15533/statm: 3214 786 192 642 0 2570 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 12856

[startup+0.300638 s]
/proc/loadavg: 2.00 2.00 2.00 2/481 15533
/proc/meminfo: memFree=27382900/32950928 swapFree=39617324/67111528
[pid=15533] ppid=15531 vsize=14012 CPUtime=0.29 cores=1,3,5,7
/proc/15533/stat : 15533 (bsolo) R 15531 15533 13533 0 -1 4202496 1115 0 0 0 29 0 0 0 25 0 1 0 829768163 14348288 1067 33554432000 134512640 137138936 4289444864 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15533/statm: 3503 1067 192 642 0 2859 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 14012

[startup+0.700564 s]
/proc/loadavg: 2.00 2.00 2.00 2/481 15533
/proc/meminfo: memFree=27382900/32950928 swapFree=39617324/67111528
[pid=15533] ppid=15531 vsize=16664 CPUtime=0.69 cores=1,3,5,7
/proc/15533/stat : 15533 (bsolo) R 15531 15533 13533 0 -1 4202496 1785 0 0 0 69 0 0 0 25 0 1 0 829768163 17063936 1737 33554432000 134512640 137138936 4289444864 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15533/statm: 4166 1737 192 642 0 3522 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 16664

[startup+1.50035 s]
/proc/loadavg: 2.00 2.00 2.00 3/482 15534
/proc/meminfo: memFree=27373480/32950928 swapFree=39617324/67111528
[pid=15533] ppid=15531 vsize=20772 CPUtime=1.49 cores=1,3,5,7
/proc/15533/stat : 15533 (bsolo) R 15531 15533 13533 0 -1 4202496 2789 0 0 0 148 1 0 0 25 0 1 0 829768163 21270528 2741 33554432000 134512640 137138936 4289444864 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15533/statm: 5193 2741 192 642 0 4549 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 20772

[startup+3.1011 s]
/proc/loadavg: 2.00 2.00 2.00 3/482 15534
/proc/meminfo: memFree=27370132/32950928 swapFree=39617324/67111528
[pid=15533] ppid=15531 vsize=21132 CPUtime=3.09 cores=1,3,5,7
/proc/15533/stat : 15533 (bsolo) R 15531 15533 13533 0 -1 4202496 2886 0 0 0 308 1 0 0 25 0 1 0 829768163 21639168 2838 33554432000 134512640 137138936 4289444864 18446744073709551615 136506283 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15533/statm: 5283 2838 192 642 0 4639 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 21132

[startup+6.3005 s]
/proc/loadavg: 2.00 2.00 2.00 3/482 15534
/proc/meminfo: memFree=27368612/32950928 swapFree=39617324/67111528
[pid=15533] ppid=15531 vsize=22524 CPUtime=6.29 cores=1,3,5,7
/proc/15533/stat : 15533 (bsolo) R 15531 15533 13533 0 -1 4202496 3236 0 0 0 628 1 0 0 25 0 1 0 829768163 23064576 3188 33554432000 134512640 137138936 4289444864 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15533/statm: 5631 3188 192 642 0 4987 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 22524

[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/482 15535
/proc/meminfo: memFree=27367876/32950928 swapFree=39617324/67111528
[pid=15533] ppid=15531 vsize=22472 CPUtime=12.69 cores=1,3,5,7
/proc/15533/stat : 15533 (bsolo) R 15531 15533 13533 0 -1 4202496 3236 0 0 0 1266 3 0 0 25 0 1 0 829768163 23011328 3188 33554432000 134512640 137138936 4289444864 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15533/statm: 5618 3188 192 642 0 4974 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 22472

[startup+25.5008 s]
/proc/loadavg: 2.00 2.00 2.00 3/482 15535
/proc/meminfo: memFree=27364296/32950928 swapFree=39617324/67111528
[pid=15533] ppid=15531 vsize=26508 CPUtime=25.49 cores=1,3,5,7
/proc/15533/stat : 15533 (bsolo) R 15531 15533 13533 0 -1 4202496 4261 0 0 0 2542 7 0 0 25 0 1 0 829768163 27144192 4197 33554432000 134512640 137138936 4289444864 18446744073709551615 134606677 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15533/statm: 6627 4197 192 642 0 5983 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 26508

[startup+51.101 s]
/proc/loadavg: 2.00 2.00 2.00 3/482 15536
/proc/meminfo: memFree=27361536/32950928 swapFree=39617324/67111528
[pid=15533] ppid=15531 vsize=28384 CPUtime=51.09 cores=1,3,5,7
/proc/15533/stat : 15533 (bsolo) R 15531 15533 13533 0 -1 4202496 4724 0 0 0 5098 11 0 0 25 0 1 0 829768163 29065216 4660 33554432000 134512640 137138936 4289444864 18446744073709551615 134609401 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15533/statm: 7096 4660 192 642 0 6452 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 28384

[startup+102.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/482 15537
/proc/meminfo: memFree=27361028/32950928 swapFree=39617324/67111528
[pid=15533] ppid=15531 vsize=28356 CPUtime=102.31 cores=1,3,5,7
/proc/15533/stat : 15533 (bsolo) R 15531 15533 13533 0 -1 4202496 4724 0 0 0 10212 19 0 0 25 0 1 0 829768163 29036544 4660 33554432000 134512640 137138936 4289444864 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15533/statm: 7089 4660 192 642 0 6445 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 28356

[startup+162.301 s]
/proc/loadavg: 2.14 2.04 2.01 3/482 15541
/proc/meminfo: memFree=27360512/32950928 swapFree=39617324/67111528
[pid=15533] ppid=15531 vsize=28352 CPUtime=162.3 cores=1,3,5,7
/proc/15533/stat : 15533 (bsolo) R 15531 15533 13533 0 -1 4202496 4725 0 0 0 16199 31 0 0 25 0 1 0 829768163 29032448 4661 33554432000 134512640 137138936 4289444864 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15533/statm: 7088 4661 192 642 0 6444 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 28352

[startup+222.318 s]
/proc/loadavg: 2.20 2.06 2.02 3/482 15543
/proc/meminfo: memFree=27358612/32950928 swapFree=39617324/67111528
[pid=15533] ppid=15531 vsize=28452 CPUtime=222.32 cores=1,3,5,7
/proc/15533/stat : 15533 (bsolo) R 15531 15533 13533 0 -1 4202496 4739 0 0 0 22193 39 0 0 25 0 1 0 829768163 29134848 4675 33554432000 134512640 137138936 4289444864 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15533/statm: 7113 4675 192 642 0 6469 0
Current children cumulated CPU time (s) 222.32
Current children cumulated vsize (KiB) 28452

[startup+282.301 s]
/proc/loadavg: 2.14 2.07 2.02 3/482 15545
/proc/meminfo: memFree=27358716/32950928 swapFree=39617324/67111528
[pid=15533] ppid=15531 vsize=29908 CPUtime=282.29 cores=1,3,5,7
/proc/15533/stat : 15533 (bsolo) R 15531 15533 13533 0 -1 4202496 5106 0 0 0 28185 44 0 0 25 0 1 0 829768163 30625792 5042 33554432000 134512640 137138936 4289444864 18446744073709551615 136504048 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15533/statm: 7477 5042 192 642 0 6833 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 29908

[startup+342.3 s]
/proc/loadavg: 2.05 2.05 2.01 3/482 15546
/proc/meminfo: memFree=27358684/32950928 swapFree=39617324/67111528
[pid=15533] ppid=15531 vsize=29916 CPUtime=342.29 cores=1,3,5,7
/proc/15533/stat : 15533 (bsolo) R 15531 15533 13533 0 -1 4202496 5108 0 0 0 34178 51 0 0 25 0 1 0 829768163 30633984 5044 33554432000 134512640 137138936 4289444864 18446744073709551615 134542184 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15533/statm: 7479 5044 192 642 0 6835 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 29916

[startup+402.301 s]
/proc/loadavg: 2.02 2.04 2.00 3/482 15575
/proc/meminfo: memFree=27331188/32950928 swapFree=39617324/67111528
[pid=15533] ppid=15531 vsize=31012 CPUtime=402.3 cores=1,3,5,7
/proc/15533/stat : 15533 (bsolo) R 15531 15533 13533 0 -1 4202496 5386 0 0 0 40172 58 0 0 25 0 1 0 829768163 31756288 5322 33554432000 134512640 137138936 4289444864 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15533/statm: 7753 5322 192 642 0 7109 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 31012

[startup+462.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/482 15577
/proc/meminfo: memFree=27235604/32950928 swapFree=39617324/67111528
[pid=15533] ppid=15531 vsize=32044 CPUtime=462.3 cores=1,3,5,7
/proc/15533/stat : 15533 (bsolo) R 15531 15533 13533 0 -1 4202496 5644 0 0 0 46165 65 0 0 25 0 1 0 829768163 32813056 5579 33554432000 134512640 137138936 4289444864 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15533/statm: 8011 5579 192 642 0 7367 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 32044

[startup+522.301 s]
/proc/loadavg: 2.09 2.05 2.01 3/482 15578
/proc/meminfo: memFree=27161164/32950928 swapFree=39617324/67111528
[pid=15533] ppid=15531 vsize=32040 CPUtime=522.3 cores=1,3,5,7
/proc/15533/stat : 15533 (bsolo) R 15531 15533 13533 0 -1 4202496 5644 0 0 0 52158 72 0 0 25 0 1 0 829768163 32808960 5579 33554432000 134512640 137138936 4289444864 18446744073709551615 134542817 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15533/statm: 8010 5579 192 642 0 7366 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 32040

[startup+582.301 s]
/proc/loadavg: 2.07 2.05 2.01 3/482 15580
/proc/meminfo: memFree=27095920/32950928 swapFree=39617324/67111528
[pid=15533] ppid=15531 vsize=32640 CPUtime=582.3 cores=1,3,5,7
/proc/15533/stat : 15533 (bsolo) R 15531 15533 13533 0 -1 4202496 5796 0 0 0 58149 81 0 0 25 0 1 0 829768163 33423360 5731 33554432000 134512640 137138936 4289444864 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15533/statm: 8160 5731 192 642 0 7516 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 32640

[startup+642.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/482 15581
/proc/meminfo: memFree=27045436/32950928 swapFree=39617324/67111528
[pid=15533] ppid=15531 vsize=32636 CPUtime=642.3 cores=1,3,5,7
/proc/15533/stat : 15533 (bsolo) R 15531 15533 13533 0 -1 4202496 5796 0 0 0 64144 86 0 0 25 0 1 0 829768163 33419264 5731 33554432000 134512640 137138936 4289444864 18446744073709551615 134603118 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15533/statm: 8159 5731 192 642 0 7515 0
Current children cumulated CPU time (s) 642.3
Current children cumulated vsize (KiB) 32636

[startup+702.301 s]
/proc/loadavg: 2.01 2.03 2.00 3/482 15583
/proc/meminfo: memFree=26993080/32950928 swapFree=39617324/67111528
[pid=15533] ppid=15531 vsize=32624 CPUtime=702.3 cores=1,3,5,7
/proc/15533/stat : 15533 (bsolo) R 15531 15533 13533 0 -1 4202496 5796 0 0 0 70140 90 0 0 25 0 1 0 829768163 33406976 5731 33554432000 134512640 137138936 4289444864 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15533/statm: 8156 5731 192 642 0 7512 0
Current children cumulated CPU time (s) 702.3
Current children cumulated vsize (KiB) 32624

[startup+762.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/482 15585
/proc/meminfo: memFree=26951272/32950928 swapFree=39617324/67111528
[pid=15533] ppid=15531 vsize=32624 CPUtime=762.32 cores=1,3,5,7
/proc/15533/stat : 15533 (bsolo) R 15531 15533 13533 0 -1 4202496 5796 0 0 0 76136 96 0 0 25 0 1 0 829768163 33406976 5731 33554432000 134512640 137138936 4289444864 18446744073709551615 134542424 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15533/statm: 8156 5731 192 642 0 7512 0
Current children cumulated CPU time (s) 762.32
Current children cumulated vsize (KiB) 32624

[startup+822.301 s]
/proc/loadavg: 2.04 2.03 2.00 3/482 15586
/proc/meminfo: memFree=26922368/32950928 swapFree=39617324/67111528
[pid=15533] ppid=15531 vsize=32620 CPUtime=822.31 cores=1,3,5,7
/proc/15533/stat : 15533 (bsolo) R 15531 15533 13533 0 -1 4202496 5796 0 0 0 82128 103 0 0 25 0 1 0 829768163 33402880 5731 33554432000 134512640 137138936 4289444864 18446744073709551615 134599648 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15533/statm: 8155 5731 192 642 0 7511 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 32620

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

[startup+825.6 s]
/proc/loadavg: 2.04 2.03 2.00 3/482 15586
/proc/meminfo: memFree=26920876/32950928 swapFree=39617324/67111528
[pid=15533] ppid=15531 vsize=32628 CPUtime=825.6 cores=1,3,5,7
/proc/15533/stat : 15533 (bsolo) R 15531 15533 13533 0 -1 4202496 5798 0 0 0 82457 103 0 0 25 0 1 0 829768163 33411072 5733 33554432000 134512640 137138936 4289444864 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15533/statm: 8157 5733 192 642 0 7513 0
Current children cumulated CPU time (s) 825.6
Current children cumulated vsize (KiB) 32628

[startup+832.001 s]
/proc/loadavg: 2.03 2.03 2.00 3/482 15586
/proc/meminfo: memFree=26917776/32950928 swapFree=39617324/67111528
[pid=15533] ppid=15531 vsize=32628 CPUtime=832 cores=1,3,5,7
/proc/15533/stat : 15533 (bsolo) R 15531 15533 13533 0 -1 4202496 5798 0 0 0 83096 104 0 0 25 0 1 0 829768163 33411072 5733 33554432000 134512640 137138936 4289444864 18446744073709551615 136296993 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15533/statm: 8157 5733 192 642 0 7513 0
Current children cumulated CPU time (s) 832
Current children cumulated vsize (KiB) 32628

[startup+833.601 s]
/proc/loadavg: 2.03 2.03 2.00 3/482 15586
/proc/meminfo: memFree=26917528/32950928 swapFree=39617324/67111528
[pid=15533] ppid=15531 vsize=32628 CPUtime=833.6 cores=1,3,5,7
/proc/15533/stat : 15533 (bsolo) R 15531 15533 13533 0 -1 4202496 5798 0 0 0 83256 104 0 0 25 0 1 0 829768163 33411072 5733 33554432000 134512640 137138936 4289444864 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15533/statm: 8157 5733 192 642 0 7513 0
Current children cumulated CPU time (s) 833.6
Current children cumulated vsize (KiB) 32628

[startup+834.401 s]
/proc/loadavg: 2.03 2.03 2.00 3/482 15586
/proc/meminfo: memFree=26917032/32950928 swapFree=39617324/67111528
[pid=15533] ppid=15531 vsize=32628 CPUtime=834.4 cores=1,3,5,7
/proc/15533/stat : 15533 (bsolo) R 15531 15533 13533 0 -1 4202496 5798 0 0 0 83336 104 0 0 25 0 1 0 829768163 33411072 5733 33554432000 134512640 137138936 4289444864 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15533/statm: 8157 5733 192 642 0 7513 0
Current children cumulated CPU time (s) 834.4
Current children cumulated vsize (KiB) 32628

[startup+835.2 s]
/proc/loadavg: 2.03 2.03 2.00 3/482 15587
/proc/meminfo: memFree=26916784/32950928 swapFree=39617324/67111528
[pid=15533] ppid=15531 vsize=32628 CPUtime=835.2 cores=1,3,5,7
/proc/15533/stat : 15533 (bsolo) R 15531 15533 13533 0 -1 4202496 5798 0 0 0 83416 104 0 0 25 0 1 0 829768163 33411072 5733 33554432000 134512640 137138936 4289444864 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15533/statm: 8157 5733 192 642 0 7513 0
Current children cumulated CPU time (s) 835.2
Current children cumulated vsize (KiB) 32628

[startup+835.4 s]
/proc/loadavg: 2.03 2.03 2.00 3/482 15587
/proc/meminfo: memFree=26916784/32950928 swapFree=39617324/67111528
[pid=15533] ppid=15531 vsize=32628 CPUtime=835.4 cores=1,3,5,7
/proc/15533/stat : 15533 (bsolo) R 15531 15533 13533 0 -1 4202496 5798 0 0 0 83436 104 0 0 25 0 1 0 829768163 33411072 5733 33554432000 134512640 137138936 4289444864 18446744073709551615 134617986 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15533/statm: 8157 5733 192 642 0 7513 0
Current children cumulated CPU time (s) 835.4
Current children cumulated vsize (KiB) 32628

[startup+835.5 s]
/proc/loadavg: 2.03 2.03 2.00 3/482 15587
/proc/meminfo: memFree=26916784/32950928 swapFree=39617324/67111528
[pid=15533] ppid=15531 vsize=32628 CPUtime=835.5 cores=1,3,5,7
/proc/15533/stat : 15533 (bsolo) R 15531 15533 13533 0 -1 4202496 5798 0 0 0 83446 104 0 0 25 0 1 0 829768163 33411072 5733 33554432000 134512640 137138936 4289444864 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/15533/statm: 8157 5733 192 642 0 7513 0
Current children cumulated CPU time (s) 835.5
Current children cumulated vsize (KiB) 32628

Child status: 0
Real time (s): 835.517
CPU time (s): 835.528
CPU user time (s): 834.479
CPU system time (s): 1.04884
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 32640

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 834.479
system time used= 1.04884
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5799
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= 2459

runsolver used 3.89941 second user time and 9.2176 second system time

The end

Launcher Data 

Begin job on node127 at 2011-06-04 12:01:25
IDJOB=3462671
IDBENCH=48087
IDSOLVER=1955
FILE ID=node127/3462671-1307181685
RUNJOBID= node127-1307175344-14622
PBS_JOBID= 13508856
Free space on /tmp= 73944 MiB

SOLVER NAME= bsolo 3.2
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=8-P0=29-P1=157-P2=173-P3=83-P4=37-P5=251-P6=29-P7=181-B.opb
COMMAND LINE= bsolo -l2 -tTIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3462671-1307181685/watcher-3462671-1307181685 -o /tmp/evaluation-result-3462671-1307181685/solver-3462671-1307181685 -C 1800 -W 1900 -M 15500  bsolo -l2 -t1800 HOME/instance-3462671-1307181685.opb

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

MD5SUM BENCH= afe3df18e5a0f1ba7fdc86d94afdb427
RANDOM SEED=713253089

node127.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.823
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.64
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.823
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	: 5332.83
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.823
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.74
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.823
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.86
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.823
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.75
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.823
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.823
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.60
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.823
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      27383188 kB
Buffers:        330580 kB
Cached:         928052 kB
SwapCached:      59160 kB
Active:        3284496 kB
Inactive:      1995556 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      27383188 kB
SwapTotal:    67111528 kB
SwapFree:     39617324 kB
Dirty:            4144 kB
Writeback:           0 kB
AnonPages:     3969084 kB
Mapped:          22856 kB
Slab:           123940 kB
PageTables:      95200 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 119764884 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= 73940 MiB
End job on node127 at 2011-06-04 12:15:21