Trace number 455181

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)-11 1800.1 1800.62

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_50_10_3.opb
MD5SUM138d1c5c8dee06528dd1cfb072975c49
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-14
Best CPU time to get the best result obtained on this benchmark1800.02
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -14
Optimality of the best value was proved NO
Number of variables100
Total number of constraints151
Number of constraints which are clauses50
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints101
Minimum length of a constraint2
Maximum length of a constraint100
Number of terms in the objective function 50
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 50
Number of bits of the sum of numbers in the objective function 6
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 100
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)1236
Sum of products size (including duplicates)2472
Number of different products618
Sum of products size1236

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/455181-1178038634/instance-455181-1178038634.opb
0.00/0.00	c File size is 16525 bytes.
0.00/0.01	c Highest Coefficient sum: 100
0.00/0.01	c Parsing was ok!!
0.00/0.01	c Total parsing time: 0.008 s
0.00/0.01	c Var: 1336 Constr: 2624 1286/102/1236 Lit: 8952 Watch. Lit: 7618
0.00/0.01	c Obj. Vars: 50 (3.74251 % of total variables)
0.39/0.43	c Pre-processing Time: 0.427 s
0.39/0.43	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.43	c        0   1336     2624     8952    3     7618   14655      0      0 0.43
0.39/0.43	c Switching off LPR mode.
0.39/0.43	o -1	0.429
0.39/0.43	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.43	c        0   1336     2625     9002    3     7621   14688      1      0 0.43
0.39/0.43	o -2	0.429
0.39/0.43	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.43	c        0   1336     2626     9052    3     7625   14738      2      0 0.43
0.39/0.43	o -3	0.43
0.39/0.43	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.43	c        0   1336     2627     9102    3     7630   14805      3      0 0.43
0.39/0.43	o -4	0.431
0.39/0.43	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.43	c        0   1336     2628     9152    3     7636   14888      4      0 0.43
0.39/0.43	o -5	0.432
0.39/0.43	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.43	c        0   1336     2629     9202    3     7643   14988      5      0 0.43
0.39/0.43	o -6	0.434
0.49/0.59	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.49/0.59	c        8   1336     2638     9740    3     7667   15005     14     18 0.43
0.49/0.59	c      108   1336     2738    16140    5     7867   16506    114    241 0.45
0.49/0.59	c      358   1336     2988    30206   10     8367   18157    364    755 0.47
0.49/0.59	c      833   1336     3463    58502   16     9317   19973    839   1586 0.53
0.49/0.59	o -7	0.592
1.69/1.71	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.69/1.71	c     1540   1336     4171    97910   23    10740   15021   1547   2596 0.59
1.69/1.71	c     1640   1336     4271   103766   24    10940   16524   1647   2706 0.61
1.69/1.71	c     1890   1336     4521   119138   26    11440   18177   1897   2990 0.63
1.69/1.71	c     2365   1336     4996   146285   29    12390   19995   2372   3427 0.69
1.69/1.71	c     3178   1336     5809   192713   33    14016   21995   3185   4063 0.78
1.69/1.71	c     4498   1336     7129   264932   37    16656   24195   4505   4734 0.95
1.69/1.71	c     6579   1336     9210   385919   41    20818   26615   6586   4991 1.32
1.69/1.71	o -8	1.71
30.18/30.25	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
30.18/30.25	c     8068   1336    10700   480353   44    23806   15038   8076   4718 1.71
30.18/30.25	c     8168   1336    10800   486870   45    24006   16542   8176   4699 1.74
30.18/30.25	c     8418   1336    11050   502513   45    24506   18197   8426   4643 1.81
30.18/30.25	c     8893   1336    11525   528570   45    25456   20017   8901   4598 1.93
30.18/30.25	c     9706   1336    12338   578228   46    27082   22019   9714   4506 2.15
30.18/30.25	c    11026   1336    13658   650578   47    29722   24221  11034   4342 2.54
30.18/30.25	c    13107   1336    15739   766997   48    33884   26644  13115   3998 3.28
30.18/30.25	c    16330   1336    18962   955636   50    40330   29309  16338   3409 4.79
30.18/30.25	c    21266   1336    23898  1250606   52    50202   32240  21274   2783 7.64
30.18/30.25	c    28772   1336    31404  1691099   53    65214   35465  28780   2047 14.05
30.18/30.25	c    40134   1336    17416   845912   48    37210   39012  14792   1538 26.08
30.18/30.25	o -9	30.239
603.85/604.18	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
603.85/604.18	c    47740   1336    25023  1308244   52    52433   14821  22399   1578 30.24
603.85/604.18	c    47840   1336    10138   460080   45    22655   16304   7514   1499 31.89
603.85/604.18	c    48090   1336    10388   473234   45    23155   17935   7764   1504 31.96
603.85/604.18	c    48565   1336    10863   499547   45    24105   19729   8239   1513 32.08
603.85/604.18	c    49378   1336    11676   546774   46    25731   21702   9052   1529 32.29
603.85/604.18	c    50698   1336    12996   617724   47    28371   23873  10372   1555 32.60
603.85/604.18	c    52779   1336    15077   732406   48    32533   26261  12453   1592 33.14
603.85/604.18	c    56002   1336    18300   920300   50    38979   28888  15676   1625 34.45
603.85/604.18	c    60938   1336    23236  1217924   52    48851   31777  20612   1636 37.25
603.85/604.18	c    68444   1336    30742  1657707   53    63863   34955  28118   1593 42.95
603.85/604.18	c    79805   1336    17167   867690   50    36713   38451  14543   1421 56.15
603.85/604.18	c    96949   1336    34311  1906499   55    71001   42297  31687   1409 68.79
603.85/604.18	c   122768   1336    28045  1426886   50    58469   46527  25421   1343 91.36
603.85/604.18	c   161600   1336    30688  1711061   55    63755   51180  28064   1266 127.55
603.85/604.18	c   219952   1336    48206  3093147   64    98791   56299  45582   1082 203.27
603.85/604.18	c   307584   1336    44324  2816975   63    91027   61929  41700    938 327.86
603.85/604.18	c   439136   1336    21966  1423802   64    46311   68122  19342    748 586.57
603.85/604.18	o -10	603.945
1162.12/1162.53	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1162.12/1162.53	c   458089   1336    40920  2525652   61    84229   14838  38296    758 603.95
1162.12/1162.53	c   458189   1336    10146   450861   44    22672   16322   7522    756 605.97
1162.12/1162.53	c   458439   1336    10396   464861   44    23172   17955   7772    756 606.08
1162.12/1162.53	c   458914   1336    10871   492756   45    24122   19751   8247    756 606.25
1162.12/1162.53	c   459727   1336    11684   538072   46    25748   21727   9060    757 606.51
1162.12/1162.53	c   461047   1336    13004   618020   47    28388   23900  10380    759 607.07
1162.12/1162.53	c   463128   1336    15085   734184   48    32550   26291  12461    761 607.98
1162.12/1162.53	c   466351   1336    18308   913638   49    38996   28921  15684    765 609.14
1162.12/1162.53	c   471288   1336    23245  1200400   51    48870   31814  20621    770 611.39
1162.12/1162.53	c   478795   1336    30752  1679000   54    63884   34996  28128    774 618.45
1162.12/1162.53	c   490156   1336    17216   926738   53    36812   38496  14592    773 633.30
1162.12/1162.53	c   507300   1336    34360  1982213   57    71100   42346  31736    785 645.58
1162.12/1162.53	c   533119   1336    28035  1579238   56    58450   46581  25411    784 679.20
1162.12/1162.53	c   571951   1336    30625  1820732   59    63630   51240  28001    785 727.89
1162.12/1162.53	c   630303   1336    48061  3044842   63    98502   56365  45437    786 801.57
1162.12/1162.53	c   717935   1336    44097  2773085   62    90574   62002  41473    783 915.99
1162.12/1162.53	c   849488   1336    21380  1288971   60    45140   68203  18756    731 1161.87
1162.12/1162.53	o -11	1162.16
1800.08/1800.60	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1800.08/1800.60	c   850188   1336    22081  1322974   59    46553   14855  19457    731 1162.16
1800.08/1800.60	c   850288   1336    10155   525304   51    22691   16341   7531    730 1163.59
1800.08/1800.60	c   850538   1336    10405   538778   51    23191   17976   7781    730 1163.64
1800.08/1800.60	c   851013   1336    10880   563560   51    24141   19774   8256    731 1163.72
1800.08/1800.60	c   851826   1336    11693   605567   51    25767   21752   9069    731 1163.86
1800.08/1800.60	c   853146   1336    13013   673083   51    28407   23928  10389    732 1164.12
1800.08/1800.60	c   855227   1336    15094   782386   51    32569   26321  12470    734 1164.66
1800.08/1800.60	c   858450   1336    18317   948315   51    39015   28954  15693    736 1165.54
1800.08/1800.60	c   863386   1336    23253  1222040   52    48887   31850  20629    739 1167.64
1800.08/1800.60	c   870892   1336    30759  1646765   53    63899   35036  28135    742 1172.54
1800.08/1800.60	c   882253   1336    17064   839620   49    36509   38540  14440    745 1183.24
1800.08/1800.60	c   899397   1336    34208  1840084   53    70797   42395  31584    753 1194.40
1800.08/1800.60	c   925216   1336    27842  1509208   54    58065   46635  25218    751 1231.82
1800.08/1800.60	c   964049   1336    30374  1731279   56    63129   51299  27750    755 1275.42
1800.08/1800.60	c  1022401   1336    47796  2911340   60    97973   56429  45172    757 1350.54
1800.08/1800.60	c  1110033   1336    43671  2798351   64    89723   62072  41047    744 1491.81
1800.08/1800.60	c  1241585   1336    21068  1298991   61    44517   68280  18444    718 1727.94
1800.08/1800.60	c Caught signal: 15
1800.08/1800.60	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.08/1800.60	v -x30 -x31 -x32 x33 -x34 x35 x36 -x37 -x38 -x39 x40 x41 x42 -x43 x44 -x45 -x46 -x47 -x48 -x49 -x50 -x97 -x86 -x69 -x91 -x76 x73 -x77
1800.08/1800.60	v -x52 -x65 -x59 -x58 -x71 -x75 -x51 -x94 -x90 -x53 -x92 -x96 -x66 -x64 -x68 -x70 -x78 x93 x89 -x74 x98 -x88 x99 -x55 -x63 -x85 x87
1800.08/1800.60	v -x57 -x62 -x79 -x61 -x80 -x54 x95 x82 -x56 -x83 -x100 x60 -x72 x84 x67 -x81
1800.08/1800.60	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.08/1800.60	c   78  1292565    724  1303207    70906  4490593  68282    718 1800.08
1800.08/1800.60	c Objective: -11
1800.08/1800.60	s SATISFIABLE
1800.08/1800.60	c Total time: 1800.08 s

Verifier Data (download as text)

OK	-11

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node50/watcher-455181-1178038634 -o ROOT/results/node50/solver-455181-1178038634 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/455181-1178038634/instance-455181-1178038634.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.91 0.98 0.97 3/64 26943
/proc/meminfo: memFree=1799272/2055920 swapFree=4183752/4192956
[pid=26943] ppid=26941 vsize=19568 CPUtime=0
/proc/26943/stat : 26943 (bsolo3.0.17) R 26941 26943 26333 0 -1 4194304 371 0 0 0 0 0 0 0 18 0 1 0 158708554 20037632 341 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8353403 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26943/statm: 4892 341 288 324 0 3957 0

[startup+0.0541891 s]
/proc/loadavg: 0.91 0.98 0.97 3/64 26943
/proc/meminfo: memFree=1799272/2055920 swapFree=4183752/4192956
[pid=26943] ppid=26941 vsize=4612 CPUtime=0.04
/proc/26943/stat : 26943 (bsolo3.0.17) R 26941 26943 26333 0 -1 4194304 563 0 0 0 4 0 0 0 18 0 1 0 158708554 4722688 528 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26943/statm: 1153 528 305 324 0 223 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 4612

[startup+0.101192 s]
/proc/loadavg: 0.91 0.98 0.97 3/64 26943
/proc/meminfo: memFree=1799272/2055920 swapFree=4183752/4192956
[pid=26943] ppid=26941 vsize=4612 CPUtime=0.09
/proc/26943/stat : 26943 (bsolo3.0.17) R 26941 26943 26333 0 -1 4194304 563 0 0 0 9 0 0 0 18 0 1 0 158708554 4722688 528 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26943/statm: 1153 528 305 324 0 223 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4612

[startup+0.301209 s]
/proc/loadavg: 0.91 0.98 0.97 3/64 26943
/proc/meminfo: memFree=1799272/2055920 swapFree=4183752/4192956
[pid=26943] ppid=26941 vsize=4612 CPUtime=0.29
/proc/26943/stat : 26943 (bsolo3.0.17) R 26941 26943 26333 0 -1 4194304 563 0 0 0 29 0 0 0 19 0 1 0 158708554 4722688 528 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26943/statm: 1153 528 305 324 0 223 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4612

[startup+0.701244 s]
/proc/loadavg: 0.91 0.98 0.97 3/64 26943
/proc/meminfo: memFree=1799272/2055920 swapFree=4183752/4192956
[pid=26943] ppid=26941 vsize=6692 CPUtime=0.69
/proc/26943/stat : 26943 (bsolo3.0.17) R 26941 26943 26333 0 -1 4194304 1097 0 0 0 69 0 0 0 22 0 1 0 158708554 6852608 1062 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8353403 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26943/statm: 1673 1062 311 324 0 743 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 6692

[startup+1.50131 s]
/proc/loadavg: 0.91 0.98 0.97 2/65 26944
/proc/meminfo: memFree=1794208/2055920 swapFree=4183752/4192956
[pid=26943] ppid=26941 vsize=10968 CPUtime=1.49
/proc/26943/stat : 26943 (bsolo3.0.17) R 26941 26943 26333 0 -1 4194304 2143 0 0 0 148 1 0 0 25 0 1 0 158708554 11231232 2108 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551368 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26943/statm: 2742 2108 311 324 0 1812 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 10968

[startup+3.10246 s]
/proc/loadavg: 0.91 0.98 0.97 2/65 26944
/proc/meminfo: memFree=1789920/2055920 swapFree=4183752/4192956
[pid=26943] ppid=26941 vsize=15504 CPUtime=3.09
/proc/26943/stat : 26943 (bsolo3.0.17) R 26941 26943 26333 0 -1 4194304 3282 0 0 0 308 1 0 0 25 0 1 0 158708554 15876096 3247 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550904 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26943/statm: 3876 3247 311 324 0 2946 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 15504

[startup+6.30174 s]
/proc/loadavg: 0.92 0.98 0.97 2/65 26944
/proc/meminfo: memFree=1782944/2055920 swapFree=4183752/4192956
[pid=26943] ppid=26941 vsize=21080 CPUtime=6.29
/proc/26943/stat : 26943 (bsolo3.0.17) R 26941 26943 26333 0 -1 4194304 4668 0 0 0 626 3 0 0 25 0 1 0 158708554 21585920 4633 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8353403 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26943/statm: 5270 4633 311 324 0 4340 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 21080

[startup+12.7013 s]
/proc/loadavg: 0.93 0.98 0.97 2/65 26944
/proc/meminfo: memFree=1775016/2055920 swapFree=4183752/4192956
[pid=26943] ppid=26941 vsize=28324 CPUtime=12.68
/proc/26943/stat : 26943 (bsolo3.0.17) R 26941 26943 26333 0 -1 4194304 6501 0 0 0 1264 4 0 0 25 0 1 0 158708554 29003776 6466 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134571795 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26943/statm: 7081 6466 311 324 0 6151 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 28324

[startup+25.5014 s]
/proc/loadavg: 0.94 0.98 0.97 2/65 26944
/proc/meminfo: memFree=1766440/2055920 swapFree=4183752/4192956
[pid=26943] ppid=26941 vsize=36072 CPUtime=25.48
/proc/26943/stat : 26943 (bsolo3.0.17) R 26941 26943 26333 0 -1 4194304 8480 0 0 0 2541 7 0 0 25 0 1 0 158708554 36937728 8409 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26943/statm: 9018 8409 311 324 0 8088 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 36072

[startup+51.1017 s]
/proc/loadavg: 0.96 0.98 0.97 2/65 26944
/proc/meminfo: memFree=1766312/2055920 swapFree=4183752/4192956
[pid=26943] ppid=26941 vsize=36188 CPUtime=51.07
/proc/26943/stat : 26943 (bsolo3.0.17) R 26941 26943 26333 0 -1 4194304 8537 0 0 0 5100 7 0 0 25 0 1 0 158708554 37056512 8430 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26943/statm: 9047 8430 311 324 0 8117 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 36188

[startup+102.305 s]
/proc/loadavg: 0.98 0.98 0.97 2/65 26944
/proc/meminfo: memFree=1759848/2055920 swapFree=4183752/4192956
[pid=26943] ppid=26941 vsize=42660 CPUtime=102.26
/proc/26943/stat : 26943 (bsolo3.0.17) R 26941 26943 26333 0 -1 4194304 10208 0 0 0 10217 9 0 0 25 0 1 0 158708554 43683840 10058 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26943/statm: 10665 10058 311 324 0 9735 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 42660

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.97 2/65 26944
/proc/meminfo: memFree=1746728/2055920 swapFree=4183752/4192956
[pid=26943] ppid=26941 vsize=55716 CPUtime=162.24
/proc/26943/stat : 26943 (bsolo3.0.17) R 26941 26943 26333 0 -1 4194304 13563 0 0 0 16211 13 0 0 25 0 1 0 158708554 57053184 13314 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26943/statm: 13929 13314 311 324 0 12999 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 55716

[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.97 2/65 26944
/proc/meminfo: memFree=1745128/2055920 swapFree=4183752/4192956
[pid=26943] ppid=26941 vsize=57524 CPUtime=222.23
/proc/26943/stat : 26943 (bsolo3.0.17) R 26941 26943 26333 0 -1 4194304 14019 0 0 0 22209 14 0 0 25 0 1 0 158708554 58904576 13770 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551315 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26943/statm: 14381 13770 311 324 0 13451 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 57524

[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.97 2/71 27122
/proc/meminfo: memFree=1741488/2055920 swapFree=4183752/4192956
[pid=26943] ppid=26941 vsize=59732 CPUtime=282.13
/proc/26943/stat : 26943 (bsolo3.0.17) R 26941 26943 26333 0 -1 4194304 14626 0 0 0 28198 15 0 0 25 0 1 0 158708554 61165568 14320 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 0 0 0
/proc/26943/statm: 14933 14320 311 324 0 14003 0
Current children cumulated CPU time (s) 282.13
Current children cumulated vsize (KiB) 59732

[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.97 2/65 27142
/proc/meminfo: memFree=1742440/2055920 swapFree=4183752/4192956
[pid=26943] ppid=26941 vsize=59732 CPUtime=342.12
/proc/26943/stat : 26943 (bsolo3.0.17) R 26941 26943 26333 0 -1 4194304 14683 0 0 0 34197 15 0 0 25 0 1 0 158708554 61165568 14320 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8349525 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26943/statm: 14933 14320 311 324 0 14003 0
Current children cumulated CPU time (s) 342.12
Current children cumulated vsize (KiB) 59732

[startup+402.302 s]
/proc/loadavg: 0.99 0.98 0.97 2/65 27142
/proc/meminfo: memFree=1736296/2055920 swapFree=4183752/4192956
[pid=26943] ppid=26941 vsize=65936 CPUtime=402.1
/proc/26943/stat : 26943 (bsolo3.0.17) R 26941 26943 26333 0 -1 4194304 16281 0 0 0 40193 17 0 0 25 0 1 0 158708554 67518464 15856 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8349525 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26943/statm: 16484 15856 311 324 0 15554 0
Current children cumulated CPU time (s) 402.1
Current children cumulated vsize (KiB) 65936

[startup+462.302 s]
/proc/loadavg: 0.99 0.98 0.97 2/65 27142
/proc/meminfo: memFree=1733672/2055920 swapFree=4183752/4192956
[pid=26943] ppid=26941 vsize=68528 CPUtime=462.09
/proc/26943/stat : 26943 (bsolo3.0.17) R 26941 26943 26333 0 -1 4194304 17009 0 0 0 46191 18 0 0 25 0 1 0 158708554 70172672 16522 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26943/statm: 17132 16522 311 324 0 16202 0
Current children cumulated CPU time (s) 462.09
Current children cumulated vsize (KiB) 68528

[startup+522.301 s]
/proc/loadavg: 1.03 0.99 0.98 2/65 27142
/proc/meminfo: memFree=1733672/2055920 swapFree=4183752/4192956
[pid=26943] ppid=26941 vsize=68528 CPUtime=522.07
/proc/26943/stat : 26943 (bsolo3.0.17) R 26941 26943 26333 0 -1 4194304 17009 0 0 0 52189 18 0 0 25 0 1 0 158708554 70172672 16522 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26943/statm: 17132 16522 311 324 0 16202 0
Current children cumulated CPU time (s) 522.07
Current children cumulated vsize (KiB) 68528

[startup+582.301 s]
/proc/loadavg: 1.04 1.01 0.98 2/65 27142
/proc/meminfo: memFree=1731176/2055920 swapFree=4183752/4192956
[pid=26943] ppid=26941 vsize=71104 CPUtime=582.06
/proc/26943/stat : 26943 (bsolo3.0.17) R 26941 26943 26333 0 -1 4194304 17698 0 0 0 58188 18 0 0 25 0 1 0 158708554 72810496 17149 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8347800 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26943/statm: 17776 17149 311 324 0 16846 0
Current children cumulated CPU time (s) 582.06
Current children cumulated vsize (KiB) 71104

[startup+642.302 s]
/proc/loadavg: 1.01 1.00 0.98 2/65 27142
/proc/meminfo: memFree=1731176/2055920 swapFree=4183752/4192956
[pid=26943] ppid=26941 vsize=71104 CPUtime=642.05
/proc/26943/stat : 26943 (bsolo3.0.17) R 26941 26943 26333 0 -1 4194304 17698 0 0 0 64187 18 0 0 25 0 1 0 158708554 72810496 17149 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26943/statm: 17776 17149 311 324 0 16846 0
Current children cumulated CPU time (s) 642.05
Current children cumulated vsize (KiB) 71104


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

[startup+822.301 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 27144
/proc/meminfo: memFree=1731304/2055920 swapFree=4183752/4192956
[pid=26943] ppid=26941 vsize=71104 CPUtime=822
/proc/26943/stat : 26943 (bsolo3.0.17) R 26941 26943 26333 0 -1 4194304 17698 0 0 0 82182 18 0 0 25 0 1 0 158708554 72810496 17149 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26943/statm: 17776 17149 311 324 0 16846 0
Current children cumulated CPU time (s) 822
Current children cumulated vsize (KiB) 71104

[startup+882.302 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 27144
/proc/meminfo: memFree=1731304/2055920 swapFree=4183752/4192956
[pid=26943] ppid=26941 vsize=71104 CPUtime=881.98
/proc/26943/stat : 26943 (bsolo3.0.17) R 26941 26943 26333 0 -1 4194304 17698 0 0 0 88180 18 0 0 25 0 1 0 158708554 72810496 17149 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26943/statm: 17776 17149 311 324 0 16846 0
Current children cumulated CPU time (s) 881.98
Current children cumulated vsize (KiB) 71104

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 27144
/proc/meminfo: memFree=1731304/2055920 swapFree=4183752/4192956
[pid=26943] ppid=26941 vsize=71104 CPUtime=941.97
/proc/26943/stat : 26943 (bsolo3.0.17) R 26941 26943 26333 0 -1 4194304 17698 0 0 0 94179 18 0 0 25 0 1 0 158708554 72810496 17149 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26943/statm: 17776 17149 311 324 0 16846 0
Current children cumulated CPU time (s) 941.97
Current children cumulated vsize (KiB) 71104

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 27144
/proc/meminfo: memFree=1731368/2055920 swapFree=4183752/4192956
[pid=26943] ppid=26941 vsize=71104 CPUtime=1001.95
/proc/26943/stat : 26943 (bsolo3.0.17) R 26941 26943 26333 0 -1 4194304 17698 0 0 0 100177 18 0 0 25 0 1 0 158708554 72810496 17149 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26943/statm: 17776 17149 311 324 0 16846 0
Current children cumulated CPU time (s) 1001.95
Current children cumulated vsize (KiB) 71104

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 27144
/proc/meminfo: memFree=1731368/2055920 swapFree=4183752/4192956
[pid=26943] ppid=26941 vsize=71104 CPUtime=1061.94
/proc/26943/stat : 26943 (bsolo3.0.17) R 26941 26943 26333 0 -1 4194304 17698 0 0 0 106176 18 0 0 25 0 1 0 158708554 72810496 17149 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26943/statm: 17776 17149 311 324 0 16846 0
Current children cumulated CPU time (s) 1061.94
Current children cumulated vsize (KiB) 71104

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 27144
/proc/meminfo: memFree=1731368/2055920 swapFree=4183752/4192956
[pid=26943] ppid=26941 vsize=71104 CPUtime=1121.93
/proc/26943/stat : 26943 (bsolo3.0.17) R 26941 26943 26333 0 -1 4194304 17698 0 0 0 112174 19 0 0 25 0 1 0 158708554 72810496 17149 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551100 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26943/statm: 17776 17149 311 324 0 16846 0
Current children cumulated CPU time (s) 1121.93
Current children cumulated vsize (KiB) 71104

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 27144
/proc/meminfo: memFree=1731432/2055920 swapFree=4183752/4192956
[pid=26943] ppid=26941 vsize=71104 CPUtime=1181.92
/proc/26943/stat : 26943 (bsolo3.0.17) R 26941 26943 26333 0 -1 4194304 17698 0 0 0 118173 19 0 0 25 0 1 0 158708554 72810496 17149 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546118 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26943/statm: 17776 17149 311 324 0 16846 0
Current children cumulated CPU time (s) 1181.92
Current children cumulated vsize (KiB) 71104

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 27144
/proc/meminfo: memFree=1731368/2055920 swapFree=4183752/4192956
[pid=26943] ppid=26941 vsize=71104 CPUtime=1241.9
/proc/26943/stat : 26943 (bsolo3.0.17) R 26941 26943 26333 0 -1 4194304 17698 0 0 0 124171 19 0 0 25 0 1 0 158708554 72810496 17149 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551312 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26943/statm: 17776 17149 311 324 0 16846 0
Current children cumulated CPU time (s) 1241.9
Current children cumulated vsize (KiB) 71104

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 27144
/proc/meminfo: memFree=1731432/2055920 swapFree=4183752/4192956
[pid=26943] ppid=26941 vsize=71104 CPUtime=1301.89
/proc/26943/stat : 26943 (bsolo3.0.17) R 26941 26943 26333 0 -1 4194304 17698 0 0 0 130170 19 0 0 25 0 1 0 158708554 72810496 17149 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26943/statm: 17776 17149 311 324 0 16846 0
Current children cumulated CPU time (s) 1301.89
Current children cumulated vsize (KiB) 71104

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 27144
/proc/meminfo: memFree=1731368/2055920 swapFree=4183752/4192956
[pid=26943] ppid=26941 vsize=71104 CPUtime=1361.88
/proc/26943/stat : 26943 (bsolo3.0.17) R 26941 26943 26333 0 -1 4194304 17698 0 0 0 136169 19 0 0 25 0 1 0 158708554 72810496 17149 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26943/statm: 17776 17149 311 324 0 16846 0
Current children cumulated CPU time (s) 1361.88
Current children cumulated vsize (KiB) 71104

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 27144
/proc/meminfo: memFree=1731368/2055920 swapFree=4183752/4192956
[pid=26943] ppid=26941 vsize=71104 CPUtime=1421.86
/proc/26943/stat : 26943 (bsolo3.0.17) R 26941 26943 26333 0 -1 4194304 17698 0 0 0 142167 19 0 0 25 0 1 0 158708554 72810496 17149 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26943/statm: 17776 17149 311 324 0 16846 0
Current children cumulated CPU time (s) 1421.86
Current children cumulated vsize (KiB) 71104

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 27144
/proc/meminfo: memFree=1731304/2055920 swapFree=4183752/4192956
[pid=26943] ppid=26941 vsize=71104 CPUtime=1481.84
/proc/26943/stat : 26943 (bsolo3.0.17) R 26941 26943 26333 0 -1 4194304 17698 0 0 0 148165 19 0 0 25 0 1 0 158708554 72810496 17149 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26943/statm: 17776 17149 311 324 0 16846 0
Current children cumulated CPU time (s) 1481.84
Current children cumulated vsize (KiB) 71104

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 27144
/proc/meminfo: memFree=1731304/2055920 swapFree=4183752/4192956
[pid=26943] ppid=26941 vsize=71104 CPUtime=1541.83
/proc/26943/stat : 26943 (bsolo3.0.17) R 26941 26943 26333 0 -1 4194304 17698 0 0 0 154164 19 0 0 25 0 1 0 158708554 72810496 17149 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26943/statm: 17776 17149 311 324 0 16846 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 71104

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 27144
/proc/meminfo: memFree=1731368/2055920 swapFree=4183752/4192956
[pid=26943] ppid=26941 vsize=71104 CPUtime=1601.82
/proc/26943/stat : 26943 (bsolo3.0.17) R 26941 26943 26333 0 -1 4194304 17698 0 0 0 160163 19 0 0 25 0 1 0 158708554 72810496 17149 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8349598 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26943/statm: 17776 17149 311 324 0 16846 0
Current children cumulated CPU time (s) 1601.82
Current children cumulated vsize (KiB) 71104

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 27144
/proc/meminfo: memFree=1731368/2055920 swapFree=4183752/4192956
[pid=26943] ppid=26941 vsize=71104 CPUtime=1661.8
/proc/26943/stat : 26943 (bsolo3.0.17) R 26941 26943 26333 0 -1 4194304 17698 0 0 0 166161 19 0 0 25 0 1 0 158708554 72810496 17149 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26943/statm: 17776 17149 311 324 0 16846 0
Current children cumulated CPU time (s) 1661.8
Current children cumulated vsize (KiB) 71104

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 27144
/proc/meminfo: memFree=1731368/2055920 swapFree=4183752/4192956
[pid=26943] ppid=26941 vsize=71104 CPUtime=1721.79
/proc/26943/stat : 26943 (bsolo3.0.17) R 26941 26943 26333 0 -1 4194304 17698 0 0 0 172160 19 0 0 25 0 1 0 158708554 72810496 17149 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26943/statm: 17776 17149 311 324 0 16846 0
Current children cumulated CPU time (s) 1721.79
Current children cumulated vsize (KiB) 71104

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 27144
/proc/meminfo: memFree=1731304/2055920 swapFree=4183752/4192956
[pid=26943] ppid=26941 vsize=71104 CPUtime=1781.77
/proc/26943/stat : 26943 (bsolo3.0.17) R 26941 26943 26333 0 -1 4194304 17698 0 0 0 178158 19 0 0 25 0 1 0 158708554 72810496 17149 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091738 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26943/statm: 17776 17149 311 324 0 16846 0
Current children cumulated CPU time (s) 1781.77
Current children cumulated vsize (KiB) 71104



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 27144
/proc/meminfo: memFree=1731368/2055920 swapFree=4183752/4192956
[pid=26943] ppid=26941 vsize=71128 CPUtime=1800.08
/proc/26943/stat : 26943 (bsolo3.0.17) R 26941 26943 26333 0 -1 4194304 17704 0 0 0 179989 19 0 0 25 0 1 0 158708554 72835072 17155 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26943/statm: 17782 17155 311 324 0 16852 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 71128

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.62
CPU time (s): 1800.1
CPU user time (s): 1799.89
CPU system time (s): 0.204968
CPU usage (%): 99.9708
Max. virtual memory (cumulated for all children) (KiB): 71352

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

runsolver used 1.42178 second user time and 3.55446 second system time

The end

Launcher Data (download as text)

Begin job on node50 on Tue May  1 16:57:14 UTC 2007

IDJOB= 455181
IDBENCH= 48246
IDSOLVER= 199
FILE ID= node50/455181-1178038634

PBS_JOBID= 4728401

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

META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020
MD5SUM BENCH=  138d1c5c8dee06528dd1cfb072975c49

RANDOM SEED= 443753749

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node50.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.232
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.232
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:       1799680 kB
Buffers:         79068 kB
Cached:         106872 kB
SwapCached:       3168 kB
Active:         125208 kB
Inactive:        73116 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1799680 kB
SwapTotal:     4192956 kB
SwapFree:      4183752 kB
Dirty:            6648 kB
Writeback:           0 kB
Mapped:          16016 kB
Slab:            43956 kB
Committed_AS:  4813888 kB
PageTables:       1464 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 node50 on Tue May  1 17:27:17 UTC 2007