Trace number 3462789

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.2SAT-27 1798 1797.95

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_200_25_5.opb
MD5SUMcdccc05ac387e7ee9cb8ab81f53ca6f8
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-31
Best CPU time to get the best result obtained on this benchmark1797.67
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -31
Optimality of the best value was proved NO
Number of variables200
Total number of constraints200
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 constraints200
Minimum length of a constraint25
Maximum length of a constraint49
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)6226
Sum of products size (including duplicates)12452
Number of different products3113
Sum of products size6226

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-3462789-1307182861.opb
0.00/0.00	c File size is 76321 bytes.
0.00/0.01	c Highest Coefficient sum: 200
0.00/0.01	c Parsing was ok!!
0.00/0.01	c Total parsing time: 0.013 s
0.00/0.01	c Var: 6426 Constr: 12852 6426/200/6226 Lit: 49808 Watch. Lit: 37356
0.00/0.01	c Obj. Vars: 200 (3.11236 % of total variables)
0.02/0.06	c Pre-processing Time: 0.061 s
0.02/0.06	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.02/0.06	c        0    200     3113     9339    3     6226    1037      0      0 0.06
0.02/0.06	c Switching off lower bounding mode.
0.02/0.06	o -21
0.02/0.06	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.02/0.06	c        0    200     3114     9539    3     6249    2037      1      0 0.06
0.02/0.06	o -22
0.02/0.09	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.02/0.09	c       17    200     3132    12740    4     6307    2037     19    261 0.07
0.02/0.09	c      117    200     3232    30196    9     6507    2241    119   1344 0.09
0.02/0.09	o -23
0.49/0.52	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.49/0.52	c      121    200     3237    31100    9     6540    2037    124   1375 0.09
0.49/0.52	c      221    200     3337    48412   14     6740    2241    224   2009 0.11
0.49/0.52	c      473    200     3590    92208   25     7246    2466    477   2815 0.17
0.49/0.52	c      948    200     4066   174739   42     8198    2713    953   3202 0.30
0.49/0.52	c     1761    200     4880   315975   64     9826    2985   1767   3412 0.52
0.49/0.52	o -24
0.59/0.64	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.59/0.64	c     1785    200     4905   320336   65     9900    2037   1792   3406 0.52
0.59/0.64	c     1886    200     5007   337950   67    10104    2241   1894   3422 0.55
0.59/0.64	c     2136    200     5259   381457   72    10608    2466   2146   3473 0.61
0.59/0.64	o -25
158.59/158.61	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
158.59/158.61	c     2230    200     5354   397899   74    10823    2037   2241   3473 0.64
158.59/158.61	c     2330    200     5454   415057   76    11023    2241   2341   3488 0.67
158.59/158.61	c     2581    200     5705   458032   80    11525    2466   2592   3525 0.73
158.59/158.61	c     3058    200     6183   539819   87    12481    2713   3070   3551 0.86
158.59/158.61	c     3871    200     6998   679203   97    14111    2985   3885   3440 1.12
158.59/158.61	c     5191    200     8321   905171  108    16757    3284   5208   3246 1.60
158.59/158.61	c     7272    200    10412  1263357  121    20939    3613   7299   3123 2.33
158.59/158.61	c    10496    200     5441   405234   74    10952    3975   2328   2809 3.74
158.59/158.61	c    15432    200    10392  1251900  120    20854    4373   7279   2621 5.89
158.59/158.61	c    22939    200     9342  1074200  114    18709    4811   6229   2571 8.92
158.59/158.61	c    34301    200    11942  1499759  125    23989    5293   8829   2382 14.40
158.59/158.61	c    51445    200    11033  1360748  123    22091    5823   7920   2253 22.83
158.59/158.61	c    77264    200     9038  1006558  111    18221    6406   5925   1959 39.43
158.59/158.61	c   116096    200     9591  1111787  115    19207    7047   6478   1782 65.12
158.59/158.61	c   174448    200     8606   937716  108    17237    7752   5493   1747 99.84
158.59/158.61	c   262081    200    14357  1927334  134    28739    8528  11244   1652 158.56
158.59/158.61	o -26
173.81/173.86	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
173.81/173.86	c   262235    200    14512  1954002  134    29075    2037  11399   1653 158.62
173.81/173.86	c   262335    200     4233   200487   47     8492    2241   1120   1652 158.76
173.81/173.86	c   262586    200     4484   243138   54     8994    2466   1371   1653 158.82
173.81/173.86	c   263061    200     4959   324126   65     9944    2713   1846   1655 158.93
173.81/173.86	c   263874    200     5773   462544   80    11572    2985   2660   1657 159.15
173.81/173.86	c   265194    200     7095   687387   96    14216    3284   3982   1662 159.55
173.81/173.86	c   267275    200     9179  1040905  113    18384    3613   6066   1667 160.32
173.81/173.86	c   270500    200    12412  1588994  128    24874    3975   9299   1673 161.68
173.81/173.86	c   275437    200     8969  1002645  111    17964    4373   5856   1679 163.98
173.81/173.86	c   282943    200     7902   821543  103    15854    4811   4789   1697 166.72
173.81/173.86	c   294305    200    10487  1260524  120    21000    5293   7374   1711 171.96
173.81/173.86	o -27
1797.95/1797.94	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.95/1797.94	c   297984    200    14181  1888221  133    28458    2037  11068   1713 173.87
1797.95/1797.94	c   298085    200     4234   198431   46     8495    2241   1121   1713 174.01
1797.95/1797.94	c   298337    200     4486   241122   53     8999    2466   1373   1713 174.07
1797.95/1797.94	c   298813    200     4962   321504   64     9951    2713   1849   1715 174.19
1797.95/1797.94	c   299626    200     5775   458842   79    11577    2985   2662   1718 174.40
1797.95/1797.94	c   300946    200     7104   683456   96    14235    3284   3991   1721 174.83
1797.95/1797.94	c   303027    200     9197  1035737  112    18446    3613   6084   1726 175.47
1797.95/1797.94	c   306250    200    12427  1580822  127    24906    3975   9314   1732 176.76
1797.95/1797.94	c   311186    200     8983  1000036  111    18018    4373   5870   1742 178.58
1797.95/1797.94	c   318693    200     7911   818117  103    15849    4811   4798   1756 181.44
1797.95/1797.94	c   330055    200    10523  1258665  119    21073    5293   7410   1769 186.55
1797.95/1797.94	c   347199    200     9617  1105423  114    19286    5823   6504   1784 194.60
1797.95/1797.94	c   373019    200     7621   769464  100    15294    6406   4508   1792 208.13
1797.95/1797.94	c   411851    200     8164   852855  104    16398    7047   5051   1787 230.45
1797.95/1797.94	c   470205    200     7174   693191   96    14375    7752   4061   1774 265.04
1797.95/1797.94	c   557838    200    12912  1658023  128    25851    8528   9799   1763 316.34
1797.95/1797.94	c   689391    200    16993  2342185  137    34037    9381  13880   1658 415.69
1797.95/1797.94	c   886823    200    15413  2084124  135    30879   10320  12300   1658 534.71
1797.95/1797.94	c  1183075    200    12219  1526319  124    24510   11353   9106   1544 765.87
1797.95/1797.94	c  1627557    200    11377  1397996  122    22806   12489   8264   1493 1089.41
1797.95/1797.94	c  2294384    200    10332  1227681  118    20691   13738   7219   1456 1575.60
1797.95/1797.94	c Resources Exceeded
1797.95/1797.94	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.95/1797.94	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.95/1797.94	c   59  2553640 134662  2708467    18219  2547123  15106   1420 1798.00
1797.95/1797.94	c Objective: -27
1797.95/1797.94	s SATISFIABLE
1797.95/1797.94	c Total time: 1798 s

Verifier Data 

OK	-27

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-3462789-1307182861/watcher-3462789-1307182861 -o /tmp/evaluation-result-3462789-1307182861/solver-3462789-1307182861 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3462789-1307182861.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.07 2.03 2.00 2/461 23510
/proc/meminfo: memFree=28601936/32951124 swapFree=41830676/67111528
[pid=23510] ppid=23508 vsize=12580 CPUtime=0.01 cores=1,3,5,7
/proc/23510/stat : 23510 (bsolo) R 23508 23510 21158 0 -1 4202496 773 0 0 0 1 0 0 0 25 0 1 0 829884112 12881920 708 33554432000 134512640 137138936 4291739584 18446744073709551615 136382014 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23510/statm: 3145 708 180 642 0 2501 0

[startup+0.029361 s]
/proc/loadavg: 2.07 2.03 2.00 2/461 23510
/proc/meminfo: memFree=28601936/32951124 swapFree=41830676/67111528
[pid=23510] ppid=23508 vsize=14192 CPUtime=0.02 cores=1,3,5,7
/proc/23510/stat : 23510 (bsolo) R 23508 23510 21158 0 -1 4202496 1147 0 0 0 2 0 0 0 25 0 1 0 829884112 14532608 1082 33554432000 134512640 137138936 4291739584 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23510/statm: 3548 1082 185 642 0 2904 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 14192

[startup+0.100352 s]
/proc/loadavg: 2.07 2.03 2.00 2/461 23510
/proc/meminfo: memFree=28601936/32951124 swapFree=41830676/67111528
[pid=23510] ppid=23508 vsize=14200 CPUtime=0.09 cores=1,3,5,7
/proc/23510/stat : 23510 (bsolo) R 23508 23510 21158 0 -1 4202496 1206 0 0 0 9 0 0 0 25 0 1 0 829884112 14540800 1122 33554432000 134512640 137138936 4291739584 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23510/statm: 3550 1122 192 642 0 2906 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14200

[startup+0.300313 s]
/proc/loadavg: 2.07 2.03 2.00 2/461 23510
/proc/meminfo: memFree=28601936/32951124 swapFree=41830676/67111528
[pid=23510] ppid=23508 vsize=15796 CPUtime=0.29 cores=1,3,5,7
/proc/23510/stat : 23510 (bsolo) R 23508 23510 21158 0 -1 4202496 1596 0 0 0 29 0 0 0 25 0 1 0 829884112 16175104 1512 33554432000 134512640 137138936 4291739584 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23510/statm: 3949 1512 192 642 0 3305 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 15796

[startup+0.700239 s]
/proc/loadavg: 2.07 2.03 2.00 2/461 23510
/proc/meminfo: memFree=28601936/32951124 swapFree=41830676/67111528
[pid=23510] ppid=23508 vsize=18796 CPUtime=0.69 cores=1,3,5,7
/proc/23510/stat : 23510 (bsolo) R 23508 23510 21158 0 -1 4202496 2355 0 0 0 68 1 0 0 25 0 1 0 829884112 19247104 2271 33554432000 134512640 137138936 4291739584 18446744073709551615 136511072 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23510/statm: 4699 2271 192 642 0 4055 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 18796

[startup+1.50111 s]
/proc/loadavg: 2.07 2.03 2.00 3/462 23511
/proc/meminfo: memFree=28590644/32951124 swapFree=41830676/67111528
[pid=23510] ppid=23508 vsize=23976 CPUtime=1.49 cores=1,3,5,7
/proc/23510/stat : 23510 (bsolo) R 23508 23510 21158 0 -1 4202496 3641 0 0 0 147 2 0 0 25 0 1 0 829884112 24551424 3557 33554432000 134512640 137138936 4291739584 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23510/statm: 5994 3557 192 642 0 5350 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 23976

[startup+3.10081 s]
/proc/loadavg: 2.07 2.02 2.00 3/462 23511
/proc/meminfo: memFree=28582704/32951124 swapFree=41830676/67111528
[pid=23510] ppid=23508 vsize=33988 CPUtime=3.09 cores=1,3,5,7
/proc/23510/stat : 23510 (bsolo) R 23508 23510 21158 0 -1 4202496 6143 0 0 0 306 3 0 0 25 0 1 0 829884112 34803712 6059 33554432000 134512640 137138936 4291739584 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23510/statm: 8497 6059 192 642 0 7853 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 33988

[startup+6.30022 s]
/proc/loadavg: 2.07 2.02 2.00 3/462 23511
/proc/meminfo: memFree=28575164/32951124 swapFree=41830676/67111528
[pid=23510] ppid=23508 vsize=35208 CPUtime=6.29 cores=1,3,5,7
/proc/23510/stat : 23510 (bsolo) R 23508 23510 21158 0 -1 4202496 6458 0 0 0 625 4 0 0 25 0 1 0 829884112 36052992 6374 33554432000 134512640 137138936 4291739584 18446744073709551615 136504093 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23510/statm: 8802 6374 192 642 0 8158 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 35208

[startup+12.7011 s]
/proc/loadavg: 2.06 2.02 2.00 3/462 23511
/proc/meminfo: memFree=28573180/32951124 swapFree=41830676/67111528
[pid=23510] ppid=23508 vsize=37872 CPUtime=12.69 cores=1,3,5,7
/proc/23510/stat : 23510 (bsolo) R 23508 23510 21158 0 -1 4202496 7114 0 0 0 1263 6 0 0 25 0 1 0 829884112 38780928 7030 33554432000 134512640 137138936 4291739584 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23510/statm: 9468 7030 192 642 0 8824 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 37872

[startup+25.5007 s]
/proc/loadavg: 2.21 2.06 2.01 3/462 23512
/proc/meminfo: memFree=28570960/32951124 swapFree=41830676/67111528
[pid=23510] ppid=23508 vsize=40128 CPUtime=25.49 cores=1,3,5,7
/proc/23510/stat : 23510 (bsolo) R 23508 23510 21158 0 -1 4202496 7679 0 0 0 2540 9 0 0 25 0 1 0 829884112 41091072 7595 33554432000 134512640 137138936 4291739584 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23510/statm: 10032 7595 192 642 0 9388 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 40128

[startup+51.1011 s]
/proc/loadavg: 2.13 2.05 2.01 3/462 23512
/proc/meminfo: memFree=28569604/32951124 swapFree=41830676/67111528
[pid=23510] ppid=23508 vsize=41528 CPUtime=51.09 cores=1,3,5,7
/proc/23510/stat : 23510 (bsolo) R 23508 23510 21158 0 -1 4202496 8025 0 0 0 5096 13 0 0 25 0 1 0 829884112 42524672 7941 33554432000 134512640 137138936 4291739584 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23510/statm: 10382 7941 192 642 0 9738 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 41528

[startup+102.317 s]
/proc/loadavg: 2.10 2.06 2.01 3/462 23514
/proc/meminfo: memFree=28568232/32951124 swapFree=41830676/67111528
[pid=23510] ppid=23508 vsize=42916 CPUtime=102.31 cores=1,3,5,7
/proc/23510/stat : 23510 (bsolo) R 23508 23510 21158 0 -1 4202496 8383 0 0 0 10208 23 0 0 25 0 1 0 829884112 43945984 8299 33554432000 134512640 137138936 4291739584 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23510/statm: 10729 8299 192 642 0 10085 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 42916

[startup+162.301 s]
/proc/loadavg: 2.04 2.04 2.00 3/462 23515
/proc/meminfo: memFree=28565576/32951124 swapFree=41830676/67111528
[pid=23510] ppid=23508 vsize=44120 CPUtime=162.3 cores=1,3,5,7
/proc/23510/stat : 23510 (bsolo) R 23508 23510 21158 0 -1 4202496 8806 0 0 0 16195 35 0 0 25 0 1 0 829884112 45178880 8602 33554432000 134512640 137138936 4291739584 18446744073709551615 134557371 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23510/statm: 11030 8602 192 642 0 10386 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 44120

[startup+222.301 s]
/proc/loadavg: 2.01 2.03 2.00 3/462 23517
/proc/meminfo: memFree=28562944/32951124 swapFree=41830676/67111528
[pid=23510] ppid=23508 vsize=43568 CPUtime=222.3 cores=1,3,5,7
/proc/23510/stat : 23510 (bsolo) R 23508 23510 21158 0 -1 4202496 8806 0 0 0 22181 49 0 0 25 0 1 0 829884112 44613632 8464 33554432000 134512640 137138936 4291739584 18446744073709551615 134542624 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23510/statm: 10892 8464 192 642 0 10248 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 43568

[startup+282.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/462 23518
/proc/meminfo: memFree=28562548/32951124 swapFree=41830676/67111528
[pid=23510] ppid=23508 vsize=44080 CPUtime=282.3 cores=1,3,5,7
/proc/23510/stat : 23510 (bsolo) R 23508 23510 21158 0 -1 4202496 8961 0 0 0 28170 60 0 0 25 0 1 0 829884112 45137920 8592 33554432000 134512640 137138936 4291739584 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23510/statm: 11020 8592 192 642 0 10376 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 44080

[startup+342.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/462 23520
/proc/meminfo: memFree=28560160/32951124 swapFree=41830676/67111528
[pid=23510] ppid=23508 vsize=46036 CPUtime=342.3 cores=1,3,5,7
/proc/23510/stat : 23510 (bsolo) R 23508 23510 21158 0 -1 4202496 9439 0 0 0 34160 70 0 0 25 0 1 0 829884112 47140864 9064 33554432000 134512640 137138936 4291739584 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23510/statm: 11509 9064 192 642 0 10865 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 46036

[startup+402.3 s]
/proc/loadavg: 2.10 2.04 2.01 3/462 23522
/proc/meminfo: memFree=28559988/32951124 swapFree=41830676/67111528
[pid=23510] ppid=23508 vsize=45956 CPUtime=402.3 cores=1,3,5,7
/proc/23510/stat : 23510 (bsolo) R 23508 23510 21158 0 -1 4202496 9439 0 0 0 40152 78 0 0 25 0 1 0 829884112 47058944 9061 33554432000 134512640 137138936 4291739584 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23510/statm: 11489 9061 192 642 0 10845 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 45956

[startup+462.301 s]
/proc/loadavg: 2.08 2.05 2.01 3/462 23523
/proc/meminfo: memFree=28556840/32951124 swapFree=41830676/67111528
[pid=23510] ppid=23508 vsize=47788 CPUtime=462.3 cores=1,3,5,7
/proc/23510/stat : 23510 (bsolo) R 23508 23510 21158 0 -1 4202496 9906 0 0 0 46142 88 0 0 25 0 1 0 829884112 48934912 9519 33554432000 134512640 137138936 4291739584 18446744073709551615 136296988 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23510/statm: 11947 9519 192 642 0 11303 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 47788

[startup+522.301 s]
/proc/loadavg: 2.19 2.08 2.02 3/462 23552
/proc/meminfo: memFree=28554100/32951124 swapFree=41830676/67111528
[pid=23510] ppid=23508 vsize=47964 CPUtime=522.31 cores=1,3,5,7
/proc/23510/stat : 23510 (bsolo) R 23508 23510 21158 0 -1 4202496 9935 0 0 0 52132 99 0 0 25 0 1 0 829884112 49115136 9548 33554432000 134512640 137138936 4291739584 18446744073709551615 136504207 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23510/statm: 11991 9548 192 642 0 11347 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 47964

[startup+582.301 s]
/proc/loadavg: 2.12 2.08 2.02 3/462 23553
/proc/meminfo: memFree=28522824/32951124 swapFree=41830676/67111528
[pid=23510] ppid=23508 vsize=49880 CPUtime=582.31 cores=1,3,5,7
/proc/23510/stat : 23510 (bsolo) R 23508 23510 21158 0 -1 4202496 10454 0 0 0 58123 108 0 0 25 0 1 0 829884112 51077120 10042 33554432000 134512640 137138936 4291739584 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23510/statm: 12470 10042 192 642 0 11826 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 49880

[startup+642.301 s]

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

/proc/meminfo: memFree=28462072/32951124 swapFree=41830676/67111528
[pid=23510] ppid=23508 vsize=52236 CPUtime=1062.32 cores=1,3,5,7
/proc/23510/stat : 23510 (bsolo) R 23508 23510 21158 0 -1 4202496 11136 0 0 0 106055 177 0 0 25 0 1 0 829884112 53489664 10631 33554432000 134512640 137138936 4291739584 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23510/statm: 13059 10631 192 642 0 12415 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 52236

[startup+1122.3 s]
/proc/loadavg: 2.11 2.06 2.01 3/462 23568
/proc/meminfo: memFree=28459704/32951124 swapFree=41830676/67111528
[pid=23510] ppid=23508 vsize=54844 CPUtime=1122.32 cores=1,3,5,7
/proc/23510/stat : 23510 (bsolo) R 23508 23510 21158 0 -1 4202496 11811 0 0 0 112045 187 0 0 25 0 1 0 829884112 56160256 11282 33554432000 134512640 137138936 4291739584 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23510/statm: 13711 11282 192 642 0 13067 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 54844

[startup+1182.3 s]
/proc/loadavg: 2.04 2.05 2.00 3/462 23569
/proc/meminfo: memFree=28459040/32951124 swapFree=41830676/67111528
[pid=23510] ppid=23508 vsize=54880 CPUtime=1182.32 cores=1,3,5,7
/proc/23510/stat : 23510 (bsolo) R 23508 23510 21158 0 -1 4202496 11814 0 0 0 118034 198 0 0 25 0 1 0 829884112 56197120 11285 33554432000 134512640 137138936 4291739584 18446744073709551615 134542490 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23510/statm: 13720 11285 192 642 0 13076 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 54880

[startup+1242.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/462 23571
/proc/meminfo: memFree=28450684/32951124 swapFree=41830676/67111528
[pid=23510] ppid=23508 vsize=54900 CPUtime=1242.33 cores=1,3,5,7
/proc/23510/stat : 23510 (bsolo) R 23508 23510 21158 0 -1 4202496 11827 0 0 0 124027 206 0 0 25 0 1 0 829884112 56217600 11297 33554432000 134512640 137138936 4291739584 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23510/statm: 13725 11297 192 642 0 13081 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 54900

[startup+1302.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/462 23573
/proc/meminfo: memFree=28442452/32951124 swapFree=41830676/67111528
[pid=23510] ppid=23508 vsize=54900 CPUtime=1302.35 cores=1,3,5,7
/proc/23510/stat : 23510 (bsolo) R 23508 23510 21158 0 -1 4202496 11827 0 0 0 130020 215 0 0 25 0 1 0 829884112 56217600 11297 33554432000 134512640 137138936 4291739584 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23510/statm: 13725 11297 192 642 0 13081 0
Current children cumulated CPU time (s) 1302.35
Current children cumulated vsize (KiB) 54900

[startup+1362.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/462 23574
/proc/meminfo: memFree=28436320/32951124 swapFree=41830676/67111528
[pid=23510] ppid=23508 vsize=54912 CPUtime=1362.33 cores=1,3,5,7
/proc/23510/stat : 23510 (bsolo) R 23508 23510 21158 0 -1 4202496 11842 0 0 0 136010 223 0 0 25 0 1 0 829884112 56229888 11297 33554432000 134512640 137138936 4291739584 18446744073709551615 134542525 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23510/statm: 13728 11297 192 642 0 13084 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 54912

[startup+1422.32 s]
/proc/loadavg: 2.00 2.02 2.00 3/462 23576
/proc/meminfo: memFree=28437652/32951124 swapFree=41830676/67111528
[pid=23510] ppid=23508 vsize=54900 CPUtime=1422.35 cores=1,3,5,7
/proc/23510/stat : 23510 (bsolo) R 23508 23510 21158 0 -1 4202496 11842 0 0 0 142005 230 0 0 25 0 1 0 829884112 56217600 11297 33554432000 134512640 137138936 4291739584 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23510/statm: 13725 11297 192 642 0 13081 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 54900

[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/462 23577
/proc/meminfo: memFree=28437620/32951124 swapFree=41830676/67111528
[pid=23510] ppid=23508 vsize=54952 CPUtime=1482.34 cores=1,3,5,7
/proc/23510/stat : 23510 (bsolo) R 23508 23510 21158 0 -1 4202496 11850 0 0 0 147993 241 0 0 25 0 1 0 829884112 56270848 11304 33554432000 134512640 137138936 4291739584 18446744073709551615 134577137 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23510/statm: 13738 11304 192 642 0 13094 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 54952

[startup+1542.3 s]
/proc/loadavg: 2.07 2.03 2.01 3/462 23579
/proc/meminfo: memFree=28437936/32951124 swapFree=41830676/67111528
[pid=23510] ppid=23508 vsize=54868 CPUtime=1542.33 cores=1,3,5,7
/proc/23510/stat : 23510 (bsolo) R 23508 23510 21158 0 -1 4202496 11850 0 0 0 153982 251 0 0 25 0 1 0 829884112 56184832 11289 33554432000 134512640 137138936 4291739584 18446744073709551615 134602871 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23510/statm: 13717 11289 192 642 0 13073 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 54868

[startup+1602.3 s]
/proc/loadavg: 2.06 2.04 2.01 3/462 23581
/proc/meminfo: memFree=28434656/32951124 swapFree=41830676/67111528
[pid=23510] ppid=23508 vsize=57780 CPUtime=1602.34 cores=1,3,5,7
/proc/23510/stat : 23510 (bsolo) R 23508 23510 21158 0 -1 4202496 12566 0 0 0 159973 261 0 0 25 0 1 0 829884112 59166720 12005 33554432000 134512640 137138936 4291739584 18446744073709551615 136297633 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23510/statm: 14445 12005 192 642 0 13801 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 57780

[startup+1662.3 s]
/proc/loadavg: 2.06 2.04 2.01 3/462 23582
/proc/meminfo: memFree=28434472/32951124 swapFree=41830676/67111528
[pid=23510] ppid=23508 vsize=57728 CPUtime=1662.34 cores=1,3,5,7
/proc/23510/stat : 23510 (bsolo) R 23508 23510 21158 0 -1 4202496 12566 0 0 0 165966 268 0 0 25 0 1 0 829884112 59113472 12004 33554432000 134512640 137138936 4291739584 18446744073709551615 134542214 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23510/statm: 14432 12004 192 642 0 13788 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 57728

[startup+1722.3 s]
/proc/loadavg: 2.05 2.05 2.00 3/462 23584
/proc/meminfo: memFree=28433692/32951124 swapFree=41830676/67111528
[pid=23510] ppid=23508 vsize=57740 CPUtime=1722.34 cores=1,3,5,7
/proc/23510/stat : 23510 (bsolo) R 23508 23510 21158 0 -1 4202496 12574 0 0 0 171957 277 0 0 25 0 1 0 829884112 59125760 12005 33554432000 134512640 137138936 4291739584 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23510/statm: 14435 12005 192 642 0 13791 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 57740

[startup+1782.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/462 23585
/proc/meminfo: memFree=28432656/32951124 swapFree=41830676/67111528
[pid=23510] ppid=23508 vsize=57696 CPUtime=1782.35 cores=1,3,5,7
/proc/23510/stat : 23510 (bsolo) R 23508 23510 21158 0 -1 4202496 12574 0 0 0 177950 285 0 0 25 0 1 0 829884112 59080704 11996 33554432000 134512640 137138936 4291739584 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23510/statm: 14424 11996 192 642 0 13780 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 57696

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

[startup+1785.5 s]
/proc/loadavg: 2.02 2.04 2.00 3/462 23586
/proc/meminfo: memFree=28433028/32951124 swapFree=41830676/67111528
[pid=23510] ppid=23508 vsize=57696 CPUtime=1785.54 cores=1,3,5,7
/proc/23510/stat : 23510 (bsolo) R 23508 23510 21158 0 -1 4202496 12574 0 0 0 178269 285 0 0 25 0 1 0 829884112 59080704 11996 33554432000 134512640 137138936 4291739584 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23510/statm: 14424 11996 192 642 0 13780 0
Current children cumulated CPU time (s) 1785.54
Current children cumulated vsize (KiB) 57696

[startup+1791.92 s]
/proc/loadavg: 2.02 2.03 2.00 3/462 23586
/proc/meminfo: memFree=28433624/32951124 swapFree=41830676/67111528
[pid=23510] ppid=23508 vsize=57696 CPUtime=1791.97 cores=1,3,5,7
/proc/23510/stat : 23510 (bsolo) R 23508 23510 21158 0 -1 4202496 12574 0 0 0 178911 286 0 0 25 0 1 0 829884112 59080704 11996 33554432000 134512640 137138936 4291739584 18446744073709551615 134618336 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23510/statm: 14424 11996 192 642 0 13780 0
Current children cumulated CPU time (s) 1791.97
Current children cumulated vsize (KiB) 57696

[startup+1795.1 s]
/proc/loadavg: 2.02 2.03 2.00 3/462 23586
/proc/meminfo: memFree=28433500/32951124 swapFree=41830676/67111528
[pid=23510] ppid=23508 vsize=57696 CPUtime=1795.16 cores=1,3,5,7
/proc/23510/stat : 23510 (bsolo) R 23508 23510 21158 0 -1 4202496 12574 0 0 0 179230 286 0 0 25 0 1 0 829884112 59080704 11996 33554432000 134512640 137138936 4291739584 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23510/statm: 14424 11996 192 642 0 13780 0
Current children cumulated CPU time (s) 1795.16
Current children cumulated vsize (KiB) 57696

[startup+1796.7 s]
/proc/loadavg: 2.01 2.03 2.00 3/462 23586
/proc/meminfo: memFree=28433500/32951124 swapFree=41830676/67111528
[pid=23510] ppid=23508 vsize=57696 CPUtime=1796.75 cores=1,3,5,7
/proc/23510/stat : 23510 (bsolo) R 23508 23510 21158 0 -1 4202496 12574 0 0 0 179388 287 0 0 25 0 1 0 829884112 59080704 11996 33554432000 134512640 137138936 4291739584 18446744073709551615 134575213 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23510/statm: 14424 11996 192 642 0 13780 0
Current children cumulated CPU time (s) 1796.75
Current children cumulated vsize (KiB) 57696

[startup+1797.5 s]
/proc/loadavg: 2.01 2.03 2.00 3/462 23586
/proc/meminfo: memFree=28433128/32951124 swapFree=41830676/67111528
[pid=23510] ppid=23508 vsize=57696 CPUtime=1797.55 cores=1,3,5,7
/proc/23510/stat : 23510 (bsolo) R 23508 23510 21158 0 -1 4202496 12574 0 0 0 179468 287 0 0 25 0 1 0 829884112 59080704 11996 33554432000 134512640 137138936 4291739584 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23510/statm: 14424 11996 192 642 0 13780 0
Current children cumulated CPU time (s) 1797.55
Current children cumulated vsize (KiB) 57696

[startup+1797.9 s]
/proc/loadavg: 2.01 2.03 2.00 3/462 23586
/proc/meminfo: memFree=28433128/32951124 swapFree=41830676/67111528
[pid=23510] ppid=23508 vsize=57696 CPUtime=1797.95 cores=1,3,5,7
/proc/23510/stat : 23510 (bsolo) R 23508 23510 21158 0 -1 4202496 12574 0 0 0 179508 287 0 0 25 0 1 0 829884112 59080704 11996 33554432000 134512640 137138936 4291739584 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23510/statm: 14424 11996 192 642 0 13780 0
Current children cumulated CPU time (s) 1797.95
Current children cumulated vsize (KiB) 57696

Child status: 0
Real time (s): 1797.95
CPU time (s): 1798
CPU user time (s): 1795.13
CPU system time (s): 2.87556
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 57780

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

runsolver used 7.53985 second user time and 18.7222 second system time

The end

Launcher Data 

Begin job on node138 at 2011-06-04 12:21:01
IDJOB=3462789
IDBENCH=48205
IDSOLVER=1955
FILE ID=node138/3462789-1307182861
RUNJOBID= node138-1307175068-22748
PBS_JOBID= 13508833
Free space on /tmp= 73664 MiB

SOLVER NAME= bsolo 3.2
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_200_25_5.opb
COMMAND LINE= bsolo -l2 -tTIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3462789-1307182861/watcher-3462789-1307182861 -o /tmp/evaluation-result-3462789-1307182861/solver-3462789-1307182861 -C 1800 -W 1900 -M 15500  bsolo -l2 -t1800 HOME/instance-3462789-1307182861.opb

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

MD5SUM BENCH= cdccc05ac387e7ee9cb8ab81f53ca6f8
RANDOM SEED=1209044243

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

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.854
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.854
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.80
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.854
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.854
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.854
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      28602092 kB
Buffers:        317040 kB
Cached:        1092996 kB
SwapCached:      44568 kB
Active:        2269088 kB
Inactive:      1790396 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      28602092 kB
SwapTotal:    67111528 kB
SwapFree:     41830676 kB
Dirty:            3900 kB
Writeback:           0 kB
AnonPages:     2616168 kB
Mapped:          17304 kB
Slab:           128528 kB
PageTables:      92296 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 130692464 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= 73660 MiB
End job on node138 at 2011-06-04 12:50:59