Trace number 3708519

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 1117.07 1117.24

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=8-P0=229-P1=67-P2=149-P3=97-P4=149-P5=211-P6=89-P7=59-B.opb
MD5SUM12f1f3305860fafcd361cd1c61e0d104
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.086986
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-3708519-1338169990.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 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.004 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.
103.37/103.49	c      101    616     1103    12481   11     3721    5691    185   5941 0.02
103.37/103.49	c      251    616     1381    27870   20     4425    6261    463   7171 0.04
103.37/103.49	c      476    616     1813    50398   27     5542    6888    895   7000 0.07
103.37/103.49	c      815    616     2467    84878   34     7294    7577   1549   6735 0.12
103.37/103.49	c     1324    616     3440   139613   40     9660    8335   2522   6274 0.21
103.37/103.49	c     2087    616     4912   227454   46    13463    9169   3994   5153 0.41
103.37/103.49	c     3233    616     7114   336140   47    19090   10086   6196   4322 0.75
103.37/103.49	c     4954    616    10455   502725   48    27623   11095   9537   3608 1.37
103.37/103.49	c     7538    616     9779   454092   46    25097   12205   8861   2856 2.64
103.37/103.49	c    11417    616    10290   550702   53    24809   13426   9372   3028 3.77
103.37/103.49	c    17240    616    14271   780903   54    35395   14769  13353   2985 5.77
103.37/103.49	c    25978    616    15271   848373   55    37261   16246  14353   2835 9.16
103.37/103.49	c    39089    616    14513   709717   48    37230   17871  13595   2645 14.78
103.37/103.49	c    58760    616    14904   839466   56    37106   19659  13986   2308 25.45
103.37/103.49	c    88272    616    20132  1030092   51    50589   21625  19214   2141 41.22
103.37/103.49	c   132543    616    15288   857998   56    37670   23788  14370   1872 70.77
103.37/103.49	o 59
254.74/254.87	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
254.74/254.87	c   195413    615    13381   729146   54    32280    5189  12463   1888 103.47
254.74/254.87	c   195513    605     3708   174824   47     9516    5708   2790   1888 103.51
254.74/254.87	c   195764    605     4165   200038   48    10725    6279   3247   1890 103.56
254.74/254.87	c   196239    605     5060   252480   49    12876    6907   4142   1893 103.63
254.74/254.87	c   197052    605     6644   328219   49    17508    7598   5726   1898 103.78
254.74/254.87	c   198372    605     5202   228564   43    14488    8358   4284   1904 104.18
254.74/254.87	c   200454    605     8674   424755   48    22609    9194   7756   1904 105.28
254.74/254.87	c   203678    605     9811   524328   53    24418   10114   8893   1910 106.61
254.74/254.87	c   208615    605     8384   412884   49    22602   11126   7466   1934 107.84
254.74/254.87	c   216121    605    10861   513289   47    27580   12239   9943   1956 110.48
254.74/254.87	c   227482    605    12689   621926   49    32795   13463  11771   1968 115.58
254.74/254.87	c   244626    595    10042   482896   48    26272   14810   9124   1977 123.68
254.74/254.87	c   270447    595    10347   544373   52    24978   16292   9429   2019 133.89
254.74/254.87	c   309280    595    12513   630861   50    33212   17922  11595   1980 156.15
254.74/254.87	c   367633    595    10996   589846   53    26723   19715  10078   1928 190.62
254.74/254.87	c   455265    595    19915  1030900   51    52936   21687  18997   1885 241.43
254.74/254.87	o 13
408.12/408.21	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
408.12/408.21	c   475735    595    12429   614481   49    31568    5185  11511   1866 254.83
408.12/408.21	c   475836    585     3678   147008   39     9606    5704   2760   1866 254.88
408.12/408.21	c   476087    585     4180   178489   42    11032    6275   3262   1867 254.91
408.12/408.21	c   476562    585     5054   235041   46    13321    6903   4136   1868 255.01
408.12/408.21	c   477376    585     6525   323464   49    16707    7594   5607   1870 255.19
408.12/408.21	c   478697    585     5220   244139   46    14303    8354   4302   1873 255.53
408.12/408.21	c   480778    585     8988   449238   49    24058    9190   8070   1875 256.38
408.12/408.21	c   484002    585    10010   512590   51    25478   10110   9092   1876 257.89
408.12/408.21	c   488939    585     8464   421534   49    21554   11122   7546   1879 260.08
408.12/408.21	c   496446    585    10454   526874   50    26469   12235   9536   1883 263.61
408.12/408.21	c   507808    575    11229   560958   49    29012   13459  10311   1882 269.74
408.12/408.21	c   524952    575     7657   431380   56    18191   14805   6739   1893 277.27
408.12/408.21	c   550771    575     8330   419799   50    20899   16286   7412   1902 289.44
408.12/408.21	c   589603    575    11590   622831   53    28230   17915  10672   1907 309.11
408.12/408.21	c   647955    575    16991   999446   58    40875   19707  16073   1926 336.42
408.12/408.21	c   735587    575    13206   680811   51    35272   21678  12288   1878 391.68
408.12/408.21	o 3
1117.02/1117.24	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1117.02/1117.24	c   764763    575    11815   617743   52    28905    5181  10897   1873 408.14
1117.02/1117.24	c   764864    544     3706   157001   42     9854    5700   2788   1873 408.20
1117.02/1117.24	c   765114    544     4180   183663   43    11056    6271   3262   1874 408.24
1117.02/1117.24	c   765590    544     5102   232623   45    13518    6899   4184   1875 408.31
1117.02/1117.24	c   766404    544     6672   348688   52    17551    7589   5754   1876 408.48
1117.02/1117.24	c   767724    544     5078   269762   53    13517    8348   4160   1878 408.78
1117.02/1117.24	c   769805    544     8880   465783   52    23550    9183   7962   1879 409.64
1117.02/1117.24	c   773028    544    10140   497084   49    27038   10102   9222   1881 410.86
1117.02/1117.24	c   777964    544     8765   440130   50    22859   11113   7847   1886 412.41
1117.02/1117.24	c   785471    544    10471   523615   50    27441   12225   9553   1891 415.29
1117.02/1117.24	c   796832    544    12746   679777   53    32063   13448  11828   1900 419.20
1117.02/1117.24	c   813976    544     8609   449073   52    22110   14793   7691   1903 427.54
1117.02/1117.24	c   839796    544    10274   533985   51    26272   16273   9356   1912 439.11
1117.02/1117.24	c   878628    544    14103   730114   51    36458   17901  13185   1910 459.82
1117.02/1117.24	c   936980    544    11084   626605   56    26905   19692  10166   1897 493.84
1117.02/1117.24	c  1024614    543    15162   867913   57    37531   21662  14244   1872 547.22
1117.02/1117.24	c  1156168    543    18400   985392   53    44946   23829  17482   1850 624.73
1117.02/1117.24	c  1353600    542    13331   692488   51    32636   26212  12413   1787 757.11
1117.02/1117.24	c  1649852    539    24570  1296151   52    61739   28834  23652   1703 968.52
1117.02/1117.24	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 
1117.02/1117.24	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1117.02/1117.24	c   67  1851253  17548  1920657    22066   955171  21148   1657 1117.06
1117.02/1117.24	c Objective: 3
1117.02/1117.24	s OPTIMUM FOUND
1117.02/1117.24	c Total time: 1117.06 s

Verifier Data 

OK	3

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-3708519-1338169990/watcher-3708519-1338169990 -o /tmp/evaluation-result-3708519-1338169990/solver-3708519-1338169990 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3708519-1338169990.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 2/176 9866
/proc/meminfo: memFree=29865296/32873844 swapFree=7628/7628
[pid=9866] ppid=9864 vsize=11060 CPUtime=0 cores=0,2,4,6
/proc/9866/stat : 9866 (bsolo) R 9864 9866 8717 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283123372 11325440 309 33554432000 134512640 137138936 4292054144 4292045244 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9866/statm: 2765 309 185 642 0 2121 0

[startup+0.0886791 s]
/proc/loadavg: 2.00 2.00 2.00 2/176 9866
/proc/meminfo: memFree=29865296/32873844 swapFree=7628/7628
[pid=9866] ppid=9864 vsize=11828 CPUtime=0.08 cores=0,2,4,6
/proc/9866/stat : 9866 (bsolo) R 9864 9866 8717 0 -1 4202496 574 0 0 0 8 0 0 0 20 0 1 0 283123372 12111872 526 33554432000 134512640 137138936 4292054144 4292053260 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9866/statm: 2957 526 192 642 0 2313 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 11828

[startup+0.100256 s]
/proc/loadavg: 2.00 2.00 2.00 2/176 9866
/proc/meminfo: memFree=29865296/32873844 swapFree=7628/7628
[pid=9866] ppid=9864 vsize=11956 CPUtime=0.09 cores=0,2,4,6
/proc/9866/stat : 9866 (bsolo) R 9864 9866 8717 0 -1 4202496 602 0 0 0 9 0 0 0 20 0 1 0 283123372 12242944 554 33554432000 134512640 137138936 4292054144 4292053260 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9866/statm: 2989 554 192 642 0 2345 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11956

[startup+0.300255 s]
/proc/loadavg: 2.00 2.00 2.00 2/176 9866
/proc/meminfo: memFree=29865296/32873844 swapFree=7628/7628
[pid=9866] ppid=9864 vsize=13620 CPUtime=0.29 cores=0,2,4,6
/proc/9866/stat : 9866 (bsolo) R 9864 9866 8717 0 -1 4202496 998 0 0 0 29 0 0 0 20 0 1 0 283123372 13946880 950 33554432000 134512640 137138936 4292054144 4292053072 134542187 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9866/statm: 3405 950 192 642 0 2761 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13620

[startup+0.700257 s]
/proc/loadavg: 2.00 2.00 2.00 2/176 9866
/proc/meminfo: memFree=29865296/32873844 swapFree=7628/7628
[pid=9866] ppid=9864 vsize=15812 CPUtime=0.69 cores=0,2,4,6
/proc/9866/stat : 9866 (bsolo) R 9864 9866 8717 0 -1 4202496 1558 0 0 0 69 0 0 0 20 0 1 0 283123372 16191488 1510 33554432000 134512640 137138936 4292054144 4292053072 134542808 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9866/statm: 3953 1510 192 642 0 3309 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 15812

[startup+1.50022 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9867
/proc/meminfo: memFree=29858452/32873844 swapFree=7628/7628
[pid=9866] ppid=9864 vsize=18896 CPUtime=1.49 cores=0,2,4,6
/proc/9866/stat : 9866 (bsolo) R 9864 9866 8717 0 -1 4202496 2320 0 0 0 149 0 0 0 20 0 1 0 283123372 19349504 2272 33554432000 134512640 137138936 4292054144 4292053260 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9866/statm: 4724 2272 192 642 0 4080 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 18896

[startup+3.10025 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9867
/proc/meminfo: memFree=29855104/32873844 swapFree=7628/7628
[pid=9866] ppid=9864 vsize=19792 CPUtime=3.08 cores=0,2,4,6
/proc/9866/stat : 9866 (bsolo) R 9864 9866 8717 0 -1 4202496 2559 0 0 0 308 0 0 0 20 0 1 0 283123372 20267008 2511 33554432000 134512640 137138936 4292054144 4292052896 134573202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9866/statm: 4948 2511 192 642 0 4304 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 19792

[startup+6.30026 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9867
/proc/meminfo: memFree=29852004/32873844 swapFree=7628/7628
[pid=9866] ppid=9864 vsize=24132 CPUtime=6.29 cores=0,2,4,6
/proc/9866/stat : 9866 (bsolo) R 9864 9866 8717 0 -1 4202496 3639 0 0 0 628 1 0 0 20 0 1 0 283123372 24711168 3591 33554432000 134512640 137138936 4292054144 4292052888 135984569 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9866/statm: 6033 3591 192 642 0 5389 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 24132

[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9867
/proc/meminfo: memFree=29848600/32873844 swapFree=7628/7628
[pid=9866] ppid=9864 vsize=25556 CPUtime=12.69 cores=0,2,4,6
/proc/9866/stat : 9866 (bsolo) R 9864 9866 8717 0 -1 4202496 4002 0 0 0 1267 2 0 0 20 0 1 0 283123372 26169344 3954 33554432000 134512640 137138936 4292054144 4292052724 136296964 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9866/statm: 6389 3954 192 642 0 5745 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 25556

[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9867
/proc/meminfo: memFree=29846176/32873844 swapFree=7628/7628
[pid=9866] ppid=9864 vsize=28124 CPUtime=25.48 cores=0,2,4,6
/proc/9866/stat : 9866 (bsolo) R 9864 9866 8717 0 -1 4202496 4649 0 0 0 2544 4 0 0 20 0 1 0 283123372 28798976 4598 33554432000 134512640 137138936 4292054144 4292053260 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9866/statm: 7031 4598 192 642 0 6387 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 28124

[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9905
/proc/meminfo: memFree=29850440/32873844 swapFree=7628/7628
[pid=9866] ppid=9864 vsize=31896 CPUtime=51.08 cores=0,2,4,6
/proc/9866/stat : 9866 (bsolo) R 9864 9866 8717 0 -1 4202496 5600 0 0 0 5101 7 0 0 20 0 1 0 283123372 32661504 5544 33554432000 134512640 137138936 4292054144 4292053260 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9866/statm: 7974 5544 192 642 0 7330 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 31896

[startup+102.306 s]
/proc/loadavg: 2.06 2.01 2.00 3/177 9905
/proc/meminfo: memFree=29847036/32873844 swapFree=7628/7628
[pid=9866] ppid=9864 vsize=32156 CPUtime=102.27 cores=0,2,4,6
/proc/9866/stat : 9866 (bsolo) R 9864 9866 8717 0 -1 4202496 5669 0 0 0 10215 12 0 0 20 0 1 0 283123372 32927744 5611 33554432000 134512640 137138936 4292054144 4292052724 136501693 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9866/statm: 8039 5611 192 642 0 7395 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 32156

[startup+162.3 s]
/proc/loadavg: 2.08 2.03 2.00 3/177 9981
/proc/meminfo: memFree=29846292/32873844 swapFree=7628/7628
[pid=9866] ppid=9864 vsize=32144 CPUtime=162.26 cores=0,2,4,6
/proc/9866/stat : 9866 (bsolo) R 9864 9866 8717 0 -1 4202496 5669 0 0 0 16203 23 0 0 20 0 1 0 283123372 32915456 5611 33554432000 134512640 137138936 4292054144 4292052896 134575637 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9866/statm: 8036 5611 192 642 0 7392 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 32144

[startup+222.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/177 9982
/proc/meminfo: memFree=29844492/32873844 swapFree=7628/7628
[pid=9866] ppid=9864 vsize=31916 CPUtime=222.25 cores=0,2,4,6
/proc/9866/stat : 9866 (bsolo) R 9864 9866 8717 0 -1 4202496 5669 0 0 0 22195 30 0 0 20 0 1 0 283123372 32681984 5554 33554432000 134512640 137138936 4292054144 4292052856 136504280 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9866/statm: 7979 5554 192 642 0 7335 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 31916

[startup+282.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 9982
/proc/meminfo: memFree=29843064/32873844 swapFree=7628/7628
[pid=9866] ppid=9864 vsize=31908 CPUtime=282.24 cores=0,2,4,6
/proc/9866/stat : 9866 (bsolo) R 9864 9866 8717 0 -1 4202496 5669 0 0 0 28186 38 0 0 20 0 1 0 283123372 32673792 5552 33554432000 134512640 137138936 4292054144 4292052996 136511170 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9866/statm: 7977 5552 192 642 0 7333 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 31908

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 9982
/proc/meminfo: memFree=29842256/32873844 swapFree=7628/7628
[pid=9866] ppid=9864 vsize=31844 CPUtime=342.23 cores=0,2,4,6
/proc/9866/stat : 9866 (bsolo) R 9864 9866 8717 0 -1 4202496 5669 0 0 0 34177 46 0 0 20 0 1 0 283123372 32608256 5536 33554432000 134512640 137138936 4292054144 4292053184 134540747 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9866/statm: 7961 5536 192 642 0 7317 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 31844

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9982
/proc/meminfo: memFree=29841388/32873844 swapFree=7628/7628
[pid=9866] ppid=9864 vsize=31840 CPUtime=402.22 cores=0,2,4,6
/proc/9866/stat : 9866 (bsolo) R 9864 9866 8717 0 -1 4202496 5669 0 0 0 40171 51 0 0 20 0 1 0 283123372 32604160 5535 33554432000 134512640 137138936 4292054144 4292053040 134542233 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9866/statm: 7960 5535 192 642 0 7316 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 31840

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9985
/proc/meminfo: memFree=29840884/32873844 swapFree=7628/7628
[pid=9866] ppid=9864 vsize=31828 CPUtime=462.21 cores=0,2,4,6
/proc/9866/stat : 9866 (bsolo) R 9864 9866 8717 0 -1 4202496 5669 0 0 0 46162 59 0 0 20 0 1 0 283123372 32591872 5532 33554432000 134512640 137138936 4292054144 4292053072 134542199 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9866/statm: 7957 5532 192 642 0 7313 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 31828

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 10009
/proc/meminfo: memFree=29837408/32873844 swapFree=7628/7628
[pid=9866] ppid=9864 vsize=31828 CPUtime=522.2 cores=0,2,4,6
/proc/9866/stat : 9866 (bsolo) R 9864 9866 8717 0 -1 4202496 5669 0 0 0 52154 66 0 0 20 0 1 0 283123372 32591872 5532 33554432000 134512640 137138936 4292054144 4292052856 136504045 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9866/statm: 7957 5532 192 642 0 7313 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 31828

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10009
/proc/meminfo: memFree=29837416/32873844 swapFree=7628/7628
[pid=9866] ppid=9864 vsize=31828 CPUtime=582.19 cores=0,2,4,6
/proc/9866/stat : 9866 (bsolo) R 9864 9866 8717 0 -1 4202496 5669 0 0 0 58146 73 0 0 20 0 1 0 283123372 32591872 5532 33554432000 134512640 137138936 4292054144 4292053072 134542516 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9866/statm: 7957 5532 192 642 0 7313 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 31828

[startup+642.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10009
/proc/meminfo: memFree=29837292/32873844 swapFree=7628/7628
[pid=9866] ppid=9864 vsize=31996 CPUtime=642.19 cores=0,2,4,6
/proc/9866/stat : 9866 (bsolo) R 9864 9866 8717 0 -1 4202496 5703 0 0 0 64138 81 0 0 20 0 1 0 283123372 32763904 5566 33554432000 134512640 137138936 4292054144 4292051952 134603141 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9866/statm: 7999 5566 192 642 0 7355 0
Current children cumulated CPU time (s) 642.19
Current children cumulated vsize (KiB) 31996

[startup+702.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10009
/proc/meminfo: memFree=29837416/32873844 swapFree=7628/7628
[pid=9866] ppid=9864 vsize=31988 CPUtime=702.17 cores=0,2,4,6
/proc/9866/stat : 9866 (bsolo) R 9864 9866 8717 0 -1 4202496 5703 0 0 0 70131 86 0 0 20 0 1 0 283123372 32755712 5566 33554432000 134512640 137138936 4292054144 4292053040 134542480 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9866/statm: 7997 5566 192 642 0 7353 0
Current children cumulated CPU time (s) 702.17
Current children cumulated vsize (KiB) 31988

[startup+762.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 10009
/proc/meminfo: memFree=29836804/32873844 swapFree=7628/7628
[pid=9866] ppid=9864 vsize=33308 CPUtime=762.17 cores=0,2,4,6
/proc/9866/stat : 9866 (bsolo) R 9864 9866 8717 0 -1 4202496 6033 0 0 0 76124 93 0 0 20 0 1 0 283123372 34107392 5896 33554432000 134512640 137138936 4292054144 4292053072 134542490 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9866/statm: 8327 5896 192 642 0 7683 0
Current children cumulated CPU time (s) 762.17
Current children cumulated vsize (KiB) 33308

[startup+822.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10011
/proc/meminfo: memFree=29834500/32873844 swapFree=7628/7628
[pid=9866] ppid=9864 vsize=33308 CPUtime=822.16 cores=0,2,4,6
/proc/9866/stat : 9866 (bsolo) R 9864 9866 8717 0 -1 4202496 6035 0 0 0 82117 99 0 0 20 0 1 0 283123372 34107392 5898 33554432000 134512640 137138936 4292054144 4292053260 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9866/statm: 8327 5898 192 642 0 7683 0
Current children cumulated CPU time (s) 822.16
Current children cumulated vsize (KiB) 33308

[startup+882.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10011
/proc/meminfo: memFree=29834312/32873844 swapFree=7628/7628
[pid=9866] ppid=9864 vsize=33932 CPUtime=882.15 cores=0,2,4,6
/proc/9866/stat : 9866 (bsolo) R 9864 9866 8717 0 -1 4202496 6191 0 0 0 88111 104 0 0 20 0 1 0 283123372 34746368 6053 33554432000 134512640 137138936 4292054144 4292053064 135984556 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9866/statm: 8483 6053 192 642 0 7839 0
Current children cumulated CPU time (s) 882.15
Current children cumulated vsize (KiB) 33932

[startup+942.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/177 10011
/proc/meminfo: memFree=29834312/32873844 swapFree=7628/7628
[pid=9866] ppid=9864 vsize=33932 CPUtime=942.14 cores=0,2,4,6
/proc/9866/stat : 9866 (bsolo) R 9864 9866 8717 0 -1 4202496 6192 0 0 0 94103 111 0 0 20 0 1 0 283123372 34746368 6054 33554432000 134512640 137138936 4292054144 4292052660 134551152 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9866/statm: 8483 6054 192 642 0 7839 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 33932

[startup+1002.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/177 10011
/proc/meminfo: memFree=29832948/32873844 swapFree=7628/7628
[pid=9866] ppid=9864 vsize=35256 CPUtime=1002.13 cores=0,2,4,6
/proc/9866/stat : 9866 (bsolo) R 9864 9866 8717 0 -1 4202496 6525 0 0 0 100097 116 0 0 20 0 1 0 283123372 36102144 6387 33554432000 134512640 137138936 4292054144 4292052964 136511151 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9866/statm: 8814 6387 192 642 0 8170 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 35256

[startup+1062.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/178 10014
/proc/meminfo: memFree=29831948/32873844 swapFree=7628/7628
[pid=9866] ppid=9864 vsize=35252 CPUtime=1062.12 cores=0,2,4,6
/proc/9866/stat : 9866 (bsolo) R 9864 9866 8717 0 -1 4202496 6525 0 0 0 106089 123 0 0 20 0 1 0 283123372 36098048 6387 33554432000 134512640 137138936 4292054144 4292053040 134542516 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9866/statm: 8813 6387 192 642 0 8169 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 35252

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

[startup+1075.1 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 10014
/proc/meminfo: memFree=29831956/32873844 swapFree=7628/7628
[pid=9866] ppid=9864 vsize=35252 CPUtime=1074.92 cores=0,2,4,6
/proc/9866/stat : 9866 (bsolo) R 9864 9866 8717 0 -1 4202496 6525 0 0 0 107367 125 0 0 20 0 1 0 283123372 36098048 6387 33554432000 134512640 137138936 4292054144 4292053072 134542412 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9866/statm: 8813 6387 192 642 0 8169 0
Current children cumulated CPU time (s) 1074.92
Current children cumulated vsize (KiB) 35252

[startup+1100.7 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 10015
/proc/meminfo: memFree=29831956/32873844 swapFree=7628/7628
[pid=9866] ppid=9864 vsize=35252 CPUtime=1100.51 cores=0,2,4,6
/proc/9866/stat : 9866 (bsolo) R 9864 9866 8717 0 -1 4202496 6525 0 0 0 109924 127 0 0 20 0 1 0 283123372 36098048 6387 33554432000 134512640 137138936 4292054144 4292053072 134542187 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9866/statm: 8813 6387 192 642 0 8169 0
Current children cumulated CPU time (s) 1100.51
Current children cumulated vsize (KiB) 35252

[startup+1107.1 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 10015
/proc/meminfo: memFree=29831956/32873844 swapFree=7628/7628
[pid=9866] ppid=9864 vsize=35252 CPUtime=1106.92 cores=0,2,4,6
/proc/9866/stat : 9866 (bsolo) R 9864 9866 8717 0 -1 4202496 6525 0 0 0 110564 128 0 0 20 0 1 0 283123372 36098048 6387 33554432000 134512640 137138936 4292054144 4292053184 134540747 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9866/statm: 8813 6387 192 642 0 8169 0
Current children cumulated CPU time (s) 1106.92
Current children cumulated vsize (KiB) 35252

[startup+1113.5 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 10015
/proc/meminfo: memFree=29831584/32873844 swapFree=7628/7628
[pid=9866] ppid=9864 vsize=35252 CPUtime=1113.31 cores=0,2,4,6
/proc/9866/stat : 9866 (bsolo) R 9864 9866 8717 0 -1 4202496 6525 0 0 0 111203 128 0 0 20 0 1 0 283123372 36098048 6387 33554432000 134512640 137138936 4292054144 4292053072 134542434 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9866/statm: 8813 6387 192 642 0 8169 0
Current children cumulated CPU time (s) 1113.31
Current children cumulated vsize (KiB) 35252

[startup+1115.1 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 10015
/proc/meminfo: memFree=29831584/32873844 swapFree=7628/7628
[pid=9866] ppid=9864 vsize=35252 CPUtime=1114.91 cores=0,2,4,6
/proc/9866/stat : 9866 (bsolo) R 9864 9866 8717 0 -1 4202496 6525 0 0 0 111363 128 0 0 20 0 1 0 283123372 36098048 6387 33554432000 134512640 137138936 4292054144 4292053260 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9866/statm: 8813 6387 192 642 0 8169 0
Current children cumulated CPU time (s) 1114.91
Current children cumulated vsize (KiB) 35252

[startup+1115.9 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 10015
/proc/meminfo: memFree=29831584/32873844 swapFree=7628/7628
[pid=9866] ppid=9864 vsize=35252 CPUtime=1115.71 cores=0,2,4,6
/proc/9866/stat : 9866 (bsolo) R 9864 9866 8717 0 -1 4202496 6525 0 0 0 111443 128 0 0 20 0 1 0 283123372 36098048 6387 33554432000 134512640 137138936 4292054144 4292053072 134542953 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9866/statm: 8813 6387 192 642 0 8169 0
Current children cumulated CPU time (s) 1115.71
Current children cumulated vsize (KiB) 35252

[startup+1116.7 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 10015
/proc/meminfo: memFree=29831584/32873844 swapFree=7628/7628
[pid=9866] ppid=9864 vsize=35252 CPUtime=1116.52 cores=0,2,4,6
/proc/9866/stat : 9866 (bsolo) R 9864 9866 8717 0 -1 4202496 6525 0 0 0 111523 129 0 0 20 0 1 0 283123372 36098048 6387 33554432000 134512640 137138936 4292054144 4292053040 134542434 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9866/statm: 8813 6387 192 642 0 8169 0
Current children cumulated CPU time (s) 1116.52
Current children cumulated vsize (KiB) 35252

[startup+1117.1 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 10015
/proc/meminfo: memFree=29831584/32873844 swapFree=7628/7628
[pid=9866] ppid=9864 vsize=35252 CPUtime=1116.92 cores=0,2,4,6
/proc/9866/stat : 9866 (bsolo) R 9864 9866 8717 0 -1 4202496 6525 0 0 0 111563 129 0 0 20 0 1 0 283123372 36098048 6387 33554432000 134512640 137138936 4292054144 4292052896 134576416 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9866/statm: 8813 6387 192 642 0 8169 0
Current children cumulated CPU time (s) 1116.92
Current children cumulated vsize (KiB) 35252

[startup+1117.2 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 10015
/proc/meminfo: memFree=29831584/32873844 swapFree=7628/7628
[pid=9866] ppid=9864 vsize=35252 CPUtime=1117.02 cores=0,2,4,6
/proc/9866/stat : 9866 (bsolo) R 9864 9866 8717 0 -1 4202496 6525 0 0 0 111573 129 0 0 20 0 1 0 283123372 36098048 6387 33554432000 134512640 137138936 4292054144 4292053040 134542295 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/9866/statm: 8813 6387 192 642 0 8169 0
Current children cumulated CPU time (s) 1117.02
Current children cumulated vsize (KiB) 35252

Child status: 0
Real time (s): 1117.24
CPU time (s): 1117.07
CPU user time (s): 1115.77
CPU system time (s): 1.2908
CPU usage (%): 99.984
Max. virtual memory (cumulated for all children) (KiB): 35260

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1115.77
system time used= 1.2908
maximum resident set size= 25552
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6526
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= 14
involuntary context switches= 1215

runsolver used 2.40163 second user time and 7.45787 second system time

The end

Launcher Data 

Begin job on node145 at 2012-05-28 03:53:10
IDJOB=3708519
IDBENCH=48017
IDSOLVER=2286
FILE ID=node145/3708519-1338169990
RUNJOBID= node145-1338157126-8733
PBS_JOBID= 14624528
Free space on /tmp= 71552 MiB

SOLVER NAME= bsolo 3.2
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=8-P0=229-P1=67-P2=149-P3=97-P4=149-P5=211-P6=89-P7=59-B.opb
COMMAND LINE= bsolo -l2 -tTIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3708519-1338169990/watcher-3708519-1338169990 -o /tmp/evaluation-result-3708519-1338169990/solver-3708519-1338169990 -C 1800 -W 1900 -M 15500  bsolo -l2 -t1800 HOME/instance-3708519-1338169990.opb

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

MD5SUM BENCH= 12f1f3305860fafcd361cd1c61e0d104
RANDOM SEED=7554239

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

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

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

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.149
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	: 5313.38
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.149
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.89
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        29865404 kB
Buffers:          328480 kB
Cached:          1835960 kB
SwapCached:            0 kB
Active:           698088 kB
Inactive:        1492668 kB
Active(anon):      17796 kB
Inactive(anon):    10912 kB
Active(file):     680292 kB
Inactive(file):  1481756 kB
Unevictable:        7628 kB
Mlocked:            7628 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              3944 kB
Writeback:             0 kB
AnonPages:         37464 kB
Mapped:            14748 kB
Shmem:               200 kB
Slab:             678628 kB
SReclaimable:     120280 kB
SUnreclaim:       558348 kB
KernelStack:        1464 kB
PageTables:         3680 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     147900 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:     14336 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= 71548 MiB
End job on node145 at 2012-05-28 04:11:47