Trace number 455250

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.16SAT (TO)-12 1800.13 1800.56

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.16 - 04/04/2007 : 1458 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 Time Limit set to 1800
0.00/0.00	c Memory Limit set to 1800 MB
0.00/0.00	c Instance file /tmp/evaluation/455250-1178040060/instance-455250-1178040060.opb
0.00/0.00	c File size is 36021 bytes.
0.01/0.01	c Highest Coefficient sum: 200
0.01/0.01	c Parsing was ok!!
0.01/0.01	c Total parsing time: 0.015 s
0.01/0.02	c Var: 2696 Constr: 5294 2596/202/2496 Lit: 18072 Watch. Lit: 15378
0.01/0.02	c Obj. Vars: 100 (3.7092 % of total variables)
0.89/0.98	c Pre-processing Time: 0.976 s
0.89/0.98	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.89/0.98	c        0   2696     5294    18072    3    15378   27672      0      0 0.98
0.89/0.98	c Switching off LPR mode.
0.89/0.98	o -1	0.98
0.89/0.98	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.89/0.98	c        0   2696     5295    18172    3    15381   27738      1      0 0.98
0.89/0.98	o -2	0.984
0.89/0.99	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.89/0.99	c        0   2696     5296    18272    3    15385   27838      2      0 0.98
0.89/0.99	o -3	0.988
0.89/0.99	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.89/0.99	c        0   2696     5297    18372    3    15390   27972      3      0 0.99
0.89/0.99	o -4	0.991
0.89/0.99	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.89/0.99	c        0   2696     5298    18472    3    15396   28138      4      0 0.99
0.89/0.99	o -5	0.995
0.99/1.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.99/1.00	c        0   2696     5299    18572    3    15403   28338      5      0 1.00
0.99/1.00	o -6	0.998
0.99/1.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.99/1.00	c        0   2696     5300    18672    3    15411   28572      6      0 1.00
0.99/1.00	o -7	1.002
0.99/1.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.99/1.01	c        0   2696     5301    18772    3    15420   28838      7      0 1.00
0.99/1.01	o -8	1.006
0.99/1.07	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.99/1.07	c        2   2696     5304    19147    3    15434   28872     10      1 1.01
0.99/1.07	c      102   2696     5404    32625    6    15634   31760    110     98 1.04
0.99/1.07	o -9	1.074
119.66/119.71	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
119.66/119.71	c      294   2696     5597    56243   10    16029   28905    303    273 1.07
119.66/119.71	c      394   2696     5697    69215   12    16229   31796    403    351 1.12
119.66/119.71	c      644   2696     5947   102042   17    16729   34976    653    533 1.21
119.66/119.71	c     1119   2696     6422   163641   25    17679   38474   1128    824 1.36
119.66/119.71	c     1932   2696     7235   272205   37    19305   42322   1941   1229 1.57
119.66/119.71	c     3252   2696     8555   441647   51    21945   46555   3261   1743 1.86
119.66/119.71	c     5333   2696    10636   694691   65    26107   51211   5342   2123 2.51
119.66/119.71	c     8556   2696    13859  1138080   82    32553   56333   8565   2213 3.87
119.66/119.71	c    13492   2696    18795  1725504   91    42425   61967  13501   1958 6.89
119.66/119.71	c    20998   2696    26301  2684587  102    57437   68164  21007   1722 12.19
119.66/119.71	c    32359   2696    37662  4141230  109    80159   74981  32368   1649 19.62
119.66/119.71	c    49504   2696    54807  6396215  116   114449   82480  49513    983 50.33
119.66/119.71	c    75323   2696    80626 10098982  125   166087   90729  75332    742 101.49
119.66/119.71	o -10	119.676
1186.51/1186.86	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1186.51/1186.86	c    81646   2696    86950 11143471  128   178745   28938  81656    682 119.68
1186.51/1186.86	c    81746   2696    17455  1977856  113    39710   31832  12161    641 127.36
1186.51/1186.86	c    81997   2696    17706  2009301  113    40212   35016  12412    642 127.62
1186.51/1186.86	c    82472   2696    18181  2065143  113    41162   38518  12887    644 127.98
1186.51/1186.86	c    83285   2696    18994  2162365  113    42788   42370  13700    648 128.52
1186.51/1186.86	c    84605   2696    20314  2331415  114    45428   46608  15020    654 129.35
1186.51/1186.86	c    86686   2696    22395  2545953  113    49590   51269  17101    666 130.10
1186.51/1186.86	c    89909   2696    25618  2897752  113    56036   56396  20324    684 131.41
1186.51/1186.86	c    94845   2696    30554  3484267  114    65908   62036  25260    703 134.72
1186.51/1186.86	c   102351   2696    38060  4414571  115    80920   68240  32766    724 141.34
1186.51/1186.86	c   113712   2696    49421  5953812  120   103642   75065  44127    727 156.35
1186.51/1186.86	c   130856   2696    66565  8270027  124   137930   82572  61271    706 185.14
1186.51/1186.86	c   156675   2696    19331  1881433   97    43462   90830  14037    487 321.36
1186.51/1186.86	c   195507   2696    58163  7498554  128   121126   99914  52869    527 370.95
1186.51/1186.86	c   253859   2696    26440  3005098  113    57680  109906  21146    433 585.57
1186.51/1186.86	c   341492   2696   114073 15421065  135   232946  120897 108779    430 792.97
1186.51/1186.86	o -11	1186.58
1243.70/1244.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1243.70/1244.02	c   404194   2696    65971  8683657  131   136753   28072  60677    340 1186.58
1243.70/1244.02	c   404294   2696    17270  1798786  104    39341   30880  11976    330 1222.07
1243.70/1244.02	c   404544   2696    17520  1829318  104    39841   33969  12226    330 1222.32
1243.70/1244.02	c   405019   2696    17995  1884482  104    40791   37366  12701    331 1222.67
1243.70/1244.02	c   405832   2696    18808  1982416  105    42417   41103  13514    331 1223.22
1243.70/1244.02	c   407152   2696    20128  2144636  106    45057   45214  14834    332 1224.04
1243.70/1244.02	c   409233   2696    22209  2418506  108    49219   49736  16915    333 1226.04
1243.70/1244.02	c   412456   2696    25432  2815049  110    55665   54710  20138    335 1228.37
1243.70/1244.02	c   417392   2696    30368  3379505  111    65537   60182  25074    338 1232.26
1243.70/1244.02	c   424898   2696    37874  4339683  114    80549   66201  32580    342 1240.63
1243.70/1244.02	o -12	1243.72
1800.07/1800.50	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1800.07/1800.50	c   427887   2696    40864  4709459  115    86541   28105  35570    344 1243.72
1800.07/1800.50	c   427987   2696    16838  1465272   87    38478   30916  11544    342 1248.00
1800.07/1800.50	c   428237   2696    17088  1498027   87    38978   34008  11794    343 1248.13
1800.07/1800.50	c   428712   2696    17563  1561055   88    39928   37409  12269    343 1248.35
1800.07/1800.50	c   429525   2696    18376  1647999   89    41554   41150  13082    344 1248.62
1800.07/1800.50	c   430845   2696    19696  1780423   90    44194   45266  14402    344 1248.98
1800.07/1800.50	c   432926   2696    21777  1990433   91    48356   49793  16483    346 1249.71
1800.07/1800.50	c   436149   2696    25000  2316611   92    54802   54773  19706    348 1251.22
1800.07/1800.50	c   441085   2696    29936  2892619   96    64674   60251  24642    351 1255.18
1800.07/1800.50	c   448591   2696    37442  3766198  100    79686   66277  32148    355 1262.38
1800.07/1800.50	c   459952   2696    48803  5143284  105   102408   72905  43509    360 1275.92
1800.07/1800.50	c   477096   2696    65947  7518086  114   136696   80196  60653    366 1302.79
1800.07/1800.50	c   502915   2696    21482  2122031   98    47766   88216  16188    366 1371.84
1800.07/1800.50	c   541747   2696    60314  7234869  119   125430   97038  55020    381 1418.24
1800.07/1800.50	c   600100   2696    31446  3100928   98    67694  106742  26152    373 1605.82
1800.07/1800.50	c Caught signal: 15
1800.07/1800.50	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.07/1800.50	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.07/1800.50	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.07/1800.50	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.07/1800.50	v x193 -x150 -x122 -x163 x117 -x131 -x156 -x160 -x167 -x179 -x101 x128 x191 -x164 -x127 x141 x173 -x137 -x112 -x169 -x110 x111
1800.07/1800.50	v -x102 -x168 -x130 -x183 -x124 -x123 -x159 -x170 -x148 -x154 -x155 -x190 -x103 -x157 -x143 -x174 -x120 -x185 -x108 -x115 -x149
1800.07/1800.50	v -x151 -x104 -x138 -x199 -x125 -x171 -x114 -x192 -x181 -x121 -x126 -x145 -x147 -x158 -x105 x197 -x182 -x139 -x146 -x176 -x198
1800.07/1800.50	v -x106 -x196 -x135 -x107 x165 -x144 -x188 -x109 -x177 -x189 -x119 -x195 -x152 -x200 -x133 x161 -x140 -x113 -x129 -x118 -x153
1800.07/1800.50	v -x142 -x166 -x132 -x172 -x186 -x180 -x175 x134 x162
1800.07/1800.50	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.07/1800.50	c   63   683308    109   705863    50918  5532978  45624    379 1800.07
1800.07/1800.50	c Objective: -12
1800.07/1800.50	s SATISFIABLE
1800.07/1800.50	c Total time: 1800.07 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/node43/watcher-455250-1178040060 -o ROOT/results/node43/solver-455250-1178040060 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/455250-1178040060/instance-455250-1178040060.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.14 1.13 1.09 3/77 14260
/proc/meminfo: memFree=1747544/2055920 swapFree=4158540/4192956
[pid=14260] ppid=14258 vsize=11772 CPUtime=0
/proc/14260/stat : 14260 (bsolo3.0.16) R 14258 14260 15157 0 -1 4194304 377 0 0 0 0 0 0 0 18 0 1 0 251917824 12054528 346 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 5166715 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14260/statm: 2943 347 291 324 0 2003 0

[startup+0.014243 s]
/proc/loadavg: 1.14 1.13 1.09 3/77 14260
/proc/meminfo: memFree=1747544/2055920 swapFree=4158540/4192956
[pid=14260] ppid=14258 vsize=4504 CPUtime=0.01
/proc/14260/stat : 14260 (bsolo3.0.16) R 14258 14260 15157 0 -1 4194304 514 0 0 0 1 0 0 0 18 0 1 0 251917824 4612096 483 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14260/statm: 1126 483 296 324 0 186 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 4504

[startup+0.10125 s]
/proc/loadavg: 1.14 1.13 1.09 3/77 14260
/proc/meminfo: memFree=1747544/2055920 swapFree=4158540/4192956
[pid=14260] ppid=14258 vsize=5304 CPUtime=0.09
/proc/14260/stat : 14260 (bsolo3.0.16) R 14258 14260 15157 0 -1 4194304 740 0 0 0 9 0 0 0 18 0 1 0 251917824 5431296 700 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14260/statm: 1326 700 306 324 0 395 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5304

[startup+0.301267 s]
/proc/loadavg: 1.14 1.13 1.09 3/77 14260
/proc/meminfo: memFree=1747544/2055920 swapFree=4158540/4192956
[pid=14260] ppid=14258 vsize=5304 CPUtime=0.29
/proc/14260/stat : 14260 (bsolo3.0.16) R 14258 14260 15157 0 -1 4194304 740 0 0 0 29 0 0 0 19 0 1 0 251917824 5431296 700 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14260/statm: 1326 700 306 324 0 395 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5304

[startup+0.701302 s]
/proc/loadavg: 1.14 1.13 1.09 3/77 14260
/proc/meminfo: memFree=1747544/2055920 swapFree=4158540/4192956
[pid=14260] ppid=14258 vsize=5304 CPUtime=0.69
/proc/14260/stat : 14260 (bsolo3.0.16) R 14258 14260 15157 0 -1 4194304 740 0 0 0 69 0 0 0 23 0 1 0 251917824 5431296 700 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14260/statm: 1326 700 306 324 0 395 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5304

[startup+1.50137 s]
/proc/loadavg: 1.14 1.13 1.09 2/78 14261
/proc/meminfo: memFree=1745552/2055920 swapFree=4158540/4192956
[pid=14260] ppid=14258 vsize=8360 CPUtime=1.49
/proc/14260/stat : 14260 (bsolo3.0.16) R 14258 14260 15157 0 -1 4194304 1547 0 0 0 147 2 0 0 25 0 1 0 251917824 8560640 1460 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14260/statm: 2090 1460 313 324 0 1159 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 8360

[startup+3.10151 s]
/proc/loadavg: 1.21 1.14 1.10 2/78 14261
/proc/meminfo: memFree=1738064/2055920 swapFree=4158540/4192956
[pid=14260] ppid=14258 vsize=17520 CPUtime=3.09
/proc/14260/stat : 14260 (bsolo3.0.16) R 14258 14260 15157 0 -1 4194304 3846 0 0 0 305 4 0 0 25 0 1 0 251917824 17940480 3759 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14260/statm: 4380 3759 313 324 0 3449 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 17520

[startup+6.30179 s]
/proc/loadavg: 1.21 1.14 1.10 2/78 14261
/proc/meminfo: memFree=1725904/2055920 swapFree=4158540/4192956
[pid=14260] ppid=14258 vsize=26924 CPUtime=6.29
/proc/14260/stat : 14260 (bsolo3.0.16) R 14258 14260 15157 0 -1 4194304 6191 0 0 0 622 7 0 0 25 0 1 0 251917824 27570176 6104 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14260/statm: 6731 6104 313 324 0 5800 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 26924

[startup+12.7013 s]
/proc/loadavg: 1.18 1.14 1.09 2/78 14261
/proc/meminfo: memFree=1709936/2055920 swapFree=4158540/4192956
[pid=14260] ppid=14258 vsize=43084 CPUtime=12.68
/proc/14260/stat : 14260 (bsolo3.0.16) R 14258 14260 15157 0 -1 4194304 10237 0 0 0 1258 10 0 0 25 0 1 0 251917824 44118016 10150 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 5166715 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14260/statm: 10771 10150 313 324 0 9840 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 43084

[startup+25.5015 s]
/proc/loadavg: 1.15 1.13 1.09 2/78 14261
/proc/meminfo: memFree=1684152/2055920 swapFree=4158540/4192956
[pid=14260] ppid=14258 vsize=67164 CPUtime=25.49
/proc/14260/stat : 14260 (bsolo3.0.16) R 14258 14260 15157 0 -1 4194304 16267 0 0 0 2531 18 0 0 25 0 1 0 251917824 68775936 16180 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551371 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14260/statm: 16791 16180 313 324 0 15860 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 67164

[startup+51.1017 s]
/proc/loadavg: 1.10 1.12 1.09 2/78 14261
/proc/meminfo: memFree=1658872/2055920 swapFree=4158540/4192956
[pid=14260] ppid=14258 vsize=93148 CPUtime=51.08
/proc/14260/stat : 14260 (bsolo3.0.16) R 14258 14260 15157 0 -1 4194304 22753 0 0 0 5080 28 0 0 25 0 1 0 251917824 95383552 22666 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14260/statm: 23287 22666 313 324 0 22356 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 93148

[startup+102.305 s]
/proc/loadavg: 1.04 1.10 1.08 2/78 14261
/proc/meminfo: memFree=1608568/2055920 swapFree=4158540/4192956
[pid=14260] ppid=14258 vsize=142544 CPUtime=102.27
/proc/14260/stat : 14260 (bsolo3.0.16) R 14258 14260 15157 0 -1 4194304 35098 0 0 0 10183 44 0 0 25 0 1 0 251917824 145965056 35011 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551244 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14260/statm: 35636 35011 313 324 0 34705 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 142544

[startup+162.301 s]
/proc/loadavg: 1.01 1.08 1.08 2/78 14261
/proc/meminfo: memFree=1594808/2055920 swapFree=4158540/4192956
[pid=14260] ppid=14258 vsize=156052 CPUtime=162.25
/proc/14260/stat : 14260 (bsolo3.0.16) R 14258 14260 15157 0 -1 4194304 38550 0 0 0 16169 56 0 0 25 0 1 0 251917824 159797248 38383 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14260/statm: 39013 38383 313 324 0 38082 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 156052

[startup+222.302 s]
/proc/loadavg: 1.00 1.06 1.07 2/78 14261
/proc/meminfo: memFree=1594808/2055920 swapFree=4158540/4192956
[pid=14260] ppid=14258 vsize=156052 CPUtime=222.24
/proc/14260/stat : 14260 (bsolo3.0.16) R 14258 14260 15157 0 -1 4194304 38550 0 0 0 22162 62 0 0 25 0 1 0 251917824 159797248 38383 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14260/statm: 39013 38383 313 324 0 38082 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 156052

[startup+282.302 s]
/proc/loadavg: 1.00 1.05 1.07 2/78 14261
/proc/meminfo: memFree=1584440/2055920 swapFree=4158540/4192956
[pid=14260] ppid=14258 vsize=166220 CPUtime=282.22
/proc/14260/stat : 14260 (bsolo3.0.16) R 14258 14260 15157 0 -1 4194304 41198 0 0 0 28156 66 0 0 25 0 1 0 251917824 170209280 40947 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14260/statm: 41555 40947 313 324 0 40624 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 166220

[startup+342.302 s]
/proc/loadavg: 1.00 1.04 1.06 2/78 14261
/proc/meminfo: memFree=1584504/2055920 swapFree=4158540/4192956
[pid=14260] ppid=14258 vsize=166220 CPUtime=342.21
/proc/14260/stat : 14260 (bsolo3.0.16) R 14258 14260 15157 0 -1 4194304 41198 0 0 0 34151 70 0 0 25 0 1 0 251917824 170209280 40947 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14260/statm: 41555 40947 313 324 0 40624 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 166220

[startup+402.301 s]
/proc/loadavg: 1.00 1.03 1.05 2/78 14261
/proc/meminfo: memFree=1584504/2055920 swapFree=4158540/4192956
[pid=14260] ppid=14258 vsize=166220 CPUtime=402.19
/proc/14260/stat : 14260 (bsolo3.0.16) R 14258 14260 15157 0 -1 4194304 41198 0 0 0 40144 75 0 0 25 0 1 0 251917824 170209280 40947 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551285 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14260/statm: 41555 40947 313 324 0 40624 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 166220

[startup+462.301 s]
/proc/loadavg: 1.00 1.02 1.05 2/78 14261
/proc/meminfo: memFree=1569208/2055920 swapFree=4158540/4192956
[pid=14260] ppid=14258 vsize=181960 CPUtime=462.18
/proc/14260/stat : 14260 (bsolo3.0.16) R 14258 14260 15157 0 -1 4194304 45116 0 0 0 46134 84 0 0 25 0 1 0 251917824 186327040 44865 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4160527345 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14260/statm: 45490 44865 313 324 0 44559 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 181960

[startup+522.302 s]
/proc/loadavg: 1.00 1.02 1.04 2/78 14261
/proc/meminfo: memFree=1548920/2055920 swapFree=4158540/4192956
[pid=14260] ppid=14258 vsize=201820 CPUtime=522.17
/proc/14260/stat : 14260 (bsolo3.0.16) R 14258 14260 15157 0 -1 4194304 50176 0 0 0 52126 91 0 0 25 0 1 0 251917824 206663680 49824 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14260/statm: 50455 49824 313 324 0 49524 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 201820

[startup+582.302 s]
/proc/loadavg: 1.00 1.01 1.04 2/78 14261
/proc/meminfo: memFree=1548920/2055920 swapFree=4158540/4192956
[pid=14260] ppid=14258 vsize=201820 CPUtime=582.15
/proc/14260/stat : 14260 (bsolo3.0.16) R 14258 14260 15157 0 -1 4194304 50176 0 0 0 58123 92 0 0 25 0 1 0 251917824 206663680 49824 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551513 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14260/statm: 50455 49824 313 324 0 49524 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 201820

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.03 2/78 14261
/proc/meminfo: memFree=1548920/2055920 swapFree=4158540/4192956
[pid=14260] ppid=14258 vsize=201820 CPUtime=642.14
/proc/14260/stat : 14260 (bsolo3.0.16) R 14258 14260 15157 0 -1 4194304 50176 0 0 0 64116 98 0 0 25 0 1 0 251917824 206663680 49824 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14260/statm: 50455 49824 313 324 0 49524 0
Current children cumulated CPU time (s) 642.14
Current children cumulated vsize (KiB) 201820


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

[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.01 2/78 14261
/proc/meminfo: memFree=1507640/2055920 swapFree=4158540/4192956
[pid=14260] ppid=14258 vsize=242968 CPUtime=882.08
/proc/14260/stat : 14260 (bsolo3.0.16) R 14258 14260 15157 0 -1 4194304 60598 0 0 0 88081 127 0 0 25 0 1 0 251917824 248799232 60125 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14260/statm: 60742 60125 313 324 0 59811 0
Current children cumulated CPU time (s) 882.08
Current children cumulated vsize (KiB) 242968

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 14261
/proc/meminfo: memFree=1507640/2055920 swapFree=4158540/4192956
[pid=14260] ppid=14258 vsize=242968 CPUtime=942.06
/proc/14260/stat : 14260 (bsolo3.0.16) R 14258 14260 15157 0 -1 4194304 60598 0 0 0 94079 127 0 0 25 0 1 0 251917824 248799232 60125 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14260/statm: 60742 60125 313 324 0 59811 0
Current children cumulated CPU time (s) 942.06
Current children cumulated vsize (KiB) 242968

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 14261
/proc/meminfo: memFree=1507640/2055920 swapFree=4158540/4192956
[pid=14260] ppid=14258 vsize=242968 CPUtime=1002.05
/proc/14260/stat : 14260 (bsolo3.0.16) R 14258 14260 15157 0 -1 4194304 60598 0 0 0 100077 128 0 0 25 0 1 0 251917824 248799232 60125 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14260/statm: 60742 60125 313 324 0 59811 0
Current children cumulated CPU time (s) 1002.05
Current children cumulated vsize (KiB) 242968

[startup+1062.3 s]
/proc/loadavg: 1.04 1.01 1.00 2/78 14261
/proc/meminfo: memFree=1507640/2055920 swapFree=4158540/4192956
[pid=14260] ppid=14258 vsize=242968 CPUtime=1062.04
/proc/14260/stat : 14260 (bsolo3.0.16) R 14258 14260 15157 0 -1 4194304 60598 0 0 0 106076 128 0 0 25 0 1 0 251917824 248799232 60125 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14260/statm: 60742 60125 313 324 0 59811 0
Current children cumulated CPU time (s) 1062.04
Current children cumulated vsize (KiB) 242968

[startup+1122.3 s]
/proc/loadavg: 1.08 1.03 1.01 2/78 14261
/proc/meminfo: memFree=1507704/2055920 swapFree=4158540/4192956
[pid=14260] ppid=14258 vsize=242968 CPUtime=1122.03
/proc/14260/stat : 14260 (bsolo3.0.16) R 14258 14260 15157 0 -1 4194304 60598 0 0 0 112074 129 0 0 25 0 1 0 251917824 248799232 60125 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14260/statm: 60742 60125 313 324 0 59811 0
Current children cumulated CPU time (s) 1122.03
Current children cumulated vsize (KiB) 242968

[startup+1182.3 s]
/proc/loadavg: 1.03 1.03 1.00 2/78 14261
/proc/meminfo: memFree=1507704/2055920 swapFree=4158540/4192956
[pid=14260] ppid=14258 vsize=242968 CPUtime=1182
/proc/14260/stat : 14260 (bsolo3.0.16) R 14258 14260 15157 0 -1 4194304 60598 0 0 0 118065 135 0 0 25 0 1 0 251917824 248799232 60125 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14260/statm: 60742 60125 313 324 0 59811 0
Current children cumulated CPU time (s) 1182
Current children cumulated vsize (KiB) 242968

[startup+1242.3 s]
/proc/loadavg: 1.01 1.02 1.00 2/78 14263
/proc/meminfo: memFree=1507704/2055920 swapFree=4158540/4192956
[pid=14260] ppid=14258 vsize=242968 CPUtime=1242
/proc/14260/stat : 14260 (bsolo3.0.16) R 14258 14260 15157 0 -1 4194304 60598 0 0 0 124061 139 0 0 25 0 1 0 251917824 248799232 60125 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14260/statm: 60742 60125 313 324 0 59811 0
Current children cumulated CPU time (s) 1242
Current children cumulated vsize (KiB) 242968

[startup+1302.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/78 14263
/proc/meminfo: memFree=1507896/2055920 swapFree=4158540/4192956
[pid=14260] ppid=14258 vsize=242648 CPUtime=1301.98
/proc/14260/stat : 14260 (bsolo3.0.16) R 14258 14260 15157 0 -1 4194304 60598 0 0 0 130051 147 0 0 25 0 1 0 251917824 248471552 60056 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14260/statm: 60662 60056 313 324 0 59731 0
Current children cumulated CPU time (s) 1301.98
Current children cumulated vsize (KiB) 242648

[startup+1362.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/78 14263
/proc/meminfo: memFree=1507896/2055920 swapFree=4158540/4192956
[pid=14260] ppid=14258 vsize=242648 CPUtime=1361.96
/proc/14260/stat : 14260 (bsolo3.0.16) R 14258 14260 15157 0 -1 4194304 60598 0 0 0 136045 151 0 0 25 0 1 0 251917824 248471552 60056 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14260/statm: 60662 60056 313 324 0 59731 0
Current children cumulated CPU time (s) 1361.96
Current children cumulated vsize (KiB) 242648

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 14263
/proc/meminfo: memFree=1507960/2055920 swapFree=4158540/4192956
[pid=14260] ppid=14258 vsize=242648 CPUtime=1421.95
/proc/14260/stat : 14260 (bsolo3.0.16) R 14258 14260 15157 0 -1 4194304 60598 0 0 0 142038 157 0 0 25 0 1 0 251917824 248471552 60056 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14260/statm: 60662 60056 313 324 0 59731 0
Current children cumulated CPU time (s) 1421.95
Current children cumulated vsize (KiB) 242648

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 14263
/proc/meminfo: memFree=1507960/2055920 swapFree=4158540/4192956
[pid=14260] ppid=14258 vsize=242648 CPUtime=1481.93
/proc/14260/stat : 14260 (bsolo3.0.16) R 14258 14260 15157 0 -1 4194304 60598 0 0 0 148030 163 0 0 25 0 1 0 251917824 248471552 60056 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 5165477 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14260/statm: 60662 60056 313 324 0 59731 0
Current children cumulated CPU time (s) 1481.93
Current children cumulated vsize (KiB) 242648

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 14263
/proc/meminfo: memFree=1508024/2055920 swapFree=4158540/4192956
[pid=14260] ppid=14258 vsize=242648 CPUtime=1541.92
/proc/14260/stat : 14260 (bsolo3.0.16) R 14258 14260 15157 0 -1 4194304 60598 0 0 0 154027 165 0 0 25 0 1 0 251917824 248471552 60056 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14260/statm: 60662 60056 313 324 0 59731 0
Current children cumulated CPU time (s) 1541.92
Current children cumulated vsize (KiB) 242648

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 14263
/proc/meminfo: memFree=1507960/2055920 swapFree=4158540/4192956
[pid=14260] ppid=14258 vsize=242648 CPUtime=1601.91
/proc/14260/stat : 14260 (bsolo3.0.16) R 14258 14260 15157 0 -1 4194304 60598 0 0 0 160024 167 0 0 25 0 1 0 251917824 248471552 60056 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14260/statm: 60662 60056 313 324 0 59731 0
Current children cumulated CPU time (s) 1601.91
Current children cumulated vsize (KiB) 242648

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 14263
/proc/meminfo: memFree=1508024/2055920 swapFree=4158540/4192956
[pid=14260] ppid=14258 vsize=242648 CPUtime=1661.89
/proc/14260/stat : 14260 (bsolo3.0.16) R 14258 14260 15157 0 -1 4194304 60598 0 0 0 166016 173 0 0 25 0 1 0 251917824 248471552 60056 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14260/statm: 60662 60056 313 324 0 59731 0
Current children cumulated CPU time (s) 1661.89
Current children cumulated vsize (KiB) 242648

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 14263
/proc/meminfo: memFree=1507960/2055920 swapFree=4158540/4192956
[pid=14260] ppid=14258 vsize=242648 CPUtime=1721.88
/proc/14260/stat : 14260 (bsolo3.0.16) R 14258 14260 15157 0 -1 4194304 60598 0 0 0 172008 180 0 0 25 0 1 0 251917824 248471552 60056 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14260/statm: 60662 60056 313 324 0 59731 0
Current children cumulated CPU time (s) 1721.88
Current children cumulated vsize (KiB) 242648

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 14263
/proc/meminfo: memFree=1508024/2055920 swapFree=4158540/4192956
[pid=14260] ppid=14258 vsize=242648 CPUtime=1781.87
/proc/14260/stat : 14260 (bsolo3.0.16) R 14258 14260 15157 0 -1 4194304 60598 0 0 0 178004 183 0 0 25 0 1 0 251917824 248471552 60056 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14260/statm: 60662 60056 313 324 0 59731 0
Current children cumulated CPU time (s) 1781.87
Current children cumulated vsize (KiB) 242648



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 14263
/proc/meminfo: memFree=1507960/2055920 swapFree=4158540/4192956
[pid=14260] ppid=14258 vsize=242648 CPUtime=1800.07
/proc/14260/stat : 14260 (bsolo3.0.16) R 14258 14260 15157 0 -1 4194304 60598 0 0 0 179824 183 0 0 25 0 1 0 251917824 248471552 60056 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14260/statm: 60662 60056 313 324 0 59731 0
Current children cumulated CPU time (s) 1800.07
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

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 14263
/proc/meminfo: memFree=1507960/2055920 swapFree=4158540/4192956
[pid=14260] ppid=14258 vsize=242648 CPUtime=1800.07
/proc/14260/stat : 14260 (bsolo3.0.16) R 14258 14260 15157 0 -1 4194304 60598 0 0 0 179824 183 0 0 25 0 1 0 251917824 248471552 60056 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0
/proc/14260/statm: 60662 60056 313 324 0 59731 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 242648

Child status: 15
Real time (s): 1800.56
CPU time (s): 1800.13
CPU user time (s): 1798.25
CPU system time (s): 1.87171
CPU usage (%): 99.9759
Max. virtual memory (cumulated for all children) (KiB): 243452

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.25
system time used= 1.87172
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= 2659

runsolver used 1.3388 second user time and 4.00639 second system time

The end

Launcher Data (download as text)

Begin job on node43 on Tue May  1 17:21:00 UTC 2007

IDJOB= 455250
IDBENCH= 48251
IDSOLVER= 163
FILE ID= node43/455250-1178040060

PBS_JOBID= 4728403

Free space on /tmp= 66558 MiB

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

META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482
MD5SUM BENCH=  8c398fbb12ba7dbf676dd8375a76e0de

RANDOM SEED= 722968752

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node43.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.218
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.218
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:       1747888 kB
Buffers:         93384 kB
Cached:         118800 kB
SwapCached:       2560 kB
Active:         142312 kB
Inactive:       101912 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1747888 kB
SwapTotal:     4192956 kB
SwapFree:      4158540 kB
Dirty:            6616 kB
Writeback:           0 kB
Mapped:          38660 kB
Slab:            49164 kB
Committed_AS:  7986436 kB
PageTables:       1912 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 node43 on Tue May  1 17:51:03 UTC 2007