Trace number 455256

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, and are wall clock time (not CPU 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.0.17SAT (TO)-12 1800.1 1800.75

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_100_10_1.opb
MD5SUM8c398fbb12ba7dbf676dd8375a76e0de
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-30
Best CPU time to get the best result obtained on this benchmark1800.03
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -30
Optimality of the best value was proved NO
Number of variables200
Total number of constraints301
Number of constraints which are clauses100
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints201
Minimum length of a constraint2
Maximum length of a constraint200
Number of terms in the objective function 100
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 100
Number of bits of the sum of numbers in the objective function 7
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)2496
Sum of products size (including duplicates)4992
Number of different products1248
Sum of products size2496

Quality of the solution as a function of time


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

Solver Data (download as text)

0.00/0.00	c bsolo beta version 3.0.17 - 27/04/2007 : 1600 GMT
0.00/0.00	c Developed by Vasco Manquinho 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 Memory Limit set to 1800 MB
0.00/0.00	c Instance file /tmp/evaluation/455256-1178040146/instance-455256-1178040146.opb
0.00/0.00	c File size is 36021 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.015 s
0.00/0.02	c Var: 2696 Constr: 5294 2596/202/2496 Lit: 18072 Watch. Lit: 15378
0.00/0.02	c Obj. Vars: 100 (3.7092 % of total variables)
0.89/0.96	c Pre-processing Time: 0.96 s
0.89/0.96	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.89/0.96	c        0   2696     5294    18072    3    15378   27672      0      0 0.96
0.89/0.96	c Switching off LPR mode.
0.89/0.96	o -1	0.962
0.89/0.96	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.89/0.96	c        0   2696     5295    18172    3    15381   27738      1      0 0.96
0.89/0.96	o -2	0.964
0.89/0.97	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.89/0.97	c        0   2696     5296    18272    3    15385   27838      2      0 0.96
0.89/0.97	o -3	0.966
0.89/0.97	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.89/0.97	c        0   2696     5297    18372    3    15390   27972      3      0 0.97
0.89/0.97	o -4	0.968
0.89/0.97	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.89/0.97	c        0   2696     5298    18472    3    15396   28138      4      0 0.97
0.89/0.97	o -5	0.97
0.89/0.97	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.89/0.97	c        0   2696     5299    18572    3    15403   28338      5      0 0.97
0.89/0.97	o -6	0.972
0.89/0.97	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.89/0.97	c        0   2696     5300    18672    3    15411   28572      6      0 0.97
0.89/0.97	o -7	0.974
0.89/0.98	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.89/0.98	c        0   2696     5301    18772    3    15420   28838      7      0 0.97
0.89/0.98	o -8	0.977
0.99/1.04	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.99/1.04	c        2   2696     5304    19147    3    15434   28872     10      2 0.98
0.99/1.04	c      102   2696     5404    32625    6    15634   31760    110    101 1.00
0.99/1.04	o -9	1.042
118.85/118.95	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
118.85/118.95	c      294   2696     5597    56243   10    16029   28905    303    281 1.04
118.85/118.95	c      394   2696     5697    69215   12    16229   31796    403    362 1.09
118.85/118.95	c      644   2696     5947   102042   17    16729   34976    653    549 1.17
118.85/118.95	c     1119   2696     6422   163641   25    17679   38474   1128    850 1.32
118.85/118.95	c     1932   2696     7235   272205   37    19305   42322   1941   1265 1.53
118.85/118.95	c     3252   2696     8555   441647   51    21945   46555   3261   1789 1.82
118.85/118.95	c     5333   2696    10636   694691   65    26107   51211   5342   2175 2.45
118.85/118.95	c     8556   2696    13859  1138080   82    32553   56333   8565   2261 3.78
118.85/118.95	c    13492   2696    18795  1725504   91    42425   61967  13501   1989 6.78
118.85/118.95	c    20998   2696    26301  2684587  102    57437   68164  21007   1734 12.10
118.85/118.95	c    32359   2696    37662  4141230  109    80159   74981  32368   1662 19.47
118.85/118.95	c    49504   2696    54807  6396215  116   114449   82480  49513    989 50.03
118.85/118.95	c    75323   2696    80626 10098982  125   166087   90729  75332    747 100.83
118.85/118.95	o -10	118.911
1179.56/1180.09	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1179.56/1180.09	c    81646   2696    86950 11143471  128   178745   28938  81656    686 118.91
1179.56/1180.09	c    81746   2696    17455  1977856  113    39710   31832  12161    646 126.53
1179.56/1180.09	c    81997   2696    17706  2009301  113    40212   35016  12412    646 126.78
1179.56/1180.09	c    82472   2696    18181  2065143  113    41162   38518  12887    648 127.14
1179.56/1180.09	c    83285   2696    18994  2162365  113    42788   42370  13700    652 127.67
1179.56/1180.09	c    84605   2696    20314  2331415  114    45428   46608  15020    658 128.50
1179.56/1180.09	c    86686   2696    22395  2545953  113    49590   51269  17101    670 129.24
1179.56/1180.09	c    89909   2696    25618  2897752  113    56036   56396  20324    688 130.55
1179.56/1180.09	c    94845   2696    30554  3484267  114    65908   62036  25260    708 133.85
1179.56/1180.09	c   102351   2696    38060  4414571  115    80920   68240  32766    729 140.34
1179.56/1180.09	c   113712   2696    49421  5953812  120   103642   75065  44127    732 155.20
1179.56/1180.09	c   130856   2696    66565  8270027  124   137930   82572  61271    712 183.57
1179.56/1180.09	c   156675   2696    19331  1881433   97    43462   90830  14037    491 318.73
1179.56/1180.09	c   195507   2696    58163  7498554  128   121126   99914  52869    531 367.79
1179.56/1180.09	c   253859   2696    26440  3005098  113    57680  109906  21146    437 580.75
1179.56/1180.09	c   341492   2696   114073 15421065  135   232946  120897 108779    433 787.03
1179.56/1180.09	o -11	1179.67
1236.44/1236.90	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1236.44/1236.90	c   404194   2696    65971  8683657  131   136753   28072  60677    342 1179.67
1236.44/1236.90	c   404294   2696    17270  1798786  104    39341   30880  11976    332 1215.12
1236.44/1236.90	c   404544   2696    17520  1829318  104    39841   33969  12226    332 1215.36
1236.44/1236.90	c   405019   2696    17995  1884482  104    40791   37366  12701    333 1215.70
1236.44/1236.90	c   405832   2696    18808  1982416  105    42417   41103  13514    333 1216.24
1236.44/1236.90	c   407152   2696    20128  2144636  106    45057   45214  14834    334 1217.04
1236.44/1236.90	c   409233   2696    22209  2418506  108    49219   49736  16915    335 1218.99
1236.44/1236.90	c   412456   2696    25432  2815049  110    55665   54710  20138    337 1221.26
1236.44/1236.90	c   417392   2696    30368  3379505  111    65537   60182  25074    340 1225.12
1236.44/1236.90	c   424898   2696    37874  4339683  114    80549   66201  32580    344 1233.43
1236.44/1236.90	o -12	1236.46
1800.04/1800.70	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1800.04/1800.70	c   427887   2696    40864  4709459  115    86541   28105  35570    346 1236.46
1800.04/1800.70	c   427987   2696    16838  1465272   87    38478   30916  11544    344 1240.73
1800.04/1800.70	c   428237   2696    17088  1498027   87    38978   34008  11794    345 1240.86
1800.04/1800.70	c   428712   2696    17563  1561055   88    39928   37409  12269    345 1241.08
1800.04/1800.70	c   429525   2696    18376  1647999   89    41554   41150  13082    346 1241.34
1800.04/1800.70	c   430845   2696    19696  1780423   90    44194   45266  14402    346 1241.70
1800.04/1800.70	c   432926   2696    21777  1990433   91    48356   49793  16483    348 1242.42
1800.04/1800.70	c   436149   2696    25000  2316611   92    54802   54773  19706    350 1243.91
1800.04/1800.70	c   441085   2696    29936  2892619   96    64674   60251  24642    353 1247.87
1800.04/1800.70	c   448591   2696    37442  3766198  100    79686   66277  32148    357 1255.00
1800.04/1800.70	c   459952   2696    48803  5143284  105   102408   72905  43509    362 1268.38
1800.04/1800.70	c   477096   2696    65947  7518086  114   136696   80196  60653    368 1295.01
1800.04/1800.70	c   502915   2696    21482  2122031   98    47766   88216  16188    368 1363.36
1800.04/1800.70	c   541747   2696    60314  7234869  119   125430   97038  55020    384 1409.28
1800.04/1800.70	c   600100   2696    31446  3100928   98    67694  106742  26152    376 1595.48
1800.04/1800.70	c   687732   2696    22129  2038122   92    49060  117417  16835    382 1799.95
1800.04/1800.70	c Caught signal: 15
1800.04/1800.70	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
1800.04/1800.70	v -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
1800.04/1800.70	v -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
1800.04/1800.70	v -x82 -x83 x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 x92 -x93 x94 -x95 -x96 -x97 -x98 -x99 -x100 -x184 -x187 -x178 -x116 -x194 -x136
1800.04/1800.70	v x193 -x150 -x122 -x163 x117 -x131 -x156 -x160 -x167 -x179 -x101 x128 x191 -x164 -x127 x141 x173 -x137 -x112 -x169 -x110 x111
1800.04/1800.70	v -x102 -x168 -x130 -x183 -x124 -x123 -x159 -x170 -x148 -x154 -x155 -x190 -x103 -x157 -x143 -x174 -x120 -x185 -x108 -x115 -x149
1800.04/1800.70	v -x151 -x104 -x138 -x199 -x125 -x171 -x114 -x192 -x181 -x121 -x126 -x145 -x147 -x158 -x105 x197 -x182 -x139 -x146 -x176 -x198
1800.04/1800.70	v -x106 -x196 -x135 -x107 x165 -x144 -x188 -x109 -x177 -x189 -x119 -x195 -x152 -x200 -x133 x161 -x140 -x113 -x129 -x118 -x153
1800.04/1800.70	v -x142 -x166 -x132 -x172 -x186 -x180 -x175 x134 x162
1800.04/1800.70	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.04/1800.70	c   64   687932    109   710581    22329  2058844  17035    382 1800.06
1800.04/1800.70	c Objective: -12
1800.04/1800.70	s SATISFIABLE
1800.04/1800.70	c Total time: 1800.06 s

Verifier Data (download as text)

OK	-12

Watcher Data (download as text)

runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node67/watcher-455256-1178040146 -o ROOT/results/node67/solver-455256-1178040146 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/455256-1178040146/instance-455256-1178040146.opb 

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): 3600 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 28129
/proc/meminfo: memFree=1812696/2055920 swapFree=4183044/4192956
[pid=28129] ppid=28127 vsize=11772 CPUtime=0
/proc/28129/stat : 28129 (bsolo3.0.17) R 28127 28129 26851 0 -1 4194304 372 0 0 0 0 0 0 0 18 0 1 0 280004101 12054528 342 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7325307 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28129/statm: 2943 343 289 324 0 2004 0

[startup+0.106204 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 28129
/proc/meminfo: memFree=1812696/2055920 swapFree=4183044/4192956
[pid=28129] ppid=28127 vsize=5304 CPUtime=0.1
/proc/28129/stat : 28129 (bsolo3.0.17) R 28127 28129 26851 0 -1 4194304 737 0 0 0 10 0 0 0 18 0 1 0 280004101 5431296 698 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28129/statm: 1326 698 304 324 0 396 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 5304

[startup+0.202221 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 28129
/proc/meminfo: memFree=1812696/2055920 swapFree=4183044/4192956
[pid=28129] ppid=28127 vsize=5304 CPUtime=0.19
/proc/28129/stat : 28129 (bsolo3.0.17) R 28127 28129 26851 0 -1 4194304 737 0 0 0 19 0 0 0 18 0 1 0 280004101 5431296 698 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28129/statm: 1326 698 304 324 0 396 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 5304

[startup+0.30124 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 28129
/proc/meminfo: memFree=1812696/2055920 swapFree=4183044/4192956
[pid=28129] ppid=28127 vsize=5304 CPUtime=0.29
/proc/28129/stat : 28129 (bsolo3.0.17) R 28127 28129 26851 0 -1 4194304 737 0 0 0 29 0 0 0 19 0 1 0 280004101 5431296 698 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28129/statm: 1326 698 304 324 0 396 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5304

[startup+0.702312 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 28129
/proc/meminfo: memFree=1812696/2055920 swapFree=4183044/4192956
[pid=28129] ppid=28127 vsize=5304 CPUtime=0.69
/proc/28129/stat : 28129 (bsolo3.0.17) R 28127 28129 26851 0 -1 4194304 737 0 0 0 69 0 0 0 22 0 1 0 280004101 5431296 698 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28129/statm: 1326 698 304 324 0 396 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5304

[startup+1.50146 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 28130
/proc/meminfo: memFree=1810192/2055920 swapFree=4183044/4192956
[pid=28129] ppid=28127 vsize=8616 CPUtime=1.49
/proc/28129/stat : 28129 (bsolo3.0.17) R 28127 28129 26851 0 -1 4194304 1624 0 0 0 148 1 0 0 25 0 1 0 280004101 8822784 1538 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7325307 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28129/statm: 2154 1538 311 324 0 1224 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 8616

[startup+3.10175 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 28130
/proc/meminfo: memFree=1802768/2055920 swapFree=4183044/4192956
[pid=28129] ppid=28127 vsize=17780 CPUtime=3.09
/proc/28129/stat : 28129 (bsolo3.0.17) R 28127 28129 26851 0 -1 4194304 3910 0 0 0 307 2 0 0 25 0 1 0 280004101 18206720 3824 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7325307 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28129/statm: 4445 3824 311 324 0 3515 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 17780

[startup+6.30134 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 28130
/proc/meminfo: memFree=1790800/2055920 swapFree=4183044/4192956
[pid=28129] ppid=28127 vsize=27180 CPUtime=6.29
/proc/28129/stat : 28129 (bsolo3.0.17) R 28127 28129 26851 0 -1 4194304 6262 0 0 0 624 5 0 0 25 0 1 0 280004101 27832320 6176 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572583 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28129/statm: 6795 6177 311 324 0 5865 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 27180

[startup+12.7015 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 28130
/proc/meminfo: memFree=1774432/2055920 swapFree=4183044/4192956
[pid=28129] ppid=28127 vsize=43340 CPUtime=12.68
/proc/28129/stat : 28129 (bsolo3.0.17) R 28127 28129 26851 0 -1 4194304 10313 0 0 0 1260 8 0 0 25 0 1 0 280004101 44380160 10227 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160051250 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28129/statm: 10835 10227 311 324 0 9905 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 43340

[startup+25.5019 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 28130
/proc/meminfo: memFree=1748832/2055920 swapFree=4183044/4192956
[pid=28129] ppid=28127 vsize=67428 CPUtime=25.48
/proc/28129/stat : 28129 (bsolo3.0.17) R 28127 28129 26851 0 -1 4194304 16313 0 0 0 2535 13 0 0 25 0 1 0 280004101 69046272 16227 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550878 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28129/statm: 16857 16227 311 324 0 15927 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 67428

[startup+51.1016 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 28130
/proc/meminfo: memFree=1723168/2055920 swapFree=4183044/4192956
[pid=28129] ppid=28127 vsize=93532 CPUtime=51.07
/proc/28129/stat : 28129 (bsolo3.0.17) R 28127 28129 26851 0 -1 4194304 22860 0 0 0 5089 18 0 0 25 0 1 0 280004101 95776768 22774 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551065 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28129/statm: 23383 22774 311 324 0 22453 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 93532

[startup+102.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 28130
/proc/meminfo: memFree=1672992/2055920 swapFree=4183044/4192956
[pid=28129] ppid=28127 vsize=142932 CPUtime=102.26
/proc/28129/stat : 28129 (bsolo3.0.17) R 28127 28129 26851 0 -1 4194304 35201 0 0 0 10194 32 0 0 25 0 1 0 280004101 146362368 35115 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7325307 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28129/statm: 35733 35115 311 324 0 34803 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 142932

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 28130
/proc/meminfo: memFree=1659680/2055920 swapFree=4183044/4192956
[pid=28129] ppid=28127 vsize=156052 CPUtime=162.23
/proc/28129/stat : 28129 (bsolo3.0.17) R 28127 28129 26851 0 -1 4194304 38547 0 0 0 16188 35 0 0 25 0 1 0 280004101 159797248 38381 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28129/statm: 39013 38381 311 324 0 38083 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 156052

[startup+222.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 28130
/proc/meminfo: memFree=1659680/2055920 swapFree=4183044/4192956
[pid=28129] ppid=28127 vsize=156052 CPUtime=222.21
/proc/28129/stat : 28129 (bsolo3.0.17) R 28127 28129 26851 0 -1 4194304 38547 0 0 0 22186 35 0 0 25 0 1 0 280004101 159797248 38381 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28129/statm: 39013 38381 311 324 0 38083 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 156052

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 28130
/proc/meminfo: memFree=1649312/2055920 swapFree=4183044/4192956
[pid=28129] ppid=28127 vsize=166220 CPUtime=282.19
/proc/28129/stat : 28129 (bsolo3.0.17) R 28127 28129 26851 0 -1 4194304 41195 0 0 0 28180 39 0 0 25 0 1 0 280004101 170209280 40945 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28129/statm: 41555 40945 311 324 0 40625 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 166220

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 28130
/proc/meminfo: memFree=1649312/2055920 swapFree=4183044/4192956
[pid=28129] ppid=28127 vsize=166220 CPUtime=342.17
/proc/28129/stat : 28129 (bsolo3.0.17) R 28127 28129 26851 0 -1 4194304 41195 0 0 0 34178 39 0 0 25 0 1 0 280004101 170209280 40945 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550907 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28129/statm: 41555 40945 311 324 0 40625 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 166220

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 28130
/proc/meminfo: memFree=1649312/2055920 swapFree=4183044/4192956
[pid=28129] ppid=28127 vsize=166220 CPUtime=402.14
/proc/28129/stat : 28129 (bsolo3.0.17) R 28127 28129 26851 0 -1 4194304 41195 0 0 0 40175 39 0 0 25 0 1 0 280004101 170209280 40945 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28129/statm: 41555 40945 311 324 0 40625 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 166220

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 28130
/proc/meminfo: memFree=1630880/2055920 swapFree=4183044/4192956
[pid=28129] ppid=28127 vsize=185064 CPUtime=462.12
/proc/28129/stat : 28129 (bsolo3.0.17) R 28127 28129 26851 0 -1 4194304 45883 0 0 0 46170 42 0 0 25 0 1 0 280004101 189505536 45633 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7325307 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28129/statm: 46266 45633 311 324 0 45336 0
Current children cumulated CPU time (s) 462.12
Current children cumulated vsize (KiB) 185064

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 28130
/proc/meminfo: memFree=1613600/2055920 swapFree=4183044/4192956
[pid=28129] ppid=28127 vsize=201820 CPUtime=522.1
/proc/28129/stat : 28129 (bsolo3.0.17) R 28127 28129 26851 0 -1 4194304 50173 0 0 0 52162 48 0 0 25 0 1 0 280004101 206663680 49822 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28129/statm: 50455 49822 311 324 0 49525 0
Current children cumulated CPU time (s) 522.1
Current children cumulated vsize (KiB) 201820

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 28130
/proc/meminfo: memFree=1613664/2055920 swapFree=4183044/4192956
[pid=28129] ppid=28127 vsize=201820 CPUtime=582.08
/proc/28129/stat : 28129 (bsolo3.0.17) R 28127 28129 26851 0 -1 4194304 50173 0 0 0 58160 48 0 0 25 0 1 0 280004101 206663680 49822 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551076 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28129/statm: 50455 49822 311 324 0 49525 0
Current children cumulated CPU time (s) 582.08
Current children cumulated vsize (KiB) 201820

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 28130
/proc/meminfo: memFree=1613664/2055920 swapFree=4183044/4192956
[pid=28129] ppid=28127 vsize=201820 CPUtime=642.06
/proc/28129/stat : 28129 (bsolo3.0.17) R 28127 28129 26851 0 -1 4194304 50173 0 0 0 64157 49 0 0 25 0 1 0 280004101 206663680 49822 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28129/statm: 50455 49822 311 324 0 49525 0
Current children cumulated CPU time (s) 642.06
Current children cumulated vsize (KiB) 201820


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

[startup+822.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 28130
/proc/meminfo: memFree=1580448/2055920 swapFree=4183044/4192956
[pid=28129] ppid=28127 vsize=235488 CPUtime=822
/proc/28129/stat : 28129 (bsolo3.0.17) R 28127 28129 26851 0 -1 4194304 58589 0 0 0 82141 59 0 0 25 0 1 0 280004101 241139712 58238 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28129/statm: 58872 58238 311 324 0 57942 0
Current children cumulated CPU time (s) 822
Current children cumulated vsize (KiB) 235488

[startup+882.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 28130
/proc/meminfo: memFree=1572320/2055920 swapFree=4183044/4192956
[pid=28129] ppid=28127 vsize=242968 CPUtime=881.98
/proc/28129/stat : 28129 (bsolo3.0.17) R 28127 28129 26851 0 -1 4194304 60595 0 0 0 88138 60 0 0 25 0 1 0 280004101 248799232 60123 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28129/statm: 60742 60123 311 324 0 59812 0
Current children cumulated CPU time (s) 881.98
Current children cumulated vsize (KiB) 242968

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 28130
/proc/meminfo: memFree=1572320/2055920 swapFree=4183044/4192956
[pid=28129] ppid=28127 vsize=242968 CPUtime=941.95
/proc/28129/stat : 28129 (bsolo3.0.17) R 28127 28129 26851 0 -1 4194304 60595 0 0 0 94135 60 0 0 25 0 1 0 280004101 248799232 60123 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28129/statm: 60742 60123 311 324 0 59812 0
Current children cumulated CPU time (s) 941.95
Current children cumulated vsize (KiB) 242968

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 28130
/proc/meminfo: memFree=1572384/2055920 swapFree=4183044/4192956
[pid=28129] ppid=28127 vsize=242968 CPUtime=1001.92
/proc/28129/stat : 28129 (bsolo3.0.17) R 28127 28129 26851 0 -1 4194304 60595 0 0 0 100132 60 0 0 25 0 1 0 280004101 248799232 60123 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28129/statm: 60742 60123 311 324 0 59812 0
Current children cumulated CPU time (s) 1001.92
Current children cumulated vsize (KiB) 242968

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 28130
/proc/meminfo: memFree=1572448/2055920 swapFree=4183044/4192956
[pid=28129] ppid=28127 vsize=242968 CPUtime=1061.91
/proc/28129/stat : 28129 (bsolo3.0.17) R 28127 28129 26851 0 -1 4194304 60595 0 0 0 106130 61 0 0 25 0 1 0 280004101 248799232 60123 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28129/statm: 60742 60123 311 324 0 59812 0
Current children cumulated CPU time (s) 1061.91
Current children cumulated vsize (KiB) 242968

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 28130
/proc/meminfo: memFree=1572448/2055920 swapFree=4183044/4192956
[pid=28129] ppid=28127 vsize=242968 CPUtime=1121.89
/proc/28129/stat : 28129 (bsolo3.0.17) R 28127 28129 26851 0 -1 4194304 60595 0 0 0 112128 61 0 0 25 0 1 0 280004101 248799232 60123 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551269 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28129/statm: 60742 60123 311 324 0 59812 0
Current children cumulated CPU time (s) 1121.89
Current children cumulated vsize (KiB) 242968

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 28130
/proc/meminfo: memFree=1572448/2055920 swapFree=4183044/4192956
[pid=28129] ppid=28127 vsize=242968 CPUtime=1181.86
/proc/28129/stat : 28129 (bsolo3.0.17) R 28127 28129 26851 0 -1 4194304 60595 0 0 0 118125 61 0 0 25 0 1 0 280004101 248799232 60123 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28129/statm: 60742 60123 311 324 0 59812 0
Current children cumulated CPU time (s) 1181.86
Current children cumulated vsize (KiB) 242968

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 28132
/proc/meminfo: memFree=1572512/2055920 swapFree=4183044/4192956
[pid=28129] ppid=28127 vsize=242648 CPUtime=1241.84
/proc/28129/stat : 28129 (bsolo3.0.17) R 28127 28129 26851 0 -1 4194304 60595 0 0 0 124123 61 0 0 25 0 1 0 280004101 248471552 60054 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28129/statm: 60662 60054 311 324 0 59732 0
Current children cumulated CPU time (s) 1241.84
Current children cumulated vsize (KiB) 242648

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 28132
/proc/meminfo: memFree=1572576/2055920 swapFree=4183044/4192956
[pid=28129] ppid=28127 vsize=242648 CPUtime=1301.81
/proc/28129/stat : 28129 (bsolo3.0.17) R 28127 28129 26851 0 -1 4194304 60595 0 0 0 130120 61 0 0 25 0 1 0 280004101 248471552 60054 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7319621 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28129/statm: 60662 60054 311 324 0 59732 0
Current children cumulated CPU time (s) 1301.81
Current children cumulated vsize (KiB) 242648

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 28132
/proc/meminfo: memFree=1572576/2055920 swapFree=4183044/4192956
[pid=28129] ppid=28127 vsize=242648 CPUtime=1361.8
/proc/28129/stat : 28129 (bsolo3.0.17) R 28127 28129 26851 0 -1 4194304 60595 0 0 0 136118 62 0 0 25 0 1 0 280004101 248471552 60054 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28129/statm: 60662 60054 311 324 0 59732 0
Current children cumulated CPU time (s) 1361.8
Current children cumulated vsize (KiB) 242648

[startup+1422.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 28132
/proc/meminfo: memFree=1572576/2055920 swapFree=4183044/4192956
[pid=28129] ppid=28127 vsize=242648 CPUtime=1421.78
/proc/28129/stat : 28129 (bsolo3.0.17) R 28127 28129 26851 0 -1 4194304 60595 0 0 0 142116 62 0 0 25 0 1 0 280004101 248471552 60054 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28129/statm: 60662 60054 311 324 0 59732 0
Current children cumulated CPU time (s) 1421.78
Current children cumulated vsize (KiB) 242648

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 28132
/proc/meminfo: memFree=1572640/2055920 swapFree=4183044/4192956
[pid=28129] ppid=28127 vsize=242648 CPUtime=1481.75
/proc/28129/stat : 28129 (bsolo3.0.17) R 28127 28129 26851 0 -1 4194304 60595 0 0 0 148113 62 0 0 25 0 1 0 280004101 248471552 60054 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28129/statm: 60662 60054 311 324 0 59732 0
Current children cumulated CPU time (s) 1481.75
Current children cumulated vsize (KiB) 242648

[startup+1542.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 28132
/proc/meminfo: memFree=1572640/2055920 swapFree=4183044/4192956
[pid=28129] ppid=28127 vsize=242648 CPUtime=1541.74
/proc/28129/stat : 28129 (bsolo3.0.17) R 28127 28129 26851 0 -1 4194304 60595 0 0 0 154111 63 0 0 25 0 1 0 280004101 248471552 60054 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28129/statm: 60662 60054 311 324 0 59732 0
Current children cumulated CPU time (s) 1541.74
Current children cumulated vsize (KiB) 242648

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 28132
/proc/meminfo: memFree=1572576/2055920 swapFree=4183044/4192956
[pid=28129] ppid=28127 vsize=242648 CPUtime=1601.71
/proc/28129/stat : 28129 (bsolo3.0.17) R 28127 28129 26851 0 -1 4194304 60595 0 0 0 160108 63 0 0 25 0 1 0 280004101 248471552 60054 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28129/statm: 60662 60054 311 324 0 59732 0
Current children cumulated CPU time (s) 1601.71
Current children cumulated vsize (KiB) 242648

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 28132
/proc/meminfo: memFree=1572768/2055920 swapFree=4183044/4192956
[pid=28129] ppid=28127 vsize=242648 CPUtime=1661.69
/proc/28129/stat : 28129 (bsolo3.0.17) R 28127 28129 26851 0 -1 4194304 60595 0 0 0 166106 63 0 0 25 0 1 0 280004101 248471552 60054 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28129/statm: 60662 60054 311 324 0 59732 0
Current children cumulated CPU time (s) 1661.69
Current children cumulated vsize (KiB) 242648

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 28132
/proc/meminfo: memFree=1572768/2055920 swapFree=4183044/4192956
[pid=28129] ppid=28127 vsize=242648 CPUtime=1721.67
/proc/28129/stat : 28129 (bsolo3.0.17) R 28127 28129 26851 0 -1 4194304 60595 0 0 0 172104 63 0 0 25 0 1 0 280004101 248471552 60054 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551052 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28129/statm: 60662 60054 311 324 0 59732 0
Current children cumulated CPU time (s) 1721.67
Current children cumulated vsize (KiB) 242648

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 28132
/proc/meminfo: memFree=1572768/2055920 swapFree=4183044/4192956
[pid=28129] ppid=28127 vsize=242648 CPUtime=1781.64
/proc/28129/stat : 28129 (bsolo3.0.17) R 28127 28129 26851 0 -1 4194304 60595 0 0 0 178101 63 0 0 25 0 1 0 280004101 248471552 60054 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28129/statm: 60662 60054 311 324 0 59732 0
Current children cumulated CPU time (s) 1781.64
Current children cumulated vsize (KiB) 242648



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 28132
/proc/meminfo: memFree=1572768/2055920 swapFree=4183044/4192956
[pid=28129] ppid=28127 vsize=242648 CPUtime=1800.04
/proc/28129/stat : 28129 (bsolo3.0.17) R 28127 28129 26851 0 -1 4194304 60595 0 0 0 179941 63 0 0 25 0 1 0 280004101 248471552 60054 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134574519 0 0 4096 16384 0 0 0 17 1 0 0
/proc/28129/statm: 60662 60054 311 324 0 59732 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 242648

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

Child status: 15
Real time (s): 1800.75
CPU time (s): 1800.1
CPU user time (s): 1799.42
CPU system time (s): 0.676897
CPU usage (%): 99.9637
Max. virtual memory (cumulated for all children) (KiB): 243452

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.42
system time used= 0.676897
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 60599
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= 12
involuntary context switches= 1566

runsolver used 1.3478 second user time and 3.57346 second system time

The end

Launcher Data (download as text)

Begin job on node67 on Tue May  1 17:22:26 UTC 2007

IDJOB= 455256
IDBENCH= 48251
IDSOLVER= 199
FILE ID= node67/455256-1178040146

PBS_JOBID= 4728405

Free space on /tmp= 66558 MiB

SOLVER NAME= bsolo 3.0.17
BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_100_10_1.opb
COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/455256-1178040146/instance-455256-1178040146.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node67/watcher-455256-1178040146 -o ROOT/results/node67/solver-455256-1178040146 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.17 -m1800 /tmp/evaluation/455256-1178040146/instance-455256-1178040146.opb            

META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020
MD5SUM BENCH=  8c398fbb12ba7dbf676dd8375a76e0de

RANDOM SEED= 752681293

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node67.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.263
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.263
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1813168 kB
Buffers:         65380 kB
Cached:         108220 kB
SwapCached:       3676 kB
Active:          60516 kB
Inactive:       124836 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1813168 kB
SwapTotal:     4192956 kB
SwapFree:      4183044 kB
Dirty:            6616 kB
Writeback:           0 kB
Mapped:          16028 kB
Slab:            43428 kB
Committed_AS:  2658564 kB
PageTables:       1456 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66558 MiB

End job on node67 on Tue May  1 17:52:29 UTC 2007