Trace number 3462690

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.2SAT12 1798.01 1797.99

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_100_10_2.opb
MD5SUMf4b87658792e85afbf63fc13ada788f7
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark10
Best CPU time to get the best result obtained on this benchmark4.65029
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 10
Optimality of the best value was proved NO
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 constraint11
Maximum length of a constraint21
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)1260
Sum of products size (including duplicates)2520
Number of different products1260
Sum of products size2520

Quality of the solution as a function of time


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

Solver Data 

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-3462690-1307181771.opb
0.00/0.00	c File size is 17171 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.003 s
0.00/0.00	c Var: 1360 Constr: 2620 1360/0/1260 Lit: 8920 Watch. Lit: 6500
0.00/0.00	c Obj. Vars: 100 (7.35294 % of total variables)
0.00/0.02	c Pre-processing Time: 0.019 s
0.00/0.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.02	c        0   1360     2620     8920    3     6500    8013      0      0 0.02
0.00/0.02	c Switching off lower bounding mode.
0.00/0.02	o 99
0.00/0.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.02	c        0   1360     2621     9020    3     6503    8080      1      0 0.02
0.00/0.02	o 98
0.00/0.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.02	c        0   1360     2622     9120    3     6507    8180      2      0 0.02
0.00/0.02	o 97
0.00/0.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.02	c        0   1360     2623     9220    3     6512    8313      3      0 0.02
0.00/0.02	o 96
0.00/0.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.02	c        0   1360     2624     9320    3     6518    8480      4      0 0.02
0.00/0.02	o 95
0.00/0.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.02	c        0   1360     2625     9420    3     6525    8680      5      0 0.02
0.00/0.02	o 94
0.00/0.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.02	c        0   1360     2626     9520    3     6533    8913      6      0 0.02
0.00/0.02	o 93
0.00/0.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.02	c        0   1360     2627     9620    3     6542    9180      7      0 0.03
0.00/0.02	o 92
0.00/0.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.02	c        0   1360     2628     9720    3     6552    9480      8      0 0.03
0.00/0.02	o 91
0.00/0.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.02	c        0   1360     2629     9820    3     6563    9813      9      0 0.03
0.00/0.02	o 90
0.00/0.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.03	c        0   1360     2630     9920    3     6575   10180     10      0 0.03
0.00/0.03	o 89
0.00/0.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.03	c        0   1360     2631    10020    3     6588   10580     11      0 0.03
0.00/0.03	o 88
0.00/0.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.03	c        0   1360     2632    10120    3     6602   11013     12      0 0.03
0.00/0.03	o 87
0.00/0.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.03	c        0   1360     2633    10220    3     6617   11480     13      0 0.03
0.00/0.03	o 86
0.00/0.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.03	c        0   1360     2634    10320    3     6633   11980     14      0 0.03
0.00/0.03	o 85
0.00/0.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.03	c        0   1360     2635    10420    3     6650   12513     15      0 0.03
0.00/0.03	o 84
0.00/0.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.03	c        0   1360     2636    10520    3     6668   13080     16      0 0.03
0.00/0.03	o 83
0.00/0.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.03	c        0   1360     2637    10620    4     6687   13680     17      0 0.04
0.00/0.03	o 82
0.00/0.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.03	c        0   1360     2638    10720    4     6707   14313     18      0 0.04
0.00/0.03	o 81
0.00/0.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.03	c        1   1360     2640    10902    4     6730   14346     20     27 0.04
0.00/0.03	o 15
0.00/0.04	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.04	c        1   1360     2641    11002    4     6817   14680     21     27 0.04
0.00/0.04	o 14
12.59/12.61	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
12.59/12.61	c        6   1360     2647    11248    4     6915   14680     27    153 0.04
12.59/12.61	c      106   1360     2754    18245    6     7213   16149    134   1827 0.06
12.59/12.61	c      356   1360     3024    36037   11     7753   17764    404   3122 0.11
12.59/12.61	c      831   1360     3535    62272   17     8859   19541    915   3829 0.22
12.59/12.61	c     1644   1360     4430   120872   27    10649   21496   1810   4039 0.41
12.59/12.61	c     2965   1360     5821   188782   32    13431   23646   3201   3974 0.75
12.59/12.61	c     5047   1360     8114   322643   39    18099   26011   5494   3410 1.48
12.59/12.61	c     8271   1360    11672   546293   46    25518   28613   9052   2950 2.80
12.59/12.61	c    13207   1360    17122   964630   56    37870   31475  14502   2344 5.63
12.59/12.61	o 13
1123.13/1123.16	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1123.13/1123.16	c    20601   1360    25223  1673429   66    56398   14680  22603   1632 12.62
1123.13/1123.16	c    20703   1360    10069   667385   66    23292   16149   7449   1619 12.78
1123.13/1123.16	c    20953   1360    10348   691569   66    23935   17764   7728   1619 12.94
1123.13/1123.16	c    21428   1360    10870   732114   67    25044   19541   8250   1627 13.16
1123.13/1123.16	c    22242   1360    11760   800766   68    26824   21496   9140   1630 13.64
1123.13/1123.16	c    23562   1360    13189   919517   69    29959   23646  10569   1631 14.44
1123.13/1123.16	c    25643   1360    15512  1129729   72    34942   26011  12892   1613 15.89
1123.13/1123.16	c    28866   1360    19138  1469926   76    42925   28613  16518   1530 18.86
1123.13/1123.16	c    33804   1360    24671  1995781   80    55261   31475  22051   1413 23.91
1123.13/1123.16	c    41310   1360    32922  2826791   85    73721   34623  30302   1272 32.47
1123.13/1123.16	c    52671   1360    23006  2180816   94    50853   38086  20386   1125 46.78
1123.13/1123.16	c    69815   1360    16858  1712180  101    37840   41895  14238    978 71.33
1123.13/1123.16	c    95634   1360    16048  1714652  106    36603   46085  13428    895 106.81
1123.13/1123.16	c   134467   1360    27043  2716266  100    61727   50694  24423    808 166.39
1123.13/1123.16	c   192820   1360    17769  1848496  104    43194   55764  15149    704 273.88
1123.13/1123.16	c   280453   1360    31211  3165407  101    69007   61341  28591    649 431.60
1123.13/1123.16	c   412008   1360    34867  3810277  109    80434   67476  32247    623 660.28
1123.13/1123.16	c   609440   1360    33109  3153303   95    75134   74224  30489    592 1028.99
1123.13/1123.16	o 12
1797.91/1797.98	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.91/1797.98	c   663949   1360    31351  3271854  104    72631    9013  28731    591 1123.17
1797.91/1797.98	c   664049   1360     7235   502642   69    16574    9915   4615    590 1123.76
1797.91/1797.98	c   664299   1360     7508   528356   70    17248   10907   4888    591 1123.90
1797.91/1797.98	c   664774   1360     8030   579123   72    18458   11998   5410    591 1124.17
1797.91/1797.98	c   665587   1360     8929   655292   73    20318   13198   6309    591 1124.56
1797.91/1797.98	c   666907   1360    10461   812146   77    24038   14518   7841    592 1125.36
1797.91/1797.98	c   668989   1360    12765  1059005   82    29130   15970  10145    593 1126.93
1797.91/1797.98	c   672212   1360    16372  1435021   87    37502   17568  13752    595 1129.65
1797.91/1797.98	c   677149   1360    12408  1048892   84    28445   19325   9788    597 1134.17
1797.91/1797.98	c   684656   1360    20798  1865883   89    46663   21258  18178    600 1140.30
1797.91/1797.98	c   696017   1360    22167  1753797   79    48617   23384  19547    604 1150.80
1797.91/1797.98	c   713163   1360    17047  1431767   83    39047   25723  14427    611 1166.86
1797.91/1797.98	c   738983   1360    19204  1913746   99    43044   28296  16584    618 1193.99
1797.91/1797.98	c   777816   1360    30030  2015465   67    65262   31126  27410    631 1230.86
1797.91/1797.98	c   836169   1360    20050  1891771   94    44616   34239  17430    647 1291.12
1797.91/1797.98	c   923802   1360    28460  3128434  109    70987   37663  25840    660 1399.52
1797.91/1797.98	c  1055354   1360    28550  2869771  100    64177   41430  25930    670 1573.53
1797.91/1797.98	c Resources Exceeded
1797.91/1797.98	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.91/1797.98	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.91/1797.98	c   64  1218704 358984  2025690    35766  3510162  33146    677 1798.00
1797.91/1797.98	c Objective: 12
1797.91/1797.98	s SATISFIABLE
1797.91/1797.98	c Total time: 1798 s

Verifier Data 

OK	12

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-3462690-1307181771/watcher-3462690-1307181771 -o /tmp/evaluation-result-3462690-1307181771/solver-3462690-1307181771 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3462690-1307181771.opb 

running on 4 cores: 1,3,5,7

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.09 2.08 2.03 2/558 9423
/proc/meminfo: memFree=28686840/32951124 swapFree=34426104/67111528
[pid=9423] ppid=9421 vsize=11340 CPUtime=0 cores=1,3,5,7
/proc/9423/stat : 9423 (bsolo) R 9421 9423 7463 0 -1 4202496 436 0 0 0 0 0 0 0 25 0 1 0 908407779 11612160 386 33554432000 134512640 137138936 4292955392 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9423/statm: 2835 386 185 642 0 2191 0

[startup+0.090071 s]
/proc/loadavg: 2.09 2.08 2.03 2/558 9423
/proc/meminfo: memFree=28686840/32951124 swapFree=34426104/67111528
[pid=9423] ppid=9421 vsize=11724 CPUtime=0.08 cores=1,3,5,7
/proc/9423/stat : 9423 (bsolo) R 9421 9423 7463 0 -1 4202496 528 0 0 0 8 0 0 0 25 0 1 0 908407779 12005376 478 33554432000 134512640 137138936 4292955392 18446744073709551615 134610714 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9423/statm: 2931 478 192 642 0 2287 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 11724

[startup+0.10107 s]
/proc/loadavg: 2.09 2.08 2.03 2/558 9423
/proc/meminfo: memFree=28686840/32951124 swapFree=34426104/67111528
[pid=9423] ppid=9421 vsize=11724 CPUtime=0.09 cores=1,3,5,7
/proc/9423/stat : 9423 (bsolo) R 9421 9423 7463 0 -1 4202496 540 0 0 0 9 0 0 0 25 0 1 0 908407779 12005376 490 33554432000 134512640 137138936 4292955392 18446744073709551615 134599706 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9423/statm: 2931 490 192 642 0 2287 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11724

[startup+0.301033 s]
/proc/loadavg: 2.09 2.08 2.03 2/558 9423
/proc/meminfo: memFree=28686840/32951124 swapFree=34426104/67111528
[pid=9423] ppid=9421 vsize=12560 CPUtime=0.29 cores=1,3,5,7
/proc/9423/stat : 9423 (bsolo) R 9421 9423 7463 0 -1 4202496 746 0 0 0 29 0 0 0 25 0 1 0 908407779 12861440 696 33554432000 134512640 137138936 4292955392 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9423/statm: 3140 696 192 642 0 2496 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12560

[startup+0.700965 s]
/proc/loadavg: 2.09 2.08 2.03 2/558 9423
/proc/meminfo: memFree=28686840/32951124 swapFree=34426104/67111528
[pid=9423] ppid=9421 vsize=13896 CPUtime=0.69 cores=1,3,5,7
/proc/9423/stat : 9423 (bsolo) R 9421 9423 7463 0 -1 4202496 1088 0 0 0 69 0 0 0 25 0 1 0 908407779 14229504 1038 33554432000 134512640 137138936 4292955392 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9423/statm: 3474 1038 192 642 0 2830 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13896

[startup+1.50083 s]
/proc/loadavg: 2.09 2.08 2.03 3/559 9424
/proc/meminfo: memFree=28681376/32951124 swapFree=34426104/67111528
[pid=9423] ppid=9421 vsize=16108 CPUtime=1.49 cores=1,3,5,7
/proc/9423/stat : 9423 (bsolo) R 9421 9423 7463 0 -1 4202496 1626 0 0 0 148 1 0 0 25 0 1 0 908407779 16494592 1576 33554432000 134512640 137138936 4292955392 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9423/statm: 4027 1576 192 642 0 3383 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 16108

[startup+3.10057 s]
/proc/loadavg: 2.09 2.08 2.03 3/559 9424
/proc/meminfo: memFree=28677536/32951124 swapFree=34426104/67111528
[pid=9423] ppid=9421 vsize=19964 CPUtime=3.09 cores=1,3,5,7
/proc/9423/stat : 9423 (bsolo) R 9421 9423 7463 0 -1 4202496 2597 0 0 0 307 2 0 0 25 0 1 0 908407779 20443136 2547 33554432000 134512640 137138936 4292955392 18446744073709551615 136297620 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9423/statm: 4991 2547 192 642 0 4347 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 19964

[startup+6.30103 s]
/proc/loadavg: 2.08 2.08 2.03 3/559 9424
/proc/meminfo: memFree=28669496/32951124 swapFree=34426104/67111528
[pid=9423] ppid=9421 vsize=26452 CPUtime=6.29 cores=1,3,5,7
/proc/9423/stat : 9423 (bsolo) R 9421 9423 7463 0 -1 4202496 4215 0 0 0 626 3 0 0 25 0 1 0 908407779 27086848 4165 33554432000 134512640 137138936 4292955392 18446744073709551615 134542497 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9423/statm: 6613 4165 192 642 0 5969 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 26452

[startup+12.701 s]
/proc/loadavg: 2.08 2.08 2.03 3/559 9424
/proc/meminfo: memFree=28658928/32951124 swapFree=34426104/67111528
[pid=9423] ppid=9421 vsize=35368 CPUtime=12.69 cores=1,3,5,7
/proc/9423/stat : 9423 (bsolo) R 9421 9423 7463 0 -1 4202496 6459 0 0 0 1265 4 0 0 25 0 1 0 908407779 36216832 6409 33554432000 134512640 137138936 4292955392 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9423/statm: 8842 6409 192 642 0 8198 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 35368

[startup+25.5008 s]
/proc/loadavg: 2.06 2.08 2.03 3/559 9426
/proc/meminfo: memFree=28652504/32951124 swapFree=34426104/67111528
[pid=9423] ppid=9421 vsize=41460 CPUtime=25.5 cores=1,3,5,7
/proc/9423/stat : 9423 (bsolo) R 9421 9423 7463 0 -1 4202496 7971 0 0 0 2543 7 0 0 25 0 1 0 908407779 42455040 7921 33554432000 134512640 137138936 4292955392 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9423/statm: 10365 7921 192 642 0 9721 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 41460

[startup+51.1005 s]
/proc/loadavg: 2.04 2.07 2.02 3/559 9426
/proc/meminfo: memFree=28635104/32951124 swapFree=34426104/67111528
[pid=9423] ppid=9421 vsize=58532 CPUtime=51.09 cores=1,3,5,7
/proc/9423/stat : 9423 (bsolo) R 9421 9423 7463 0 -1 4202496 12270 0 0 0 5097 12 0 0 25 0 1 0 908407779 59936768 12185 33554432000 134512640 137138936 4292955392 18446744073709551615 134542525 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9423/statm: 14633 12185 192 642 0 13989 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 58532

[startup+102.322 s]
/proc/loadavg: 2.01 2.06 2.02 3/559 9428
/proc/meminfo: memFree=28611768/32951124 swapFree=34426104/67111528
[pid=9423] ppid=9421 vsize=79824 CPUtime=102.31 cores=1,3,5,7
/proc/9423/stat : 9423 (bsolo) R 9421 9423 7463 0 -1 4202496 17650 0 0 0 10213 18 0 0 25 0 1 0 908407779 81739776 17527 33554432000 134512640 137138936 4292955392 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9423/statm: 19956 17527 192 642 0 19312 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 79824

[startup+162.301 s]
/proc/loadavg: 2.00 2.04 2.01 3/559 9428
/proc/meminfo: memFree=28601436/32951124 swapFree=34426104/67111528
[pid=9423] ppid=9421 vsize=89232 CPUtime=162.3 cores=1,3,5,7
/proc/9423/stat : 9423 (bsolo) R 9421 9423 7463 0 -1 4202496 20083 0 0 0 16204 26 0 0 25 0 1 0 908407779 91373568 19872 33554432000 134512640 137138936 4292955392 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9423/statm: 22308 19872 192 642 0 21664 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 89232

[startup+222.301 s]
/proc/loadavg: 2.00 2.03 2.01 3/559 9430
/proc/meminfo: memFree=28594212/32951124 swapFree=34426104/67111528
[pid=9423] ppid=9421 vsize=96796 CPUtime=222.29 cores=1,3,5,7
/proc/9423/stat : 9423 (bsolo) R 9421 9423 7463 0 -1 4202496 22018 0 0 0 22198 31 0 0 25 0 1 0 908407779 99119104 21756 33554432000 134512640 137138936 4292955392 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9423/statm: 24199 21756 192 642 0 23555 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 96796

[startup+282.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/559 9432
/proc/meminfo: memFree=28593296/32951124 swapFree=34426104/67111528
[pid=9423] ppid=9421 vsize=98036 CPUtime=282.29 cores=1,3,5,7
/proc/9423/stat : 9423 (bsolo) R 9421 9423 7463 0 -1 4202496 22316 0 0 0 28192 37 0 0 25 0 1 0 908407779 100388864 22054 33554432000 134512640 137138936 4292955392 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9423/statm: 24509 22054 192 642 0 23865 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 98036

[startup+342.301 s]
/proc/loadavg: 2.04 2.03 2.00 3/559 9434
/proc/meminfo: memFree=28581856/32951124 swapFree=34426104/67111528
[pid=9423] ppid=9421 vsize=109284 CPUtime=342.3 cores=1,3,5,7
/proc/9423/stat : 9423 (bsolo) R 9421 9423 7463 0 -1 4202496 25199 0 0 0 34185 45 0 0 25 0 1 0 908407779 111906816 24882 33554432000 134512640 137138936 4292955392 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9423/statm: 27321 24882 192 642 0 26677 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 109284

[startup+402.301 s]
/proc/loadavg: 2.05 2.04 2.00 3/559 9436
/proc/meminfo: memFree=28581812/32951124 swapFree=34426104/67111528
[pid=9423] ppid=9421 vsize=109284 CPUtime=402.3 cores=1,3,5,7
/proc/9423/stat : 9423 (bsolo) R 9421 9423 7463 0 -1 4202496 25199 0 0 0 40180 50 0 0 25 0 1 0 908407779 111906816 24882 33554432000 134512640 137138936 4292955392 18446744073709551615 134542503 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9423/statm: 27321 24882 192 642 0 26677 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 109284

[startup+462.301 s]
/proc/loadavg: 2.10 2.06 2.01 3/559 9436
/proc/meminfo: memFree=28581760/32951124 swapFree=34426104/67111528
[pid=9423] ppid=9421 vsize=109564 CPUtime=462.3 cores=1,3,5,7
/proc/9423/stat : 9423 (bsolo) R 9421 9423 7463 0 -1 4202496 25253 0 0 0 46173 57 0 0 25 0 1 0 908407779 112193536 24936 33554432000 134512640 137138936 4292955392 18446744073709551615 136504116 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9423/statm: 27391 24936 192 642 0 26747 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 109564

[startup+522.301 s]
/proc/loadavg: 2.11 2.07 2.01 3/559 9438
/proc/meminfo: memFree=28581968/32951124 swapFree=34426104/67111528
[pid=9423] ppid=9421 vsize=109588 CPUtime=522.3 cores=1,3,5,7
/proc/9423/stat : 9423 (bsolo) R 9421 9423 7463 0 -1 4202496 25259 0 0 0 52167 63 0 0 25 0 1 0 908407779 112218112 24942 33554432000 134512640 137138936 4292955392 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9423/statm: 27397 24942 192 642 0 26753 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 109588

[startup+582.301 s]
/proc/loadavg: 2.07 2.07 2.01 3/559 9440
/proc/meminfo: memFree=28580808/32951124 swapFree=34426104/67111528
[pid=9423] ppid=9421 vsize=110776 CPUtime=582.3 cores=1,3,5,7
/proc/9423/stat : 9423 (bsolo) R 9421 9423 7463 0 -1 4202496 25629 0 0 0 58162 68 0 0 25 0 1 0 908407779 113434624 25251 33554432000 134512640 137138936 4292955392 18446744073709551615 134575773 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/9423/statm: 27694 25251 192 642 0 27050 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 110776

[startup+642.301 s]

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

/proc/meminfo: memFree=27827124/32951124 swapFree=34426104/67111528
[pid=9423] ppid=9421 vsize=123764 CPUtime=1062.3 cores=1,3,5,7
/proc/9423/stat : 9423 (bsolo) R 9421 9423 7463 0 -1 4202496 28947 0 0 0 106118 112 0 0 25 0 1 0 908407779 126734336 28502 33554432000 134512640 137138936 4292955392 18446744073709551615 134542613 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9423/statm: 30941 28502 192 642 0 30297 0
Current children cumulated CPU time (s) 1062.3
Current children cumulated vsize (KiB) 123764

[startup+1122.3 s]
/proc/loadavg: 2.02 2.06 2.01 3/559 9481
/proc/meminfo: memFree=27662776/32951124 swapFree=34426104/67111528
[pid=9423] ppid=9421 vsize=123240 CPUtime=1122.3 cores=1,3,5,7
/proc/9423/stat : 9423 (bsolo) R 9421 9423 7463 0 -1 4202496 28953 0 0 0 112113 117 0 0 25 0 1 0 908407779 126197760 28387 33554432000 134512640 137138936 4292955392 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9423/statm: 30810 28387 192 642 0 30166 0
Current children cumulated CPU time (s) 1122.3
Current children cumulated vsize (KiB) 123240

[startup+1182.3 s]
/proc/loadavg: 2.00 2.05 2.01 3/559 9483
/proc/meminfo: memFree=27546148/32951124 swapFree=34426104/67111528
[pid=9423] ppid=9421 vsize=123240 CPUtime=1182.3 cores=1,3,5,7
/proc/9423/stat : 9423 (bsolo) R 9421 9423 7463 0 -1 4202496 28953 0 0 0 118103 127 0 0 25 0 1 0 908407779 126197760 28387 33554432000 134512640 137138936 4292955392 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9423/statm: 30810 28387 192 642 0 30166 0
Current children cumulated CPU time (s) 1182.3
Current children cumulated vsize (KiB) 123240

[startup+1242.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/559 9485
/proc/meminfo: memFree=27545844/32951124 swapFree=34426104/67111528
[pid=9423] ppid=9421 vsize=123240 CPUtime=1242.3 cores=1,3,5,7
/proc/9423/stat : 9423 (bsolo) R 9421 9423 7463 0 -1 4202496 28953 0 0 0 124092 138 0 0 25 0 1 0 908407779 126197760 28387 33554432000 134512640 137138936 4292955392 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9423/statm: 30810 28387 192 642 0 30166 0
Current children cumulated CPU time (s) 1242.3
Current children cumulated vsize (KiB) 123240

[startup+1302.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/559 9487
/proc/meminfo: memFree=27546188/32951124 swapFree=34426104/67111528
[pid=9423] ppid=9421 vsize=123240 CPUtime=1302.31 cores=1,3,5,7
/proc/9423/stat : 9423 (bsolo) R 9421 9423 7463 0 -1 4202496 28953 0 0 0 130084 147 0 0 25 0 1 0 908407779 126197760 28387 33554432000 134512640 137138936 4292955392 18446744073709551615 134543157 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9423/statm: 30810 28387 192 642 0 30166 0
Current children cumulated CPU time (s) 1302.31
Current children cumulated vsize (KiB) 123240

[startup+1362.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/559 9487
/proc/meminfo: memFree=27546400/32951124 swapFree=34426104/67111528
[pid=9423] ppid=9421 vsize=123240 CPUtime=1362.31 cores=1,3,5,7
/proc/9423/stat : 9423 (bsolo) R 9421 9423 7463 0 -1 4202496 28953 0 0 0 136077 154 0 0 25 0 1 0 908407779 126197760 28387 33554432000 134512640 137138936 4292955392 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9423/statm: 30810 28387 192 642 0 30166 0
Current children cumulated CPU time (s) 1362.31
Current children cumulated vsize (KiB) 123240

[startup+1422.32 s]
/proc/loadavg: 2.00 2.01 2.00 3/559 9489
/proc/meminfo: memFree=27548720/32951124 swapFree=34426104/67111528
[pid=9423] ppid=9421 vsize=121068 CPUtime=1422.33 cores=1,3,5,7
/proc/9423/stat : 9423 (bsolo) R 9421 9423 7463 0 -1 4202496 28953 0 0 0 142070 163 0 0 25 0 1 0 908407779 123973632 27844 33554432000 134512640 137138936 4292955392 18446744073709551615 135984567 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9423/statm: 30267 27844 192 642 0 29623 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 121068

[startup+1482.3 s]
/proc/loadavg: 2.25 2.07 2.02 4/559 9491
/proc/meminfo: memFree=27548924/32951124 swapFree=34426104/67111528
[pid=9423] ppid=9421 vsize=121068 CPUtime=1482.31 cores=1,3,5,7
/proc/9423/stat : 9423 (bsolo) R 9421 9423 7463 0 -1 4202496 28953 0 0 0 148063 168 0 0 25 0 1 0 908407779 123973632 27844 33554432000 134512640 137138936 4292955392 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9423/statm: 30267 27844 192 642 0 29623 0
Current children cumulated CPU time (s) 1482.31
Current children cumulated vsize (KiB) 121068

[startup+1542.3 s]
/proc/loadavg: 2.21 2.09 2.02 3/559 9493
/proc/meminfo: memFree=27549132/32951124 swapFree=34426104/67111528
[pid=9423] ppid=9421 vsize=121068 CPUtime=1542.31 cores=1,3,5,7
/proc/9423/stat : 9423 (bsolo) R 9421 9423 7463 0 -1 4202496 28953 0 0 0 154055 176 0 0 25 0 1 0 908407779 123973632 27844 33554432000 134512640 137138936 4292955392 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9423/statm: 30267 27844 192 642 0 29623 0
Current children cumulated CPU time (s) 1542.31
Current children cumulated vsize (KiB) 121068

[startup+1602.3 s]
/proc/loadavg: 2.07 2.07 2.02 3/559 9495
/proc/meminfo: memFree=27540800/32951124 swapFree=34426104/67111528
[pid=9423] ppid=9421 vsize=121068 CPUtime=1602.31 cores=1,3,5,7
/proc/9423/stat : 9423 (bsolo) R 9421 9423 7463 0 -1 4202496 28953 0 0 0 160048 183 0 0 25 0 1 0 908407779 123973632 27844 33554432000 134512640 137138936 4292955392 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9423/statm: 30267 27844 192 642 0 29623 0
Current children cumulated CPU time (s) 1602.31
Current children cumulated vsize (KiB) 121068

[startup+1662.3 s]
/proc/loadavg: 2.02 2.05 2.01 3/559 9495
/proc/meminfo: memFree=27541016/32951124 swapFree=34426104/67111528
[pid=9423] ppid=9421 vsize=121068 CPUtime=1662.31 cores=1,3,5,7
/proc/9423/stat : 9423 (bsolo) R 9421 9423 7463 0 -1 4202496 28953 0 0 0 166042 189 0 0 25 0 1 0 908407779 123973632 27844 33554432000 134512640 137138936 4292955392 18446744073709551615 134602758 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9423/statm: 30267 27844 192 642 0 29623 0
Current children cumulated CPU time (s) 1662.31
Current children cumulated vsize (KiB) 121068

[startup+1722.3 s]
/proc/loadavg: 2.01 2.04 2.01 3/559 9497
/proc/meminfo: memFree=27540840/32951124 swapFree=34426104/67111528
[pid=9423] ppid=9421 vsize=121068 CPUtime=1722.31 cores=1,3,5,7
/proc/9423/stat : 9423 (bsolo) R 9421 9423 7463 0 -1 4202496 28953 0 0 0 172034 197 0 0 25 0 1 0 908407779 123973632 27844 33554432000 134512640 137138936 4292955392 18446744073709551615 136505219 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9423/statm: 30267 27844 192 642 0 29623 0
Current children cumulated CPU time (s) 1722.31
Current children cumulated vsize (KiB) 121068

[startup+1782.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/559 9499
/proc/meminfo: memFree=27539920/32951124 swapFree=34426104/67111528
[pid=9423] ppid=9421 vsize=121068 CPUtime=1782.31 cores=1,3,5,7
/proc/9423/stat : 9423 (bsolo) R 9421 9423 7463 0 -1 4202496 28953 0 0 0 178028 203 0 0 25 0 1 0 908407779 123973632 27844 33554432000 134512640 137138936 4292955392 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9423/statm: 30267 27844 192 642 0 29623 0
Current children cumulated CPU time (s) 1782.31
Current children cumulated vsize (KiB) 121068

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

[startup+1785.5 s]
/proc/loadavg: 2.00 2.03 2.00 3/559 9499
/proc/meminfo: memFree=27539920/32951124 swapFree=34426104/67111528
[pid=9423] ppid=9421 vsize=121068 CPUtime=1785.51 cores=1,3,5,7
/proc/9423/stat : 9423 (bsolo) R 9421 9423 7463 0 -1 4202496 28953 0 0 0 178348 203 0 0 25 0 1 0 908407779 123973632 27844 33554432000 134512640 137138936 4292955392 18446744073709551615 134552296 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9423/statm: 30267 27844 192 642 0 29623 0
Current children cumulated CPU time (s) 1785.51
Current children cumulated vsize (KiB) 121068

[startup+1791.92 s]
/proc/loadavg: 2.00 2.03 2.00 3/559 9499
/proc/meminfo: memFree=27539912/32951124 swapFree=34426104/67111528
[pid=9423] ppid=9421 vsize=121068 CPUtime=1791.93 cores=1,3,5,7
/proc/9423/stat : 9423 (bsolo) R 9421 9423 7463 0 -1 4202496 28953 0 0 0 178989 204 0 0 25 0 1 0 908407779 123973632 27844 33554432000 134512640 137138936 4292955392 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9423/statm: 30267 27844 192 642 0 29623 0
Current children cumulated CPU time (s) 1791.93
Current children cumulated vsize (KiB) 121068

[startup+1795.1 s]
/proc/loadavg: 2.00 2.03 2.00 3/559 9499
/proc/meminfo: memFree=27539912/32951124 swapFree=34426104/67111528
[pid=9423] ppid=9421 vsize=121068 CPUtime=1795.12 cores=1,3,5,7
/proc/9423/stat : 9423 (bsolo) R 9421 9423 7463 0 -1 4202496 28953 0 0 0 179308 204 0 0 25 0 1 0 908407779 123973632 27844 33554432000 134512640 137138936 4292955392 18446744073709551615 134600672 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9423/statm: 30267 27844 192 642 0 29623 0
Current children cumulated CPU time (s) 1795.12
Current children cumulated vsize (KiB) 121068

[startup+1796.7 s]
/proc/loadavg: 2.00 2.03 2.00 3/559 9499
/proc/meminfo: memFree=27539912/32951124 swapFree=34426104/67111528
[pid=9423] ppid=9421 vsize=121068 CPUtime=1796.72 cores=1,3,5,7
/proc/9423/stat : 9423 (bsolo) R 9421 9423 7463 0 -1 4202496 28953 0 0 0 179467 205 0 0 25 0 1 0 908407779 123973632 27844 33554432000 134512640 137138936 4292955392 18446744073709551615 136504086 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9423/statm: 30267 27844 192 642 0 29623 0
Current children cumulated CPU time (s) 1796.72
Current children cumulated vsize (KiB) 121068

[startup+1797.5 s]
/proc/loadavg: 2.00 2.03 2.00 3/559 9499
/proc/meminfo: memFree=27539788/32951124 swapFree=34426104/67111528
[pid=9423] ppid=9421 vsize=121068 CPUtime=1797.52 cores=1,3,5,7
/proc/9423/stat : 9423 (bsolo) R 9421 9423 7463 0 -1 4202496 28953 0 0 0 179547 205 0 0 25 0 1 0 908407779 123973632 27844 33554432000 134512640 137138936 4292955392 18446744073709551615 134542322 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9423/statm: 30267 27844 192 642 0 29623 0
Current children cumulated CPU time (s) 1797.52
Current children cumulated vsize (KiB) 121068

[startup+1797.9 s]
/proc/loadavg: 2.00 2.03 2.00 3/559 9499
/proc/meminfo: memFree=27539788/32951124 swapFree=34426104/67111528
[pid=9423] ppid=9421 vsize=121068 CPUtime=1797.91 cores=1,3,5,7
/proc/9423/stat : 9423 (bsolo) R 9421 9423 7463 0 -1 4202496 28953 0 0 0 179586 205 0 0 25 0 1 0 908407779 123973632 27844 33554432000 134512640 137138936 4292955392 18446744073709551615 136295502 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9423/statm: 30267 27844 192 642 0 29623 0
Current children cumulated CPU time (s) 1797.91
Current children cumulated vsize (KiB) 121068

Child status: 0
Real time (s): 1797.99
CPU time (s): 1798.01
CPU user time (s): 1795.95
CPU system time (s): 2.05769
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 123764

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

runsolver used 9.8575 second user time and 24.2683 second system time

The end

Launcher Data 

Begin job on node118 at 2011-06-04 12:02:51
IDJOB=3462690
IDBENCH=48106
IDSOLVER=1955
FILE ID=node118/3462690-1307181771
RUNJOBID= node118-1307174408-8563
PBS_JOBID= 13508852
Free space on /tmp= 73764 MiB

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

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

MD5SUM BENCH= f4b87658792e85afbf63fc13ada788f7
RANDOM SEED=416458948

node118.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.842
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.68
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.842
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.75
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.842
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.842
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.75
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.842
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.68
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.842
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.75
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.842
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.75
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.842
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	: 5374.59
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      28686996 kB
Buffers:        324828 kB
Cached:        2014260 kB
SwapCached:      56168 kB
Active:         919444 kB
Inactive:      3007140 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      28686996 kB
SwapTotal:    67111528 kB
SwapFree:     34426104 kB
Dirty:            4088 kB
Writeback:           8 kB
AnonPages:     1544476 kB
Mapped:          15532 kB
Slab:           151008 kB
PageTables:     115116 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 183829976 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= 73760 MiB
End job on node118 at 2011-06-04 12:32:49