Trace number 3462632

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.2SAT33 1798 1797.98

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=9-P0=109-P1=191-P2=263-P3=37-P4=317-P5=89-P6=131-B.opb
MD5SUMd6ad4e57f9bd4d3660efa4691d3e45da
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.221965
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 variables162
Total number of constraints13
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 constraints13
Minimum length of a constraint9
Maximum length of a constraint99
Number of terms in the objective function 9
Biggest coefficient in the objective function 256
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 511
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 131072
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 523264
Number of bits of the biggest sum of numbers19
Number of products (including duplicates)486
Sum of products size (including duplicates)972
Number of different products486
Sum of products size972

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-3462632-1307181522.opb
0.00/0.00	c File size is 8551 bytes.
0.00/0.00	c Highest Coefficient sum: 523264
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: 648 Constr: 991 486/0/505 Lit: 4149 Watch. Lit: 2540
0.00/0.00	c Obj. Vars: 9 (1.38889 % 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    648      991     4149    4     3569    5543      0      0 0.00
0.00/0.00	c Switching off lower bounding mode.
1138.80/1138.87	c      101    648     1190    17778   14     3948    6098    199   5611 0.02
1138.80/1138.87	c      252    648     1468    41050   27     4479    6708    477   6146 0.04
1138.80/1138.87	c      478    648     1911    68815   36     5751    7379    920   6373 0.07
1138.80/1138.87	c      816    648     2492   108578   43     7113    8117   1501   5440 0.15
1138.80/1138.87	c     1324    648     3454   175862   50     9440    8929   2463   4695 0.28
1138.80/1138.87	c     2087    648     4944   305177   61    13238    9822   3953   4576 0.46
1138.80/1138.87	c     3233    648     7163   467946   65    18898   10805   6172   4559 0.71
1138.80/1138.87	c     4955    648    10361   712215   68    26802   11886   9370   3270 1.51
1138.80/1138.87	c     7539    648     9120   593625   65    22821   13075   8129   2677 2.82
1138.80/1138.87	c    11418    648     9539   638863   66    23956   14383   8548   2705 4.22
1138.80/1138.87	c    17241    648    13469   887482   65    35215   15822  12478   2703 6.38
1138.80/1138.87	c    25979    648    13616   890901   65    34054   17405  12625   2241 11.59
1138.80/1138.87	c    39089    648    12335   707780   57    32669   19146  11344   2072 18.86
1138.80/1138.87	c    58761    648    19496  1331348   68    48924   21061  18505   1833 32.04
1138.80/1138.87	c    88272    648    21514  1281901   59    56231   23168  20523   1771 49.83
1138.80/1138.87	c   132543    648    23618  1647821   69    59174   25485  22627   1569 84.44
1138.80/1138.87	c   198954    648    20099  1363402   67    50435   28034  19108   1522 130.64
1138.80/1138.87	c   298575    648    15760   970566   61    42284   30838  14769   1364 218.79
1138.80/1138.87	c   448010    648    19488  1256539   64    51334   33922  18497   1207 371.00
1138.80/1138.87	c   672169    648    21079  1409107   66    52670   37315  20088   1111 604.73
1138.80/1138.87	c  1008413    648    29539  2001146   67    77729   41047  28548   1005 1002.80
1138.80/1138.87	o 129
1608.12/1608.14	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1608.12/1608.14	c  1109135    648    31125  2381266   76    77472    5562  30134    973 1138.87
1608.12/1608.14	c  1109235    648     3966   235049   59    10357    6119   2975    973 1139.63
1608.12/1608.14	c  1109485    648     4437   267327   60    11467    6731   3446    973 1139.67
1608.12/1608.14	c  1109960    648     5381   335611   62    14078    7405   4390    973 1139.76
1608.12/1608.14	c  1110774    648     7003   461105   65    18184    8146   6012    974 1139.97
1608.12/1608.14	c  1112094    648     5066   336216   66    13345    8961   4075    975 1140.33
1608.12/1608.14	c  1114176    648     9161   628319   68    24648    9858   8170    976 1140.99
1608.12/1608.14	c  1117401    648     9839   644944   65    26156   10844   8848    978 1141.82
1608.12/1608.14	c  1122337    648     7844   501044   63    21283   11929   6853    980 1144.12
1608.12/1608.14	c  1129843    648    10463   628425   60    28113   13122   9472    984 1148.07
1608.12/1608.14	c  1141204    648    12433   737979   59    32852   14435  11442    987 1155.85
1608.12/1608.14	c  1158348    637    13043   876191   67    34996   15879  12052    995 1163.93
1608.12/1608.14	c  1184167    637    14592   943821   64    34990   17467  13601   1005 1178.09
1608.12/1608.14	c  1223000    637    15911  1139349   71    41752   19214  14920   1014 1206.04
1608.12/1608.14	c  1281353    637    16714   955589   57    43675   21136  15723   1028 1245.95
1608.12/1608.14	c  1368986    637    21967  1471002   66    57872   23250  20976   1054 1298.25
1608.12/1608.14	c  1500538    637    15143  1004653   66    38341   25576  14152   1080 1389.05
1608.12/1608.14	c  1697971    637    18205  1249992   68    47933   28134  17214   1065 1593.18
1608.12/1608.14	o 33
1797.92/1797.97	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.92/1797.97	c  1725395    637    24920  1622953   65    64709    5559  23929   1072 1608.16
1797.92/1797.97	c  1725496    637     3975   216854   54    10734    6115   2984   1072 1608.52
1797.92/1797.97	c  1725746    637     4458   247477   55    12049    6727   3467   1072 1608.57
1797.92/1797.97	c  1726222    637     5376   301897   56    14470    7400   4385   1073 1608.67
1797.92/1797.97	c  1727036    637     6948   396953   57    18517    8141   5957   1073 1608.90
1797.92/1797.97	c  1728357    637     5067   302517   59    13242    8956   4076   1074 1609.24
1797.92/1797.97	c  1730439    637     9074   595233   65    23567    9852   8083   1074 1609.82
1797.92/1797.97	c  1733662    637    10355   666632   64    26676   10838   9364   1075 1611.34
1797.92/1797.97	c  1738599    626     8617   569780   66    23210   11922   7626   1077 1613.15
1797.92/1797.97	c  1746106    626    10707   619899   57    30053   13115   9716   1080 1616.08
1797.92/1797.97	c  1757467    615    11380   750312   65    30178   14427  10389   1084 1620.58
1797.92/1797.97	c  1774613    615    14323   939235   65    37493   15870  13332   1088 1630.42
1797.92/1797.97	c  1800434    615    14748   936952   63    37175   17458  13757   1094 1644.52
1797.92/1797.97	c  1839266    615    14653  1044916   71    36330   19204  13662   1100 1671.57
1797.92/1797.97	c  1897620    615    11555   740504   64    29658   21125  10564   1110 1708.98
1797.92/1797.97	c  1985252    615    16670  1097149   65    43364   23238  15679   1121 1770.91
1797.92/1797.97	c Resources Exceeded
1797.92/1797.97	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 -x109 x110 -x111 -x112 x113 -x114 -x115 -x116 -x117 x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 x82 x83 -x84 -x85 x86 -x87 -x88 -x89 -x90 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 x100 x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 
1797.92/1797.97	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.92/1797.97	c   55  2018336  16774  2083244    21040  1456402  20049   1122 1798.00
1797.92/1797.97	c Objective: 33
1797.92/1797.97	s SATISFIABLE
1797.92/1797.97	c Total time: 1798 s

Verifier Data 

OK	33

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-3462632-1307181522/watcher-3462632-1307181522 -o /tmp/evaluation-result-3462632-1307181522/solver-3462632-1307181522 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3462632-1307181522.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.06 2.03 2.01 2/524 27867
/proc/meminfo: memFree=23780932/32951124 swapFree=56930356/67111528
[pid=27867] ppid=27865 vsize=11192 CPUtime=0.01 cores=1,3,5,7
/proc/27867/stat : 27867 (bsolo) R 27865 27867 25956 0 -1 4202496 392 0 0 0 1 0 0 0 25 0 1 0 829749939 11460608 343 33554432000 134512640 137138936 4287389632 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27867/statm: 2798 343 192 642 0 2154 0

[startup+0.0976851 s]
/proc/loadavg: 2.06 2.03 2.01 2/524 27867
/proc/meminfo: memFree=23780932/32951124 swapFree=56930356/67111528
[pid=27867] ppid=27865 vsize=12080 CPUtime=0.09 cores=1,3,5,7
/proc/27867/stat : 27867 (bsolo) R 27865 27867 25956 0 -1 4202496 635 0 0 0 9 0 0 0 25 0 1 0 829749939 12369920 586 33554432000 134512640 137138936 4287389632 18446744073709551615 136504116 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27867/statm: 3020 586 192 642 0 2376 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12080

[startup+0.100688 s]
/proc/loadavg: 2.06 2.03 2.01 2/524 27867
/proc/meminfo: memFree=23780932/32951124 swapFree=56930356/67111528
[pid=27867] ppid=27865 vsize=12080 CPUtime=0.1 cores=1,3,5,7
/proc/27867/stat : 27867 (bsolo) R 27865 27867 25956 0 -1 4202496 639 0 0 0 10 0 0 0 25 0 1 0 829749939 12369920 590 33554432000 134512640 137138936 4287389632 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27867/statm: 3020 590 192 642 0 2376 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 12080

[startup+0.300649 s]
/proc/loadavg: 2.06 2.03 2.01 2/524 27867
/proc/meminfo: memFree=23780932/32951124 swapFree=56930356/67111528
[pid=27867] ppid=27865 vsize=13604 CPUtime=0.3 cores=1,3,5,7
/proc/27867/stat : 27867 (bsolo) R 27865 27867 25956 0 -1 4202496 1010 0 0 0 30 0 0 0 25 0 1 0 829749939 13930496 961 33554432000 134512640 137138936 4287389632 18446744073709551615 134606964 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27867/statm: 3401 961 192 642 0 2757 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 13604

[startup+0.700589 s]
/proc/loadavg: 2.06 2.03 2.01 2/524 27867
/proc/meminfo: memFree=23780932/32951124 swapFree=56930356/67111528
[pid=27867] ppid=27865 vsize=17588 CPUtime=0.69 cores=1,3,5,7
/proc/27867/stat : 27867 (bsolo) R 27865 27867 25956 0 -1 4202496 2007 0 0 0 69 0 0 0 25 0 1 0 829749939 18010112 1958 33554432000 134512640 137138936 4287389632 18446744073709551615 134603223 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27867/statm: 4397 1958 192 642 0 3753 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 17588

[startup+1.50043 s]
/proc/loadavg: 2.06 2.03 2.01 3/525 27868
/proc/meminfo: memFree=23771748/32951124 swapFree=56930356/67111528
[pid=27867] ppid=27865 vsize=21192 CPUtime=1.49 cores=1,3,5,7
/proc/27867/stat : 27867 (bsolo) R 27865 27867 25956 0 -1 4202496 2901 0 0 0 149 0 0 0 25 0 1 0 829749939 21700608 2852 33554432000 134512640 137138936 4287389632 18446744073709551615 134572775 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27867/statm: 5298 2852 192 642 0 4654 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 21192

[startup+3.10014 s]
/proc/loadavg: 2.06 2.03 2.01 3/525 27868
/proc/meminfo: memFree=23765796/32951124 swapFree=56930356/67111528
[pid=27867] ppid=27865 vsize=23856 CPUtime=3.09 cores=1,3,5,7
/proc/27867/stat : 27867 (bsolo) R 27865 27867 25956 0 -1 4202496 3569 0 0 0 308 1 0 0 25 0 1 0 829749939 24428544 3520 33554432000 134512640 137138936 4287389632 18446744073709551615 134618032 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27867/statm: 5964 3520 192 642 0 5320 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 23856

[startup+6.30057 s]
/proc/loadavg: 2.05 2.03 2.00 3/525 27868
/proc/meminfo: memFree=23762720/32951124 swapFree=56930356/67111528
[pid=27867] ppid=27865 vsize=26680 CPUtime=6.29 cores=1,3,5,7
/proc/27867/stat : 27867 (bsolo) R 27865 27867 25956 0 -1 4202496 4277 0 0 0 628 1 0 0 25 0 1 0 829749939 27320320 4228 33554432000 134512640 137138936 4287389632 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27867/statm: 6670 4228 192 642 0 6026 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 26680

[startup+12.7004 s]
/proc/loadavg: 2.05 2.03 2.00 3/525 27868
/proc/meminfo: memFree=23761116/32951124 swapFree=56930356/67111528
[pid=27867] ppid=27865 vsize=28080 CPUtime=12.69 cores=1,3,5,7
/proc/27867/stat : 27867 (bsolo) R 27865 27867 25956 0 -1 4202496 4624 0 0 0 1266 3 0 0 25 0 1 0 829749939 28753920 4575 33554432000 134512640 137138936 4287389632 18446744073709551615 134542351 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27867/statm: 7020 4575 192 642 0 6376 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 28080

[startup+25.5011 s]
/proc/loadavg: 2.12 2.05 2.01 3/525 27868
/proc/meminfo: memFree=23757288/32951124 swapFree=56930356/67111528
[pid=27867] ppid=27865 vsize=31288 CPUtime=25.49 cores=1,3,5,7
/proc/27867/stat : 27867 (bsolo) R 27865 27867 25956 0 -1 4202496 5434 0 0 0 2543 6 0 0 25 0 1 0 829749939 32038912 5385 33554432000 134512640 137138936 4287389632 18446744073709551615 134542378 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27867/statm: 7822 5385 192 642 0 7178 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 31288

[startup+51.1005 s]
/proc/loadavg: 2.08 2.04 2.01 3/525 27869
/proc/meminfo: memFree=23754904/32951124 swapFree=56930356/67111528
[pid=27867] ppid=27865 vsize=33356 CPUtime=51.09 cores=1,3,5,7
/proc/27867/stat : 27867 (bsolo) R 27865 27867 25956 0 -1 4202496 5958 0 0 0 5099 10 0 0 25 0 1 0 829749939 34156544 5909 33554432000 134512640 137138936 4287389632 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27867/statm: 8339 5909 192 642 0 7695 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 33356

[startup+102.32 s]
/proc/loadavg: 2.03 2.03 2.00 3/525 27870
/proc/meminfo: memFree=23749900/32951124 swapFree=56930356/67111528
[pid=27867] ppid=27865 vsize=37684 CPUtime=102.31 cores=1,3,5,7
/proc/27867/stat : 27867 (bsolo) R 27865 27867 25956 0 -1 4202496 7040 0 0 0 10213 18 0 0 25 0 1 0 829749939 38588416 6991 33554432000 134512640 137138936 4287389632 18446744073709551615 134599783 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27867/statm: 9421 6991 192 642 0 8777 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 37684

[startup+162.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/525 27998
/proc/meminfo: memFree=23841048/32951124 swapFree=56930356/67111528
[pid=27867] ppid=27865 vsize=40396 CPUtime=162.29 cores=1,3,5,7
/proc/27867/stat : 27867 (bsolo) R 27865 27867 25956 0 -1 4202496 7720 0 0 0 16204 25 0 0 25 0 1 0 829749939 41365504 7671 33554432000 134512640 137138936 4287389632 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27867/statm: 10099 7671 192 642 0 9455 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 40396

[startup+222.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/525 28000
/proc/meminfo: memFree=23834868/32951124 swapFree=56930356/67111528
[pid=27867] ppid=27865 vsize=41028 CPUtime=222.29 cores=1,3,5,7
/proc/27867/stat : 27867 (bsolo) R 27865 27867 25956 0 -1 4202496 7883 0 0 0 22198 31 0 0 25 0 1 0 829749939 42012672 7833 33554432000 134512640 137138936 4287389632 18446744073709551615 134542547 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27867/statm: 10257 7833 192 642 0 9613 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 41028

[startup+282.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/525 28058
/proc/meminfo: memFree=23745420/32951124 swapFree=56930356/67111528
[pid=27867] ppid=27865 vsize=44380 CPUtime=282.3 cores=1,3,5,7
/proc/27867/stat : 27867 (bsolo) R 27865 27867 25956 0 -1 4202496 8720 0 0 0 28192 38 0 0 25 0 1 0 829749939 45445120 8670 33554432000 134512640 137138936 4287389632 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/27867/statm: 11095 8670 192 642 0 10451 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 44380

[startup+342.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/525 28062
/proc/meminfo: memFree=23645196/32951124 swapFree=56930356/67111528
[pid=27867] ppid=27865 vsize=45208 CPUtime=342.27 cores=1,3,5,7
/proc/27867/stat : 27867 (bsolo) R 27865 27867 25956 0 -1 4202496 8928 0 0 0 34185 42 0 0 25 0 1 0 829749939 46292992 8878 33554432000 134512640 137138936 4287389632 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/27867/statm: 11302 8878 192 642 0 10658 0
Current children cumulated CPU time (s) 342.27
Current children cumulated vsize (KiB) 45208

[startup+402.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/525 28064
/proc/meminfo: memFree=23546492/32951124 swapFree=56930356/67111528
[pid=27867] ppid=27865 vsize=59160 CPUtime=402.28 cores=1,3,5,7
/proc/27867/stat : 27867 (bsolo) R 27865 27867 25956 0 -1 4202496 12447 0 0 0 40178 50 0 0 25 0 1 0 829749939 60579840 12363 33554432000 134512640 137138936 4287389632 18446744073709551615 136520975 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/27867/statm: 14790 12363 192 642 0 14146 0
Current children cumulated CPU time (s) 402.28
Current children cumulated vsize (KiB) 59160

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/525 28066
/proc/meminfo: memFree=23464996/32951124 swapFree=56930356/67111528
[pid=27867] ppid=27865 vsize=61072 CPUtime=462.28 cores=1,3,5,7
/proc/27867/stat : 27867 (bsolo) R 27865 27867 25956 0 -1 4202496 12896 0 0 0 46174 54 0 0 25 0 1 0 829749939 62537728 12812 33554432000 134512640 137138936 4287389632 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/27867/statm: 15268 12812 192 642 0 14624 0
Current children cumulated CPU time (s) 462.28
Current children cumulated vsize (KiB) 61072

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/525 28068
/proc/meminfo: memFree=23394540/32951124 swapFree=56930356/67111528
[pid=27867] ppid=27865 vsize=61072 CPUtime=522.27 cores=1,3,5,7
/proc/27867/stat : 27867 (bsolo) R 27865 27867 25956 0 -1 4202496 12896 0 0 0 52166 61 0 0 25 0 1 0 829749939 62537728 12812 33554432000 134512640 137138936 4287389632 18446744073709551615 136295499 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/27867/statm: 15268 12812 192 642 0 14624 0
Current children cumulated CPU time (s) 522.27
Current children cumulated vsize (KiB) 61072

[startup+582.301 s]
/proc/loadavg: 2.07 2.03 2.01 3/525 28069
/proc/meminfo: memFree=23320732/32951124 swapFree=56930356/67111528
[pid=27867] ppid=27865 vsize=61072 CPUtime=582.28 cores=1,3,5,7
/proc/27867/stat : 27867 (bsolo) R 27865 27867 25956 0 -1 4202496 12896 0 0 0 58161 67 0 0 25 0 1 0 829749939 62537728 12812 33554432000 134512640 137138936 4287389632 18446744073709551615 134542761 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/27867/statm: 15268 12812 192 642 0 14624 0
Current children cumulated CPU time (s) 582.28
Current children cumulated vsize (KiB) 61072

[startup+642.301 s]

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

/proc/meminfo: memFree=22951908/32951124 swapFree=56930356/67111528
[pid=27867] ppid=27865 vsize=60960 CPUtime=1062.29 cores=1,3,5,7
/proc/27867/stat : 27867 (bsolo) R 27865 27867 25956 0 -1 4202496 12903 0 0 0 106120 109 0 0 25 0 1 0 829749939 62423040 12816 33554432000 134512640 137138936 4287389632 18446744073709551615 136504020 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/27867/statm: 15240 12816 192 642 0 14596 0
Current children cumulated CPU time (s) 1062.29
Current children cumulated vsize (KiB) 60960

[startup+1122.3 s]
/proc/loadavg: 2.10 2.03 2.01 3/525 28084
/proc/meminfo: memFree=22907344/32951124 swapFree=56930356/67111528
[pid=27867] ppid=27865 vsize=60960 CPUtime=1122.29 cores=1,3,5,7
/proc/27867/stat : 27867 (bsolo) R 27865 27867 25956 0 -1 4202496 12903 0 0 0 112116 113 0 0 25 0 1 0 829749939 62423040 12816 33554432000 134512640 137138936 4287389632 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/27867/statm: 15240 12816 192 642 0 14596 0
Current children cumulated CPU time (s) 1122.29
Current children cumulated vsize (KiB) 60960

[startup+1182.3 s]
/proc/loadavg: 2.19 2.07 2.02 4/525 28085
/proc/meminfo: memFree=22865276/32951124 swapFree=56930356/67111528
[pid=27867] ppid=27865 vsize=60960 CPUtime=1182.3 cores=1,3,5,7
/proc/27867/stat : 27867 (bsolo) R 27865 27867 25956 0 -1 4202496 12903 0 0 0 118107 123 0 0 25 0 1 0 829749939 62423040 12816 33554432000 134512640 137138936 4287389632 18446744073709551615 134542289 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/27867/statm: 15240 12816 192 642 0 14596 0
Current children cumulated CPU time (s) 1182.3
Current children cumulated vsize (KiB) 60960

[startup+1242.3 s]
/proc/loadavg: 2.12 2.07 2.02 3/525 28087
/proc/meminfo: memFree=22822216/32951124 swapFree=56930356/67111528
[pid=27867] ppid=27865 vsize=60960 CPUtime=1242.3 cores=1,3,5,7
/proc/27867/stat : 27867 (bsolo) R 27865 27867 25956 0 -1 4202496 12903 0 0 0 124097 133 0 0 25 0 1 0 829749939 62423040 12816 33554432000 134512640 137138936 4287389632 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/27867/statm: 15240 12816 192 642 0 14596 0
Current children cumulated CPU time (s) 1242.3
Current children cumulated vsize (KiB) 60960

[startup+1302.3 s]
/proc/loadavg: 2.04 2.05 2.01 3/525 28088
/proc/meminfo: memFree=22795264/32951124 swapFree=56930356/67111528
[pid=27867] ppid=27865 vsize=60960 CPUtime=1302.32 cores=1,3,5,7
/proc/27867/stat : 27867 (bsolo) R 27865 27867 25956 0 -1 4202496 12903 0 0 0 130090 142 0 0 25 0 1 0 829749939 62423040 12816 33554432000 134512640 137138936 4287389632 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/27867/statm: 15240 12816 192 642 0 14596 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 60960

[startup+1362.3 s]
/proc/loadavg: 2.01 2.04 2.01 3/525 28090
/proc/meminfo: memFree=22795232/32951124 swapFree=56930356/67111528
[pid=27867] ppid=27865 vsize=60960 CPUtime=1362.3 cores=1,3,5,7
/proc/27867/stat : 27867 (bsolo) R 27865 27867 25956 0 -1 4202496 12903 0 0 0 136080 150 0 0 25 0 1 0 829749939 62423040 12816 33554432000 134512640 137138936 4287389632 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/27867/statm: 15240 12816 192 642 0 14596 0
Current children cumulated CPU time (s) 1362.3
Current children cumulated vsize (KiB) 60960

[startup+1422.32 s]
/proc/loadavg: 2.00 2.03 2.00 3/525 28092
/proc/meminfo: memFree=22794816/32951124 swapFree=56930356/67111528
[pid=27867] ppid=27865 vsize=60960 CPUtime=1422.32 cores=1,3,5,7
/proc/27867/stat : 27867 (bsolo) R 27865 27867 25956 0 -1 4202496 12903 0 0 0 142075 157 0 0 25 0 1 0 829749939 62423040 12816 33554432000 134512640 137138936 4287389632 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/27867/statm: 15240 12816 192 642 0 14596 0
Current children cumulated CPU time (s) 1422.32
Current children cumulated vsize (KiB) 60960

[startup+1482.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/525 28093
/proc/meminfo: memFree=22794024/32951124 swapFree=56930356/67111528
[pid=27867] ppid=27865 vsize=60960 CPUtime=1482.31 cores=1,3,5,7
/proc/27867/stat : 27867 (bsolo) R 27865 27867 25956 0 -1 4202496 12903 0 0 0 148070 161 0 0 25 0 1 0 829749939 62423040 12816 33554432000 134512640 137138936 4287389632 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/27867/statm: 15240 12816 192 642 0 14596 0
Current children cumulated CPU time (s) 1482.31
Current children cumulated vsize (KiB) 60960

[startup+1542.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/525 28095
/proc/meminfo: memFree=22795348/32951124 swapFree=56930356/67111528
[pid=27867] ppid=27865 vsize=60960 CPUtime=1542.3 cores=1,3,5,7
/proc/27867/stat : 27867 (bsolo) R 27865 27867 25956 0 -1 4202496 12903 0 0 0 154063 167 0 0 25 0 1 0 829749939 62423040 12816 33554432000 134512640 137138936 4287389632 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/27867/statm: 15240 12816 192 642 0 14596 0
Current children cumulated CPU time (s) 1542.3
Current children cumulated vsize (KiB) 60960

[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/525 28096
/proc/meminfo: memFree=22796400/32951124 swapFree=56930356/67111528
[pid=27867] ppid=27865 vsize=60960 CPUtime=1602.31 cores=1,3,5,7
/proc/27867/stat : 27867 (bsolo) R 27865 27867 25956 0 -1 4202496 12903 0 0 0 160055 176 0 0 25 0 1 0 829749939 62423040 12816 33554432000 134512640 137138936 4287389632 18446744073709551615 134618082 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/27867/statm: 15240 12816 192 642 0 14596 0
Current children cumulated CPU time (s) 1602.31
Current children cumulated vsize (KiB) 60960

[startup+1662.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/525 28098
/proc/meminfo: memFree=22796360/32951124 swapFree=56930356/67111528
[pid=27867] ppid=27865 vsize=60960 CPUtime=1662.31 cores=1,3,5,7
/proc/27867/stat : 27867 (bsolo) R 27865 27867 25956 0 -1 4202496 12903 0 0 0 166045 186 0 0 25 0 1 0 829749939 62423040 12816 33554432000 134512640 137138936 4287389632 18446744073709551615 136504116 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/27867/statm: 15240 12816 192 642 0 14596 0
Current children cumulated CPU time (s) 1662.31
Current children cumulated vsize (KiB) 60960

[startup+1722.3 s]
/proc/loadavg: 2.24 2.07 2.01 3/525 28100
/proc/meminfo: memFree=22795812/32951124 swapFree=56930356/67111528
[pid=27867] ppid=27865 vsize=60960 CPUtime=1722.31 cores=1,3,5,7
/proc/27867/stat : 27867 (bsolo) R 27865 27867 25956 0 -1 4202496 12903 0 0 0 172036 195 0 0 25 0 1 0 829749939 62423040 12816 33554432000 134512640 137138936 4287389632 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/27867/statm: 15240 12816 192 642 0 14596 0
Current children cumulated CPU time (s) 1722.31
Current children cumulated vsize (KiB) 60960

[startup+1782.3 s]
/proc/loadavg: 2.16 2.07 2.01 3/525 28101
/proc/meminfo: memFree=22795156/32951124 swapFree=56930356/67111528
[pid=27867] ppid=27865 vsize=60728 CPUtime=1782.31 cores=1,3,5,7
/proc/27867/stat : 27867 (bsolo) R 27865 27867 25956 0 -1 4202496 12903 0 0 0 178026 205 0 0 25 0 1 0 829749939 62185472 12758 33554432000 134512640 137138936 4287389632 18446744073709551615 134603287 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/27867/statm: 15182 12758 192 642 0 14538 0
Current children cumulated CPU time (s) 1782.31
Current children cumulated vsize (KiB) 60728

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

[startup+1785.5 s]
/proc/loadavg: 2.15 2.07 2.01 3/525 28101
/proc/meminfo: memFree=22795156/32951124 swapFree=56930356/67111528
[pid=27867] ppid=27865 vsize=60728 CPUtime=1785.52 cores=1,3,5,7
/proc/27867/stat : 27867 (bsolo) R 27865 27867 25956 0 -1 4202496 12903 0 0 0 178346 206 0 0 25 0 1 0 829749939 62185472 12758 33554432000 134512640 137138936 4287389632 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/27867/statm: 15182 12758 192 642 0 14538 0
Current children cumulated CPU time (s) 1785.52
Current children cumulated vsize (KiB) 60728

[startup+1791.92 s]
/proc/loadavg: 2.14 2.06 2.01 3/525 28101
/proc/meminfo: memFree=22795148/32951124 swapFree=56930356/67111528
[pid=27867] ppid=27865 vsize=60728 CPUtime=1791.94 cores=1,3,5,7
/proc/27867/stat : 27867 (bsolo) R 27865 27867 25956 0 -1 4202496 12903 0 0 0 178987 207 0 0 25 0 1 0 829749939 62185472 12758 33554432000 134512640 137138936 4287389632 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/27867/statm: 15182 12758 192 642 0 14538 0
Current children cumulated CPU time (s) 1791.94
Current children cumulated vsize (KiB) 60728

[startup+1795.1 s]
/proc/loadavg: 2.12 2.06 2.01 3/525 28102
/proc/meminfo: memFree=22795148/32951124 swapFree=56930356/67111528
[pid=27867] ppid=27865 vsize=60728 CPUtime=1795.13 cores=1,3,5,7
/proc/27867/stat : 27867 (bsolo) R 27865 27867 25956 0 -1 4202496 12903 0 0 0 179306 207 0 0 25 0 1 0 829749939 62185472 12758 33554432000 134512640 137138936 4287389632 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/27867/statm: 15182 12758 192 642 0 14538 0
Current children cumulated CPU time (s) 1795.13
Current children cumulated vsize (KiB) 60728

[startup+1796.7 s]
/proc/loadavg: 2.12 2.06 2.01 3/525 28102
/proc/meminfo: memFree=22795148/32951124 swapFree=56930356/67111528
[pid=27867] ppid=27865 vsize=60728 CPUtime=1796.71 cores=1,3,5,7
/proc/27867/stat : 27867 (bsolo) R 27865 27867 25956 0 -1 4202496 12903 0 0 0 179464 207 0 0 25 0 1 0 829749939 62185472 12758 33554432000 134512640 137138936 4287389632 18446744073709551615 134542307 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/27867/statm: 15182 12758 192 642 0 14538 0
Current children cumulated CPU time (s) 1796.71
Current children cumulated vsize (KiB) 60728

[startup+1797.5 s]
/proc/loadavg: 2.12 2.06 2.01 3/525 28102
/proc/meminfo: memFree=22795148/32951124 swapFree=56930356/67111528
[pid=27867] ppid=27865 vsize=60728 CPUtime=1797.51 cores=1,3,5,7
/proc/27867/stat : 27867 (bsolo) R 27865 27867 25956 0 -1 4202496 12903 0 0 0 179544 207 0 0 25 0 1 0 829749939 62185472 12758 33554432000 134512640 137138936 4287389632 18446744073709551615 134542484 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/27867/statm: 15182 12758 192 642 0 14538 0
Current children cumulated CPU time (s) 1797.51
Current children cumulated vsize (KiB) 60728

[startup+1797.9 s]
/proc/loadavg: 2.12 2.06 2.01 3/525 28102
/proc/meminfo: memFree=22795148/32951124 swapFree=56930356/67111528
[pid=27867] ppid=27865 vsize=60728 CPUtime=1797.92 cores=1,3,5,7
/proc/27867/stat : 27867 (bsolo) R 27865 27867 25956 0 -1 4202496 12903 0 0 0 179584 208 0 0 25 0 1 0 829749939 62185472 12758 33554432000 134512640 137138936 4287389632 18446744073709551615 134542339 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/27867/statm: 15182 12758 192 642 0 14538 0
Current children cumulated CPU time (s) 1797.92
Current children cumulated vsize (KiB) 60728

Child status: 0
Real time (s): 1797.98
CPU time (s): 1798
CPU user time (s): 1795.92
CPU system time (s): 2.08268
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 61084

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

runsolver used 8.74267 second user time and 22.3166 second system time

The end

Launcher Data 

Begin job on node137 at 2011-06-04 11:58:42
IDJOB=3462632
IDBENCH=48048
IDSOLVER=1955
FILE ID=node137/3462632-1307181522
RUNJOBID= node137-1307174661-27289
PBS_JOBID= 13508854
Free space on /tmp= 73728 MiB

SOLVER NAME= bsolo 3.2
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=9-P0=109-P1=191-P2=263-P3=37-P4=317-P5=89-P6=131-B.opb
COMMAND LINE= bsolo -l2 -tTIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3462632-1307181522/watcher-3462632-1307181522 -o /tmp/evaluation-result-3462632-1307181522/solver-3462632-1307181522 -C 1800 -W 1900 -M 15500  bsolo -l2 -t1800 HOME/instance-3462632-1307181522.opb

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

MD5SUM BENCH= d6ad4e57f9bd4d3660efa4691d3e45da
RANDOM SEED=376368618

node137.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.844
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.68
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.844
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.75
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.844
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.844
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.74
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.844
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.82
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.844
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.844
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.83
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.844
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.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      23781212 kB
Buffers:        282076 kB
Cached:         515508 kB
SwapCached:      12312 kB
Active:        8445128 kB
Inactive:       463656 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      23781212 kB
SwapTotal:    67111528 kB
SwapFree:     56930356 kB
Dirty:            4164 kB
Writeback:           0 kB
AnonPages:     8108740 kB
Mapped:          22180 kB
Slab:           117380 kB
PageTables:      74684 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 162649516 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= 73724 MiB
End job on node137 at 2011-06-04 12:28:40