Trace number 3462807

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. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock 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.2SAT-26 1798 1797.96

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_100_10_3.opb
MD5SUM737bdf32fd69c002d569e68c523af4bf
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-26
Best CPU time to get the best result obtained on this benchmark2.92155
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -26
Optimality of the best value was proved YES
Number of variables100
Total number of constraints100
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints100
Minimum length of a constraint10
Maximum length of a constraint18
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 100
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)1244
Sum of products size (including duplicates)2488
Number of different products622
Sum of products size1244

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c bsolo beta version 3.2 - 23/05/2010 : 1630 GMT
0.00/0.00	c Developed by Vasco Manquinho and José Santos 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 Learning Strategy: Cardinality Constraint Learning
0.00/0.00	c Time Limit set to 1800
0.00/0.00	c Instance file HOME/instance-3462807-1307183193.opb
0.00/0.00	c File size is 14952 bytes.
0.00/0.00	c Highest Coefficient sum: 100
0.00/0.00	c Parsing was ok!!
0.00/0.00	c Total parsing time: 0.002 s
0.00/0.00	c Var: 1344 Constr: 2688 1344/100/1244 Lit: 9952 Watch. Lit: 7464
0.00/0.00	c Obj. Vars: 100 (7.44048 % of total variables)
0.00/0.01	c Pre-processing Time: 0.008 s
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c        0    100      622     1866    3     1244     207      0      0 0.01
0.00/0.01	c Switching off lower bounding mode.
0.00/0.01	o -21
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c        0    100      623     1966    3     1267     940      1      0 0.01
0.00/0.01	o -23
9.29/9.37	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
9.29/9.37	c        2    100      626     2218    3     1296    1007      4    250 0.01
9.29/9.37	c      102    100      726     9547   13     1496    1108    104   5100 0.02
9.29/9.37	c      352    100      976    27918   28     1996    1219    354   6901 0.05
9.29/9.37	c      827    100     1451    63051   43     2946    1341    829   7129 0.12
9.29/9.37	c     1642    100     2267   123070   54     4578    1476   1645   7139 0.23
9.29/9.37	c     2962    100     1532    67440   44     3087    1624    910   6342 0.47
9.29/9.37	c     5043    100     1509    66319   43     3041    1787    887   6343 0.80
9.29/9.37	c     8268    100     2531   140224   55     5106    1966   1909   6345 1.30
9.29/9.37	c    13205    100     2887   165619   57     5797    2163   2265   5921 2.23
9.29/9.37	c    20712    100     3215   191621   59     6453    2380   2593   5449 3.80
9.29/9.37	c    32074    100     2080   107412   51     4183    2619   1458   5095 6.29
9.29/9.37	o -24
133.89/133.90	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
133.89/133.90	c    45307    100     2233   119453   53     4513    1040   1611   4835 9.37
133.89/133.90	c    45407    100     2333   126699   54     4713    1145   1711   4839 9.38
133.89/133.90	c    45657    100     2583   144786   56     5213    1260   1961   4847 9.42
133.89/133.90	c    46132    100     3059   179038   58     6186    1387   2437   4844 9.52
133.89/133.90	c    46945    100     1863    91243   48     3750    1526   1241   4866 9.65
133.89/133.90	c    48265    100     3194   187135   58     6412    1679   2572   4892 9.87
133.89/133.90	c    50346    100     3128   180955   57     6302    1847   2506   4917 10.24
133.89/133.90	c    53569    100     1881    91504   48     3786    2032   1259   4938 10.85
133.89/133.90	c    58505    100     2162   112809   52     4348    2236   1540   4976 11.76
133.89/133.90	c    66011    100     2387   127680   53     4819    2460   1765   4950 13.34
133.89/133.90	c    77374    100     3590   213180   59     7204    2707   2968   4987 15.51
133.89/133.90	c    94518    100     2111   107239   50     4246    2978   1489   4856 19.46
133.89/133.90	c   120338    100     2755   154811   56     5534    3276   2133   4854 24.79
133.89/133.90	c   159170    100     3393   197334   58     6810    3604   2771   4643 34.28
133.89/133.90	c   217523    100     2781   155991   56     5608    3965   2159   4440 48.99
133.89/133.90	c   305155    100     5068   320725   63    10160    4362   4446   4345 70.23
133.89/133.90	c   436709    100     4308   264901   61     8640    4799   3686   4208 103.78
133.89/133.90	o -25
1318.22/1318.24	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1318.22/1318.24	c   543448    100     3841   231171   60     7752    1073   3219   4058 133.90
1318.22/1318.24	c   543549    100     1261    46754   37     2547    1181    639   4058 133.92
1318.22/1318.24	c   543799    100     1511    64554   42     3047    1300    889   4059 133.95
1318.22/1318.24	c   544275    100     1988    98565   49     4001    1431   1366   4061 134.02
1318.22/1318.24	c   545088    100     2803   156766   55     5631    1575   2181   4063 134.15
1318.22/1318.24	c   546411    100     2020   101287   50     4065    1733   1398   4067 134.34
1318.22/1318.24	c   548493    100     1923    93657   48     3871    1907   1301   4072 134.69
1318.22/1318.24	c   551717    100     2888   163075   56     5801    2098   2266   4079 135.24
1318.22/1318.24	c   556653    100     3112   174871   56     6288    2308   2490   4087 136.18
1318.22/1318.24	c   564159    100     3234   186553   57     6493    2539   2612   4099 137.62
1318.22/1318.24	c   575521    100     4309   262473   60     8643    2793   3687   4114 139.88
1318.22/1318.24	c   592666    100     2567   139230   54     5159    3073   1945   4129 143.52
1318.22/1318.24	c   618485    100     2879   159941   55     5783    3381   2257   4147 149.12
1318.22/1318.24	c   657317    100     2804   156294   55     5633    3720   2182   4162 157.91
1318.22/1318.24	c   715670    100     4268   260103   60     8561    4093   3646   4179 171.23
1318.22/1318.24	c   803302    100     4850   300306   61     9748    4503   4228   4170 192.62
1318.22/1318.24	c   934855    100     5037   310266   61    10121    4954   4415   4114 227.23
1318.22/1318.24	c  1132288    100     6217   387394   62    12502    5450   5595   4026 281.19
1318.22/1318.24	c  1428540    100     4879   303052   62     9783    5996   4257   3919 364.48
1318.22/1318.24	c  1873023    100     7130   455169   63    14308    6596   6508   3745 500.13
1318.22/1318.24	c  2539852    100     4056   237303   58     8160    7256   3434   3594 706.68
1318.22/1318.24	c  3540198    100     6228   399187   64    12481    7982   5606   3397 1042.12
1318.22/1318.24	o -26
1797.93/1797.96	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.93/1797.96	c  4369760    100     6789   425752   62    13651    1107   6167   3314 1318.27
1797.93/1797.96	c  4369860    100     1277    46900   36     2580    1218    655   3314 1318.30
1797.93/1797.96	c  4370111    100     1528    64558   42     3082    1340    906   3314 1318.33
1797.93/1797.96	c  4370587    100     2004    98028   48     4034    1475   1382   3315 1318.40
1797.93/1797.96	c  4371401    100     2820   155386   55     5666    1623   2198   3315 1318.51
1797.93/1797.96	c  4372722    100     2024    99981   49     4074    1786   1402   3315 1318.72
1797.93/1797.96	c  4374803    100     1914    89229   46     3854    1965   1292   3316 1319.08
1797.93/1797.96	c  4378026    100     2843   157854   55     5712    2162   2221   3317 1319.62
1797.93/1797.96	c  4382963    100     3012   167205   55     6050    2379   2390   3319 1320.54
1797.93/1797.96	c  4390470    100     3018   168873   55     6086    2617   2396   3320 1322.18
1797.93/1797.96	c  4401831    100     3923   232055   59     7872    2879   3301   3322 1324.66
1797.93/1797.96	c  4418975    100     4603   279390   60     9232    3167   3981   3326 1328.36
1797.93/1797.96	c  4444794    100     4464   270803   60     8954    3484   3842   3331 1334.02
1797.93/1797.96	c  4483626    100     3738   219662   58     7502    3833   3116   3339 1342.55
1797.93/1797.96	c  4541978    100     4210   248378   58     8485    4217   3588   3349 1356.08
1797.93/1797.96	c  4629611    100     3195   181333   56     6416    4639   2573   3358 1378.37
1797.93/1797.96	c  4761163    100     4526   272241   60     9078    5103   3904   3373 1411.49
1797.93/1797.96	c  4958595    100     5675   355034   62    11376    5614   5053   3385 1464.76
1797.93/1797.96	c  5254848    100     6516   412815   63    13058    6176   5894   3389 1550.45
1797.93/1797.96	c  5699330    100     3848   225040   58     7722    6794   3226   3398 1677.02
1797.93/1797.96	c Resources Exceeded
1797.93/1797.96	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 -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 -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 -x82 x83 -x84 x85 x86 x87 -x88 -x89 -x90 -x91 x92 x93 x94 -x95 -x96 -x97 -x98 x99 x100 
1797.93/1797.96	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.93/1797.96	c   71  6100473 398749  6569686     6224   385197   5602   3392 1798.00
1797.93/1797.96	c Objective: -26
1797.93/1797.96	s SATISFIABLE
1797.93/1797.96	c Total time: 1798 s

Verifier Data 

OK	-26

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3462807-1307183193/watcher-3462807-1307183193 -o /tmp/evaluation-result-3462807-1307183193/solver-3462807-1307183193 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3462807-1307183193.opb 

running on 4 cores: 0,2,4,6

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): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.02 2.04 2.00 3/527 20528
/proc/meminfo: memFree=24568572/32951124 swapFree=56241860/67111528
[pid=20528] ppid=20526 vsize=11440 CPUtime=0.01 cores=0,2,4,6
/proc/20528/stat : 20528 (bsolo) R 20526 20528 18760 0 -1 4202496 465 0 0 0 1 0 0 0 25 0 1 0 908550007 11714560 416 33554432000 134512640 137138936 4290393584 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/20528/statm: 2860 416 192 642 0 2216 0

[startup+0.038546 s]
/proc/loadavg: 2.02 2.04 2.00 3/527 20528
/proc/meminfo: memFree=24568572/32951124 swapFree=56241860/67111528
[pid=20528] ppid=20526 vsize=11556 CPUtime=0.03 cores=0,2,4,6
/proc/20528/stat : 20528 (bsolo) R 20526 20528 18760 0 -1 4202496 490 0 0 0 3 0 0 0 25 0 1 0 908550007 11833344 441 33554432000 134512640 137138936 4290393584 18446744073709551615 134551466 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/20528/statm: 2889 441 192 642 0 2245 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 11556

[startup+0.100537 s]
/proc/loadavg: 2.02 2.04 2.00 3/527 20528
/proc/meminfo: memFree=24568572/32951124 swapFree=56241860/67111528
[pid=20528] ppid=20526 vsize=11904 CPUtime=0.09 cores=0,2,4,6
/proc/20528/stat : 20528 (bsolo) R 20526 20528 18760 0 -1 4202496 590 0 0 0 9 0 0 0 25 0 1 0 908550007 12189696 541 33554432000 134512640 137138936 4290393584 18446744073709551615 136504020 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/20528/statm: 2976 541 192 642 0 2332 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11904

[startup+0.300475 s]
/proc/loadavg: 2.02 2.04 2.00 3/527 20528
/proc/meminfo: memFree=24568572/32951124 swapFree=56241860/67111528
[pid=20528] ppid=20526 vsize=13180 CPUtime=0.29 cores=0,2,4,6
/proc/20528/stat : 20528 (bsolo) R 20526 20528 18760 0 -1 4202496 901 0 0 0 29 0 0 0 25 0 1 0 908550007 13496320 852 33554432000 134512640 137138936 4290393584 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/20528/statm: 3295 852 192 642 0 2651 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13180

[startup+0.700407 s]
/proc/loadavg: 2.02 2.04 2.00 3/527 20528
/proc/meminfo: memFree=24568572/32951124 swapFree=56241860/67111528
[pid=20528] ppid=20526 vsize=13896 CPUtime=0.69 cores=0,2,4,6
/proc/20528/stat : 20528 (bsolo) R 20526 20528 18760 0 -1 4202496 1091 0 0 0 69 0 0 0 25 0 1 0 908550007 14229504 1042 33554432000 134512640 137138936 4290393584 18446744073709551615 134599706 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/20528/statm: 3474 1042 192 642 0 2830 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13896

[startup+1.50029 s]
/proc/loadavg: 2.02 2.04 2.00 3/528 20529
/proc/meminfo: memFree=24564224/32951124 swapFree=56241860/67111528
[pid=20528] ppid=20526 vsize=14248 CPUtime=1.49 cores=0,2,4,6
/proc/20528/stat : 20528 (bsolo) R 20526 20528 18760 0 -1 4202496 1171 0 0 0 149 0 0 0 25 0 1 0 908550007 14589952 1122 33554432000 134512640 137138936 4290393584 18446744073709551615 136296960 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/20528/statm: 3562 1122 192 642 0 2918 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14248

[startup+3.10102 s]
/proc/loadavg: 2.02 2.04 2.00 3/528 20529
/proc/meminfo: memFree=24561496/32951124 swapFree=56241860/67111528
[pid=20528] ppid=20526 vsize=14616 CPUtime=3.09 cores=0,2,4,6
/proc/20528/stat : 20528 (bsolo) R 20526 20528 18760 0 -1 4202496 1266 0 0 0 308 1 0 0 25 0 1 0 908550007 14966784 1217 33554432000 134512640 137138936 4290393584 18446744073709551615 134542307 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/20528/statm: 3654 1217 192 642 0 3010 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 14616

[startup+6.30047 s]
/proc/loadavg: 2.02 2.04 2.00 3/528 20529
/proc/meminfo: memFree=24559688/32951124 swapFree=56241860/67111528
[pid=20528] ppid=20526 vsize=14848 CPUtime=6.28 cores=0,2,4,6
/proc/20528/stat : 20528 (bsolo) R 20526 20528 18760 0 -1 4202496 1327 0 0 0 627 1 0 0 25 0 1 0 908550007 15204352 1278 33554432000 134512640 137138936 4290393584 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/20528/statm: 3712 1278 192 642 0 3068 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 14848

[startup+12.7003 s]
/proc/loadavg: 2.02 2.04 2.00 3/528 20529
/proc/meminfo: memFree=24555372/32951124 swapFree=56241860/67111528
[pid=20528] ppid=20526 vsize=15088 CPUtime=12.68 cores=0,2,4,6
/proc/20528/stat : 20528 (bsolo) R 20526 20528 18760 0 -1 4202496 1388 0 0 0 1265 3 0 0 25 0 1 0 908550007 15450112 1339 33554432000 134512640 137138936 4290393584 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/20528/statm: 3772 1339 192 642 0 3128 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 15088

[startup+25.5011 s]
/proc/loadavg: 2.02 2.04 2.00 3/528 20530
/proc/meminfo: memFree=24550032/32951124 swapFree=56241860/67111528
[pid=20528] ppid=20526 vsize=15792 CPUtime=25.49 cores=0,2,4,6
/proc/20528/stat : 20528 (bsolo) R 20526 20528 18760 0 -1 4202496 1548 0 0 0 2541 8 0 0 25 0 1 0 908550007 16171008 1499 33554432000 134512640 137138936 4290393584 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/20528/statm: 3948 1499 192 642 0 3304 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 15792

[startup+51.1006 s]
/proc/loadavg: 2.01 2.03 2.00 3/528 20530
/proc/meminfo: memFree=24538720/32951124 swapFree=56241860/67111528
[pid=20528] ppid=20526 vsize=16484 CPUtime=51.09 cores=0,2,4,6
/proc/20528/stat : 20528 (bsolo) R 20526 20528 18760 0 -1 4202496 1725 0 0 0 5095 14 0 0 25 0 1 0 908550007 16879616 1676 33554432000 134512640 137138936 4290393584 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/20528/statm: 4121 1676 192 642 0 3477 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 16484

[startup+102.32 s]
/proc/loadavg: 2.00 2.03 2.00 3/528 20532
/proc/meminfo: memFree=24521956/32951124 swapFree=56241860/67111528
[pid=20528] ppid=20526 vsize=16832 CPUtime=102.31 cores=0,2,4,6
/proc/20528/stat : 20528 (bsolo) R 20526 20528 18760 0 -1 4202496 1831 0 0 0 10201 30 0 0 25 0 1 0 908550007 17235968 1782 33554432000 134512640 137138936 4290393584 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/20528/statm: 4208 1782 192 642 0 3564 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 16832

[startup+162.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/528 20533
/proc/meminfo: memFree=24500984/32951124 swapFree=56241860/67111528
[pid=20528] ppid=20526 vsize=17308 CPUtime=162.29 cores=0,2,4,6
/proc/20528/stat : 20528 (bsolo) R 20526 20528 18760 0 -1 4202496 1947 0 0 0 16181 48 0 0 25 0 1 0 908550007 17723392 1898 33554432000 134512640 137138936 4290393584 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/20528/statm: 4327 1898 192 642 0 3683 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 17308

[startup+222.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/528 20535
/proc/meminfo: memFree=24482852/32951124 swapFree=56241860/67111528
[pid=20528] ppid=20526 vsize=17308 CPUtime=222.3 cores=0,2,4,6
/proc/20528/stat : 20528 (bsolo) R 20526 20528 18760 0 -1 4202496 1947 0 0 0 22164 66 0 0 25 0 1 0 908550007 17723392 1898 33554432000 134512640 137138936 4290393584 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/20528/statm: 4327 1898 192 642 0 3683 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 17308

[startup+282.301 s]
/proc/loadavg: 2.07 2.04 2.01 3/528 20536
/proc/meminfo: memFree=24467444/32951124 swapFree=56241860/67111528
[pid=20528] ppid=20526 vsize=17768 CPUtime=282.3 cores=0,2,4,6
/proc/20528/stat : 20528 (bsolo) R 20526 20528 18760 0 -1 4202496 2047 0 0 0 28150 80 0 0 25 0 1 0 908550007 18194432 1998 33554432000 134512640 137138936 4290393584 18446744073709551615 136505180 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/20528/statm: 4442 1998 192 642 0 3798 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 17768

[startup+342.301 s]
/proc/loadavg: 2.09 2.05 2.01 3/528 20538
/proc/meminfo: memFree=24451424/32951124 swapFree=56241860/67111528
[pid=20528] ppid=20526 vsize=17884 CPUtime=342.29 cores=0,2,4,6
/proc/20528/stat : 20528 (bsolo) R 20526 20528 18760 0 -1 4202496 2093 0 0 0 34135 94 0 0 25 0 1 0 908550007 18313216 2044 33554432000 134512640 137138936 4290393584 18446744073709551615 134606628 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/20528/statm: 4471 2044 192 642 0 3827 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 17884

[startup+402.301 s]
/proc/loadavg: 2.19 2.08 2.02 3/528 20540
/proc/meminfo: memFree=24434172/32951124 swapFree=56241860/67111528
[pid=20528] ppid=20526 vsize=18476 CPUtime=402.3 cores=0,2,4,6
/proc/20528/stat : 20528 (bsolo) R 20526 20528 18760 0 -1 4202496 2234 0 0 0 40123 107 0 0 25 0 1 0 908550007 18919424 2185 33554432000 134512640 137138936 4290393584 18446744073709551615 134603210 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/20528/statm: 4619 2185 192 642 0 3975 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 18476

[startup+462.301 s]
/proc/loadavg: 2.14 2.08 2.02 3/528 20541
/proc/meminfo: memFree=24430784/32951124 swapFree=56241860/67111528
[pid=20528] ppid=20526 vsize=18476 CPUtime=462.3 cores=0,2,4,6
/proc/20528/stat : 20528 (bsolo) R 20526 20528 18760 0 -1 4202496 2234 0 0 0 46110 120 0 0 25 0 1 0 908550007 18919424 2185 33554432000 134512640 137138936 4290393584 18446744073709551615 134542448 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/20528/statm: 4619 2185 192 642 0 3975 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 18476

[startup+522.301 s]
/proc/loadavg: 2.06 2.06 2.01 3/528 20543
/proc/meminfo: memFree=24430628/32951124 swapFree=56241860/67111528
[pid=20528] ppid=20526 vsize=19112 CPUtime=522.3 cores=0,2,4,6
/proc/20528/stat : 20528 (bsolo) R 20526 20528 18760 0 -1 4202496 2383 0 0 0 52097 133 0 0 25 0 1 0 908550007 19570688 2334 33554432000 134512640 137138936 4290393584 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/20528/statm: 4778 2334 192 642 0 4134 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 19112

[startup+582.301 s]
/proc/loadavg: 2.02 2.05 2.00 3/528 20544
/proc/meminfo: memFree=24430596/32951124 swapFree=56241860/67111528
[pid=20528] ppid=20526 vsize=19076 CPUtime=582.3 cores=0,2,4,6
/proc/20528/stat : 20528 (bsolo) R 20526 20528 18760 0 -1 4202496 2384 0 0 0 58082 148 0 0 25 0 1 0 908550007 19533824 2335 33554432000 134512640 137138936 4290393584 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/20528/statm: 4769 2335 192 642 0 4125 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 19076

[startup+642.301 s]

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

/proc/meminfo: memFree=24429668/32951124 swapFree=56241860/67111528
[pid=20528] ppid=20526 vsize=20464 CPUtime=1062.31 cores=0,2,4,6
/proc/20528/stat : 20528 (bsolo) R 20526 20528 18760 0 -1 4202496 2737 0 0 0 105973 258 0 0 25 0 1 0 908550007 20955136 2688 33554432000 134512640 137138936 4290393584 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/20528/statm: 5116 2688 192 642 0 4472 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 20464

[startup+1122.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/528 20562
/proc/meminfo: memFree=24429012/32951124 swapFree=56241860/67111528
[pid=20528] ppid=20526 vsize=20464 CPUtime=1122.31 cores=0,2,4,6
/proc/20528/stat : 20528 (bsolo) R 20526 20528 18760 0 -1 4202496 2739 0 0 0 111962 269 0 0 25 0 1 0 908550007 20955136 2690 33554432000 134512640 137138936 4290393584 18446744073709551615 134603261 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/20528/statm: 5116 2690 192 642 0 4472 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 20464

[startup+1182.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/528 20563
/proc/meminfo: memFree=24428232/32951124 swapFree=56241860/67111528
[pid=20528] ppid=20526 vsize=20560 CPUtime=1182.31 cores=0,2,4,6
/proc/20528/stat : 20528 (bsolo) R 20526 20528 18760 0 -1 4202496 2744 0 0 0 117946 285 0 0 25 0 1 0 908550007 21053440 2695 33554432000 134512640 137138936 4290393584 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/20528/statm: 5140 2695 192 642 0 4496 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 20560

[startup+1242.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/528 20619
/proc/meminfo: memFree=24859532/32951124 swapFree=56241860/67111528
[pid=20528] ppid=20526 vsize=20524 CPUtime=1242.32 cores=0,2,4,6
/proc/20528/stat : 20528 (bsolo) R 20526 20528 18760 0 -1 4202496 2744 0 0 0 123933 299 0 0 25 0 1 0 908550007 21016576 2695 33554432000 134512640 137138936 4290393584 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/20528/statm: 5131 2695 192 642 0 4487 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 20524

[startup+1302.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/528 20621
/proc/meminfo: memFree=24647816/32951124 swapFree=56241860/67111528
[pid=20528] ppid=20526 vsize=20512 CPUtime=1302.34 cores=0,2,4,6
/proc/20528/stat : 20528 (bsolo) R 20526 20528 18760 0 -1 4202496 2744 0 0 0 129921 313 0 0 25 0 1 0 908550007 21004288 2695 33554432000 134512640 137138936 4290393584 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/20528/statm: 5128 2695 192 642 0 4484 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 20512

[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/528 20622
/proc/meminfo: memFree=24442444/32951124 swapFree=56241860/67111528
[pid=20528] ppid=20526 vsize=20196 CPUtime=1362.32 cores=0,2,4,6
/proc/20528/stat : 20528 (bsolo) R 20526 20528 18760 0 -1 4202496 2744 0 0 0 135905 327 0 0 25 0 1 0 908550007 20680704 2626 33554432000 134512640 137138936 4290393584 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/20528/statm: 5049 2626 192 642 0 4405 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 20196

[startup+1422.32 s]
/proc/loadavg: 2.13 2.04 2.01 3/528 20624
/proc/meminfo: memFree=24312940/32951124 swapFree=56241860/67111528
[pid=20528] ppid=20526 vsize=20168 CPUtime=1422.34 cores=0,2,4,6
/proc/20528/stat : 20528 (bsolo) R 20526 20528 18760 0 -1 4202496 2744 0 0 0 141888 346 0 0 25 0 1 0 908550007 20652032 2619 33554432000 134512640 137138936 4290393584 18446744073709551615 134542301 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/20528/statm: 5042 2619 192 642 0 4398 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 20168

[startup+1482.3 s]
/proc/loadavg: 2.21 2.07 2.02 3/528 20625
/proc/meminfo: memFree=24225860/32951124 swapFree=56241860/67111528
[pid=20528] ppid=20526 vsize=20168 CPUtime=1482.33 cores=0,2,4,6
/proc/20528/stat : 20528 (bsolo) R 20526 20528 18760 0 -1 4202496 2744 0 0 0 147873 360 0 0 25 0 1 0 908550007 20652032 2619 33554432000 134512640 137138936 4290393584 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/20528/statm: 5042 2619 192 642 0 4398 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 20168

[startup+1542.3 s]
/proc/loadavg: 2.16 2.09 2.02 3/528 20627
/proc/meminfo: memFree=24146976/32951124 swapFree=56241860/67111528
[pid=20528] ppid=20526 vsize=20168 CPUtime=1542.33 cores=0,2,4,6
/proc/20528/stat : 20528 (bsolo) R 20526 20528 18760 0 -1 4202496 2744 0 0 0 153857 376 0 0 25 0 1 0 908550007 20652032 2619 33554432000 134512640 137138936 4290393584 18446744073709551615 134543082 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/20528/statm: 5042 2619 192 642 0 4398 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 20168

[startup+1602.3 s]
/proc/loadavg: 2.06 2.07 2.02 3/528 20629
/proc/meminfo: memFree=24090892/32951124 swapFree=56241860/67111528
[pid=20528] ppid=20526 vsize=20100 CPUtime=1602.33 cores=0,2,4,6
/proc/20528/stat : 20528 (bsolo) R 20526 20528 18760 0 -1 4202496 2744 0 0 0 159844 389 0 0 25 0 1 0 908550007 20582400 2602 33554432000 134512640 137138936 4290393584 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/20528/statm: 5025 2602 192 642 0 4381 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 20100

[startup+1662.3 s]
/proc/loadavg: 2.02 2.05 2.01 3/528 20630
/proc/meminfo: memFree=23993384/32951124 swapFree=56241860/67111528
[pid=20528] ppid=20526 vsize=20008 CPUtime=1662.32 cores=0,2,4,6
/proc/20528/stat : 20528 (bsolo) R 20526 20528 18760 0 -1 4202496 2744 0 0 0 165826 406 0 0 25 0 1 0 908550007 20488192 2579 33554432000 134512640 137138936 4290393584 18446744073709551615 134575873 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/20528/statm: 5002 2579 192 642 0 4358 0
Current children cumulated CPU time (s) 1662.32
Current children cumulated vsize (KiB) 20008

[startup+1722.3 s]
/proc/loadavg: 2.00 2.04 2.01 3/528 20632
/proc/meminfo: memFree=23901956/32951124 swapFree=56241860/67111528
[pid=20528] ppid=20526 vsize=19944 CPUtime=1722.33 cores=0,2,4,6
/proc/20528/stat : 20528 (bsolo) R 20526 20528 18760 0 -1 4202496 2744 0 0 0 171811 422 0 0 25 0 1 0 908550007 20422656 2563 33554432000 134512640 137138936 4290393584 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/20528/statm: 4986 2563 192 642 0 4342 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 19944

[startup+1782.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/528 20633
/proc/meminfo: memFree=23864464/32951124 swapFree=56241860/67111528
[pid=20528] ppid=20526 vsize=19944 CPUtime=1782.33 cores=0,2,4,6
/proc/20528/stat : 20528 (bsolo) R 20526 20528 18760 0 -1 4202496 2744 0 0 0 177796 437 0 0 25 0 1 0 908550007 20422656 2563 33554432000 134512640 137138936 4290393584 18446744073709551615 134542776 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/20528/statm: 4986 2563 192 642 0 4342 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 19944

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

[startup+1785.5 s]
/proc/loadavg: 2.00 2.03 2.00 3/528 20634
/proc/meminfo: memFree=23865580/32951124 swapFree=56241860/67111528
[pid=20528] ppid=20526 vsize=19944 CPUtime=1785.53 cores=0,2,4,6
/proc/20528/stat : 20528 (bsolo) R 20526 20528 18760 0 -1 4202496 2744 0 0 0 178115 438 0 0 25 0 1 0 908550007 20422656 2563 33554432000 134512640 137138936 4290393584 18446744073709551615 134542333 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/20528/statm: 4986 2563 192 642 0 4342 0
Current children cumulated CPU time (s) 1785.53
Current children cumulated vsize (KiB) 19944

[startup+1791.92 s]
/proc/loadavg: 2.00 2.03 2.00 3/528 20634
/proc/meminfo: memFree=23865568/32951124 swapFree=56241860/67111528
[pid=20528] ppid=20526 vsize=19944 CPUtime=1791.94 cores=0,2,4,6
/proc/20528/stat : 20528 (bsolo) R 20526 20528 18760 0 -1 4202496 2744 0 0 0 178756 438 0 0 25 0 1 0 908550007 20422656 2563 33554432000 134512640 137138936 4290393584 18446744073709551615 134572783 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/20528/statm: 4986 2563 192 642 0 4342 0
Current children cumulated CPU time (s) 1791.94
Current children cumulated vsize (KiB) 19944

[startup+1795.1 s]
/proc/loadavg: 2.00 2.03 2.00 3/528 20634
/proc/meminfo: memFree=23865568/32951124 swapFree=56241860/67111528
[pid=20528] ppid=20526 vsize=19944 CPUtime=1795.14 cores=0,2,4,6
/proc/20528/stat : 20528 (bsolo) R 20526 20528 18760 0 -1 4202496 2744 0 0 0 179075 439 0 0 25 0 1 0 908550007 20422656 2563 33554432000 134512640 137138936 4290393584 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/20528/statm: 4986 2563 192 642 0 4342 0
Current children cumulated CPU time (s) 1795.14
Current children cumulated vsize (KiB) 19944

[startup+1796.7 s]
/proc/loadavg: 2.00 2.03 2.00 3/528 20634
/proc/meminfo: memFree=23865568/32951124 swapFree=56241860/67111528
[pid=20528] ppid=20526 vsize=19944 CPUtime=1796.73 cores=0,2,4,6
/proc/20528/stat : 20528 (bsolo) R 20526 20528 18760 0 -1 4202496 2744 0 0 0 179233 440 0 0 25 0 1 0 908550007 20422656 2563 33554432000 134512640 137138936 4290393584 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/20528/statm: 4986 2563 192 642 0 4342 0
Current children cumulated CPU time (s) 1796.73
Current children cumulated vsize (KiB) 19944

[startup+1797.5 s]
/proc/loadavg: 2.00 2.03 2.00 3/528 20634
/proc/meminfo: memFree=23865196/32951124 swapFree=56241860/67111528
[pid=20528] ppid=20526 vsize=19944 CPUtime=1797.53 cores=0,2,4,6
/proc/20528/stat : 20528 (bsolo) R 20526 20528 18760 0 -1 4202496 2744 0 0 0 179313 440 0 0 25 0 1 0 908550007 20422656 2563 33554432000 134512640 137138936 4290393584 18446744073709551615 134551431 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/20528/statm: 4986 2563 192 642 0 4342 0
Current children cumulated CPU time (s) 1797.53
Current children cumulated vsize (KiB) 19944

[startup+1797.9 s]
/proc/loadavg: 2.00 2.03 2.00 3/528 20634
/proc/meminfo: memFree=23865196/32951124 swapFree=56241860/67111528
[pid=20528] ppid=20526 vsize=19944 CPUtime=1797.93 cores=0,2,4,6
/proc/20528/stat : 20528 (bsolo) R 20526 20528 18760 0 -1 4202496 2744 0 0 0 179353 440 0 0 25 0 1 0 908550007 20422656 2563 33554432000 134512640 137138936 4290393584 18446744073709551615 136505214 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/20528/statm: 4986 2563 192 642 0 4342 0
Current children cumulated CPU time (s) 1797.93
Current children cumulated vsize (KiB) 19944

Child status: 0
Real time (s): 1797.96
CPU time (s): 1798
CPU user time (s): 1793.6
CPU system time (s): 4.40333
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 20560

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.6
system time used= 4.40333
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2745
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= 5
involuntary context switches= 4041

runsolver used 9.98548 second user time and 21.0688 second system time

The end

Launcher Data 

Begin job on node119 at 2011-06-04 12:26:33
IDJOB=3462807
IDBENCH=48223
IDSOLVER=1955
FILE ID=node119/3462807-1307183193
RUNJOBID= node119-1307174996-19887
PBS_JOBID= 13508823
Free space on /tmp= 73660 MiB

SOLVER NAME= bsolo 3.2
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_100_10_3.opb
COMMAND LINE= bsolo -l2 -tTIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3462807-1307183193/watcher-3462807-1307183193 -o /tmp/evaluation-result-3462807-1307183193/solver-3462807-1307183193 -C 1800 -W 1900 -M 15500  bsolo -l2 -t1800 HOME/instance-3462807-1307183193.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 737bdf32fd69c002d569e68c523af4bf
RANDOM SEED=17965936

node119.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.815
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.63
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.815
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.815
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.815
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.815
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.815
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.815
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.815
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      24568852 kB
Buffers:        246812 kB
Cached:         602112 kB
SwapCached:      59076 kB
Active:        1061828 kB
Inactive:      7022604 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      24568852 kB
SwapTotal:    67111528 kB
SwapFree:     56241860 kB
Dirty:            3924 kB
Writeback:           0 kB
AnonPages:     7179676 kB
Mapped:          34160 kB
Slab:           149296 kB
PageTables:      79696 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 164228704 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73656 MiB
End job on node119 at 2011-06-04 12:56:32