Trace number 455175

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-11 1800.01 1800.64

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.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/455175-1178038583/instance-455175-1178038583.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.007 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.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     2626     9052    3     7625   14738      2      0 0.43
0.39/0.43	o -3	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     2627     9102    3     7630   14805      3      0 0.43
0.39/0.43	o -4	0.434
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.435
0.39/0.44	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.44	c        0   1336     2629     9202    3     7643   14988      5      0 0.43
0.39/0.44	o -6	0.437
0.59/0.60	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.59/0.60	c        8   1336     2638     9740    3     7667   15005     14     18 0.44
0.59/0.60	c      108   1336     2738    16140    5     7867   16506    114    238 0.45
0.59/0.60	c      358   1336     2988    30206   10     8367   18157    364    748 0.48
0.59/0.60	c      833   1336     3463    58502   16     9317   19973    839   1571 0.53
0.59/0.60	o -7	0.598
1.69/1.72	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.69/1.72	c     1540   1336     4171    97910   23    10740   15021   1547   2570 0.60
1.69/1.72	c     1640   1336     4271   103766   24    10940   16524   1647   2679 0.61
1.69/1.72	c     1890   1336     4521   119138   26    11440   18177   1897   2957 0.64
1.69/1.72	c     2365   1336     4996   146285   29    12390   19995   2372   3397 0.70
1.69/1.72	c     3178   1336     5809   192713   33    14016   21995   3185   4027 0.79
1.69/1.72	c     4498   1336     7129   264932   37    16656   24195   4505   4700 0.96
1.69/1.72	c     6579   1336     9210   385919   41    20818   26615   6586   4961 1.33
1.69/1.72	o -8	1.717
30.29/30.32	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
30.29/30.32	c     8068   1336    10700   480353   44    23806   15038   8076   4696 1.72
30.29/30.32	c     8168   1336    10800   486870   45    24006   16542   8176   4680 1.75
30.29/30.32	c     8418   1336    11050   502513   45    24506   18197   8426   4625 1.82
30.29/30.32	c     8893   1336    11525   528570   45    25456   20017   8901   4579 1.94
30.29/30.32	c     9706   1336    12338   578228   46    27082   22019   9714   4491 2.16
30.29/30.32	c    11026   1336    13658   650578   47    29722   24221  11034   4329 2.55
30.29/30.32	c    13107   1336    15739   766997   48    33884   26644  13115   3983 3.29
30.29/30.32	c    16330   1336    18962   955636   50    40330   29309  16338   3397 4.81
30.29/30.32	c    21266   1336    23898  1250606   52    50202   32240  21274   2780 7.65
30.29/30.32	c    28772   1336    31404  1691099   53    65214   35465  28780   2047 14.05
30.29/30.32	c    40134   1336    17416   845912   48    37210   39012  14792   1533 26.16
30.29/30.32	o -9	30.309
606.71/607.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
606.71/607.02	c    47740   1336    25023  1308244   52    52433   14821  22399   1575 30.31
606.71/607.02	c    47840   1336    10138   460080   45    22655   16304   7514   1495 31.98
606.71/607.02	c    48090   1336    10388   473234   45    23155   17935   7764   1500 32.05
606.71/607.02	c    48565   1336    10863   499547   45    24105   19729   8239   1509 32.17
606.71/607.02	c    49378   1336    11676   546774   46    25731   21702   9052   1524 32.38
606.71/607.02	c    50698   1336    12996   617724   47    28371   23873  10372   1551 32.69
606.71/607.02	c    52779   1336    15077   732406   48    32533   26261  12453   1588 33.23
606.71/607.02	c    56002   1336    18300   920300   50    38979   28888  15676   1621 34.53
606.71/607.02	c    60938   1336    23236  1217924   52    48851   31777  20612   1631 37.34
606.71/607.02	c    68444   1336    30742  1657707   53    63863   34955  28118   1587 43.11
606.71/607.02	c    79805   1336    17167   867690   50    36713   38451  14543   1417 56.31
606.71/607.02	c    96949   1336    34311  1906499   55    71001   42297  31687   1404 69.01
606.71/607.02	c   122768   1336    28045  1426886   50    58469   46527  25421   1340 91.62
606.71/607.02	c   161600   1336    30688  1711061   55    63755   51180  28064   1263 127.92
606.71/607.02	c   219952   1336    48206  3093147   64    98791   56299  45582   1077 204.11
606.71/607.02	c   307584   1336    44324  2816975   63    91027   61929  41700    934 329.30
606.71/607.02	c   439136   1336    21966  1423802   64    46311   68122  19342    745 589.19
606.71/607.02	o -10	606.74
1168.24/1168.72	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1168.24/1168.72	c   458089   1336    40920  2525652   61    84229   14838  38296    754 606.74
1168.24/1168.72	c   458189   1336    10146   450861   44    22672   16322   7522    752 608.77
1168.24/1168.72	c   458439   1336    10396   464861   44    23172   17955   7772    752 608.88
1168.24/1168.72	c   458914   1336    10871   492756   45    24122   19751   8247    753 609.05
1168.24/1168.72	c   459727   1336    11684   538072   46    25748   21727   9060    754 609.31
1168.24/1168.72	c   461047   1336    13004   618020   47    28388   23900  10380    755 609.87
1168.24/1168.72	c   463128   1336    15085   734184   48    32550   26291  12461    758 610.77
1168.24/1168.72	c   466351   1336    18308   913638   49    38996   28921  15684    762 611.93
1168.24/1168.72	c   471288   1336    23245  1200400   51    48870   31814  20621    767 614.18
1168.24/1168.72	c   478795   1336    30752  1679000   54    63884   34996  28128    770 621.33
1168.24/1168.72	c   490156   1336    17216   926738   53    36812   38496  14592    770 636.23
1168.24/1168.72	c   507300   1336    34360  1982213   57    71100   42346  31736    782 648.65
1168.24/1168.72	c   533119   1336    28035  1579238   56    58450   46581  25411    781 682.40
1168.24/1168.72	c   571951   1336    30625  1820732   59    63630   51240  28001    782 731.33
1168.24/1168.72	c   630303   1336    48061  3044842   63    98502   56365  45437    782 805.55
1168.24/1168.72	c   717935   1336    44097  2773085   62    90574   62002  41473    779 920.60
1168.24/1168.72	c   849488   1336    21380  1288971   60    45140   68203  18756    727 1167.98
1168.24/1168.72	o -11	1168.28
1799.98/1800.62	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1799.98/1800.62	c   850188   1336    22081  1322974   59    46553   14855  19457    727 1168.28
1799.98/1800.62	c   850288   1336    10155   525304   51    22691   16341   7531    726 1169.71
1799.98/1800.62	c   850538   1336    10405   538778   51    23191   17976   7781    727 1169.75
1799.98/1800.62	c   851013   1336    10880   563560   51    24141   19774   8256    727 1169.84
1799.98/1800.62	c   851826   1336    11693   605567   51    25767   21752   9069    728 1169.97
1799.98/1800.62	c   853146   1336    13013   673083   51    28407   23928  10389    729 1170.24
1799.98/1800.62	c   855227   1336    15094   782386   51    32569   26321  12470    730 1170.78
1799.98/1800.62	c   858450   1336    18317   948315   51    39015   28954  15693    732 1171.66
1799.98/1800.62	c   863386   1336    23253  1222040   52    48887   31850  20629    735 1173.76
1799.98/1800.62	c   870892   1336    30759  1646765   53    63899   35036  28135    738 1178.68
1799.98/1800.62	c   882253   1336    17064   839620   49    36509   38540  14440    741 1189.52
1799.98/1800.62	c   899397   1336    34208  1840084   53    70797   42395  31584    749 1200.75
1799.98/1800.62	c   925216   1336    27842  1509208   54    58065   46635  25218    747 1238.52
1799.98/1800.62	c   964049   1336    30374  1731279   56    63129   51299  27750    751 1282.52
1799.98/1800.62	c  1022401   1336    47796  2911340   60    97973   56429  45172    752 1358.11
1799.98/1800.62	c  1110033   1336    43671  2798351   64    89723   62072  41047    739 1500.10
1799.98/1800.62	c  1241585   1336    21068  1298991   61    44517   68280  18444    714 1738.24
1799.98/1800.62	c Resources Exceeded
1799.98/1800.62	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
1799.98/1800.62	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
1799.98/1800.62	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
1799.98/1800.62	v -x57 -x62 -x79 -x61 -x80 -x54 x95 x82 -x56 -x83 -x100 x60 -x72 x84 x67 -x81
1799.98/1800.62	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1799.98/1800.62	c   78  1288318    717  1298948    67801  4287162  65177    715 1800.00
1799.98/1800.62	c Objective: -11
1799.98/1800.62	s SATISFIABLE
1799.98/1800.62	c Total time: 1800 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/node2/watcher-455175-1178038583 -o ROOT/results/node2/solver-455175-1178038583 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/455175-1178038583/instance-455175-1178038583.opb 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.00 1.16 1.15 3/77 8542
/proc/meminfo: memFree=1800544/2055920 swapFree=4148820/4192956
[pid=8542] ppid=8540 vsize=3944 CPUtime=0
/proc/8542/stat : 8542 (bsolo3.0.16) R 8540 8542 13299 0 -1 4194304 377 0 0 0 0 0 0 0 18 0 1 0 279896150 4038656 346 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8542/statm: 986 347 291 324 0 50 0

[startup+0.014876 s]
/proc/loadavg: 1.00 1.16 1.15 3/77 8542
/proc/meminfo: memFree=1800544/2055920 swapFree=4148820/4192956
[pid=8542] ppid=8540 vsize=4612 CPUtime=0.01
/proc/8542/stat : 8542 (bsolo3.0.16) R 8540 8542 13299 0 -1 4194304 562 0 0 0 1 0 0 0 18 0 1 0 279896150 4722688 526 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8542/statm: 1153 526 307 324 0 222 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 4612

[startup+0.101885 s]
/proc/loadavg: 1.00 1.16 1.15 3/77 8542
/proc/meminfo: memFree=1800544/2055920 swapFree=4148820/4192956
[pid=8542] ppid=8540 vsize=4612 CPUtime=0.09
/proc/8542/stat : 8542 (bsolo3.0.16) R 8540 8542 13299 0 -1 4194304 566 0 0 0 9 0 0 0 18 0 1 0 279896150 4722688 530 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8542/statm: 1153 530 307 324 0 222 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4612

[startup+0.301905 s]
/proc/loadavg: 1.00 1.16 1.15 3/77 8542
/proc/meminfo: memFree=1800544/2055920 swapFree=4148820/4192956
[pid=8542] ppid=8540 vsize=4612 CPUtime=0.29
/proc/8542/stat : 8542 (bsolo3.0.16) R 8540 8542 13299 0 -1 4194304 566 0 0 0 29 0 0 0 19 0 1 0 279896150 4722688 530 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8542/statm: 1153 530 307 324 0 222 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4612

[startup+0.701947 s]
/proc/loadavg: 1.00 1.16 1.15 3/77 8542
/proc/meminfo: memFree=1800544/2055920 swapFree=4148820/4192956
[pid=8542] ppid=8540 vsize=6692 CPUtime=0.69
/proc/8542/stat : 8542 (bsolo3.0.16) R 8540 8542 13299 0 -1 4194304 1090 0 0 0 68 1 0 0 22 0 1 0 279896150 6852608 1054 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8542/statm: 1673 1054 313 324 0 742 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 6692

[startup+1.50103 s]
/proc/loadavg: 1.00 1.16 1.15 2/78 8543
/proc/meminfo: memFree=1795480/2055920 swapFree=4148820/4192956
[pid=8542] ppid=8540 vsize=10968 CPUtime=1.49
/proc/8542/stat : 8542 (bsolo3.0.16) R 8540 8542 13299 0 -1 4194304 2143 0 0 0 147 2 0 0 25 0 1 0 279896150 11231232 2107 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8542/statm: 2742 2107 313 324 0 1811 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 10968

[startup+3.1012 s]
/proc/loadavg: 1.00 1.15 1.15 2/78 8543
/proc/meminfo: memFree=1791192/2055920 swapFree=4148820/4192956
[pid=8542] ppid=8540 vsize=15500 CPUtime=3.09
/proc/8542/stat : 8542 (bsolo3.0.16) R 8540 8542 13299 0 -1 4194304 3279 0 0 0 306 3 0 0 25 0 1 0 279896150 15872000 3243 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8542/statm: 3875 3243 313 324 0 2944 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 15500

[startup+6.30153 s]
/proc/loadavg: 1.00 1.15 1.15 2/78 8543
/proc/meminfo: memFree=1784280/2055920 swapFree=4148820/4192956
[pid=8542] ppid=8540 vsize=20952 CPUtime=6.29
/proc/8542/stat : 8542 (bsolo3.0.16) R 8540 8542 13299 0 -1 4194304 4666 0 0 0 624 5 0 0 25 0 1 0 279896150 21454848 4630 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8542/statm: 5238 4630 313 324 0 4307 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 20952

[startup+12.7022 s]
/proc/loadavg: 1.00 1.15 1.14 2/78 8543
/proc/meminfo: memFree=1776352/2055920 swapFree=4148820/4192956
[pid=8542] ppid=8540 vsize=28324 CPUtime=12.69
/proc/8542/stat : 8542 (bsolo3.0.16) R 8540 8542 13299 0 -1 4194304 6504 0 0 0 1261 8 0 0 25 0 1 0 279896150 29003776 6468 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8542/statm: 7081 6468 313 324 0 6150 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 28324

[startup+25.5015 s]
/proc/loadavg: 1.00 1.14 1.14 2/78 8543
/proc/meminfo: memFree=1767840/2055920 swapFree=4148820/4192956
[pid=8542] ppid=8540 vsize=36072 CPUtime=25.48
/proc/8542/stat : 8542 (bsolo3.0.16) R 8540 8542 13299 0 -1 4194304 8483 0 0 0 2537 11 0 0 25 0 1 0 279896150 36937728 8411 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8542/statm: 9018 8411 313 324 0 8087 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 36072

[startup+51.1012 s]
/proc/loadavg: 1.00 1.13 1.14 2/78 8543
/proc/meminfo: memFree=1767776/2055920 swapFree=4148820/4192956
[pid=8542] ppid=8540 vsize=36188 CPUtime=51.07
/proc/8542/stat : 8542 (bsolo3.0.16) R 8540 8542 13299 0 -1 4194304 8540 0 0 0 5091 16 0 0 25 0 1 0 279896150 37056512 8432 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8542/statm: 9047 8432 313 324 0 8116 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 36188

[startup+102.305 s]
/proc/loadavg: 1.00 1.11 1.13 2/78 8543
/proc/meminfo: memFree=1761248/2055920 swapFree=4148820/4192956
[pid=8542] ppid=8540 vsize=42660 CPUtime=102.26
/proc/8542/stat : 8542 (bsolo3.0.16) R 8540 8542 13299 0 -1 4194304 10211 0 0 0 10200 26 0 0 25 0 1 0 279896150 43683840 10060 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551012 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8542/statm: 10665 10060 313 324 0 9734 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 42660

[startup+162.302 s]
/proc/loadavg: 1.00 1.08 1.12 2/78 8543
/proc/meminfo: memFree=1748064/2055920 swapFree=4148820/4192956
[pid=8542] ppid=8540 vsize=55716 CPUtime=162.24
/proc/8542/stat : 8542 (bsolo3.0.16) R 8540 8542 13299 0 -1 4194304 13566 0 0 0 16187 37 0 0 25 0 1 0 279896150 57053184 13316 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8542/statm: 13929 13316 313 324 0 12998 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 55716

[startup+222.302 s]
/proc/loadavg: 1.00 1.07 1.10 2/78 8543
/proc/meminfo: memFree=1746784/2055920 swapFree=4148820/4192956
[pid=8542] ppid=8540 vsize=57264 CPUtime=222.22
/proc/8542/stat : 8542 (bsolo3.0.16) R 8540 8542 13299 0 -1 4194304 13943 0 0 0 22178 44 0 0 25 0 1 0 279896150 58638336 13693 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8542/statm: 14316 13693 313 324 0 13385 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 57264

[startup+282.301 s]
/proc/loadavg: 1.00 1.05 1.09 2/84 8609
/proc/meminfo: memFree=1742960/2055920 swapFree=4148820/4192956
[pid=8542] ppid=8540 vsize=59732 CPUtime=282.18
/proc/8542/stat : 8542 (bsolo3.0.16) R 8540 8542 13299 0 -1 4194304 14629 0 0 0 28166 52 0 0 25 0 1 0 279896150 61165568 14322 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551012 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8542/statm: 14933 14322 313 324 0 14002 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 59732

[startup+342.301 s]
/proc/loadavg: 1.00 1.04 1.08 2/78 8741
/proc/meminfo: memFree=1743968/2055920 swapFree=4148820/4192956
[pid=8542] ppid=8540 vsize=59732 CPUtime=342.08
/proc/8542/stat : 8542 (bsolo3.0.16) R 8540 8542 13299 0 -1 4194304 14686 0 0 0 34150 58 0 0 25 0 1 0 279896150 61165568 14322 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8542/statm: 14933 14322 313 324 0 14002 0
Current children cumulated CPU time (s) 342.08
Current children cumulated vsize (KiB) 59732

[startup+402.302 s]
/proc/loadavg: 1.00 1.03 1.08 2/78 8741
/proc/meminfo: memFree=1737760/2055920 swapFree=4148820/4192956
[pid=8542] ppid=8540 vsize=65936 CPUtime=402.06
/proc/8542/stat : 8542 (bsolo3.0.16) R 8540 8542 13299 0 -1 4194304 16284 0 0 0 40142 64 0 0 25 0 1 0 279896150 67518464 15858 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8542/statm: 16484 15858 313 324 0 15553 0
Current children cumulated CPU time (s) 402.06
Current children cumulated vsize (KiB) 65936

[startup+462.302 s]
/proc/loadavg: 1.00 1.02 1.07 2/78 8741
/proc/meminfo: memFree=1735968/2055920 swapFree=4148820/4192956
[pid=8542] ppid=8540 vsize=68004 CPUtime=462.05
/proc/8542/stat : 8542 (bsolo3.0.16) R 8540 8542 13299 0 -1 4194304 16813 0 0 0 46134 71 0 0 25 0 1 0 279896150 69636096 16387 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8542/statm: 17001 16387 313 324 0 16070 0
Current children cumulated CPU time (s) 462.05
Current children cumulated vsize (KiB) 68004

[startup+522.301 s]
/proc/loadavg: 1.00 1.02 1.07 2/78 8741
/proc/meminfo: memFree=1735136/2055920 swapFree=4148820/4192956
[pid=8542] ppid=8540 vsize=68528 CPUtime=522.02
/proc/8542/stat : 8542 (bsolo3.0.16) R 8540 8542 13299 0 -1 4194304 17012 0 0 0 52127 75 0 0 25 0 1 0 279896150 70172672 16524 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8542/statm: 17132 16524 313 324 0 16201 0
Current children cumulated CPU time (s) 522.02
Current children cumulated vsize (KiB) 68528

[startup+582.301 s]
/proc/loadavg: 1.00 1.01 1.06 2/78 8741
/proc/meminfo: memFree=1732640/2055920 swapFree=4148820/4192956
[pid=8542] ppid=8540 vsize=71104 CPUtime=582.01
/proc/8542/stat : 8542 (bsolo3.0.16) R 8540 8542 13299 0 -1 4194304 17701 0 0 0 58120 81 0 0 25 0 1 0 279896150 72810496 17151 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546306 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8542/statm: 17776 17151 313 324 0 16845 0
Current children cumulated CPU time (s) 582.01
Current children cumulated vsize (KiB) 71104

[startup+642.302 s]
/proc/loadavg: 1.00 1.01 1.06 2/78 8741
/proc/meminfo: memFree=1732704/2055920 swapFree=4148820/4192956
[pid=8542] ppid=8540 vsize=71104 CPUtime=642
/proc/8542/stat : 8542 (bsolo3.0.16) R 8540 8542 13299 0 -1 4194304 17701 0 0 0 64110 90 0 0 25 0 1 0 279896150 72810496 17151 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8542/statm: 17776 17151 313 324 0 16845 0
Current children cumulated CPU time (s) 642
Current children cumulated vsize (KiB) 71104


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

/proc/meminfo: memFree=1732832/2055920 swapFree=4148820/4192956
[pid=8542] ppid=8540 vsize=71104 CPUtime=1121.86
/proc/8542/stat : 8542 (bsolo3.0.16) R 8540 8542 13299 0 -1 4194304 17701 0 0 0 112042 144 0 0 25 0 1 0 279896150 72810496 17151 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8542/statm: 17776 17151 313 324 0 16845 0
Current children cumulated CPU time (s) 1121.86
Current children cumulated vsize (KiB) 71104

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 8741
/proc/meminfo: memFree=1732896/2055920 swapFree=4148820/4192956
[pid=8542] ppid=8540 vsize=71104 CPUtime=1181.85
/proc/8542/stat : 8542 (bsolo3.0.16) R 8540 8542 13299 0 -1 4194304 17701 0 0 0 118035 150 0 0 25 0 1 0 279896150 72810496 17151 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8542/statm: 17776 17151 313 324 0 16845 0
Current children cumulated CPU time (s) 1181.85
Current children cumulated vsize (KiB) 71104

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 8741
/proc/meminfo: memFree=1732832/2055920 swapFree=4148820/4192956
[pid=8542] ppid=8540 vsize=71104 CPUtime=1241.83
/proc/8542/stat : 8542 (bsolo3.0.16) R 8540 8542 13299 0 -1 4194304 17701 0 0 0 124027 156 0 0 25 0 1 0 279896150 72810496 17151 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8542/statm: 17776 17151 313 324 0 16845 0
Current children cumulated CPU time (s) 1241.83
Current children cumulated vsize (KiB) 71104

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 8741
/proc/meminfo: memFree=1732832/2055920 swapFree=4148820/4192956
[pid=8542] ppid=8540 vsize=71104 CPUtime=1301.81
/proc/8542/stat : 8542 (bsolo3.0.16) R 8540 8542 13299 0 -1 4194304 17701 0 0 0 130017 164 0 0 25 0 1 0 279896150 72810496 17151 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8542/statm: 17776 17151 313 324 0 16845 0
Current children cumulated CPU time (s) 1301.81
Current children cumulated vsize (KiB) 71104

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 8741
/proc/meminfo: memFree=1732768/2055920 swapFree=4148820/4192956
[pid=8542] ppid=8540 vsize=71104 CPUtime=1361.8
/proc/8542/stat : 8542 (bsolo3.0.16) R 8540 8542 13299 0 -1 4194304 17701 0 0 0 136008 172 0 0 25 0 1 0 279896150 72810496 17151 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8542/statm: 17776 17151 313 324 0 16845 0
Current children cumulated CPU time (s) 1361.8
Current children cumulated vsize (KiB) 71104

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 8741
/proc/meminfo: memFree=1732832/2055920 swapFree=4148820/4192956
[pid=8542] ppid=8540 vsize=71104 CPUtime=1421.78
/proc/8542/stat : 8542 (bsolo3.0.16) R 8540 8542 13299 0 -1 4194304 17701 0 0 0 142002 176 0 0 25 0 1 0 279896150 72810496 17151 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8542/statm: 17776 17151 313 324 0 16845 0
Current children cumulated CPU time (s) 1421.78
Current children cumulated vsize (KiB) 71104

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 8741
/proc/meminfo: memFree=1732832/2055920 swapFree=4148820/4192956
[pid=8542] ppid=8540 vsize=71104 CPUtime=1481.76
/proc/8542/stat : 8542 (bsolo3.0.16) R 8540 8542 13299 0 -1 4194304 17701 0 0 0 147992 184 0 0 25 0 1 0 279896150 72810496 17151 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8542/statm: 17776 17151 313 324 0 16845 0
Current children cumulated CPU time (s) 1481.76
Current children cumulated vsize (KiB) 71104

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 8741
/proc/meminfo: memFree=1732832/2055920 swapFree=4148820/4192956
[pid=8542] ppid=8540 vsize=71104 CPUtime=1541.75
/proc/8542/stat : 8542 (bsolo3.0.16) R 8540 8542 13299 0 -1 4194304 17701 0 0 0 153985 190 0 0 25 0 1 0 279896150 72810496 17151 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8542/statm: 17776 17151 313 324 0 16845 0
Current children cumulated CPU time (s) 1541.75
Current children cumulated vsize (KiB) 71104

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 8741
/proc/meminfo: memFree=1732832/2055920 swapFree=4148820/4192956
[pid=8542] ppid=8540 vsize=71104 CPUtime=1601.73
/proc/8542/stat : 8542 (bsolo3.0.16) R 8540 8542 13299 0 -1 4194304 17701 0 0 0 159977 196 0 0 25 0 1 0 279896150 72810496 17151 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8542/statm: 17776 17151 313 324 0 16845 0
Current children cumulated CPU time (s) 1601.73
Current children cumulated vsize (KiB) 71104

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 8741
/proc/meminfo: memFree=1732832/2055920 swapFree=4148820/4192956
[pid=8542] ppid=8540 vsize=71104 CPUtime=1661.71
/proc/8542/stat : 8542 (bsolo3.0.16) R 8540 8542 13299 0 -1 4194304 17701 0 0 0 165970 201 0 0 25 0 1 0 279896150 72810496 17151 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8542/statm: 17776 17151 313 324 0 16845 0
Current children cumulated CPU time (s) 1661.71
Current children cumulated vsize (KiB) 71104

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 8741
/proc/meminfo: memFree=1732832/2055920 swapFree=4148820/4192956
[pid=8542] ppid=8540 vsize=71104 CPUtime=1721.69
/proc/8542/stat : 8542 (bsolo3.0.16) R 8540 8542 13299 0 -1 4194304 17701 0 0 0 171964 205 0 0 25 0 1 0 279896150 72810496 17151 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8542/statm: 17776 17151 313 324 0 16845 0
Current children cumulated CPU time (s) 1721.69
Current children cumulated vsize (KiB) 71104

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 8741
/proc/meminfo: memFree=1732832/2055920 swapFree=4148820/4192956
[pid=8542] ppid=8540 vsize=71104 CPUtime=1781.68
/proc/8542/stat : 8542 (bsolo3.0.16) R 8540 8542 13299 0 -1 4194304 17701 0 0 0 177955 213 0 0 25 0 1 0 279896150 72810496 17151 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8542/statm: 17776 17151 313 324 0 16845 0
Current children cumulated CPU time (s) 1781.68
Current children cumulated vsize (KiB) 71104

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

[startup+1791.91 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 8741
/proc/meminfo: memFree=1732832/2055920 swapFree=4148820/4192956
[pid=8542] ppid=8540 vsize=71104 CPUtime=1791.28
/proc/8542/stat : 8542 (bsolo3.0.16) R 8540 8542 13299 0 -1 4194304 17701 0 0 0 178914 214 0 0 25 0 1 0 279896150 72810496 17151 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8542/statm: 17776 17151 313 324 0 16845 0
Current children cumulated CPU time (s) 1791.28
Current children cumulated vsize (KiB) 71104

[startup+1795.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 8741
/proc/meminfo: memFree=1732832/2055920 swapFree=4148820/4192956
[pid=8542] ppid=8540 vsize=71104 CPUtime=1794.48
/proc/8542/stat : 8542 (bsolo3.0.16) R 8540 8542 13299 0 -1 4194304 17701 0 0 0 179234 214 0 0 25 0 1 0 279896150 72810496 17151 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8542/statm: 17776 17151 313 324 0 16845 0
Current children cumulated CPU time (s) 1794.48
Current children cumulated vsize (KiB) 71104

[startup+1798.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 8741
/proc/meminfo: memFree=1732832/2055920 swapFree=4148820/4192956
[pid=8542] ppid=8540 vsize=71108 CPUtime=1797.67
/proc/8542/stat : 8542 (bsolo3.0.16) R 8540 8542 13299 0 -1 4194304 17702 0 0 0 179553 214 0 0 25 0 1 0 279896150 72814592 17152 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8542/statm: 17777 17152 313 324 0 16846 0
Current children cumulated CPU time (s) 1797.67
Current children cumulated vsize (KiB) 71108

[startup+1799.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 8741
/proc/meminfo: memFree=1732832/2055920 swapFree=4148820/4192956
[pid=8542] ppid=8540 vsize=71112 CPUtime=1799.27
/proc/8542/stat : 8542 (bsolo3.0.16) R 8540 8542 13299 0 -1 4194304 17703 0 0 0 179712 215 0 0 25 0 1 0 279896150 72818688 17153 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8542/statm: 17778 17153 313 324 0 16847 0
Current children cumulated CPU time (s) 1799.27
Current children cumulated vsize (KiB) 71112

[startup+1800.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 8741
/proc/meminfo: memFree=1732832/2055920 swapFree=4148820/4192956
[pid=8542] ppid=8540 vsize=71112 CPUtime=1799.67
/proc/8542/stat : 8542 (bsolo3.0.16) R 8540 8542 13299 0 -1 4194304 17703 0 0 0 179752 215 0 0 25 0 1 0 279896150 72818688 17153 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550983 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8542/statm: 17778 17153 313 324 0 16847 0
Current children cumulated CPU time (s) 1799.67
Current children cumulated vsize (KiB) 71112

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 8741
/proc/meminfo: memFree=1732832/2055920 swapFree=4148820/4192956
[pid=8542] ppid=8540 vsize=71112 CPUtime=1799.87
/proc/8542/stat : 8542 (bsolo3.0.16) R 8540 8542 13299 0 -1 4194304 17703 0 0 0 179772 215 0 0 25 0 1 0 279896150 72818688 17153 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8542/statm: 17778 17153 313 324 0 16847 0
Current children cumulated CPU time (s) 1799.87
Current children cumulated vsize (KiB) 71112

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 8741
/proc/meminfo: memFree=1732832/2055920 swapFree=4148820/4192956
[pid=8542] ppid=8540 vsize=71112 CPUtime=1799.98
/proc/8542/stat : 8542 (bsolo3.0.16) R 8540 8542 13299 0 -1 4194304 17703 0 0 0 179783 215 0 0 25 0 1 0 279896150 72818688 17153 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8542/statm: 17778 17153 313 324 0 16847 0
Current children cumulated CPU time (s) 1799.98
Current children cumulated vsize (KiB) 71112

Child status: 0
Real time (s): 1800.64
CPU time (s): 1800.01
CPU user time (s): 1797.85
CPU system time (s): 2.16567
CPU usage (%): 99.9655
Max. virtual memory (cumulated for all children) (KiB): 71352

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.85
system time used= 2.16567
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17704
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= 11
involuntary context switches= 37428

runsolver used 1.37079 second user time and 3.88941 second system time

The end

Launcher Data (download as text)

Begin job on node2 on Tue May  1 16:56:24 UTC 2007

IDJOB= 455175
IDBENCH= 48246
IDSOLVER= 163
FILE ID= node2/455175-1178038583

PBS_JOBID= 4728445

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

META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482
MD5SUM BENCH=  138d1c5c8dee06528dd1cfb072975c49

RANDOM SEED= 906881981

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node2.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:       1800952 kB
Buffers:         85936 kB
Cached:          74044 kB
SwapCached:      12060 kB
Active:         140020 kB
Inactive:        50176 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1800952 kB
SwapTotal:     4192956 kB
SwapFree:      4148820 kB
Dirty:            6740 kB
Writeback:           0 kB
Mapped:          35348 kB
Slab:            50200 kB
Committed_AS: 10626060 kB
PageTables:       1872 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 node2 on Tue May  1 17:26:24 UTC 2007