Trace number 3708320

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.2SAT162 1798 1798.28

General information on the benchmark

Name/OPT-SMALLINT-LIN/heinz/
normalized-neos-1616732.opb
MD5SUMbb6edae9b271ecf76d3d6c31c88b027d
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark159
Best CPU time to get the best result obtained on this benchmark1789.91
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables200
Total number of constraints1999
Number of constraints which are clauses1999
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint2
Number of terms in the objective function 200
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 200
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 200
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c bsolo beta version 3.2 - 23/05/2010 : 1630 GMT
0.00/0.00	c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID
0.00/0.00	c type "bsolo -h" for help
0.00/0.00	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.00	c Learning Strategy: Cardinality Constraint Learning
0.00/0.00	c Time Limit set to 1800
0.00/0.00	c Instance file HOME/instance-3708320-1338218990.opb
0.00/0.00	c File size is 45495 bytes.
0.00/0.00	c Highest Coefficient sum: 200
0.00/0.00	c Parsing was ok!!
0.00/0.00	c Total parsing time: 0.002 s
0.00/0.00	c Var: 200 Constr: 1999 1999/0/0 Lit: 3998 Watch. Lit: 3998
0.00/0.00	c Obj. Vars: 200 (100 % of total variables)
0.00/0.00	c Pre-processing Time: 0.006 s
0.00/0.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.00	c        0    200     1999     3998    2     3998     666      0      0 0.01
0.00/0.00	c Switching off lower bounding mode.
0.00/0.00	o 172
0.00/0.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.00	c        0    200     2000     4198    2     4028    1666      1      0 0.01
0.00/0.00	o 171
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c        2    200     2003     4738    2     4063    1666      4    333 0.01
0.00/0.01	o 170
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c       47    200     2054    13316    6     4195    1666     55   3133 0.01
0.00/0.01	o 169
0.00/0.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.02	c       47    200     2055    13516    6     4228    1666     56   3133 0.01
0.00/0.02	o 168
0.00/0.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.03	c       60    200     2069    15878    7     4288    1666     70   3333 0.02
0.00/0.03	o 167
6.08/6.13	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
6.08/6.13	c      138    200     2152    29620   13     4487    1666    153   3942 0.04
6.08/6.13	c      239    200     2264    47893   21     4711    1833    265   4267 0.06
6.08/6.13	c      489    200     2532    91727   36     5247    2017    533   4445 0.11
6.08/6.13	c      964    200     3060   177688   58     6303    2219   1061   4422 0.22
6.08/6.13	c     1777    200     3959   324093   81     8101    2441   1960   4132 0.43
6.08/6.13	c     3097    200     4057   338962   83     8147    2686   2058   4016 0.77
6.08/6.13	c     5178    200     3343   223209   66     6719    2955   1344   3904 1.33
6.08/6.13	c     8402    200     3717   281466   75     7467    3251   1718   3822 2.20
6.08/6.13	c    13338    200     3807   298973   78     7647    3577   1808   3599 3.71
6.08/6.13	c    20844    200     4397   387709   88     8857    3935   2398   3459 6.03
6.08/6.13	o 166
6.79/6.87	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
6.79/6.87	c    21295    200     4890   468235   95     9877    1666   2891   3473 6.13
6.79/6.87	c    21395    200     2938   156490   53     5910    1833    939   3470 6.16
6.79/6.87	c    21646    200     3217   201567   62     6468    2017   1218   3481 6.22
6.79/6.87	c    22121    200     3734   285429   76     7502    2219   1735   3499 6.32
6.79/6.87	c    22934    200     3348   222908   66     6730    2441   1349   3515 6.52
6.79/6.87	c    24256    200     3431   236145   68     6896    2686   1432   3535 6.86
6.79/6.87	o 165
27.78/27.81	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
27.78/27.81	c    24316    200     3495   246620   70     7059    1666   1496   3537 6.87
27.78/27.81	c    24417    200     3606   264485   73     7281    1833   1607   3540 6.90
27.78/27.81	c    24667    200     2917   152710   52     5869    2017    918   3547 6.95
27.78/27.81	c    25142    200     3458   239474   69     6951    2219   1459   3560 7.06
27.78/27.81	c    25955    200     3110   183293   58     6255    2441   1111   3580 7.25
27.78/27.81	c    27275    200     3221   200401   62     6477    2686   1222   3595 7.59
27.78/27.81	c    29357    200     3997   325707   81     8063    2955   1998   3617 8.12
27.78/27.81	c    32580    200     4280   369657   86     8595    3251   2281   3631 8.97
27.78/27.81	c    37516    200     4403   390745   88     8841    3577   2404   3604 10.41
27.78/27.81	c    45022    200     5066   483863   95    10268    3935   3067   3546 12.69
27.78/27.81	c    56384    200     4866   466416   95     9767    4329   2867   3438 16.40
27.78/27.81	c    73529    200     5326   535740  100    10750    4762   3327   3347 21.97
27.78/27.81	o 164
57.48/57.59	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
57.48/57.59	c    90036    200     5973   637861  106    12106    1666   3974   3237 27.81
57.48/57.59	c    90137    200     2941   153336   52     5918    1833    942   3236 27.85
57.48/57.59	c    90387    200     3217   197459   61     6470    2017   1218   3239 27.91
57.48/57.59	c    90862    200     3752   282692   75     7540    2219   1753   3243 28.01
57.48/57.59	c    91676    200     3386   224871   66     6808    2441   1387   3251 28.20
57.48/57.59	c    92997    200     3488   241739   69     7012    2686   1489   3262 28.51
57.48/57.59	c    95078    200     4313   372881   86     8662    2955   2314   3271 29.06
57.48/57.59	c    98301    200     4671   429462   91     9412    3251   2672   3286 29.91
57.48/57.59	c   103237    200     4795   450804   94     9626    3577   2796   3293 31.34
57.48/57.59	c   110743    200     5366   541312  100    10802    3935   3367   3310 33.45
57.48/57.59	c   122104    200     5373   538855  100    10782    4329   3374   3287 37.15
57.48/57.59	c   139249    200     6038   645791  106    12112    4762   4039   3248 42.86
57.48/57.59	c   165069    200     4381   377887   86     8827    5239   2382   3194 51.67
57.48/57.59	o 163
79.48/79.59	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
79.48/79.59	c   181523    200     5957   634674  106    12053    1666   3958   3152 57.58
79.48/79.59	c   181623    200     2942   153403   52     5921    1833    943   3152 57.61
79.48/79.59	c   181874    200     3221   197717   61     6479    2017   1222   3154 57.66
79.48/79.59	c   182349    200     3741   280474   74     7519    2219   1742   3156 57.77
79.48/79.59	c   183163    200     3368   221774   65     6773    2441   1369   3160 57.95
79.48/79.59	c   184484    200     3451   234905   68     6939    2686   1452   3167 58.25
79.48/79.59	c   186566    200     4262   363263   85     8561    2955   2263   3174 58.77
79.48/79.59	c   189790    200     4565   411059   90     9167    3251   2566   3186 59.55
79.48/79.59	c   194727    200     4706   432842   91     9449    3577   2707   3200 60.85
79.48/79.59	c   202233    200     5202   513043   98    10441    3935   3203   3215 62.89
79.48/79.59	c   213594    200     5114   497813   97    10265    4329   3115   3207 66.60
79.48/79.59	c   230739    200     5731   588016  102    11566    4762   3732   3208 71.92
79.48/79.59	o 162
1797.91/1798.28	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.91/1798.28	c   253098    200     5155   504679   97    10385    1666   3156   3180 79.58
1797.91/1798.28	c   253198    200     2940   153741   52     5918    1833    941   3180 79.61
1797.91/1798.28	c   253448    200     3214   197031   61     6466    2017   1215   3181 79.66
1797.91/1798.28	c   253923    200     3737   279422   74     7512    2219   1738   3183 79.76
1797.91/1798.28	c   254737    200     3352   217856   64     6742    2441   1353   3186 79.95
1797.91/1798.28	c   256057    200     3431   230045   67     6900    2686   1432   3190 80.25
1797.91/1798.28	c   258140    200     4231   356270   84     8500    2955   2232   3197 80.74
1797.91/1798.28	c   261365    200     4523   401754   88     9119    3251   2524   3204 81.56
1797.91/1798.28	c   266301    200     4658   422842   90     9354    3577   2659   3210 82.95
1797.91/1798.28	c   273807    200     5205   508947   97    10448    3935   3206   3219 85.05
1797.91/1798.28	c   285168    200     5347   522179   97    10732    4329   3348   3224 88.45
1797.91/1798.28	c   302312    200     5945   620346  104    11963    4762   3946   3238 93.36
1797.91/1798.28	c   328131    200     6710   742349  110    13493    5239   4711   3230 101.58
1797.91/1798.28	c   366964    200     5677   583399  102    11392    5763   3678   3211 114.25
1797.91/1798.28	c   425317    200     7188   821370  114    14414    6340   5189   3146 135.18
1797.91/1798.28	c   512949    200     5170   504417   97    10378    6975   3171   3124 164.19
1797.91/1798.28	c   644502    200     6387   695654  108    12812    7673   4388   3049 211.38
1797.91/1798.28	c   841934    200     7201   822935  114    14476    8441   5202   2896 290.69
1797.91/1798.28	c  1138186    200    10304  1306227  126    20681    9286   8305   2847 399.64
1797.91/1798.28	c  1582669    200     8531  1020988  119    17133   10215   6532   2661 594.61
1797.91/1798.28	c  2249496    200     7191   823010  114    14420   11237   5192   2571 874.88
1797.91/1798.28	c  3249841    200     8029   921308  114    16157   12361   6030   2538 1280.10
1797.91/1798.28	c Resources Exceeded
1797.91/1798.28	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 -x173 x174 x175 x176 x177 x178 x179 x180 x181 x182 -x183 x184 x185 x186 x187 x188 x189 x190 x191 -x192 x193 x194 x195 x196 -x197 x198 x199 -x200 
1797.91/1798.28	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.91/1798.28	c   80  4483762 381183  4960113    14021  1884832  12022   2493 1798.00
1797.91/1798.28	c Objective: 162
1797.91/1798.28	s SATISFIABLE
1797.91/1798.28	c Total time: 1798 s

Verifier Data 

OK	162

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3708320-1338218990/watcher-3708320-1338218990 -o /tmp/evaluation-result-3708320-1338218990/solver-3708320-1338218990 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3708320-1338218990.opb 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 17300
/proc/meminfo: memFree=29931044/32873844 swapFree=7112/7112
[pid=17300] ppid=17298 vsize=10932 CPUtime=0 cores=0,2,4,6
/proc/17300/stat : 17300 (bsolo) R 17298 17300 10153 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288023891 11194368 300 33554432000 134512640 137138936 4290793136 4290789436 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17300/statm: 2733 300 184 642 0 2089 0

[startup+0.042709 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 17300
/proc/meminfo: memFree=29931044/32873844 swapFree=7112/7112
[pid=17300] ppid=17298 vsize=11432 CPUtime=0.03 cores=0,2,4,6
/proc/17300/stat : 17300 (bsolo) R 17298 17300 10153 0 -1 4202496 471 0 0 0 3 0 0 0 20 0 1 0 288023891 11706368 412 33554432000 134512640 137138936 4290793136 4290789240 134600697 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17300/statm: 2858 412 192 642 0 2214 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 11432

[startup+0.100263 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 17300
/proc/meminfo: memFree=29931044/32873844 swapFree=7112/7112
[pid=17300] ppid=17298 vsize=12028 CPUtime=0.09 cores=0,2,4,6
/proc/17300/stat : 17300 (bsolo) R 17298 17300 10153 0 -1 4202496 631 0 0 0 9 0 0 0 20 0 1 0 288023891 12316672 572 33554432000 134512640 137138936 4290793136 4290792252 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17300/statm: 3007 572 192 642 0 2363 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12028

[startup+0.300251 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 17300
/proc/meminfo: memFree=29931044/32873844 swapFree=7112/7112
[pid=17300] ppid=17298 vsize=14188 CPUtime=0.29 cores=0,2,4,6
/proc/17300/stat : 17300 (bsolo) R 17298 17300 10153 0 -1 4202496 1160 0 0 0 29 0 0 0 20 0 1 0 288023891 14528512 1101 33554432000 134512640 137138936 4290793136 4290792252 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17300/statm: 3547 1101 192 642 0 2903 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 14188

[startup+0.700236 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 17300
/proc/meminfo: memFree=29931044/32873844 swapFree=7112/7112
[pid=17300] ppid=17298 vsize=16748 CPUtime=0.68 cores=0,2,4,6
/proc/17300/stat : 17300 (bsolo) R 17298 17300 10153 0 -1 4202496 1810 0 0 0 68 0 0 0 20 0 1 0 288023891 17149952 1751 33554432000 134512640 137138936 4290793136 4290792252 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17300/statm: 4187 1751 192 642 0 3543 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 16748

[startup+1.50025 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17301
/proc/meminfo: memFree=29924208/32873844 swapFree=7112/7112
[pid=17300] ppid=17298 vsize=17228 CPUtime=1.49 cores=0,2,4,6
/proc/17300/stat : 17300 (bsolo) R 17298 17300 10153 0 -1 4202496 1937 0 0 0 148 1 0 0 20 0 1 0 288023891 17641472 1878 33554432000 134512640 137138936 4290793136 4290792252 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17300/statm: 4307 1878 192 642 0 3663 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 17228

[startup+3.10024 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17301
/proc/meminfo: memFree=29923208/32873844 swapFree=7112/7112
[pid=17300] ppid=17298 vsize=18444 CPUtime=3.09 cores=0,2,4,6
/proc/17300/stat : 17300 (bsolo) R 17298 17300 10153 0 -1 4202496 2242 0 0 0 308 1 0 0 20 0 1 0 288023891 18886656 2183 33554432000 134512640 137138936 4290793136 4290791888 134575204 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17300/statm: 4611 2183 192 642 0 3967 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 18444

[startup+6.30024 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17301
/proc/meminfo: memFree=29921844/32873844 swapFree=7112/7112
[pid=17300] ppid=17298 vsize=19276 CPUtime=6.28 cores=0,2,4,6
/proc/17300/stat : 17300 (bsolo) R 17298 17300 10153 0 -1 4202496 2427 0 0 0 627 1 0 0 20 0 1 0 288023891 19738624 2368 33554432000 134512640 137138936 4290793136 4290792252 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17300/statm: 4819 2368 192 642 0 4175 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 19276

[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 17304
/proc/meminfo: memFree=29921232/32873844 swapFree=7112/7112
[pid=17300] ppid=17298 vsize=19192 CPUtime=12.68 cores=0,2,4,6
/proc/17300/stat : 17300 (bsolo) R 17298 17300 10153 0 -1 4202496 2427 0 0 0 1265 3 0 0 20 0 1 0 288023891 19652608 2368 33554432000 134512640 137138936 4290793136 4290792252 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17300/statm: 4798 2368 192 642 0 4154 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 19192

[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 17304
/proc/meminfo: memFree=29918876/32873844 swapFree=7112/7112
[pid=17300] ppid=17298 vsize=21672 CPUtime=25.49 cores=0,2,4,6
/proc/17300/stat : 17300 (bsolo) R 17298 17300 10153 0 -1 4202496 3041 0 0 0 2543 6 0 0 20 0 1 0 288023891 22192128 2982 33554432000 134512640 137138936 4290793136 4290792252 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17300/statm: 5418 2982 192 642 0 4774 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 21672

[startup+51.1002 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 17304
/proc/meminfo: memFree=29919000/32873844 swapFree=7112/7112
[pid=17300] ppid=17298 vsize=21656 CPUtime=51.08 cores=0,2,4,6
/proc/17300/stat : 17300 (bsolo) R 17298 17300 10153 0 -1 4202496 3041 0 0 0 5098 10 0 0 20 0 1 0 288023891 22175744 2982 33554432000 134512640 137138936 4290793136 4290792252 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17300/statm: 5414 2982 192 642 0 4770 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 21656

[startup+102.306 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 17304
/proc/meminfo: memFree=29918388/32873844 swapFree=7112/7112
[pid=17300] ppid=17298 vsize=22468 CPUtime=102.28 cores=0,2,4,6
/proc/17300/stat : 17300 (bsolo) R 17298 17300 10153 0 -1 4202496 3579 0 0 0 10208 20 0 0 20 0 1 0 288023891 23007232 3171 33554432000 134512640 137138936 4290793136 4290792252 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17300/statm: 5617 3171 192 642 0 4973 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 22468

[startup+162.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 17305
/proc/meminfo: memFree=29916148/32873844 swapFree=7112/7112
[pid=17300] ppid=17298 vsize=24840 CPUtime=162.27 cores=0,2,4,6
/proc/17300/stat : 17300 (bsolo) R 17298 17300 10153 0 -1 4202496 4205 0 0 0 16196 31 0 0 20 0 1 0 288023891 25436160 3782 33554432000 134512640 137138936 4290793136 4290792252 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17300/statm: 6210 3782 192 642 0 5566 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 24840

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17306
/proc/meminfo: memFree=29913428/32873844 swapFree=7112/7112
[pid=17300] ppid=17298 vsize=27668 CPUtime=222.25 cores=0,2,4,6
/proc/17300/stat : 17300 (bsolo) R 17298 17300 10153 0 -1 4202496 4912 0 0 0 22184 41 0 0 20 0 1 0 288023891 28332032 4489 33554432000 134512640 137138936 4290793136 4290792252 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17300/statm: 6917 4489 192 642 0 6273 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 27668

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17306
/proc/meminfo: memFree=29913428/32873844 swapFree=7112/7112
[pid=17300] ppid=17298 vsize=27744 CPUtime=282.25 cores=0,2,4,6
/proc/17300/stat : 17300 (bsolo) R 17298 17300 10153 0 -1 4202496 4916 0 0 0 28173 52 0 0 20 0 1 0 288023891 28409856 4493 33554432000 134512640 137138936 4290793136 4290792252 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17300/statm: 6936 4493 192 642 0 6292 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 27744

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17306
/proc/meminfo: memFree=29911320/32873844 swapFree=7112/7112
[pid=17300] ppid=17298 vsize=29340 CPUtime=342.24 cores=0,2,4,6
/proc/17300/stat : 17300 (bsolo) R 17298 17300 10153 0 -1 4202496 5325 0 0 0 34162 62 0 0 20 0 1 0 288023891 30044160 4902 33554432000 134512640 137138936 4290793136 4290792252 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17300/statm: 7335 4902 192 642 0 6691 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 29340

[startup+402.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 17306
/proc/meminfo: memFree=29910080/32873844 swapFree=7112/7112
[pid=17300] ppid=17298 vsize=31056 CPUtime=402.22 cores=0,2,4,6
/proc/17300/stat : 17300 (bsolo) R 17298 17300 10153 0 -1 4202496 5751 0 0 0 40150 72 0 0 20 0 1 0 288023891 31801344 5328 33554432000 134512640 137138936 4290793136 4290792252 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17300/statm: 7764 5328 192 642 0 7120 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 31056

[startup+462.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 17306
/proc/meminfo: memFree=29909584/32873844 swapFree=7112/7112
[pid=17300] ppid=17298 vsize=31284 CPUtime=462.22 cores=0,2,4,6
/proc/17300/stat : 17300 (bsolo) R 17298 17300 10153 0 -1 4202496 5821 0 0 0 46141 81 0 0 20 0 1 0 288023891 32034816 5396 33554432000 134512640 137138936 4290793136 4290792252 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17300/statm: 7821 5396 192 642 0 7177 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 31284

[startup+522.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/176 17306
/proc/meminfo: memFree=29909584/32873844 swapFree=7112/7112
[pid=17300] ppid=17298 vsize=31240 CPUtime=522.21 cores=0,2,4,6
/proc/17300/stat : 17300 (bsolo) R 17298 17300 10153 0 -1 4202496 5821 0 0 0 52131 90 0 0 20 0 1 0 288023891 31989760 5385 33554432000 134512640 137138936 4290793136 4290792252 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17300/statm: 7810 5385 192 642 0 7166 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 31240

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17307
/proc/meminfo: memFree=29909584/32873844 swapFree=7112/7112
[pid=17300] ppid=17298 vsize=31216 CPUtime=582.2 cores=0,2,4,6
/proc/17300/stat : 17300 (bsolo) R 17298 17300 10153 0 -1 4202496 5821 0 0 0 58121 99 0 0 20 0 1 0 288023891 31965184 5379 33554432000 134512640 137138936 4290793136 4290792252 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17300/statm: 7804 5379 192 642 0 7160 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 31216

[startup+642.3 s]

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

/proc/meminfo: memFree=31051508/32873844 swapFree=7112/7112
[pid=17300] ppid=17298 vsize=35464 CPUtime=1122.11 cores=0,2,4,6
/proc/17300/stat : 17300 (bsolo) R 17298 17300 10153 0 -1 4202496 7077 0 0 0 112017 194 0 0 20 0 1 0 288023891 36315136 6944 33554432000 134512640 137138936 4290793136 4290792252 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17300/statm: 8866 6944 192 642 0 8222 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 35464

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17352
/proc/meminfo: memFree=30987296/32873844 swapFree=7112/7112
[pid=17300] ppid=17298 vsize=35588 CPUtime=1182.1 cores=0,2,4,6
/proc/17300/stat : 17300 (bsolo) R 17298 17300 10153 0 -1 4202496 7125 0 0 0 118006 204 0 0 20 0 1 0 288023891 36442112 6975 33554432000 134512640 137138936 4290793136 4290792252 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17300/statm: 8897 6975 192 642 0 8253 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 35588

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 17355
/proc/meminfo: memFree=30929256/32873844 swapFree=7112/7112
[pid=17300] ppid=17298 vsize=35512 CPUtime=1242.09 cores=0,2,4,6
/proc/17300/stat : 17300 (bsolo) R 17298 17300 10153 0 -1 4202496 7125 0 0 0 123995 214 0 0 20 0 1 0 288023891 36364288 6956 33554432000 134512640 137138936 4290793136 4290792252 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17300/statm: 8878 6956 192 642 0 8234 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 35512

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17355
/proc/meminfo: memFree=30880780/32873844 swapFree=7112/7112
[pid=17300] ppid=17298 vsize=37380 CPUtime=1302.09 cores=0,2,4,6
/proc/17300/stat : 17300 (bsolo) R 17298 17300 10153 0 -1 4202496 7582 0 0 0 129986 223 0 0 20 0 1 0 288023891 38277120 7410 33554432000 134512640 137138936 4290793136 4290792252 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17300/statm: 9345 7410 192 642 0 8701 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 37380

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17355
/proc/meminfo: memFree=30830188/32873844 swapFree=7112/7112
[pid=17300] ppid=17298 vsize=37608 CPUtime=1362.07 cores=0,2,4,6
/proc/17300/stat : 17300 (bsolo) R 17298 17300 10153 0 -1 4202496 7640 0 0 0 135972 235 0 0 20 0 1 0 288023891 38510592 7468 33554432000 134512640 137138936 4290793136 4290792252 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17300/statm: 9402 7468 192 642 0 8758 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 37608

[startup+1422.31 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 17355
/proc/meminfo: memFree=30789068/32873844 swapFree=7112/7112
[pid=17300] ppid=17298 vsize=38048 CPUtime=1422.08 cores=0,2,4,6
/proc/17300/stat : 17300 (bsolo) R 17298 17300 10153 0 -1 4202496 7744 0 0 0 141961 247 0 0 20 0 1 0 288023891 38961152 7572 33554432000 134512640 137138936 4290793136 4290792252 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17300/statm: 9512 7572 192 642 0 8868 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 38048

[startup+1482.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 17356
/proc/meminfo: memFree=30750656/32873844 swapFree=7112/7112
[pid=17300] ppid=17298 vsize=37792 CPUtime=1482.06 cores=0,2,4,6
/proc/17300/stat : 17300 (bsolo) R 17298 17300 10153 0 -1 4202496 7747 0 0 0 147950 256 0 0 20 0 1 0 288023891 38699008 7507 33554432000 134512640 137138936 4290793136 4290792252 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17300/statm: 9448 7507 192 642 0 8804 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 37792

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17356
/proc/meminfo: memFree=30719064/32873844 swapFree=7112/7112
[pid=17300] ppid=17298 vsize=37872 CPUtime=1542.05 cores=0,2,4,6
/proc/17300/stat : 17300 (bsolo) R 17298 17300 10153 0 -1 4202496 7784 0 0 0 153938 267 0 0 20 0 1 0 288023891 38780928 7544 33554432000 134512640 137138936 4290793136 4290792252 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17300/statm: 9468 7544 192 642 0 8824 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 37872

[startup+1602.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 17356
/proc/meminfo: memFree=30690204/32873844 swapFree=7112/7112
[pid=17300] ppid=17298 vsize=37740 CPUtime=1602.04 cores=0,2,4,6
/proc/17300/stat : 17300 (bsolo) R 17298 17300 10153 0 -1 4202496 7785 0 0 0 159928 276 0 0 20 0 1 0 288023891 38645760 7513 33554432000 134512640 137138936 4290793136 4290792252 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17300/statm: 9435 7513 192 642 0 8791 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 37740

[startup+1662.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 17356
/proc/meminfo: memFree=30669620/32873844 swapFree=7112/7112
[pid=17300] ppid=17298 vsize=38060 CPUtime=1662.02 cores=0,2,4,6
/proc/17300/stat : 17300 (bsolo) R 17298 17300 10153 0 -1 4202496 7857 0 0 0 165917 285 0 0 20 0 1 0 288023891 38973440 7578 33554432000 134512640 137138936 4290793136 4290792252 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17300/statm: 9515 7578 192 642 0 8871 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 38060

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17356
/proc/meminfo: memFree=30660692/32873844 swapFree=7112/7112
[pid=17300] ppid=17298 vsize=37740 CPUtime=1722.02 cores=0,2,4,6
/proc/17300/stat : 17300 (bsolo) R 17298 17300 10153 0 -1 4202496 7857 0 0 0 171907 295 0 0 20 0 1 0 288023891 38645760 7513 33554432000 134512640 137138936 4290793136 4290792252 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17300/statm: 9435 7513 192 642 0 8791 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 37740

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17357
/proc/meminfo: memFree=30647052/32873844 swapFree=7112/7112
[pid=17300] ppid=17298 vsize=37744 CPUtime=1782.01 cores=0,2,4,6
/proc/17300/stat : 17300 (bsolo) R 17298 17300 10153 0 -1 4202496 7863 0 0 0 177898 303 0 0 20 0 1 0 288023891 38649856 7514 33554432000 134512640 137138936 4290793136 4290792252 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17300/statm: 9436 7514 192 642 0 8792 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 37744

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

[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17357
/proc/meminfo: memFree=30644944/32873844 swapFree=7112/7112
[pid=17300] ppid=17298 vsize=38080 CPUtime=1791.62 cores=0,2,4,6
/proc/17300/stat : 17300 (bsolo) R 17298 17300 10153 0 -1 4202496 7929 0 0 0 178857 305 0 0 20 0 1 0 288023891 38993920 7578 33554432000 134512640 137138936 4290793136 4290792252 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17300/statm: 9520 7578 192 642 0 8876 0
Current children cumulated CPU time (s) 1791.62
Current children cumulated vsize (KiB) 38080

[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17357
/proc/meminfo: memFree=30643952/32873844 swapFree=7112/7112
[pid=17300] ppid=17298 vsize=38080 CPUtime=1794.81 cores=0,2,4,6
/proc/17300/stat : 17300 (bsolo) R 17298 17300 10153 0 -1 4202496 7929 0 0 0 179176 305 0 0 20 0 1 0 288023891 38993920 7578 33554432000 134512640 137138936 4290793136 4290792252 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17300/statm: 9520 7578 192 642 0 8876 0
Current children cumulated CPU time (s) 1794.81
Current children cumulated vsize (KiB) 38080

[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17357
/proc/meminfo: memFree=30643704/32873844 swapFree=7112/7112
[pid=17300] ppid=17298 vsize=38076 CPUtime=1796.41 cores=0,2,4,6
/proc/17300/stat : 17300 (bsolo) R 17298 17300 10153 0 -1 4202496 7929 0 0 0 179336 305 0 0 20 0 1 0 288023891 38989824 7578 33554432000 134512640 137138936 4290793136 4290792252 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17300/statm: 9519 7578 192 642 0 8875 0
Current children cumulated CPU time (s) 1796.41
Current children cumulated vsize (KiB) 38076

[startup+1797.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17357
/proc/meminfo: memFree=30643580/32873844 swapFree=7112/7112
[pid=17300] ppid=17298 vsize=38076 CPUtime=1797.21 cores=0,2,4,6
/proc/17300/stat : 17300 (bsolo) R 17298 17300 10153 0 -1 4202496 7929 0 0 0 179416 305 0 0 20 0 1 0 288023891 38989824 7578 33554432000 134512640 137138936 4290793136 4290792252 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17300/statm: 9519 7578 192 642 0 8875 0
Current children cumulated CPU time (s) 1797.21
Current children cumulated vsize (KiB) 38076

[startup+1797.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17357
/proc/meminfo: memFree=30643580/32873844 swapFree=7112/7112
[pid=17300] ppid=17298 vsize=38076 CPUtime=1797.61 cores=0,2,4,6
/proc/17300/stat : 17300 (bsolo) R 17298 17300 10153 0 -1 4202496 7929 0 0 0 179456 305 0 0 20 0 1 0 288023891 38989824 7578 33554432000 134512640 137138936 4290793136 4290792252 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17300/statm: 9519 7578 192 642 0 8875 0
Current children cumulated CPU time (s) 1797.61
Current children cumulated vsize (KiB) 38076

[startup+1798.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17357
/proc/meminfo: memFree=30643580/32873844 swapFree=7112/7112
[pid=17300] ppid=17298 vsize=38076 CPUtime=1797.81 cores=0,2,4,6
/proc/17300/stat : 17300 (bsolo) R 17298 17300 10153 0 -1 4202496 7929 0 0 0 179476 305 0 0 20 0 1 0 288023891 38989824 7578 33554432000 134512640 137138936 4290793136 4290792064 134542316 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17300/statm: 9519 7578 192 642 0 8875 0
Current children cumulated CPU time (s) 1797.81
Current children cumulated vsize (KiB) 38076

[startup+1798.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17357
/proc/meminfo: memFree=30643580/32873844 swapFree=7112/7112
[pid=17300] ppid=17298 vsize=38076 CPUtime=1797.91 cores=0,2,4,6
/proc/17300/stat : 17300 (bsolo) R 17298 17300 10153 0 -1 4202496 7929 0 0 0 179486 305 0 0 20 0 1 0 288023891 38989824 7578 33554432000 134512640 137138936 4290793136 4290792252 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17300/statm: 9519 7578 192 642 0 8875 0
Current children cumulated CPU time (s) 1797.91
Current children cumulated vsize (KiB) 38076

Child status: 0
Real time (s): 1798.28
CPU time (s): 1798
CPU user time (s): 1794.94
CPU system time (s): 3.05953
CPU usage (%): 99.9844
Max. virtual memory (cumulated for all children) (KiB): 38080

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.94
system time used= 3.05953
maximum resident set size= 30316
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7930
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= 16
involuntary context switches= 1999

runsolver used 2.74858 second user time and 7.06193 second system time

The end

Launcher Data 

Begin job on node142 at 2012-05-28 17:29:50
IDJOB=3708320
IDBENCH=89835
IDSOLVER=2286
FILE ID=node142/3708320-1338218990
RUNJOBID= node142-1338206331-16272
PBS_JOBID= 14624568
Free space on /tmp= 71456 MiB

SOLVER NAME= bsolo 3.2
BENCH NAME= PB11/normalized-PB11/OPT-SMALLINT-LIN/heinz/normalized-neos-1616732.opb
COMMAND LINE= bsolo -l2 -tTIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3708320-1338218990/watcher-3708320-1338218990 -o /tmp/evaluation-result-3708320-1338218990/solver-3708320-1338218990 -C 1800 -W 1900 -M 15500  bsolo -l2 -t1800 HOME/instance-3708320-1338218990.opb

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

MD5SUM BENCH= bb6edae9b271ecf76d3d6c31c88b027d
RANDOM SEED=778345043

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.776
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.776
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.776
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5391.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.776
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.776
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.776
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.776
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.776
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        29931036 kB
Buffers:          359972 kB
Cached:           656264 kB
SwapCached:            0 kB
Active:          1880492 kB
Inactive:         236096 kB
Active(anon):    1090768 kB
Inactive(anon):    11208 kB
Active(file):     789724 kB
Inactive(file):   224888 kB
Unevictable:        7112 kB
Mlocked:            7112 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              3896 kB
Writeback:             0 kB
AnonPages:       1200104 kB
Mapped:            12396 kB
Shmem:               200 kB
Slab:             683972 kB
SReclaimable:     126332 kB
SUnreclaim:       557640 kB
KernelStack:        1472 kB
PageTables:         6172 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    1222012 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1175552 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71680 MiB
End job on node142 at 2012-05-28 17:59:48