Trace number 455100

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.07 1800.55

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.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/455100-1178036952/instance-455100-1178036952.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.015 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.89/0.99	c Pre-processing Time: 0.995 s
0.89/0.99	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.89/0.99	c        0   2720     5342    18240    3    15522   28105      0      0 0.99
0.89/0.99	c Switching off LPR mode.
0.89/1.00	o -1	0.999
0.99/1.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.99/1.00	c        0   2720     5343    18340    3    15525   28172      1      0 1.00
0.99/1.00	o -2	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   2720     5344    18440    3    15529   28272      2      0 1.00
0.99/1.01	o -3	1.006
0.99/1.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.99/1.01	c        0   2720     5345    18540    3    15534   28405      3      0 1.01
0.99/1.01	o -4	1.009
0.99/1.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.99/1.01	c        0   2720     5346    18640    3    15540   28572      4      0 1.01
0.99/1.01	o -5	1.013
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.01
0.99/1.02	o -6	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     5348    18840    3    15555   29005      6      0 1.02
0.99/1.02	o -7	1.019
0.99/1.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.99/1.02	c        0   2720     5349    18940    3    15564   29272      7      0 1.02
0.99/1.02	o -8	1.023
1.10/1.13	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.10/1.13	c        1   2720     5351    19179    3    15576   29305      9      0 1.02
1.10/1.13	c      101   2720     5451    32920    6    15776   32236    109     96 1.05
1.10/1.13	c      351   2720     5701    68091   11    16276   35460    359    316 1.11
1.10/1.13	o -9	1.131
24.79/24.86	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
24.79/24.86	c      494   2720     5845    85568   14    16573   29338    503    436 1.13
24.79/24.86	c      594   2720     5945    97944   16    16773   32272    603    508 1.17
24.79/24.86	c      845   2720     6196   128541   20    17275   35500    854    683 1.24
24.79/24.86	c     1320   2720     6671   186192   27    18225   39051   1329    957 1.38
24.79/24.86	c     2133   2720     7484   290313   38    19851   42957   2142   1315 1.62
24.79/24.86	c     3453   2720     8804   486804   55    22491   47253   3462   1716 2.01
24.79/24.86	c     5534   2720    10885   747591   68    26653   51979   5543   1936 2.86
24.79/24.86	c     8757   2720    14108  1117122   79    33099   57177   8766   2334 3.75
24.79/24.86	c    13693   2720    19044  1749856   91    42971   62895  13702   2070 6.61
24.79/24.86	c    21199   2720    26550  2681535  100    57983   69185  21208   1854 11.43
24.79/24.86	c    32560   2720    37911  4129101  108    80705   76104  32569   1561 20.85
24.79/24.86	o -10	24.851
402.49/402.61	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
402.49/402.61	c    37224   2720    42576  4695402  110    90045   29372  37234   1497 24.85
402.49/402.61	c    37324   2720    16718  1408441   84    38284   32310  11376   1166 32.01
402.49/402.61	c    37574   2720    16968  1442180   84    38784   35542  11626   1168 32.17
402.49/402.61	c    38049   2720    17443  1503861   86    39734   39097  12101   1173 32.41
402.49/402.61	c    38862   2720    18256  1610835   88    41360   43007  12914   1185 32.78
402.49/402.61	c    40182   2720    19576  1756572   89    44000   47308  14234   1205 33.32
402.49/402.61	c    42263   2720    21657  1969241   90    48162   52039  16315   1241 34.04
402.49/402.61	c    45486   2720    24880  2298581   92    54608   57243  19538   1297 35.06
402.49/402.61	c    50422   2720    29816  2797892   93    64480   62968  24474   1361 37.03
402.49/402.61	c    57928   2720    37322  3658433   98    79492   69265  31980   1354 42.78
402.49/402.61	c    69289   2720    48683  5023443  103   102214   76192  43341   1244 55.69
402.49/402.61	c    86433   2720    65827  7316859  111   136502   83812  60485    988 87.45
402.49/402.61	c   112252   2720    17450  1887662  108    39748   92194  12108    698 160.68
402.49/402.61	c   151084   2720    56282  6569141  116   117412  101414  50940    733 206.07
402.49/402.61	c   209436   2720    22992  2450883  106    50832  111556  17650    543 385.41
402.49/402.61	o -11	402.498
855.26/855.55	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
855.26/855.55	c   224243   2720    37800  4718418  124    80459   28505  32458    557 402.50
855.26/855.55	c   224343   2720    16619  1830835  110    38087   31356  11277    555 403.70
855.26/855.55	c   224593   2720    16869  1858905  110    38587   34492  11527    555 403.95
855.26/855.55	c   225068   2720    17344  1914352  110    39537   37942  12002    556 404.32
855.26/855.55	c   225881   2720    18157  2005957  110    41163   41737  12815    558 404.78
855.26/855.55	c   227201   2720    19477  2151892  110    43803   45911  14135    560 405.34
855.26/855.55	c   229282   2720    21558  2382881  110    47965   50503  16216    563 406.59
855.26/855.55	c   232505   2720    24781  2768946  111    54411   55554  19439    569 408.60
855.26/855.55	c   237441   2720    29717  3397967  114    64283   61110  24375    573 413.85
855.26/855.55	c   244947   2720    37223  4254401  114    79295   67222  31881    582 420.65
855.26/855.55	c   256308   2720    48584  5665331  116   102017   73945  43242    581 440.87
855.26/855.55	c   273452   2720    65728  7838917  119   136305   81340  60386    569 480.35
855.26/855.55	c   299271   2720    19716  2228637  113    44281   89475  14374    530 563.90
855.26/855.55	c   338103   2720    58548  7102341  121   121945   98423  53206    556 607.53
855.26/855.55	c   396457   2720    28327  3057593  107    61503  108266  22985    513 772.44
855.26/855.55	o -12	855.315
1800.01/1800.50	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1800.01/1800.50	c   454787   2720    86658 10679139  123   178177   28538  81316    531 855.32
1800.01/1800.50	c   454887   2720    17545  1847081  105    39940   31392  12203    498 912.05
1800.01/1800.50	c   455137   2720    17795  1876641  105    40440   34532  12453    498 912.38
1800.01/1800.50	c   455612   2720    18270  1932967  105    41390   37986  12928    498 913.05
1800.01/1800.50	c   456425   2720    19083  2027880  106    43016   41785  13741    499 914.16
1800.01/1800.50	c   457745   2720    20403  2185610  107    45656   45964  15061    500 915.27
1800.01/1800.50	c   459826   2720    22484  2436458  108    49818   50561  17142    501 916.52
1800.01/1800.50	c   463049   2720    25707  2761902  107    56264   55618  20365    504 917.77
1800.01/1800.50	c   467985   2720    30643  3315101  108    66136   61180  25301    507 922.55
1800.01/1800.50	c   475491   2720    38149  4159203  109    81148   67299  32807    510 931.62
1800.01/1800.50	c   486852   2720    49510  5371077  108   103870   74029  44168    518 939.77
1800.01/1800.50	c   503996   2720    66654  7426691  111   138158   81432  61312    521 966.43
1800.01/1800.50	c   529816   2720    20724  1780922   85    46298   89576  15382    489 1081.49
1800.01/1800.50	c   568648   2720    59556  6051280  101   123962   98534  54214    513 1107.02
1800.01/1800.50	c   627000   2720    29085  3354978  115    63020  108388  23743    470 1334.02
1800.01/1800.50	c   714632   2720    18114  1596028   88    41078  119227  12772    452 1578.81
1800.01/1800.50	c Caught signal: 15
1800.01/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.01/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.01/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.01/1800.50	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.01/1800.50	v -x165 -x178 -x146 -x128 -x122 -x123 -x157 -x164 -x177 -x190 -x101 x143 -x180 -x150 x194 -x138 -x155 x174 -x168 -x131 -x103
1800.01/1800.50	v -x110 -x125 x130 -x149 -x152 -x166 -x102 -x173 x170 -x116 -x192 -x111 -x197 -x104 -x126 -x140 -x154 -x188 -x196 -x114 -x187
1800.01/1800.50	v -x183 x153 -x198 -x109 -x137 -x139 -x160 -x161 -x172 x185 -x158 -x129 -x107 -x115 -x108 -x142 -x181 x105 -x145 -x200 -x167
1800.01/1800.50	v -x124 -x163 -x113 -x133 -x106 -x144 -x117 -x118 -x169 -x135 -x171 -x186 -x134 -x127 x141 -x182 -x156 -x119 -x147 -x112 -x184
1800.01/1800.50	v x136 -x195 -x193 -x175 -x132 -x151 x148 -x121 -x159 -x179
1800.01/1800.50	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.01/1800.50	c   67   823655    120   847465   119865 14872168 114523    457 1800.02
1800.01/1800.50	c Objective: -12
1800.01/1800.50	s SATISFIABLE
1800.01/1800.50	c Total time: 1800.02 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/node57/watcher-455100-1178036952 -o ROOT/results/node57/solver-455100-1178036952 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/455100-1178036952/instance-455100-1178036952.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.85 0.96 0.97 3/64 3957
/proc/meminfo: memFree=1882544/2055920 swapFree=4183136/4192956
[pid=3957] ppid=3955 vsize=11772 CPUtime=0
/proc/3957/stat : 3957 (bsolo3.0.16) R 3955 3957 3286 0 -1 4194304 377 0 0 0 0 0 0 0 18 0 1 0 244831199 12054528 346 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 7829115 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3957/statm: 2943 347 291 324 0 2003 0

[startup+0.045305 s]
/proc/loadavg: 0.85 0.96 0.97 3/64 3957
/proc/meminfo: memFree=1882544/2055920 swapFree=4183136/4192956
[pid=3957] ppid=3955 vsize=5304 CPUtime=0.04
/proc/3957/stat : 3957 (bsolo3.0.16) R 3955 3957 3286 0 -1 4194304 743 0 0 0 4 0 0 0 18 0 1 0 244831199 5431296 703 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3957/statm: 1326 703 306 324 0 395 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 5304

[startup+0.101309 s]
/proc/loadavg: 0.85 0.96 0.97 3/64 3957
/proc/meminfo: memFree=1882544/2055920 swapFree=4183136/4192956
[pid=3957] ppid=3955 vsize=5304 CPUtime=0.09
/proc/3957/stat : 3957 (bsolo3.0.16) R 3955 3957 3286 0 -1 4194304 743 0 0 0 9 0 0 0 18 0 1 0 244831199 5431296 703 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3957/statm: 1326 703 306 324 0 395 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5304

[startup+0.301327 s]
/proc/loadavg: 0.85 0.96 0.97 3/64 3957
/proc/meminfo: memFree=1882544/2055920 swapFree=4183136/4192956
[pid=3957] ppid=3955 vsize=5304 CPUtime=0.29
/proc/3957/stat : 3957 (bsolo3.0.16) R 3955 3957 3286 0 -1 4194304 743 0 0 0 29 0 0 0 19 0 1 0 244831199 5431296 703 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3957/statm: 1326 703 306 324 0 395 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5304

[startup+0.701361 s]
/proc/loadavg: 0.85 0.96 0.97 3/64 3957
/proc/meminfo: memFree=1882544/2055920 swapFree=4183136/4192956
[pid=3957] ppid=3955 vsize=5304 CPUtime=0.69
/proc/3957/stat : 3957 (bsolo3.0.16) R 3955 3957 3286 0 -1 4194304 743 0 0 0 69 0 0 0 22 0 1 0 244831199 5431296 703 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3957/statm: 1326 703 306 324 0 395 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5304

[startup+1.50143 s]
/proc/loadavg: 0.85 0.96 0.97 2/65 3958
/proc/meminfo: memFree=1880616/2055920 swapFree=4183136/4192956
[pid=3957] ppid=3955 vsize=8372 CPUtime=1.49
/proc/3957/stat : 3957 (bsolo3.0.16) R 3955 3957 3286 0 -1 4194304 1547 0 0 0 147 2 0 0 25 0 1 0 244831199 8572928 1460 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3957/statm: 2093 1460 313 324 0 1162 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 8372

[startup+3.10158 s]
/proc/loadavg: 0.85 0.96 0.97 2/65 3958
/proc/meminfo: memFree=1873960/2055920 swapFree=4183136/4192956
[pid=3957] ppid=3955 vsize=16624 CPUtime=3.09
/proc/3957/stat : 3957 (bsolo3.0.16) R 3955 3957 3286 0 -1 4194304 3635 0 0 0 306 3 0 0 25 0 1 0 244831199 17022976 3548 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3957/statm: 4156 3548 313 324 0 3225 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 16624

[startup+6.30185 s]
/proc/loadavg: 0.86 0.96 0.97 2/65 3958
/proc/meminfo: memFree=1860528/2055920 swapFree=4183136/4192956
[pid=3957] ppid=3955 vsize=28120 CPUtime=6.29
/proc/3957/stat : 3957 (bsolo3.0.16) R 3955 3957 3286 0 -1 4194304 6510 0 0 0 623 6 0 0 25 0 1 0 244831199 28794880 6423 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3957/statm: 7030 6423 313 324 0 6099 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 28120

[startup+12.7014 s]
/proc/loadavg: 0.87 0.96 0.97 2/65 3958
/proc/meminfo: memFree=1843280/2055920 swapFree=4183136/4192956
[pid=3957] ppid=3955 vsize=43960 CPUtime=12.69
/proc/3957/stat : 3957 (bsolo3.0.16) R 3955 3957 3286 0 -1 4194304 10454 0 0 0 1259 10 0 0 25 0 1 0 244831199 45015040 10367 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3957/statm: 10990 10367 313 324 0 10059 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 43960

[startup+25.5015 s]
/proc/loadavg: 0.90 0.96 0.97 2/65 3958
/proc/meminfo: memFree=1816848/2055920 swapFree=4183136/4192956
[pid=3957] ppid=3955 vsize=69100 CPUtime=25.48
/proc/3957/stat : 3957 (bsolo3.0.16) R 3955 3957 3286 0 -1 4194304 16775 0 0 0 2532 16 0 0 25 0 1 0 244831199 70758400 16651 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3957/statm: 17275 16651 313 324 0 16344 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 69100

[startup+51.1017 s]
/proc/loadavg: 0.93 0.96 0.97 2/65 3959
/proc/meminfo: memFree=1817040/2055920 swapFree=4183136/4192956
[pid=3957] ppid=3955 vsize=69112 CPUtime=51.07
/proc/3957/stat : 3957 (bsolo3.0.16) R 3955 3957 3286 0 -1 4194304 16778 0 0 0 5088 19 0 0 25 0 1 0 244831199 70770688 16654 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3957/statm: 17278 16654 313 324 0 16347 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 69112

[startup+102.305 s]
/proc/loadavg: 0.97 0.97 0.97 2/65 3960
/proc/meminfo: memFree=1766480/2055920 swapFree=4183136/4192956
[pid=3957] ppid=3955 vsize=119752 CPUtime=102.26
/proc/3957/stat : 3957 (bsolo3.0.16) R 3955 3957 3286 0 -1 4194304 29442 0 0 0 10188 38 0 0 25 0 1 0 244831199 122626048 29318 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3957/statm: 29938 29318 313 324 0 29007 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 119752

[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 3960
/proc/meminfo: memFree=1730704/2055920 swapFree=4183136/4192956
[pid=3957] ppid=3955 vsize=155072 CPUtime=162.24
/proc/3957/stat : 3957 (bsolo3.0.16) R 3955 3957 3286 0 -1 4194304 38360 0 0 0 16172 52 0 0 25 0 1 0 244831199 158793728 38151 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3957/statm: 38768 38151 313 324 0 37837 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 155072

[startup+222.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 3960
/proc/meminfo: memFree=1730704/2055920 swapFree=4183136/4192956
[pid=3957] ppid=3955 vsize=155072 CPUtime=222.22
/proc/3957/stat : 3957 (bsolo3.0.16) R 3955 3957 3286 0 -1 4194304 38360 0 0 0 22164 58 0 0 25 0 1 0 244831199 158793728 38151 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3957/statm: 38768 38151 313 324 0 37837 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 155072

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 3960
/proc/meminfo: memFree=1704208/2055920 swapFree=4183136/4192956
[pid=3957] ppid=3955 vsize=182308 CPUtime=282.21
/proc/3957/stat : 3957 (bsolo3.0.16) R 3955 3957 3286 0 -1 4194304 45151 0 0 0 28150 71 0 0 25 0 1 0 244831199 186683392 44942 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3957/statm: 45577 44942 313 324 0 44646 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 182308

[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 3960
/proc/meminfo: memFree=1699344/2055920 swapFree=4183136/4192956
[pid=3957] ppid=3955 vsize=186436 CPUtime=342.19
/proc/3957/stat : 3957 (bsolo3.0.16) R 3955 3957 3286 0 -1 4194304 46294 0 0 0 34147 72 0 0 25 0 1 0 244831199 190910464 45983 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3957/statm: 46609 45983 313 324 0 45678 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 186436

[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 3960
/proc/meminfo: memFree=1699408/2055920 swapFree=4183136/4192956
[pid=3957] ppid=3955 vsize=186436 CPUtime=402.18
/proc/3957/stat : 3957 (bsolo3.0.16) R 3955 3957 3286 0 -1 4194304 46294 0 0 0 40142 76 0 0 25 0 1 0 244831199 190910464 45983 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3957/statm: 46609 45983 313 324 0 45678 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 186436

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 3960
/proc/meminfo: memFree=1699472/2055920 swapFree=4183136/4192956
[pid=3957] ppid=3955 vsize=186436 CPUtime=462.16
/proc/3957/stat : 3957 (bsolo3.0.16) R 3955 3957 3286 0 -1 4194304 46294 0 0 0 46133 83 0 0 25 0 1 0 244831199 190910464 45983 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3957/statm: 46609 45983 313 324 0 45678 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 186436

[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 3960
/proc/meminfo: memFree=1699472/2055920 swapFree=4183136/4192956
[pid=3957] ppid=3955 vsize=186436 CPUtime=522.15
/proc/3957/stat : 3957 (bsolo3.0.16) R 3955 3957 3286 0 -1 4194304 46294 0 0 0 52128 87 0 0 25 0 1 0 244831199 190910464 45983 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3957/statm: 46609 45983 313 324 0 45678 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 186436

[startup+582.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 3960
/proc/meminfo: memFree=1699472/2055920 swapFree=4183136/4192956
[pid=3957] ppid=3955 vsize=186412 CPUtime=582.13
/proc/3957/stat : 3957 (bsolo3.0.16) R 3955 3957 3286 0 -1 4194304 46294 0 0 0 58122 91 0 0 25 0 1 0 244831199 190885888 45983 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3957/statm: 46603 45983 313 324 0 45672 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 186412

[startup+642.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 3960
/proc/meminfo: memFree=1699408/2055920 swapFree=4183136/4192956
[pid=3957] ppid=3955 vsize=186412 CPUtime=642.12
/proc/3957/stat : 3957 (bsolo3.0.16) R 3955 3957 3286 0 -1 4194304 46294 0 0 0 64113 99 0 0 25 0 1 0 244831199 190885888 45983 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3957/statm: 46603 45983 313 324 0 45672 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 186412


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

[startup+882.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 3960
/proc/meminfo: memFree=1699216/2055920 swapFree=4183136/4192956
[pid=3957] ppid=3955 vsize=186412 CPUtime=882.05
/proc/3957/stat : 3957 (bsolo3.0.16) R 3955 3957 3286 0 -1 4194304 46473 0 0 0 88091 114 0 0 25 0 1 0 244831199 190885888 45983 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134560215 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3957/statm: 46603 45983 313 324 0 45672 0
Current children cumulated CPU time (s) 882.05
Current children cumulated vsize (KiB) 186412

[startup+942.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 3960
/proc/meminfo: memFree=1699216/2055920 swapFree=4183136/4192956
[pid=3957] ppid=3955 vsize=186392 CPUtime=942.04
/proc/3957/stat : 3957 (bsolo3.0.16) R 3955 3957 3286 0 -1 4194304 46473 0 0 0 94086 118 0 0 25 0 1 0 244831199 190865408 45983 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3957/statm: 46598 45983 313 324 0 45667 0
Current children cumulated CPU time (s) 942.04
Current children cumulated vsize (KiB) 186392

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 3960
/proc/meminfo: memFree=1699280/2055920 swapFree=4183136/4192956
[pid=3957] ppid=3955 vsize=186324 CPUtime=1002.02
/proc/3957/stat : 3957 (bsolo3.0.16) R 3955 3957 3286 0 -1 4194304 46473 0 0 0 100078 124 0 0 25 0 1 0 244831199 190795776 45975 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3957/statm: 46581 45975 313 324 0 45650 0
Current children cumulated CPU time (s) 1002.02
Current children cumulated vsize (KiB) 186324

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 3960
/proc/meminfo: memFree=1699344/2055920 swapFree=4183136/4192956
[pid=3957] ppid=3955 vsize=186324 CPUtime=1062
/proc/3957/stat : 3957 (bsolo3.0.16) R 3955 3957 3286 0 -1 4194304 46473 0 0 0 106076 124 0 0 25 0 1 0 244831199 190795776 45975 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3957/statm: 46581 45975 313 324 0 45650 0
Current children cumulated CPU time (s) 1062
Current children cumulated vsize (KiB) 186324

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 3960
/proc/meminfo: memFree=1699344/2055920 swapFree=4183136/4192956
[pid=3957] ppid=3955 vsize=186324 CPUtime=1121.99
/proc/3957/stat : 3957 (bsolo3.0.16) R 3955 3957 3286 0 -1 4194304 46473 0 0 0 112068 131 0 0 25 0 1 0 244831199 190795776 45975 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3957/statm: 46581 45975 313 324 0 45650 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 186324

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 3960
/proc/meminfo: memFree=1699280/2055920 swapFree=4183136/4192956
[pid=3957] ppid=3955 vsize=186320 CPUtime=1181.97
/proc/3957/stat : 3957 (bsolo3.0.16) R 3955 3957 3286 0 -1 4194304 46473 0 0 0 118061 136 0 0 25 0 1 0 244831199 190791680 45974 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3957/statm: 46580 45974 313 324 0 45649 0
Current children cumulated CPU time (s) 1181.97
Current children cumulated vsize (KiB) 186320

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 3960
/proc/meminfo: memFree=1699280/2055920 swapFree=4183136/4192956
[pid=3957] ppid=3955 vsize=186320 CPUtime=1241.96
/proc/3957/stat : 3957 (bsolo3.0.16) R 3955 3957 3286 0 -1 4194304 46473 0 0 0 124059 137 0 0 25 0 1 0 244831199 190791680 45974 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3957/statm: 46580 45974 313 324 0 45649 0
Current children cumulated CPU time (s) 1241.96
Current children cumulated vsize (KiB) 186320

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 3960
/proc/meminfo: memFree=1699216/2055920 swapFree=4183136/4192956
[pid=3957] ppid=3955 vsize=186320 CPUtime=1301.95
/proc/3957/stat : 3957 (bsolo3.0.16) R 3955 3957 3286 0 -1 4194304 46473 0 0 0 130058 137 0 0 25 0 1 0 244831199 190791680 45974 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3957/statm: 46580 45974 313 324 0 45649 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 186320

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 3960
/proc/meminfo: memFree=1699344/2055920 swapFree=4183136/4192956
[pid=3957] ppid=3955 vsize=186320 CPUtime=1361.92
/proc/3957/stat : 3957 (bsolo3.0.16) R 3955 3957 3286 0 -1 4194304 46473 0 0 0 136051 141 0 0 25 0 1 0 244831199 190791680 45974 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3957/statm: 46580 45974 313 324 0 45649 0
Current children cumulated CPU time (s) 1361.92
Current children cumulated vsize (KiB) 186320

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 3960
/proc/meminfo: memFree=1699280/2055920 swapFree=4183136/4192956
[pid=3957] ppid=3955 vsize=186320 CPUtime=1421.91
/proc/3957/stat : 3957 (bsolo3.0.16) R 3955 3957 3286 0 -1 4194304 46473 0 0 0 142044 147 0 0 25 0 1 0 244831199 190791680 45974 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3957/statm: 46580 45974 313 324 0 45649 0
Current children cumulated CPU time (s) 1421.91
Current children cumulated vsize (KiB) 186320

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 3960
/proc/meminfo: memFree=1693904/2055920 swapFree=4183136/4192956
[pid=3957] ppid=3955 vsize=192112 CPUtime=1481.89
/proc/3957/stat : 3957 (bsolo3.0.16) R 3955 3957 3286 0 -1 4194304 47921 0 0 0 148036 153 0 0 25 0 1 0 244831199 196722688 47422 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551134 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3957/statm: 48028 47422 313 324 0 47097 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 192112

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 3960
/proc/meminfo: memFree=1679568/2055920 swapFree=4183136/4192956
[pid=3957] ppid=3955 vsize=205812 CPUtime=1541.87
/proc/3957/stat : 3957 (bsolo3.0.16) R 3955 3957 3286 0 -1 4194304 51452 0 0 0 154028 159 0 0 25 0 1 0 244831199 210751488 50844 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3957/statm: 51453 50844 313 324 0 50522 0
Current children cumulated CPU time (s) 1541.87
Current children cumulated vsize (KiB) 205812

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 3960
/proc/meminfo: memFree=1679568/2055920 swapFree=4183136/4192956
[pid=3957] ppid=3955 vsize=205812 CPUtime=1601.86
/proc/3957/stat : 3957 (bsolo3.0.16) R 3955 3957 3286 0 -1 4194304 51452 0 0 0 160023 163 0 0 25 0 1 0 244831199 210751488 50844 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3957/statm: 51453 50844 313 324 0 50522 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 205812

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 3960
/proc/meminfo: memFree=1679632/2055920 swapFree=4183136/4192956
[pid=3957] ppid=3955 vsize=205812 CPUtime=1661.85
/proc/3957/stat : 3957 (bsolo3.0.16) R 3955 3957 3286 0 -1 4194304 51452 0 0 0 166017 168 0 0 25 0 1 0 244831199 210751488 50844 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3957/statm: 51453 50844 313 324 0 50522 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 205812

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 3960
/proc/meminfo: memFree=1679632/2055920 swapFree=4183136/4192956
[pid=3957] ppid=3955 vsize=205812 CPUtime=1721.83
/proc/3957/stat : 3957 (bsolo3.0.16) R 3955 3957 3286 0 -1 4194304 51452 0 0 0 172010 173 0 0 25 0 1 0 244831199 210751488 50844 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3957/statm: 51453 50844 313 324 0 50522 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 205812

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 3960
/proc/meminfo: memFree=1669520/2055920 swapFree=4183136/4192956
[pid=3957] ppid=3955 vsize=216280 CPUtime=1781.81
/proc/3957/stat : 3957 (bsolo3.0.16) R 3955 3957 3286 0 -1 4194304 54057 0 0 0 178002 179 0 0 25 0 1 0 244831199 221470720 53449 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3957/statm: 54070 53449 313 324 0 53139 0
Current children cumulated CPU time (s) 1781.81
Current children cumulated vsize (KiB) 216280



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 3960
/proc/meminfo: memFree=1665360/2055920 swapFree=4183136/4192956
[pid=3957] ppid=3955 vsize=219888 CPUtime=1800.01
/proc/3957/stat : 3957 (bsolo3.0.16) R 3955 3957 3286 0 -1 4194304 55087 0 0 0 179820 181 0 0 25 0 1 0 244831199 225165312 54360 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3957/statm: 54972 54360 313 324 0 54041 0
Current children cumulated CPU time (s) 1800.01
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

[startup+1800.5 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 3960
/proc/meminfo: memFree=1665360/2055920 swapFree=4183136/4192956
[pid=3957] ppid=3955 vsize=219888 CPUtime=1800.01
/proc/3957/stat : 3957 (bsolo3.0.16) R 3955 3957 3286 0 -1 4194304 55087 0 0 0 179820 181 0 0 25 0 1 0 244831199 225165312 54360 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3957/statm: 54972 54360 313 324 0 54041 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 219888

Child status: 15
Real time (s): 1800.55
CPU time (s): 1800.07
CPU user time (s): 1798.21
CPU system time (s): 1.85172
CPU usage (%): 99.9731
Max. virtual memory (cumulated for all children) (KiB): 220364

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

runsolver used 1.44578 second user time and 3.47947 second system time

The end

Launcher Data (download as text)

Begin job on node57 on Tue May  1 16:29:12 UTC 2007

IDJOB= 455100
IDBENCH= 48241
IDSOLVER= 163
FILE ID= node57/455100-1178036952

PBS_JOBID= 4728433

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

META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482
MD5SUM BENCH=  c154cb0964ce03c2d199339cf62d0c63

RANDOM SEED= 482407128

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node57.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.239
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.239
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:       1882952 kB
Buffers:         33788 kB
Cached:          74416 kB
SwapCached:       3520 kB
Active:          79256 kB
Inactive:        41232 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1882952 kB
SwapTotal:     4192956 kB
SwapFree:      4183136 kB
Dirty:            6812 kB
Writeback:           0 kB
Mapped:          15352 kB
Slab:            38608 kB
Committed_AS:  4711124 kB
PageTables:       1408 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 node57 on Tue May  1 16:59:15 UTC 2007