Trace number 455106

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.09 1800.66

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_100_10_2.opb
MD5SUMc154cb0964ce03c2d199339cf62d0c63
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-29
Best CPU time to get the best result obtained on this benchmark1800.01
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -29
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)2520
Sum of products size (including duplicates)5040
Number of different products1260
Sum of products size2520

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/455106-1178037106/instance-455106-1178037106.opb
0.00/0.00	c File size is 36289 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.014 s
0.00/0.02	c Var: 2720 Constr: 5342 2620/202/2520 Lit: 18240 Watch. Lit: 15522
0.00/0.02	c Obj. Vars: 100 (3.67647 % of total variables)
0.99/1.01	c Pre-processing Time: 1.008 s
0.99/1.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.99/1.01	c        0   2720     5342    18240    3    15522   28105      0      0 1.01
0.99/1.01	c Switching off LPR mode.
0.99/1.01	o -1	1.01
0.99/1.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.99/1.01	c        0   2720     5343    18340    3    15525   28172      1      0 1.01
0.99/1.01	o -2	1.012
0.99/1.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.99/1.02	c        0   2720     5344    18440    3    15529   28272      2      0 1.01
0.99/1.02	o -3	1.014
0.99/1.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.99/1.02	c        0   2720     5345    18540    3    15534   28405      3      0 1.01
0.99/1.02	o -4	1.016
0.99/1.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.99/1.02	c        0   2720     5346    18640    3    15540   28572      4      0 1.02
0.99/1.02	o -5	1.018
0.99/1.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.99/1.02	c        0   2720     5347    18740    3    15547   28772      5      0 1.02
0.99/1.02	o -6	1.02
0.99/1.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.99/1.02	c        0   2720     5348    18840    3    15555   29005      6      0 1.02
0.99/1.02	o -7	1.022
0.99/1.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.99/1.03	c        0   2720     5349    18940    3    15564   29272      7      0 1.02
0.99/1.03	o -8	1.024
1.09/1.13	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.09/1.13	c        1   2720     5351    19179    3    15576   29305      9      0 1.02
1.09/1.13	c      101   2720     5451    32920    6    15776   32236    109     96 1.05
1.09/1.13	c      351   2720     5701    68091   11    16276   35460    359    316 1.11
1.09/1.13	o -9	1.131
24.78/24.84	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
24.78/24.84	c      494   2720     5845    85568   14    16573   29338    503    436 1.13
24.78/24.84	c      594   2720     5945    97944   16    16773   32272    603    507 1.17
24.78/24.84	c      845   2720     6196   128541   20    17275   35500    854    682 1.24
24.78/24.84	c     1320   2720     6671   186192   27    18225   39051   1329    956 1.38
24.78/24.84	c     2133   2720     7484   290313   38    19851   42957   2142   1311 1.63
24.78/24.84	c     3453   2720     8804   486804   55    22491   47253   3462   1710 2.02
24.78/24.84	c     5534   2720    10885   747591   68    26653   51979   5543   1923 2.88
24.78/24.84	c     8757   2720    14108  1117122   79    33099   57177   8766   2321 3.77
24.78/24.84	c    13693   2720    19044  1749856   91    42971   62895  13702   2062 6.64
24.78/24.84	c    21199   2720    26550  2681535  100    57983   69185  21208   1851 11.45
24.78/24.84	c    32560   2720    37911  4129101  108    80705   76104  32569   1562 20.83
24.78/24.84	o -10	24.833
400.98/401.14	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
400.98/401.14	c    37224   2720    42576  4695402  110    90045   29372  37234   1498 24.83
400.98/401.14	c    37324   2720    16718  1408441   84    38284   32310  11376   1169 31.92
400.98/401.14	c    37574   2720    16968  1442180   84    38784   35542  11626   1171 32.08
400.98/401.14	c    38049   2720    17443  1503861   86    39734   39097  12101   1177 32.32
400.98/401.14	c    38862   2720    18256  1610835   88    41360   43007  12914   1188 32.69
400.98/401.14	c    40182   2720    19576  1756572   89    44000   47308  14234   1209 33.22
400.98/401.14	c    42263   2720    21657  1969241   90    48162   52039  16315   1245 33.94
400.98/401.14	c    45486   2720    24880  2298581   92    54608   57243  19538   1300 34.97
400.98/401.14	c    50422   2720    29816  2797892   93    64480   62968  24474   1365 36.94
400.98/401.14	c    57928   2720    37322  3658433   98    79492   69265  31980   1357 42.69
400.98/401.14	c    69289   2720    48683  5023443  103   102214   76192  43341   1248 55.52
400.98/401.14	c    86433   2720    65827  7316859  111   136502   83812  60485    992 87.11
400.98/401.14	c   112252   2720    17450  1887662  108    39748   92194  12108    702 159.87
400.98/401.14	c   151084   2720    56282  6569141  116   117412  101414  50940    736 205.16
400.98/401.14	c   209436   2720    22992  2450883  106    50832  111556  17650    545 383.98
400.98/401.14	o -11	401.033
852.76/853.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
852.76/853.01	c   224243   2720    37800  4718418  124    80459   28505  32458    559 401.04
852.76/853.01	c   224343   2720    16619  1830835  110    38087   31356  11277    557 402.24
852.76/853.01	c   224593   2720    16869  1858905  110    38587   34492  11527    558 402.49
852.76/853.01	c   225068   2720    17344  1914352  110    39537   37942  12002    558 402.86
852.76/853.01	c   225881   2720    18157  2005957  110    41163   41737  12815    560 403.32
852.76/853.01	c   227201   2720    19477  2151892  110    43803   45911  14135    562 403.87
852.76/853.01	c   229282   2720    21558  2382881  110    47965   50503  16216    565 405.13
852.76/853.01	c   232505   2720    24781  2768946  111    54411   55554  19439    571 407.13
852.76/853.01	c   237441   2720    29717  3397967  114    64283   61110  24375    575 412.38
852.76/853.01	c   244947   2720    37223  4254401  114    79295   67222  31881    584 419.17
852.76/853.01	c   256308   2720    48584  5665331  116   102017   73945  43242    583 439.37
852.76/853.01	c   273452   2720    65728  7838917  119   136305   81340  60386    571 478.77
852.76/853.01	c   299271   2720    19716  2228637  113    44281   89475  14374    532 562.02
852.76/853.01	c   338103   2720    58548  7102341  121   121945   98423  53206    558 605.65
852.76/853.01	c   396457   2720    28327  3057593  107    61503  108266  22985    514 770.12
852.76/853.01	o -12	852.782
1800.03/1800.61	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1800.03/1800.61	c   454787   2720    86658 10679139  123   178177   28538  81316    533 852.78
1800.03/1800.61	c   454887   2720    17545  1847081  105    39940   31392  12203    500 909.10
1800.03/1800.61	c   455137   2720    17795  1876641  105    40440   34532  12453    500 909.44
1800.03/1800.61	c   455612   2720    18270  1932967  105    41390   37986  12928    500 910.11
1800.03/1800.61	c   456425   2720    19083  2027880  106    43016   41785  13741    500 911.22
1800.03/1800.61	c   457745   2720    20403  2185610  107    45656   45964  15061    501 912.34
1800.03/1800.61	c   459826   2720    22484  2436458  108    49818   50561  17142    503 913.59
1800.03/1800.61	c   463049   2720    25707  2761902  107    56264   55618  20365    506 914.83
1800.03/1800.61	c   467985   2720    30643  3315101  108    66136   61180  25301    508 919.61
1800.03/1800.61	c   475491   2720    38149  4159203  109    81148   67299  32807    512 928.64
1800.03/1800.61	c   486852   2720    49510  5371077  108   103870   74029  44168    519 936.78
1800.03/1800.61	c   503996   2720    66654  7426691  111   138158   81432  61312    523 963.39
1800.03/1800.61	c   529816   2720    20724  1780922   85    46298   89576  15382    491 1078.29
1800.03/1800.61	c   568648   2720    59556  6051280  101   123962   98534  54214    515 1103.76
1800.03/1800.61	c   627000   2720    29085  3354978  115    63020  108388  23743    471 1330.09
1800.03/1800.61	c   714632   2720    18114  1596028   88    41078  119227  12772    453 1574.42
1800.03/1800.61	c Caught signal: 15
1800.03/1800.61	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.03/1800.61	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.03/1800.61	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.03/1800.61	v -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 x92 x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x191 -x120 -x189 x176 -x162 -x199
1800.03/1800.61	v -x165 -x178 -x146 -x128 -x122 -x123 -x157 -x164 -x177 -x190 -x101 x143 -x180 -x150 x194 -x138 -x155 x174 -x168 -x131 -x103
1800.03/1800.61	v -x110 -x125 x130 -x149 -x152 -x166 -x102 -x173 x170 -x116 -x192 -x111 -x197 -x104 -x126 -x140 -x154 -x188 -x196 -x114 -x187
1800.03/1800.61	v -x183 x153 -x198 -x109 -x137 -x139 -x160 -x161 -x172 x185 -x158 -x129 -x107 -x115 -x108 -x142 -x181 x105 -x145 -x200 -x167
1800.03/1800.61	v -x124 -x163 -x113 -x133 -x106 -x144 -x117 -x118 -x169 -x135 -x171 -x186 -x134 -x127 x141 -x182 -x156 -x119 -x147 -x112 -x184
1800.03/1800.61	v x136 -x195 -x193 -x175 -x132 -x151 x148 -x121 -x159 -x179
1800.03/1800.61	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.03/1800.61	c   67   823655    120   847465   109787 13616027 104445    457 1800.04
1800.03/1800.61	c Objective: -12
1800.03/1800.61	s SATISFIABLE
1800.03/1800.61	c Total time: 1800.04 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/node1/watcher-455106-1178037106 -o ROOT/results/node1/solver-455106-1178037106 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/455106-1178037106/instance-455106-1178037106.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: 0.92 0.98 0.99 3/77 27455
/proc/meminfo: memFree=1778208/2055920 swapFree=4145736/4192956
[pid=27455] ppid=27453 vsize=11772 CPUtime=0
/proc/27455/stat : 27455 (bsolo3.0.17) R 27453 27455 27071 0 -1 4194304 374 0 0 0 0 0 0 0 18 0 1 0 279748437 12054528 344 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 6264443 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27455/statm: 2943 344 289 324 0 2004 0

[startup+0.061002 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 27455
/proc/meminfo: memFree=1778208/2055920 swapFree=4145736/4192956
[pid=27455] ppid=27453 vsize=5304 CPUtime=0.05
/proc/27455/stat : 27455 (bsolo3.0.17) R 27453 27455 27071 0 -1 4194304 740 0 0 0 5 0 0 0 18 0 1 0 279748437 5431296 701 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27455/statm: 1326 701 304 324 0 396 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 5304

[startup+0.102007 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 27455
/proc/meminfo: memFree=1778208/2055920 swapFree=4145736/4192956
[pid=27455] ppid=27453 vsize=5304 CPUtime=0.09
/proc/27455/stat : 27455 (bsolo3.0.17) R 27453 27455 27071 0 -1 4194304 740 0 0 0 9 0 0 0 18 0 1 0 279748437 5431296 701 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27455/statm: 1326 701 304 324 0 396 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5304

[startup+0.301029 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 27455
/proc/meminfo: memFree=1778208/2055920 swapFree=4145736/4192956
[pid=27455] ppid=27453 vsize=5304 CPUtime=0.29
/proc/27455/stat : 27455 (bsolo3.0.17) R 27453 27455 27071 0 -1 4194304 740 0 0 0 29 0 0 0 19 0 1 0 279748437 5431296 701 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27455/statm: 1326 701 304 324 0 396 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5304

[startup+0.701076 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 27455
/proc/meminfo: memFree=1778208/2055920 swapFree=4145736/4192956
[pid=27455] ppid=27453 vsize=5304 CPUtime=0.69
/proc/27455/stat : 27455 (bsolo3.0.17) R 27453 27455 27071 0 -1 4194304 740 0 0 0 69 0 0 0 22 0 1 0 279748437 5431296 701 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27455/statm: 1326 701 304 324 0 396 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5304

[startup+1.50117 s]
/proc/loadavg: 0.92 0.98 0.99 2/78 27456
/proc/meminfo: memFree=1776216/2055920 swapFree=4145736/4192956
[pid=27455] ppid=27453 vsize=8244 CPUtime=1.49
/proc/27455/stat : 27455 (bsolo3.0.17) R 27453 27455 27071 0 -1 4194304 1538 0 0 0 148 1 0 0 25 0 1 0 279748437 8441856 1452 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 6264443 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27455/statm: 2061 1452 310 324 0 1131 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 8244

[startup+3.10136 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 27456
/proc/meminfo: memFree=1769624/2055920 swapFree=4145736/4192956
[pid=27455] ppid=27453 vsize=16496 CPUtime=3.09
/proc/27455/stat : 27455 (bsolo3.0.17) R 27453 27455 27071 0 -1 4194304 3598 0 0 0 308 1 0 0 25 0 1 0 279748437 16891904 3512 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 6264443 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27455/statm: 4124 3513 310 324 0 3194 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 16496

[startup+6.30173 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 27456
/proc/meminfo: memFree=1756120/2055920 swapFree=4145736/4192956
[pid=27455] ppid=27453 vsize=28120 CPUtime=6.29
/proc/27455/stat : 27455 (bsolo3.0.17) R 27453 27455 27071 0 -1 4194304 6491 0 0 0 626 3 0 0 25 0 1 0 279748437 28794880 6405 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550919 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27455/statm: 7030 6405 310 324 0 6100 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 28120

[startup+12.7025 s]
/proc/loadavg: 0.94 0.98 0.99 2/78 27456
/proc/meminfo: memFree=1738792/2055920 swapFree=4145736/4192956
[pid=27455] ppid=27453 vsize=43960 CPUtime=12.68
/proc/27455/stat : 27455 (bsolo3.0.17) R 27453 27455 27071 0 -1 4194304 10451 0 0 0 1263 5 0 0 25 0 1 0 279748437 45015040 10365 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 6264443 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27455/statm: 10990 10365 310 324 0 10060 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 43960

[startup+25.502 s]
/proc/loadavg: 0.95 0.98 0.99 2/78 27456
/proc/meminfo: memFree=1712296/2055920 swapFree=4145736/4192956
[pid=27455] ppid=27453 vsize=69100 CPUtime=25.48
/proc/27455/stat : 27455 (bsolo3.0.17) R 27453 27455 27071 0 -1 4194304 16771 0 0 0 2539 9 0 0 25 0 1 0 279748437 70758400 16648 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27455/statm: 17275 16648 310 324 0 16345 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 69100

[startup+51.102 s]
/proc/loadavg: 1.02 1.00 1.00 2/78 27456
/proc/meminfo: memFree=1712296/2055920 swapFree=4145736/4192956
[pid=27455] ppid=27453 vsize=69112 CPUtime=51.08
/proc/27455/stat : 27455 (bsolo3.0.17) R 27453 27455 27071 0 -1 4194304 16788 0 0 0 5098 10 0 0 25 0 1 0 279748437 70770688 16665 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 6264443 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27455/statm: 17278 16665 310 324 0 16348 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 69112

[startup+102.306 s]
/proc/loadavg: 1.01 1.00 1.00 2/78 27456
/proc/meminfo: memFree=1661288/2055920 swapFree=4145736/4192956
[pid=27455] ppid=27453 vsize=120144 CPUtime=102.26
/proc/27455/stat : 27455 (bsolo3.0.17) R 27453 27455 27071 0 -1 4194304 29547 0 0 0 10207 19 0 0 25 0 1 0 279748437 123027456 29424 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550878 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27455/statm: 30036 29424 310 324 0 29106 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 120144

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 27456
/proc/meminfo: memFree=1626088/2055920 swapFree=4145736/4192956
[pid=27455] ppid=27453 vsize=155072 CPUtime=162.24
/proc/27455/stat : 27455 (bsolo3.0.17) R 27453 27455 27071 0 -1 4194304 38356 0 0 0 16196 28 0 0 25 0 1 0 279748437 158793728 38148 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27455/statm: 38768 38148 310 324 0 37838 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 155072

[startup+222.301 s]
/proc/loadavg: 1.05 1.01 1.00 2/78 27458
/proc/meminfo: memFree=1626024/2055920 swapFree=4145736/4192956
[pid=27455] ppid=27453 vsize=155072 CPUtime=222.23
/proc/27455/stat : 27455 (bsolo3.0.17) R 27453 27455 27071 0 -1 4194304 38356 0 0 0 22194 29 0 0 25 0 1 0 279748437 158793728 38148 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27455/statm: 38768 38148 310 324 0 37838 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 155072

[startup+282.301 s]
/proc/loadavg: 1.02 1.01 1.00 2/78 27458
/proc/meminfo: memFree=1598568/2055920 swapFree=4145736/4192956
[pid=27455] ppid=27453 vsize=183216 CPUtime=282.21
/proc/27455/stat : 27455 (bsolo3.0.17) R 27453 27455 27071 0 -1 4194304 45390 0 0 0 28185 36 0 0 25 0 1 0 279748437 187613184 45182 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27455/statm: 45804 45182 310 324 0 44874 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 183216

[startup+342.301 s]
/proc/loadavg: 1.08 1.03 1.01 2/78 27458
/proc/meminfo: memFree=1594600/2055920 swapFree=4145736/4192956
[pid=27455] ppid=27453 vsize=186436 CPUtime=342.2
/proc/27455/stat : 27455 (bsolo3.0.17) R 27453 27455 27071 0 -1 4194304 46290 0 0 0 34182 38 0 0 25 0 1 0 279748437 190910464 45980 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27455/statm: 46609 45980 310 324 0 45679 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 186436

[startup+402.301 s]
/proc/loadavg: 1.03 1.02 1.00 2/78 27458
/proc/meminfo: memFree=1594600/2055920 swapFree=4145736/4192956
[pid=27455] ppid=27453 vsize=186436 CPUtime=402.18
/proc/27455/stat : 27455 (bsolo3.0.17) R 27453 27455 27071 0 -1 4194304 46290 0 0 0 40180 38 0 0 25 0 1 0 279748437 190910464 45980 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27455/statm: 46609 45980 310 324 0 45679 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 186436

[startup+462.301 s]
/proc/loadavg: 1.04 1.03 1.00 2/78 27458
/proc/meminfo: memFree=1594664/2055920 swapFree=4145736/4192956
[pid=27455] ppid=27453 vsize=186436 CPUtime=462.16
/proc/27455/stat : 27455 (bsolo3.0.17) R 27453 27455 27071 0 -1 4194304 46290 0 0 0 46178 38 0 0 25 0 1 0 279748437 190910464 45980 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550820 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27455/statm: 46609 45980 310 324 0 45679 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 186436

[startup+522.301 s]
/proc/loadavg: 1.02 1.02 1.00 2/78 27458
/proc/meminfo: memFree=1594664/2055920 swapFree=4145736/4192956
[pid=27455] ppid=27453 vsize=186436 CPUtime=522.15
/proc/27455/stat : 27455 (bsolo3.0.17) R 27453 27455 27071 0 -1 4194304 46290 0 0 0 52176 39 0 0 25 0 1 0 279748437 190910464 45980 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27455/statm: 46609 45980 310 324 0 45679 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 186436

[startup+582.301 s]
/proc/loadavg: 1.11 1.05 1.00 2/78 27458
/proc/meminfo: memFree=1594728/2055920 swapFree=4145736/4192956
[pid=27455] ppid=27453 vsize=186412 CPUtime=582.14
/proc/27455/stat : 27455 (bsolo3.0.17) R 27453 27455 27071 0 -1 4194304 46290 0 0 0 58174 40 0 0 25 0 1 0 279748437 190885888 45980 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572937 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27455/statm: 46603 45980 310 324 0 45673 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 186412

[startup+642.301 s]
/proc/loadavg: 1.09 1.05 1.00 2/78 27458
/proc/meminfo: memFree=1594728/2055920 swapFree=4145736/4192956
[pid=27455] ppid=27453 vsize=186412 CPUtime=642.12
/proc/27455/stat : 27455 (bsolo3.0.17) R 27453 27455 27071 0 -1 4194304 46290 0 0 0 64172 40 0 0 25 0 1 0 279748437 190885888 45980 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27455/statm: 46603 45980 310 324 0 45673 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 186412


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

[startup+822.301 s]
/proc/loadavg: 1.09 1.07 1.01 2/78 27458
/proc/meminfo: memFree=1594664/2055920 swapFree=4145736/4192956
[pid=27455] ppid=27453 vsize=186412 CPUtime=822.06
/proc/27455/stat : 27455 (bsolo3.0.17) R 27453 27455 27071 0 -1 4194304 46389 0 0 0 82165 41 0 0 25 0 1 0 279748437 190885888 45980 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551100 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27455/statm: 46603 45980 310 324 0 45673 0
Current children cumulated CPU time (s) 822.06
Current children cumulated vsize (KiB) 186412

[startup+882.301 s]
/proc/loadavg: 1.03 1.05 1.00 2/78 27458
/proc/meminfo: memFree=1594664/2055920 swapFree=4145736/4192956
[pid=27455] ppid=27453 vsize=186412 CPUtime=882.05
/proc/27455/stat : 27455 (bsolo3.0.17) R 27453 27455 27071 0 -1 4194304 46469 0 0 0 88163 42 0 0 25 0 1 0 279748437 190885888 45980 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27455/statm: 46603 45980 310 324 0 45673 0
Current children cumulated CPU time (s) 882.05
Current children cumulated vsize (KiB) 186412

[startup+942.301 s]
/proc/loadavg: 1.05 1.06 1.00 2/78 27458
/proc/meminfo: memFree=1594664/2055920 swapFree=4145736/4192956
[pid=27455] ppid=27453 vsize=186392 CPUtime=942.04
/proc/27455/stat : 27455 (bsolo3.0.17) R 27453 27455 27071 0 -1 4194304 46469 0 0 0 94161 43 0 0 25 0 1 0 279748437 190865408 45980 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27455/statm: 46598 45980 310 324 0 45668 0
Current children cumulated CPU time (s) 942.04
Current children cumulated vsize (KiB) 186392

[startup+1002.3 s]
/proc/loadavg: 1.06 1.06 1.00 2/78 27458
/proc/meminfo: memFree=1594664/2055920 swapFree=4145736/4192956
[pid=27455] ppid=27453 vsize=186324 CPUtime=1002.02
/proc/27455/stat : 27455 (bsolo3.0.17) R 27453 27455 27071 0 -1 4194304 46469 0 0 0 100159 43 0 0 25 0 1 0 279748437 190795776 45972 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27455/statm: 46581 45972 310 324 0 45651 0
Current children cumulated CPU time (s) 1002.02
Current children cumulated vsize (KiB) 186324

[startup+1062.3 s]
/proc/loadavg: 1.13 1.07 1.01 2/78 27458
/proc/meminfo: memFree=1594664/2055920 swapFree=4145736/4192956
[pid=27455] ppid=27453 vsize=186324 CPUtime=1062.01
/proc/27455/stat : 27455 (bsolo3.0.17) R 27453 27455 27071 0 -1 4194304 46469 0 0 0 106157 44 0 0 25 0 1 0 279748437 190795776 45972 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27455/statm: 46581 45972 310 324 0 45651 0
Current children cumulated CPU time (s) 1062.01
Current children cumulated vsize (KiB) 186324

[startup+1122.3 s]
/proc/loadavg: 1.08 1.07 1.01 2/78 27458
/proc/meminfo: memFree=1594664/2055920 swapFree=4145736/4192956
[pid=27455] ppid=27453 vsize=186324 CPUtime=1121.99
/proc/27455/stat : 27455 (bsolo3.0.17) R 27453 27455 27071 0 -1 4194304 46469 0 0 0 112155 44 0 0 25 0 1 0 279748437 190795776 45972 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550670 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27455/statm: 46581 45972 310 324 0 45651 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 186324

[startup+1182.3 s]
/proc/loadavg: 1.03 1.06 1.00 2/78 27458
/proc/meminfo: memFree=1594664/2055920 swapFree=4145736/4192956
[pid=27455] ppid=27453 vsize=186320 CPUtime=1181.97
/proc/27455/stat : 27455 (bsolo3.0.17) R 27453 27455 27071 0 -1 4194304 46469 0 0 0 118152 45 0 0 25 0 1 0 279748437 190791680 45971 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27455/statm: 46580 45971 310 324 0 45650 0
Current children cumulated CPU time (s) 1181.97
Current children cumulated vsize (KiB) 186320

[startup+1242.3 s]
/proc/loadavg: 1.04 1.06 1.00 2/78 27458
/proc/meminfo: memFree=1594664/2055920 swapFree=4145736/4192956
[pid=27455] ppid=27453 vsize=186320 CPUtime=1241.95
/proc/27455/stat : 27455 (bsolo3.0.17) R 27453 27455 27071 0 -1 4194304 46469 0 0 0 124150 45 0 0 25 0 1 0 279748437 190791680 45971 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27455/statm: 46580 45971 310 324 0 45650 0
Current children cumulated CPU time (s) 1241.95
Current children cumulated vsize (KiB) 186320

[startup+1302.3 s]
/proc/loadavg: 1.08 1.06 1.00 2/78 27458
/proc/meminfo: memFree=1594664/2055920 swapFree=4145736/4192956
[pid=27455] ppid=27453 vsize=186320 CPUtime=1301.95
/proc/27455/stat : 27455 (bsolo3.0.17) R 27453 27455 27071 0 -1 4194304 46469 0 0 0 130149 46 0 0 25 0 1 0 279748437 190791680 45971 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27455/statm: 46580 45971 310 324 0 45650 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 186320

[startup+1362.3 s]
/proc/loadavg: 1.09 1.06 1.00 2/78 27458
/proc/meminfo: memFree=1594664/2055920 swapFree=4145736/4192956
[pid=27455] ppid=27453 vsize=186320 CPUtime=1361.92
/proc/27455/stat : 27455 (bsolo3.0.17) R 27453 27455 27071 0 -1 4194304 46469 0 0 0 136146 46 0 0 25 0 1 0 279748437 190791680 45971 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 6260565 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27455/statm: 46580 45971 310 324 0 45650 0
Current children cumulated CPU time (s) 1361.92
Current children cumulated vsize (KiB) 186320

[startup+1422.31 s]
/proc/loadavg: 1.13 1.08 1.01 2/78 27458
/proc/meminfo: memFree=1594664/2055920 swapFree=4145736/4192956
[pid=27455] ppid=27453 vsize=186320 CPUtime=1421.9
/proc/27455/stat : 27455 (bsolo3.0.17) R 27453 27455 27071 0 -1 4194304 46469 0 0 0 142144 46 0 0 25 0 1 0 279748437 190791680 45971 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551009 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27455/statm: 46580 45971 310 324 0 45650 0
Current children cumulated CPU time (s) 1421.9
Current children cumulated vsize (KiB) 186320

[startup+1482.3 s]
/proc/loadavg: 1.10 1.08 1.01 2/78 27458
/proc/meminfo: memFree=1587112/2055920 swapFree=4145736/4192956
[pid=27455] ppid=27453 vsize=194436 CPUtime=1481.89
/proc/27455/stat : 27455 (bsolo3.0.17) R 27453 27455 27071 0 -1 4194304 48492 0 0 0 148140 49 0 0 25 0 1 0 279748437 199102464 47994 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27455/statm: 48609 47994 310 324 0 47679 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 194436

[startup+1542.3 s]
/proc/loadavg: 1.08 1.08 1.01 2/78 27458
/proc/meminfo: memFree=1575080/2055920 swapFree=4145736/4192956
[pid=27455] ppid=27453 vsize=205812 CPUtime=1541.87
/proc/27455/stat : 27455 (bsolo3.0.17) R 27453 27455 27071 0 -1 4194304 51448 0 0 0 154134 53 0 0 25 0 1 0 279748437 210751488 50841 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27455/statm: 51453 50841 310 324 0 50523 0
Current children cumulated CPU time (s) 1541.87
Current children cumulated vsize (KiB) 205812

[startup+1602.3 s]
/proc/loadavg: 1.07 1.08 1.01 2/78 27458
/proc/meminfo: memFree=1575080/2055920 swapFree=4145736/4192956
[pid=27455] ppid=27453 vsize=205812 CPUtime=1601.86
/proc/27455/stat : 27455 (bsolo3.0.17) R 27453 27455 27071 0 -1 4194304 51448 0 0 0 160132 54 0 0 25 0 1 0 279748437 210751488 50841 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27455/statm: 51453 50841 310 324 0 50523 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 205812

[startup+1662.3 s]
/proc/loadavg: 1.02 1.06 1.00 2/78 27458
/proc/meminfo: memFree=1575080/2055920 swapFree=4145736/4192956
[pid=27455] ppid=27453 vsize=205812 CPUtime=1661.84
/proc/27455/stat : 27455 (bsolo3.0.17) R 27453 27455 27071 0 -1 4194304 51448 0 0 0 166130 54 0 0 25 0 1 0 279748437 210751488 50841 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27455/statm: 51453 50841 310 324 0 50523 0
Current children cumulated CPU time (s) 1661.84
Current children cumulated vsize (KiB) 205812

[startup+1722.3 s]
/proc/loadavg: 1.09 1.08 1.01 2/78 27458
/proc/meminfo: memFree=1575080/2055920 swapFree=4145736/4192956
[pid=27455] ppid=27453 vsize=205812 CPUtime=1721.83
/proc/27455/stat : 27455 (bsolo3.0.17) R 27453 27455 27071 0 -1 4194304 51448 0 0 0 172128 55 0 0 25 0 1 0 279748437 210751488 50841 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550782 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27455/statm: 51453 50841 310 324 0 50523 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 205812

[startup+1782.3 s]
/proc/loadavg: 1.06 1.07 1.01 2/84 27596
/proc/meminfo: memFree=1560368/2055920 swapFree=4145736/4192956
[pid=27455] ppid=27453 vsize=219500 CPUtime=1781.74
/proc/27455/stat : 27455 (bsolo3.0.17) R 27453 27455 27071 0 -1 4194304 54858 0 0 0 178116 58 0 0 25 0 1 0 279748437 224768000 54251 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551093 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27455/statm: 54875 54251 310 324 0 53945 0
Current children cumulated CPU time (s) 1781.74
Current children cumulated vsize (KiB) 219500



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.12 1.09 1.01 2/84 27632
/proc/meminfo: memFree=1559792/2055920 swapFree=4145736/4192956
[pid=27455] ppid=27453 vsize=219888 CPUtime=1800.03
/proc/27455/stat : 27455 (bsolo3.0.17) R 27453 27455 27071 0 -1 4194304 55083 0 0 0 179945 58 0 0 25 0 1 0 279748437 225165312 54357 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27455/statm: 54972 54357 310 324 0 54042 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 219888

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.66
CPU time (s): 1800.09
CPU user time (s): 1799.47
CPU system time (s): 0.624905
CPU usage (%): 99.9683
Max. virtual memory (cumulated for all children) (KiB): 220364

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

runsolver used 1.41179 second user time and 3.88641 second system time

The end

Launcher Data (download as text)

Begin job on node1 on Tue May  1 16:31:46 UTC 2007

IDJOB= 455106
IDBENCH= 48241
IDSOLVER= 199
FILE ID= node1/455106-1178037106

PBS_JOBID= 4728435

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_2.opb
COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/455106-1178037106/instance-455106-1178037106.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node1/watcher-455106-1178037106 -o ROOT/results/node1/solver-455106-1178037106 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.17 -m1800 /tmp/evaluation/455106-1178037106/instance-455106-1178037106.opb            

META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020
MD5SUM BENCH=  c154cb0964ce03c2d199339cf62d0c63

RANDOM SEED= 989182528

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node1.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.234
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.234
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:       1778552 kB
Buffers:         84016 kB
Cached:         105860 kB
SwapCached:      14532 kB
Active:         151836 kB
Inactive:        62080 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1778552 kB
SwapTotal:     4192956 kB
SwapFree:      4145736 kB
Dirty:            6712 kB
Writeback:           0 kB
Mapped:          30120 kB
Slab:            48908 kB
Committed_AS:  8331956 kB
PageTables:       1836 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 node1 on Tue May  1 17:01:49 UTC 2007